Cauchy sequence

A sequence in a metric space whose terms become arbitrarily close to each other.
Cauchy sequence

A Cauchy sequence (xn)(x_n) in a metric space (X,d)(X,d) is a sequence such that for every ε>0\varepsilon>0 there exists NN with

d(xm,xn)<εfor all m,nN. d(x_m,x_n)<\varepsilon \quad\text{for all } m,n\ge N.

Every in a metric space is Cauchy (see ). The converse holds precisely in a .

Examples:

  • In R\mathbb{R}, the sequence xn=1/nx_n=1/n is Cauchy.
  • In Q\mathbb{Q} with the usual metric, a sequence of rational approximations to 2\sqrt{2} is Cauchy in Q\mathbb{Q} but does not converge in Q\mathbb{Q}.