# Limit Point is Limit of Convergent Sequence/Proof 2

Jump to navigation
Jump to search

## Theorem

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}$.

## Proof

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

Then Equivalence of Definitions of Limit Point can be applied.

$\blacksquare$

## Sources

- 1953: Walter Rudin:
*Principles of Mathematical Analysis*: $3.2d$