Compact Hausdorff implies normal

This article gives the statement and possibly, proof, of an implication relation between two topological space properties. That is, it states that every topological space satisfying the first topological space property (i.e., compact Hausdorff space) must also satisfy the second topological space property (i.e., normal space)
View all topological space property implications | View all topological space property non-implications
Get more facts about compact Hausdorff space|Get more facts about normal space

Statement

Property-theoretic statement

The property of topological spaces of being compact Hausdorff implies, or is stronger than, the property of being normal.

Verbal statement

Any compact Hausdorff space (a topological space that is both a compact and Hausdorff) is normal.

Related facts

Intermediate properties

Paracompact Hausdorff space: Further information: paracompact Hausdorff implies normal

Other related facts

any closed subset of a compact space is compact
any compact subset of a Hausdorff space is closed: The proof of this uses a very similar argument.
Any locally compact Hausdorff space is completely regular

Facts used

Compactness is weakly hereditary: Any closed subset of a compact space is compact.

Proof

Suppose $X$ is a compact Hausdorff space. We need to show that $X$ is normal. We will proceed in two steps: we will first show that $X$ is a regular space, and then show that $X$ is normal.

Proof of regularity

Given: $x \in X$ is a point and $A$ is a closed subset of $X$ not containing $x$ .

To find: Disjoint open subsets containing $A$ and $x$ respectively.

Solution:

Step no.	Assertion/construction	Given data used	Facts used	Previous steps used
1	For every $y \in A$ , construct disjoint open subsets $V_{y} ∋ x$ and $U_{y} ∋ y$ . In particular, the union of the $U_{y}$ s contains $A$	$X$ is Hausdorff	--	--
2	$A$ is compact	$X$ is compact, $A$ is closed in $X$	Fact (1)
3	The $U_{y} \cap A$ have a finite subcover (as an open cover of $A$ ). Thus, there is a finite set $y_{1}, y_{2}, \dots, y_{r}$ of points such that the union of $U_{y_{i}}$ is an open subset of $X$ containing $A$ .	--	--	Step (2)
4	$U = ⋃_{i = 1}^{n} U_{y_{i}}$ and $V = ⋂_{i = 1}^{n} V_{y_{i}}$ are disjoint open subsets containing $A$ and $x$ respectively.	--	--	Step (3)

Proof of normality

Given: Disjoint closed subsets $A$ and $B$ of $X$ .

To find: Disjoint open subsets $U$ and $V$ of $X$ such that $A \subseteq U$ and $B \subseteq V$ .

Solution:

Step no.	Assertion/construction	Given data used	Facts used	Previous steps used
1	For every point $x \in B$ , we can define disjoint open subsets $U_{x} \supset A$ and $V_{x} ∋ x$ . In particular, $V_{x}$ form an open cover of $B$ .	--	--	the "regularity" proof
2	$B$ is compact	$X$ is compact, $B$ is closed in $X$	Fact (1)
3	The $V_{x} \cap B$ have a finite subcover, say corresponding to points $x_{1}, x_{2}, \dots, x_{n}$ . Thus, the union $V = ⋃_{i = 1}^{n} V_{x_{i}}$ is an open set containing $B$	--	--	Step (2)
4	$U = ⋂_{i = 1}^{n} U_{x_{i}}$ and $V = ⋃_{i = 1}^{n} V_{x_{i}}$ are disjoint open subsets with $A \subseteq U$ and $B \subseteq V$	--	--	Step (1), (3)

References

Textbook references

Topology (2nd edition) by James R. Munkres, Page 202, Theorem 32.3, ^{More info}
Lecture Notes on Elementary Topology and Geometry (Undergraduate Texts in Mathematics) by I. M. Singer and J. A. Thorpe, Page 29, ^{More info}