# Proof Verification - If E is an infinite subset of a compact set K, then E has a limit point in K

If E is an infinite subset of a compact set K, then E has a limit point in K.

But, I think that I get an alternative proof, but I'm not sure if my proof it's all right.

My proof for this theorem:

Let $\{x_n\}_{n \in \mathbb{N}}$ a sequence such that $\{x_n\}_{n \in \mathbb{N}} \subset E \subset K$, by the compactness of $K$ there is a subsequence $\{x_{n_{j}}\}_{j \in \mathbb{N}}$ such that $x_{n_{j}} \rightarrow a \in K$.

Then $a$ is limit point of $E$.

Indeed $\forall \ \varepsilon > 0 \ \ \exists \ j_0 \in \mathbb{N}$ such that $j>j_0 \Rightarrow x_{n_{j}} \in B(a,\varepsilon)$

As $E$ has infinite point we have $B(a,\varepsilon) \cap E \neq \emptyset$, therefore $a$ is a limit point of $E$ [QED].

Thank you.

• No. There are compact Hausdorff spaces in which the only convergent sequences are eventually constant. – DanielWainfleet Mar 23 '18 at 10:35
• I've got it, Thank you! – Kutz Mar 23 '18 at 19:01
• Statements about open sets have "dual" statements about closed sets. Are you familiar with the characterization of compactness in terms of the Finite Intersection Property (FIP) involving families of closed sets? – DanielWainfleet Mar 23 '18 at 22:35

This is not correct and it could not be correct because at no moment you used the fact that $E$ is infinite (you mentioned it, but you did not use it). Note that if $(\forall n\in\mathbb{N}):x_n=e$, for some element $e\in E$, all you proved is that some subsequence converges to $e$. In fact, the whole sequence converges to $e$, but that doesn't prove that $e$ is a limit point of $E$.
• But if $e \notin E$ in this case $x_n \neq e$ because $\{x_n\} \subset E$ – Kutz Mar 23 '18 at 10:44