Convergent sequence

A sequence whose terms eventually become arbitrarily close to a single limit point.
Convergent sequence

Let (X,d)(X,d) be a and let (xn)nN(x_n)_{n\in\mathbb{N}} be a sequence in XX. The sequence is convergent if there exists xXx\in X such that

ε>0, NN such that nN, d(xn,x)<ε.\forall \varepsilon>0,\ \exists N\in\mathbb{N}\ \text{such that}\ \forall n\ge N,\ d(x_n,x)<\varepsilon.

In that case, one writes xnxx_n\to x and calls xx the .

Convergence is the basic notion underlying , , , and . In a metric space, limits (if they exist) are unique.

Examples:

  • In R\mathbb{R}, xn=1/nx_n=1/n converges to 00.
  • In R2\mathbb{R}^2, xn=(1/n,(1)n/n)x_n=(1/n,(-1)^n/n) converges to (0,0)(0,0).
  • In a discrete metric space, a sequence converges iff it is eventually constant.