Cauchy sequencemathematical analysis, a Cauchy sequence is a sequence whose terms become arbitrarily close to each other as the sequence progresses. They are named after the French mathematician Augustin Louis Cauchy. They are of interest because, given certain conditions, all such sequences converge to a limit, and one can test for "Cauchiness" without having the value of the actual limit.
Formally, a Cauchy sequence is a sequence
- 'x1, x2, x''3, ...
- d(xm, xn)
A metric space X in which every Cauchy sequence has a limit (in X) is called complete. The real numbers are complete, and the standard construction of the real numbers involves Cauchy sequences of rational numbers. The rational numbers themselves are not complete: a sequence of rational numbers can have the square root of two as its limit, for example. See Complete space for an example of a Cauchy sequence of rational numbers that does not have a rational limit.
Every convergent sequence is a Cauchy sequence, and every Cauchy sequence is bounded. If f : M -> N is a uniformly continuous map between the metric spaces M and N and (xn) is a Cauchy sequence in M , then (f(xn)) is a Cauchy sequence in N. If (xn) and (yn) are two Cauchy sequences in the rational, real or complex numbers, then the sum (xn + yn) and the product (xnyn) are also Cauchy sequences.