Hausdorff space

cosmos 8th September 2017 at 2:14am
Topological space

A Topological space is Hausdorff, if for any pair of points x,yXx, y \in X there exists open sets O1O_1 and O2O_2 such that xO1x \in O_1, yO2y \in O_2 and O1O2=O_1 \cap O_2 = \emptyset (have disjoint neighbourhoods). Also known as T2T_2 (see Separation axioms)

video

Every finite set in a Hausdorff space is closed

In Hausdorff spaces, a convergent sequence has a unique Limit point (proof)

Another proposition saying that a Limit point of a set in a Hausdorff space intersects the set in infinitely many points. We need stronger condition to say that a limit point is the point to which a sequence converges. See more at Convergence