Proof That Every Compact Hausdorff Space is Normal

Theorem

Every compact hausdorff spaceis normal.

Proof

Supposeis a compact Hausdorff space andare disjoint closed subsets ofandare closed subsets of a compact space, so are compact.

Using this theorem, open subsetsandexist such thathenceis normal.