A topological space in which any two distinct points have disjoint open neighborhoods; equivalently, points can be separated by open sets (this is the T2 separation axiom).

Principle

Hausdorff separation enforces uniqueness of limits of sequences or nets when they exist, and it guarantees that points are topologically distinguishable by disjoint neighborhoods, enabling well-behaved limit and closure operations.

Demonstration

Euclidean spaces R^n with the usual topology are Hausdorff: given two distinct points one can find small disjoint open balls around them. Consequences include that the diagonal {(x,x)} is closed in X×X and that compact subsets are closed in Hausdorff spaces.

Misapplication

Assuming all useful limit properties require Hausdorffness can be too strong—some constructions in algebraic geometry or quotient topologies work with non-Hausdorff spaces; treating T1 as equivalent to Hausdorff is also incorrect (T2 is stronger than T1).

Consequence

In Hausdorff spaces limits are unique when they exist, compact sets are closed, continuous injective maps from compact spaces are homeomorphisms onto their images, and many classical theorems assume Hausdorff separation for regularity and normality refinements.

Reversal

If the separation axiom is dropped so that distinct points cannot always be separated by disjoint opens, one encounters non-Hausdorff phenomena such as nonunique sequence limits, indistinguishable points under the topology, and pathological quotient behaviors.

Boundary

Hausdorff is one point in the separation hierarchy: stronger axioms (regular, normal, T3, T4, completely Hausdorff) impose further separation of sets and closures; Hausdorffness does not imply compactness, connectedness, or metrizability by itself.

Semantic Tension

Hausdorff vs T1: T1 ensures points are closed but does not guarantee disjoint neighborhoods; Hausdorff vs completely Hausdorff: the latter separates points by continuous real-valued functions and is strictly stronger, relevant when function separation is needed.

Synthesis

A Hausdorff space requires that distinct points admit disjoint open neighborhoods, a separation condition that secures uniqueness of limits, closedness of compact sets, and many regularity features that facilitate analysis and manifold theory.