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 must also satisfy the second topological space property
View all topological space property implications | View all topological space property non-implications
|

Property "Page" (as page type) with input value "{{{stronger}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process.Property "Page" (as page type) with input value "{{{weaker}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process.

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

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

Suppose $x\in X$ is a point and $A$ is a closed subset of $X$ not containing $x$. Our goal is to exhibit disjoint open subsets containing $A$ and $x$ respectively.

Let's do this. For every $y\in A$, use the fact that $X$ is a Hausdorff space to construct disjoint open subsets $V_y\ni x$ and $U_y\ni y$.

Now, using the fact that $X$ is compact, $A$ is closed in $X$, and a closed subset of a compact space is compact, we deduce that $A$ is compact, so 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$.

Then, $U=\bigcup _{i=1}^n{U}_{y_i}$ and $V=\bigcap _{i=1}^n{V}_{y_i}$ are disjoint open subsets containing $A$ and $x$ respectively.

Proof of normality

The process of jacking up from regularity to normality is completely analogous to the process of jacking up from Hausdorffness to regularity. Let's describe this process.

Suppose $A$ and $B$ are disjoint closed subsets of $X$. Then, for every point $x\in B$, we can define disjoint open subsets $U_x\supset A$ and $V_x\supset x$. The open sets $V_x$ yield an open cover of $B$, which is a closed, hence compact, subset of $X$, so there is a finite subcover $x_1,x_2,\dots ,x_n$. The intersection of the $U_{x_i}$s and the union of the $V_{x_i}$s are disjoint open subsets containing $A$ and $B$.