First-Countable Space is Hausdorff iff All Convergent Sequences have Unique Limit

Theorem
Let $T = \struct {S, \tau}$ be a first-countable topological space.

Then $T$ is Hausdorff all convergent sequences on $T$ have a unique limit point.

Sufficient Condition
This is shown in Convergent Sequence in Hausdorff Space has Unique Limit.

Note that it does not require first-countability.

Necessary Condition
We prove the contrapositive.

Suppose $T$ is not Hausdorff.

Then by definition:
 * $\exists x, y \in S, x \ne y: \forall U, V \in \tau: x \in U, y \in V: U \cap V \ne \O$

By first-countability, $x$ and $y$ has countable local basis.

Let $\set {X_n: n \in \N}$ and $\set {Y_n: n \in \N}$ be countable local bases for $x$ and $y$ respectively.

Let $U_n = \displaystyle \bigcap_{k \mathop = 1}^n X_n$ and $V_n = \displaystyle \bigcap_{k \mathop = 1}^n Y_n$.

We have for all $n \in \N$:
 * $x \in U_n, y \in V_n$
 * $U_m \subseteq U_n, V_m \subseteq V_n$ for all $m \ge n$

We have that:
 * $\forall n \in \N: U_n \cap V_n \ne \O$

hence we can pick any $z_n \in U_n \cap V_n$.

We show that $\sequence {z_n}$ converges to both $x$ and $y$.

Let $A$ be an open set such that $x \in A$.

By definition of a local basis:
 * $\exists N \in \N: X_N \subseteq A$

We also have:
 * $\forall n \ge N: U_n \subseteq U_N \subseteq X_N \subseteq A$

Therefore for any $n \ge N$:
 * $z_n \in U_n \cap V_n \subseteq U_n \subseteq A$

By definition of convergence, $\sequence {z_n}$ converges to $x$.

Similarly $\sequence {z_n}$ converges to $y$.

Hence $\sequence {z_n}$ does not have unique limit point.