# Completeness of the reals, theorem

A sequence \( (a_n)_{n=1}^{\infty} \) of real numbers is a Cauchy sequence if and only if it is convergent.

The forward implication has been introduced already; it suffices to prove the reverseâ€”that all Cauchy sequences are convergent.

The reverse is not a given: so far, for real sequences, we have delt with steadiness (Cauchy sequences) and closeness between a sequence and a real (convergence); however, we haven't introduced, until now, the idea that a steady sequence must converge to another real.

This theorem along with the closely reated idea of the existance of the supremum sets the reals apart from the rationals. In the language of metric spaces, the theorem asserts that the reals do not contain any 'holes'. The rationals in comparison, do contain holesâ€”rationals can approach something that isn't a rational (and from both sides, hence the idea of a 'hole').

#### Note on equality

If the 'is' in the statment is considered 'is equal to'
(which I think is an important distinction, as equality and entity can be
different- two Cauchy sequences can be equal in that they represent the same
real, yet they can contain different sequence values), then the Cauchy
sequence here, I think, can be considered a Cauchy sequence of
reals *or* rationals. If a sequence of reals converges to a
real, then the real to which it converges can be expressed as a Cauchy
sequence of rationals.

#### Source

Tao, Analysis IChapter 6, p146