This section discusses the construction of the real numbers from the rationals via the idea of a Cauchy sequence.
This approach is perhaps the most natural one from the point of view of Cauchy's version of the completeness axiom, and has the advantage that it generalizes to other settings where there is a distance function (like ) but no order relation available in the number-system. This includes the case of building the complex numbers from the rationals as limits of Cauchy sequences of numbers of the form with . It also provides an introduction to the construction more advanced topic of a completion of metric space.
This web page is still under construction. The final version will contain some (but not all) of the proofs omitted here at present.
We start by recalling the definition of a Cauchy sequence.
We have seen that we expect all Cauchy sequences to converge, and all reals to be the limit of a Cauchy sequence of rationals. The Cauchy property is particularly useful as it doesn't mention the limit , so you don't need to know what the limit is to talk about convergence.
We let be the set of all Cauchy sequences of rationals.
Once again, a real number may have more than one rational Cauchy sequence converging to it, so we must factor out by an equivalence relation to obtain the true version of the reals.
For Cauchy sequences of rationals , we say if .
The relation is an equivalence relation on .
Reflexivity of , that is just the statement that the sequence is Cauchy. Symmetry of is obvious, as .
To prove transitivity, we assume and and argue as follows.
Let be arbitrary.
Let and satisfy
Let be arbitrary. Then
by the triangle inequality, as required.
The set is the set of equivalence classes of elements of .
For a rational, , the constant sequence with value is a Cauchy sequence. You can check that two distinct constant sequences and are inequivalent. Therefore we can identify each with the equivalence class of the constant sequence .
We expect the arithmetic operations of , etc., to be continuous. This suggests the following definition.
For sequences and in and their equvalence classes , we define
This completes the definition part, as we have now defined with its arithmetic operations, and order. All that remains it to check the axioms.
The set with is an ordered field. It also satisfies the Archimedean property and is a complete ordered field.
Another long exercise (sigh).