Definition:Limit of Sequence/Metric Space

From ProofWiki
Jump to navigation Jump to search

Definition

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

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

Let $\sequence {x_n}$ converge to a value $l \in A$.


Then $l$ is a limit of $\sequence {x_n}$ as $n$ tends to infinity.


If $M$ is a metric space, this is usually written:

$\ds l = \lim_{n \mathop \to \infty} x_n$


Also known as

A limit of $\sequence {x_n}$ as $n$ tends to infinity can also be presented more tersely as a limit of $\sequence {x_n}$ or even just limit of $x_n$.


Also see

It can be seen that by the definition of open set in a metric space, this definition is equivalent to that for a limit in a topological space.


Sources