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
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
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
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.
To prove transitivity, we assume
For a rational,
2 are inequivalent. Therefore
we can identify each
We expect the arithmetic operations of +,
This completes the definition part, as we have now defined
Another long exercise (sigh).