Limit Points in Uncountable Fort Space

Theorem
Let $T = \struct {S, \tau_p}$ be an uncountable Fort space.

Let $U \subseteq S$ be a countably infinite subset of $S$.

Then $p$ is the only limit point of $U$.

Proof
Suppose $y \in S, y \ne p$.

We have by definition of Fort space that $\set y$ is open in $T$.

So there is no $z \in \set y: z \ne y, z \in U$.

Hence $y$ can not be a limit point of $U$.

Suppose $p \in V \in \tau_p$ for some $V \subseteq S$.

From, $\relcomp S V$ is finite.

Then:

Thus $\relcomp S {V \setminus \set p}$ is also finite.

Since $U$ is countably infinite:


 * $U \nsubseteq \relcomp S {V \setminus \set p}$.

From Empty Intersection iff Subset of Complement:


 * $U \cap \paren {V \setminus \set p} \ne \O$.

Since $V$ is arbitrary, every open neighborhood of $p$ has non-empty intersection with $U$.

Thus $p$ is the only limit point of $U$.