| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
The point is that always, without case distinction, the following should be true: (1) For a given function F, for example, X=F(interval(A.sup)) should give an inclusion of the value of F at the right bound of A.Always??? This value is not even properly defined in many cases, such as when F(x)=x-x or F(x)=(x-1)/(x+1) and A=[0,inf].
If "infinity as number" is true, i.e., if the infinity is not a member of the interval but rather a token for an unbounded real number, then it is properly defined: F(Inf)=Inf-Inf=0 F(Inf)=(Inf-1)/(Inf+1)=Inf/Inf=1 Nate Hayes Sunfish Studio, LLC