# Difference between revisions of "Cauchy sequence"

imported>Aleksander Stos (completeness) |
imported>Richard Pinch (expanded link to complete metric space; supplied References Apostol, Steen+Seebach) |
||

(One intermediate revision by one other user not shown) | |||

Line 1: | Line 1: | ||

{{subpages}} | |||

In [[mathematics]], a '''Cauchy sequence''' is a [[sequence]] in a [[metric space]] with the property that elements in that sequence ''cluster'' together more and more as the sequence progresses. Another way of thinking of the clustering is that the distance between any two elements diminishes as their indexes grow larger and larger. | In [[mathematics]], a '''Cauchy sequence''' is a [[sequence]] in a [[metric space]] with the property that elements in that sequence ''cluster'' together more and more as the sequence progresses. Another way of thinking of the clustering is that the distance between any two elements diminishes as their indexes grow larger and larger. | ||

A convergent sequence in a metric space always has the Cauchy property, but depending on the underlying space, the Cauchy sequences may be convergent or not. This leads to the notion of a ''[[complete metric space]]'' as one in which every Cauchy sequence converges to a point of the space. | |||

==Formal definition== | ==Formal definition== | ||

Let <math>(X,d)</math> be a metric space. Then a sequence <math>x_1,x_2,\ldots</math> of elements in ''X'' is a Cauchy sequence if for any real number <math>\epsilon>0</math> there exists a positive integer <math>N(\epsilon)</math>, dependent on <math>\epsilon</math>, such that <math>d(x_n,x_m)<\epsilon</math> for all <math>m,n>N(\epsilon)</math>. In [[limit]] notation this is written as <math>\mathop{\lim}_{n,m \rightarrow \infty}d(x_m,x_n)=0</math>. | Let <math>(X,d)</math> be a metric space. Then a sequence <math>x_1,x_2,\ldots</math> of elements in ''X'' is a Cauchy sequence if for any real number <math>\epsilon>0</math> there exists a positive integer <math>N(\epsilon)</math>, dependent on <math>\epsilon</math>, such that <math>d(x_n,x_m)<\epsilon</math> for all <math>m,n>N(\epsilon)</math>. In [[limit]] notation this is written as <math>\mathop{\lim}_{n,m \rightarrow \infty}d(x_m,x_n)=0</math>. | ||

[[ | ==References== | ||

[[ | * {{cite book | author=Tom M. Apostol | title=Mathematical Analysis | edition=2nd ed | publisher=Addison-Wesley | year=1974 | page=73 }} | ||

* {{cite book | author=Lynn Arthur Steen | authorlink=Lynn Arthur Steen | coauthors= J. Arthur Seebach jr | title=[[Counterexamples in Topology]] | year=1978 | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=0-387-90312-7 | page=36 }} |

## Latest revision as of 11:30, 4 January 2009

In mathematics, a **Cauchy sequence** is a sequence in a metric space with the property that elements in that sequence *cluster* together more and more as the sequence progresses. Another way of thinking of the clustering is that the distance between any two elements diminishes as their indexes grow larger and larger.

A convergent sequence in a metric space always has the Cauchy property, but depending on the underlying space, the Cauchy sequences may be convergent or not. This leads to the notion of a *complete metric space* as one in which every Cauchy sequence converges to a point of the space.

## Formal definition

Let be a metric space. Then a sequence of elements in *X* is a Cauchy sequence if for any real number there exists a positive integer , dependent on , such that for all . In limit notation this is written as .

## References

- Tom M. Apostol (1974).
*Mathematical Analysis*, 2nd ed. Addison-Wesley. - Lynn Arthur Steen; J. Arthur Seebach jr (1978).
*Counterexamples in Topology*. Berlin, New York: Springer-Verlag. ISBN 0-387-90312-7.