Compact Hausdorff Spaces — Mathematics Knowledge System

Overview

A compact Hausdorff space is a topological space that is simultaneously compact (every open cover has a finite subcover) and Hausdorff (distinct points have disjoint open neighborhoods). This combination is one of the most useful in all of topology: compactness alone provides finiteness-like control, and Hausdorffness alone provides separation, but together they force a rigidity that neither has on its own. In a compact Hausdorff space, compact subsets are automatically closed, the space is automatically normal (T4), and — most famously — any continuous bijection from a compact space onto a Hausdorff space is automatically a homeomorphism. This last fact means that on compact Hausdorff spaces, the topology is 'as fine as it can be while staying compact, and as coarse as it can be while staying Hausdorff': you cannot add open sets without destroying compactness, and you cannot remove any without destroying the Hausdorff property.

Intuition

Think of compactness as a budget constraint (you can't use infinitely many open sets to describe anything) and Hausdorffness as a separation guarantee (points can always be pried apart). Alone, compactness lets weird identifications survive — e.g. a non-Hausdorff space can be compact yet have points that can't be topologically distinguished. Alone, Hausdorffness lets a space be as large and open-ended as you like — ℝ is Hausdorff but nowhere near compact. Demanding both at once is like asking for a room that is both small enough to always be tidied with finitely many boxes (compact) and organized enough that every two distinct items sit in their own separate labeled bins (Hausdorff). The surprising payoff is rigidity: once you fix a compact Hausdorff topology, you can't loosen it (remove open sets) without two points collapsing together, and you can't tighten it (add open sets) without losing the finite-subcover property — the topology is pinned in place.

Formal Definition

Definition

A topological space X is compact Hausdorff if it satisfies both axioms simultaneously:

X \text{ is compact: every open cover } \{U_\alpha\} \text{ of } X \text{ has a finite subcover.}

Compactness

X \text{ is Hausdorff: } \forall\, x \neq y \in X,\ \exists\, U, V \text{ open, disjoint, with } x \in U,\ y \in V.

Hausdorff (T2)

f: X \to Y \text{ continuous bijection}, X \text{ compact}, Y \text{ Hausdorff} \implies f \text{ is a homeomorphism.}

Continuity of the inverse comes for free from compactness plus Hausdorffness; this is the single most-used fact about compact Hausdorff spaces

Key theorem

Notation

Notation	Meaning
$\text{CHaus}$	Informal shorthand sometimes used for the category of compact Hausdorff spaces and continuous maps
$f(C) \text{ closed whenever } C \text{ closed}$	A map sending closed sets to closed sets; continuous maps out of compact spaces into Hausdorff spaces are automatically closed

Derivation

Why a continuous bijection f: X → Y with X compact, Y Hausdorff must have a continuous inverse — the central theorem of compact Hausdorff spaces.

\text{Let } C \subseteq X \text{ be closed. Since } X \text{ is compact, } C \text{ is compact (closed subset of a compact space).}

Step 1: closed subsets of compact spaces are compact

f \text{ continuous} \implies f(C) \text{ is compact in } Y \text{ (continuous image of a compact set is compact).}

Step 2: compactness is preserved under continuous images

Y \text{ is Hausdorff} \implies f(C) \text{ is closed in } Y \text{ (compact subsets of Hausdorff spaces are closed).}

Step 3: compact subsets of Hausdorff spaces are closed

\text{So } f \text{ sends closed sets to closed sets, i.e. } f \text{ is a closed map.}

Combining steps 1-3: f is closed

(f^{-1})^{-1}(C) = f(C) \text{ is closed for every closed } C \subseteq X \implies f^{-1} \text{ is continuous.}

A map whose preimages of closed sets are closed is continuous; here f itself being closed is exactly this statement applied to f^{-1}

Properties

Compact subsets are closed

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

Condition: This uses only Hausdorffness of the ambient space, applied to a compact subset; it is the engine behind the main theorem below.

Compact Hausdorff implies normal

X \text{ compact Hausdorff} \implies X \text{ is normal (T4)}

Condition: Disjoint closed sets in a compact Hausdorff space are themselves compact (closed subsets of a compact space are compact), and disjoint compact sets in a Hausdorff space can be separated by disjoint open sets.

Continuous maps from compact spaces are closed

X \text{ compact}, Y \text{ Hausdorff}, f: X \to Y \text{ continuous} \implies f \text{ is a closed map}

Condition: For closed C ⊆ X: C is compact (closed subset of compact X), so f(C) is compact (continuous image of compact), so f(C) is closed in Y (compact subset of Hausdorff Y is closed).

Continuous bijection from compact to Hausdorff is a homeomorphism

f: X \to Y \text{ continuous bijection}, X \text{ compact}, Y \text{ Hausdorff} \implies f^{-1} \text{ is continuous}

Condition: Immediate from the closed-map property: a continuous closed bijection has a continuous inverse, since (f^{-1})^{-1}(C) = f(C) is closed for every closed C.

Applications

Compact Hausdorff spaces (e.g. spheres, tori, and other compact manifolds modeling phase spaces or gauge groups) guarantee that continuous physical observables behave rigidly and that identifications of configurations via continuous bijections are genuine topological equivalences, not accidental set-theoretic coincidences.

Worked Examples

[0,1] is closed and bounded in ℝ, so by the Heine–Borel theorem it is compact.
$[0,1] \text{ closed and bounded} \implies [0,1] \text{ compact}$
ℝ (and hence any subspace, including [0,1]) is Hausdorff: distinct real numbers x < y have disjoint open intervals around them, e.g. radius (y-x)/2.
$\forall x \neq y \in [0,1],\ \exists \text{ disjoint open intervals separating them}$
Both conditions hold simultaneously, so [0,1] is compact Hausdorff.
$[0,1] \text{ is compact Hausdorff}$

Answer: [0,1] is compact Hausdorff — it is the standard first example, underlying why continuous bijections out of [0,1] into Hausdorff spaces are homeomorphisms.

Practice Problems

Difficulty 6/10

If X is compact and Y is Hausdorff, a continuous bijection f: X → Y is automatically:

An open map onlyA homeomorphismNever invertibleOnly a homomorphism if X is a group

Difficulty 6/10

Why is every compact Hausdorff space normal (T4)?

Difficulty 8/10

Prove: if X is compact and f: X → Y is continuous with Y Hausdorff, then f is a closed map.

Common Mistakes

Common Mistake

Believing any continuous bijection between topological spaces is automatically a homeomorphism.

This is FALSE in general — it requires the domain to be compact and the codomain to be Hausdorff. Without these hypotheses, continuous bijections routinely fail to have continuous inverses (e.g. [0,1) → S¹).

Common Mistake

Thinking compactness alone (without Hausdorffness) is enough to conclude compact subsets are closed.

Compact subsets of a general topological space need NOT be closed; the Hausdorff hypothesis on the ambient space is essential for that implication.

Quiz

Summary

A compact Hausdorff space satisfies both the open-cover finiteness property (compactness) and the point-separation property (Hausdorff), and the combination is rigid.
Compact Hausdorff spaces are automatically normal (T4): disjoint closed sets, being compact, can be separated by disjoint open sets.
The central theorem: a continuous bijection from a compact space to a Hausdorff space is automatically a homeomorphism, because it is automatically a closed map.
This theorem fails if either hypothesis is dropped — e.g. [0,1) → S¹ is a continuous bijection with discontinuous inverse, since [0,1) is not compact.

References

WebsiteWikipedia — Compact space
WebsiteWikipedia — Hausdorff space
BookMunkres, J. Topology, 2nd ed. Ch. 3-4.