Limit Point is Limit of Convergent Sequence/Proof 2

From ProofWiki
Jump to navigation Jump to search


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

Let $E \subseteq X$ be a subset of $X$.

Let $p$ be a limit point of $E$.

Then there exists a sequence $\sequence {x_n} \subseteq E$ which converges to a limit:

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

where $\ds \lim_{n \mathop \to \infty} x_n$ is the limit of the sequence $\sequence {x_n}$.


From Metric Induces Topology, a metric space induces a topological space.

Then Equivalence of Definitions of Limit Point can be applied.