Definition:Cauchy Sequence/Real Numbers

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\sequence {x_n}$ be a sequence in $\R$.


Then $\sequence {x_n}$ is a Cauchy sequence if and only if:

$\forall \epsilon \in \R_{>0}: \exists N \in \N: \forall m, n \in \N: m, n \ge N: \size {x_n - x_m} < \epsilon$


Considering the real number line as a metric space, it is clear that this is a special case of the definition for a metric space.


Also see

Thus in $\R$ a Cauchy sequence and a convergent sequence are equivalent concepts.


Source of Name

This entry was named for Augustin Louis Cauchy.


Sources