logo

In a Hausdorff Space, the Limit of a Sequence Is Unique 📂Topology

In a Hausdorff Space, the Limit of a Sequence Is Unique

Theorem

A sequence $\left\{ x_{n} \right\}$ on a $T_{2}$-space $X$ does not converge to more than one point.

Explanation

Is there really any need to belabor how important the uniqueness of limits is? The very fact that a space possesses such a property is evidence that a Hausdorff space is useful.

What must be noted is that this differs slightly, in terms of phrasing, from ‘converges to exactly one point.’ If one wishes to use such an expression, one should rephrase it as ‘if the sequence converges, then it converges to exactly one point.’

Proof

Suppose that $\left\{ x_{n} \right\}$ converges to both of two distinct points $a,b \in X$.

Since $X$ is a $T_{2}$-space, $$ a \in U \\ b \in V \\ U \cap V = \emptyset $$ there exist open sets $U, V \subset X$ satisfying the above. Then there exist $n_{1} , n_{2} \in \mathbb{N}$ satisfying $$ n \ge n_{1} \implies x_{n} \in U \\ n \ge n_{2} \implies x_{n} \in V $$ However, since $$ n \ge \max \left\{ n_{1} , n_{2} \right\} \implies x_{n} \in U \cap V = \emptyset $$ this is a contradiction.