How can I demostrate that given two numbers A and B, if A <= B, then fl(A) <= fl(B). fl(A) is the float point representation of A. Which is equal to A(1+x), and |x| <= the machine epsilon (eps). The same goes for fl(b).
I've tried a lot of things so far: if I consider that both representations will have the same maximum error (1+epsilon) it's easy:
fl(A) <= fl(B)
A(1+eps) <= B(1+eps)
A<=B, which is true
But, if I consider the worst case scenario, in which the error for A is positive eps, and the error for B is negative eps.
A(1+eps) <= B(1-eps)
Then it's more complicated. I've been playing around with this for a while, and I can't get to any conclusions. I'd be very glad if someone could point me to the right direction.
Thanks in advance.