# Cauchy sequence

    The reader should be familiar with the material in the Limit (mathematics) page.
A Cauchy sequence (pronounced CO-she) is an infinite sequence that converges in a particular way. This type of convergence has a far-reaching significance in mathematics. Cauchy sequences are named after the French mathematician Augustin Cauchy (1789-1857).
There is an extremely profound aspect of convergent sequences. A sequence of numbers in some set might converge to a number not in that set. The famous example of this is that a sequence of Rational Numbers might converge, but not to a rational number. For example, the sequence
    1.4
    1.41
    1.414
    1.4142
    1.41421
consists only of rational numbers, but it converges to ${\sqrt {2}}\,$, which is not a rational number. (See Real Numbers for an outline of the proof of this.)
    The sequence given above was created by a computer, and it could be argued that we haven't really exhibited the sequence. But we can put such a sequence on a firm theoretical footing by using the Newton-Raphson iteration. This would give us
       $A_{0}=1\,$
       $A_{n+1}={\frac {1}{2}}(A_{n}+2/A_{n})\,$
    so that
       $A_{1}=3/2=1.5\,$
       $A_{2}=17/12=1.4166666...\,$
       $A_{3}=577/408=1.414215686...\,$::...
    These aren't the same as the sequence given previously, but they are all rational numbers, and they converge to ${\sqrt {2}}\,$.
So if we lived in a world in which we knew about rational numbers but had never heard of the real numbers (the ancient Greeks sort of had this problem) we wouldn't know what to do about this. Recall that, for a sequence (a$_n$) to converge to a number A, that is
    $\lim _{n\to \infty }a_{n}=A\,$
we would need to use the definition of a limit—we would need a number A such that, for every ε > 0, there is an integer M such that, whenever $n>M,|a_{n}-A|<\varepsilon \,$.
There is no such rational number A.
But there is clearly a sense in which $(a_{n})\,$ converge. The definition of Cauchy convergence is this:
    A sequence $(a_{n})\,$ converges in the sense of Cauchy (or is a Cauchy sequence) if, for every ε > 0, there is an integer M such that any two sequence elements that are both beyond M are within ε of each other.
       Whenever $n>M$ and $m>M$, $|a_{n}-a_{m}|<\varepsilon \,$.
Note that there is no reference to the mysterious number A—the convergence is defined purely in terms of the sequence elements being close to each other. The example sequence given above can be shown to be a Cauchy sequence.

## Construction of the Real Numbers

What we did above effectively defined ${\sqrt {2}}\,$ in terms of the rationals, by saying
    "The square root of 2 is whatever the Cauchy sequence given above converges to."
even though that isn't a "number" according to our limited (rationals-only) understanding of what a number is.
The real numbers can be defined this way, by saying that a real number is defined to be a Cauchy sequence of rational numbers.
There are many details that we won't work out here; among them are:
* There are different Cauchy sequences that converge to the same thing; we gave two sequences above that converged to ${\sqrt {2}}\,$. So a real number is actually an "equivalence class" of Cauchy sequences, under a carefully defined equivalence. This is a bit tricky.
* We have to show how to add, subtract, multiply, and divide Cauchy sequences. This is a bit tricky.
* We have to give the Cauchy sequences corresponding to rational numbers. This is easy—5/12 becomes (5/12, 5/12, 5/12, ...).
Once we have done that, the payoff is enormous. We have defined an extension to the rationals that is metrically complete—that extension of the rationals is the real numbers. Metrically complete means that every Cauchy sequence made from the set converges to an element which is itself in the set. The reals are the metric completion of the rationals.
The use of Cauchy sequences is one of the two famous ways of defining the real numbers, that is, completing the rationals. The other method is Dedekind Cuts

## External Links

* "Cauchy Sequence" From MathWorld
* "Completion" From MathWorld