Cauchy property is a useful idea that
describes sequences that seem to converge
without mentioning any limit. It is a modification of the usual
definition of convergence except that we cannot compare the values of
the sequence to ; instead we have to compare such values to
We say that a sequence has the Cauchy property if the following statement holds:
Convergent sequences do have the Cauchy property. This is quite easy to prove.
Suppose as . Then has the Cauchy property.
Let be arbitrary, and let be such that , from the fact that as . Then given arbitrary we have
We're going to prove the converse to this result now, that every Cauchy sequence (i.e., one with the Cauchy property) converges to some limit. Once again, the completeness of the real numbers is the fact that makes this work. First we need a useful lemma, the proof of which is almost identical to the theorem that says every convergent sequence is bounded.
Suppose that has the Cauchy property. Then the sequence is bounded.
Let . From the Cauchy property (as written above, in the spacial case when ) there is be such that . Then for all we have . Therefore
is a bound on the whole sequence .
Suppose that has the Cauchy property. Then there is such that as .
By the lemma, is bounded, so by the Bolzano-Weierstrass theorem (which used the completeness of the reals) there is and a subsequence as . We shall use the Cauchy property again to prove that the whole sequence converges to .
Let be arbitrary. From the convergence of the subsequence there is such that i.e., . From the Cauchy property there is such that . Let . Now let be arbitrary. Then there is such that . This is because is increasing, i.e., because the subsequence selects infinitely many terms in and the function enumerates them. Then as and as so, using the triangle inequality,
The real importance of this result is that it enables us to state the completeness
axiom for the reals in a way that uses the distance function only, and not
using the order relation on the reals. Indeed many people prefer to take
as their completeness axiom the statement
Every Cauchy sequence has a limit.
(Note that the monotone convergence theorem needs the order relation
to define what it means to be a monotonic sequence.)
The main result just presented (that every Cauchy sequence has a limit) is another version of the completeness property for the fields. Because it doesn't require the order relation, , it is a useful axiom to consider for other fields orther than ordered fields: all that is required is the distance function to have meaning in the field. In paticular, a sequence has the Cauchy property in such a field if: . It is equally easy to formulate the notion of convergence of a sequence to a limit in terms of the distance function: . This gives the following idea of completeness.
Completeness, Cauchy form.
A field with a distance function is complete if for every sequence of elements of with the Cauchy property there is such that as .
An example of a field with a distance function which isn't ordered is the field of complex numbers, . Here we may take and it turns out that in this sense is a complete field.
The two approaches to completeness for Archimedean ordered fields
such as the reals (via monotonic sequences and via Cauchy sequences)
are equivalent: it is possible to show directly from the Archimedean
Property of the reals that every bounded monotonic sequence is Cauchy,
and hence the above theorem implies that every bounded monotonic
sequence has a limit. So for the reals it is entirely a matter of
choice (or taste) which approach one prefers. Personally, I find the
monotone convergence theorem more
obviously true and therefore
preferable as an axiom for the reals. However, as mentioned
already, there are other situations in which the Cauchy sequence
approach is the only one possible.