The Order on the Real Numbers
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.