We’ve defined the real numbers as a topological field by completing the rational numbers as a uniform space, and then extending the field operations to the new points by continuity. Now we extend the order on the rational numbers to make into an ordered field.
First off, we can simplify our work greatly by recognizing that we just need to determine the subset of positive real numbers — those with . Then we can say if . Now, each real number is represented by a Cauchy sequence of rational numbers, and so we say if has a representative sequence with each point .
What we need to check is that the positive numbers are closed under both addition and multiplication. But clearly if we pick and to be nonnegative Cauchy sequences representing and , respectively, then is represented by and is represented by , and these will be nonnegative since is an ordered field.
Now for each , , so . Also, if and , then and , so , and so . These show that defines a preorder on , since it is reflexive and transitive. Further, if and then and , so and thus . This shows that is a partial order. Clearly this order is total because any real number either has a nonnegative representative or it doesn’t.
One thing is a little hazy here. We asserted that if a number and its negative are both greater than or equal to zero, then it must be zero itself. Why is this? Well if is a nonnegative Cauchy sequence representing then represents . Now can we find a nonnegative Cauchy sequence equivalent to ? The lowest rational number that can be is, of course, zero, and so . But for and to be equivalent we must have for each positive rational an so that for . But this just says that converges to !
So is an ordered field, so what does this tell us? First off, we get an absolute value just like we did for the rationals. Secondly, we’ll get a uniform structure as we do for any ordered group. This uniform topology has a subbase consisting of all the half-infinite intervals and for all real . But this is also a subbase for the metric we got from completing the rationals, and so the two topologies coincide!
One more very important thing holds for all ordered fields. As a field is a kind of a ring with unit, and like any ring with unit there is a unique ring homomorphism . Now since in any ordered field, we have , and , and so on, to show that no nonzero integer can become zero under this map. Since we have an injective homomorphism of rings, the universal property of the field of fractions gives us a unique field homomorphism extending the ring homomorphism from the integers.
Now if is complete in the uniform structure defined by its order, this homomorphism will be uniformly complete. Therefore by the universal property of uniform completions, we will find a unique extension . That is, given any (uniformly) complete ordered field there is a unique uniformly continuous homomorphism of fields from the real numbers to the field in question. Thus is the universal such field, which characterizes it uniquely up to isomorphism!
So we can unambiguously speak of “the” real numbers, even if we use a different method of constructing them, or even no method at all. We can work out the rest of the theory of real numbers from these properties (though for the first few we might fall back on our construction) just as we could work out the theory of natural numbers from the Peano axioms.