Hausdorff Spaces — Mathematics Knowledge System

Overview

A topological space is Hausdorff (or T2) if any two distinct points can be separated by disjoint open sets — a neighborhood around each point that doesn't overlap with the other's. This mild-sounding separation axiom, named for Felix Hausdorff who used it as part of his original definition of a topological space, rules out pathological behavior that would be strange in any space thought of as a generalization of ordinary geometry: in a Hausdorff space, limits of sequences (and more general nets) are unique, and compact subsets are automatically closed. Nearly every space encountered in analysis and geometry — metric spaces, manifolds, ℝⁿ — is Hausdorff; non-Hausdorff spaces are the exception, used mainly as deliberately pathological examples or in specialized settings like algebraic geometry's Zariski topology.

Intuition

Imagine two distinct people standing in a room, and asking whether they can each draw a circle around themselves on the floor so that the circles don't overlap. In ordinary rooms (and in ℝⁿ, and in any metric space) the answer is always yes — just draw a circle of radius half their distance apart. The Hausdorff condition is exactly this: it says the space is 'roomy enough' that any two distinct points can always be given their own disjoint open neighborhoods. Without this, two different points could be topologically inseparable — every open set containing one would necessarily bump into the other — which would make notions like 'the limit of this sequence' ambiguous, since a sequence could appear to converge to two different points at once.

Formal Definition

Definition

A topological space X is Hausdorff (or T2) if it satisfies the separation axiom:

\forall x, y \in X \text{ with } x \neq y,\ \exists U, V \text{ open with } x \in U,\ y \in V,\ U \cap V = \emptyset

Distinct points always have disjoint open neighborhoods

Hausdorff (T2) separation axiom

X \text{ Hausdorff} \implies \text{every convergent sequence (or net) in } X \text{ has a unique limit}

If a sequence converged to two distinct points in a Hausdorff space, disjoint neighborhoods of those points would eventually both need to contain all but finitely many terms — a contradiction

Uniqueness of limits

X \text{ Hausdorff},\ K \subseteq X \text{ compact} \implies K \text{ is closed in } X

A key consequence linking Hausdorffness to compactness (see the compactness concept)

Compact subsets are closed

Notation

Notation	Meaning
$T_2$	Standard shorthand for the Hausdorff separation axiom, part of the T0–T4 hierarchy of separation axioms

Properties

Metric spaces are Hausdorff

\text{Every metric space } (X,d) \text{ is Hausdorff}

Example: For x≠y, let ε=d(x,y)/2; B(x,ε) and B(y,ε) are disjoint open sets separating them.

Subspaces of Hausdorff are Hausdorff

X \text{ Hausdorff}, A \subseteq X \implies A \text{ (with subspace topology) is Hausdorff}

Products of Hausdorff spaces are Hausdorff

X, Y \text{ Hausdorff} \implies X \times Y \text{ Hausdorff (product topology)}

Compact subsets of Hausdorff spaces are closed

K \subseteq X \text{ compact}, X \text{ Hausdorff} \implies K \text{ closed in } X

Condition: See the compactness concept for the proof using disjoint neighborhoods around a finite subcover.

Indiscrete topology fails Hausdorff

(X, \{\emptyset,X\}) \text{ is not Hausdorff for } |X|\geq 2

Example: The only open sets are ∅ and X, so no two distinct points can be separated by disjoint open sets.

Worked Examples

Take the midpoint distance and build disjoint intervals around each point.
$U = (1-1,1+1) = (0,2), \quad V = (3-1,3+1) = (2,4)$
Check U and V are open and disjoint, each containing its respective point.
$1 \in U,\ 3 \in V,\ U \cap V = \emptyset$

Answer: ℝ is Hausdorff — any two distinct points can be separated this way, using half their distance as the radius.

Practice Problems

Difficulty 5/10

A space X is Hausdorff if:

Every open set is also closedAny two distinct points have disjoint open neighborhoodsX is compactX has only finitely many points

Difficulty 6/10

Why does uniqueness of limits fail in a non-Hausdorff space?

Difficulty 7/10

Prove that every metric space is Hausdorff.

Quiz

The Hausdorff (T2) axiom guarantees that:

Every subset is openDistinct points always have disjoint open neighborhoodsThe space is compactEvery function on the space is continuous

Which statement about compact subsets of Hausdorff spaces is TRUE?

They are always openThey are always closedThey are always finiteThey never exist

Summary

A space is Hausdorff (T2) if any two distinct points have disjoint open neighborhoods — the room is 'big enough' to keep distinct points topologically apart.
Metric spaces are always Hausdorff, and in Hausdorff spaces limits of sequences (and nets) are unique.
Compact subsets of a Hausdorff space are always closed — a fact that combines the Hausdorff separation axiom with the open-cover definition of compactness.

References

WebsiteWikipedia — Hausdorff space