Field Theory/The real numbers

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, 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 .