Definition:Cauchy Sequence/Metric Space

From ProofWiki
Jump to navigation Jump to search

Definition

Let $M = \struct {A, d}$ be a metric space.

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


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: \map d {x_n, x_m} < \epsilon$


Also known as

A Cauchy sequence is also known as:

a fundamental sequence
a regular sequence.


Also see

  • Results about Cauchy sequences can be found here.


Source of Name

This entry was named for Augustin Louis Cauchy.


Sources