A topological space in which any two distinct points have disjoint neighborhoods; equivalently the T2 separation axiom.

Principle

Distinct points can be separated by open sets, so points are topologically distinguishable and limits of convergent sequences or nets (when they exist) are unique.

Demonstration

The real line R with its standard topology: for two distinct reals x and y choose disjoint open intervals around x and y, showing R satisfies the Hausdorff condition.

Misapplication

Assuming a space is Hausdorff guarantees all subsets are closed or that compactness follows; a Hausdorff space can contain nonclosed subsets and need not be compact.

Consequence

Singletons are closed and convergent sequences or nets (if they converge) have unique limits; many constructions (products, subspaces) preserve Hausdorffness under standard hypotheses, enabling separation-based arguments.

Reversal

A non-Hausdorff space admits distinct points that cannot be separated by disjoint neighborhoods, so limits of sequences or nets may fail to be unique and singletons may not be closed.

Boundary

Applies only to topological spaces; it is weaker than regularity or normality and does not imply compactness, countability, or metrizability without additional hypotheses.

Semantic Tension

Close to the T1 axiom: T1 requires singletons to be closed but not necessarily disjoint neighborhoods. Hausdorff strengthens T1 by demanding separability by neighborhoods, which can be confused with stronger separation axioms.

Synthesis

Hausdorffness (T2) is the separation property that ensures points can be separated by disjoint neighborhoods, producing closed singletons and unique limits where convergence exists while remaining independent of compactness or countability conditions.