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.
Remarks

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}.