Cauchy Sequence

Cauchy Sequence

A Sequence (an) is called a Cauchy Sequence if, ϵ>0 there NN where any m,nN follows that:

|anam|<ϵ

Consider the definition of convergence:

Convergence of a sequence

A Sequence (an) of real numbers converges to some LR if:
ε>0NNnN(|anL|<ε)

The definition of convergence asserts that, given an arbitrary positive ϵ we can find a point in the sequence N such that all points after nN are closer to the limit a than the given ϵ.

On the other hand, a sequence is Cauchy if, for every ϵ there is a point in the sequence after which the terms are all closer to each other than the given ϵ.

We'll argue that the two definitions are equivalent: convergent sequences are cauchy, and a cauchy sequence is convergent. The significance of this definition is that there is no mention of the value of the limit, similar to the Monotone Convergence Theorem. See Cauchy Sequences Converge.