Cauchy Sequences

1. Cauchy sequences

The 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 each other.

Definition.

We say that a sequence (₎ has the Cauchy property if the following statement holds:

0 _-

Convergent sequences do have the Cauchy property. This is quite easy to prove.

Proposition.

Suppose as . Then (₎ has the Cauchy property.

Proof.

Let 0 be arbitrary, and let be such that _- 2 , from the fact that as . Then given arbitrary , we have

_- _- + - 2 + 2 =

as required.

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.

Lemma.

Suppose that (₎ has the Cauchy property. Then the sequence (₎ is bounded.

Proof.

Let =1. From the Cauchy property (as written above, in the spacial case when = ) there is be such that _- 1 . Then for all we have 1+ . Therefore

( ₁ , ₂ , _-1 ,1+ )

is a bound on the whole sequence (₎.

Theorem.

Suppose that (₎ has the Cauchy property. Then there is such that as .

Proof.

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 0 be arbitrary. From the convergence of the subsequence there is ₁ such that ₁ _- 2 i.e., ₁ _()
- 2 . From the Cauchy property there is ₂ such that ₂ ₂ _- 2 . Let =( _{2,(
₁₎₎} . 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 _()
- 2 as ₁ and _-₍₎ 2 as () ₂ so, using the triangle inequality,

_- _-₍₎ + _()
- 2 + 2 =

as required.

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.)

2. The Completeness axiom for fields

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: 0 (_,₎ . It is equally easy to formulate the notion of convergence of a sequence (₎ to a limit in terms of the distance function: 0 (_,) . 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.