Limit Point is Limit of Convergent Sequence/Proof 2
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$
Use a link to the definition rather than the equivalence proof.
You can help Proof Wiki by redesigning it.
To discuss this proof in more detail, feel free to use the talk page.
If you are able to fix this proof, then when you have done so you can remove this instance of {{Improve}} from the code.
If you would welcome a second opinion as to whether your improvement is correct, add an invitation to {{Proofread}} the page (see the proofread template for usage).
Sources
As such, the following source works, along with any process flow, will need to be reviewed.
Specifically: Determine whether this source includes either or both of the proofs given, and include citation link accordingly.
If you have access to any of these works, then you are invited to review this list, and make any necessary corrections.
When you have done this, move the citation of that source work (if it is appropriate that it stay on this page) above this message, into the usual chronological ordering.
When this has been done for all of the sources below, {{SourceReview}} should be removed from the code.
- 1953: Walter Rudin: Principles of Mathematical Analysis: $3.2d$