Cauchy sequence

From Maths
Revision as of 14:03, 9 July 2015 by Alec (Talk | contribs) (Created page with "==Definition== Given a metric space {{M|(X,d)}} and a sequence {{M|1=(x_n)_{n=1}^\infty\subseteq X}} is said to be a ''Cauchy sequence''<ref name...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Definition

Given a metric space [ilmath](X,d)[/ilmath] and a sequence [ilmath](x_n)_{n=1}^\infty\subseteq X[/ilmath] is said to be a Cauchy sequence[1] if:

  • [ilmath]\forall\epsilon > 0\exists N\in\mathbb{N}\forall n,m\in\mathbb{N}[n\ge m> N\implies d(x_m,x_n)<\epsilon][/ilmath]

In words it is simply:

  • For any arbitrary distance apart, there exists a point such that any two points in the sequence after that point are within that arbitrary distance apart.

References

  1. Functional Analysis - George Bachman and Lawrence Narici