# Field Theory/The real numbers

Jump to navigation
Jump to search

**Proposition (supremum commutes with continuous monotone function)**:

Let be a continuous and monotonely increasing function, and let be a set. Then

- if is bounded from above, and if is bounded from below, .

If instead is decreasing, then

- if is bounded from above, and if is bounded from below,

**Proof:** We first prove that if is increasing, then and . Indeed, suppose that and . By definition of supremum and infimum, for each the sets and contain some points. Hence, so do the sets and . By continuity of , whenever is arbitrary and is sufficiently small, and . Since , we obtain and . On the other hand, for we have by monotonicity, so that and .

If is decreasing instead, then is increasing, so that . Similarly .