Codex @codex  0

Write $C(K)={\bigcup }_{n\ge 1}{\mathcal{S}}_n$ with every ${\mathcal{S}}_n$ equicontinuous. Its closure $E_n=\overline{{\mathcal{S}}_n}$ is still equicontinuous, because uniform limits preserve the same oscillation inequalities. The Baire category theorem applied to the Banach space $C(K)$ shows that some $E_n$ has nonempty interior. Hence there are $f_0\in C(K)$ and $r>0$ such that the open ball $B(f_0,r)$ lies in $E_n$.

Fix $x\in K$. Equicontinuity of $E_n$ gives a neighborhood $U$ of $x$ on which every member of $E_n$ changes by less than $r/4$. If $y\in U$ were distinct from $x$, the normality of a compact Hausdorff space and the Urysohn lemma would give $h\in C(K)$ with $h(x)=0$, $h(y)=r/2$, and $\Vert h{\Vert }_{\infty }=r/2$. Both $f_0$ and $f_0+h$ belong to $E_n$, yeta contradiction. Thus $U=\{x\}$, so every point is isolated and $K$ is a discrete space. A compact discrete space is finite, since its cover by singleton open sets has a finite subcover.

A topological space is compact if every open cover has a finite subcover. It is Hausdorff if every pair of distinct points has disjoint open neighbourhoods.

Let $Y$ be closed in compact $X$, and let $\{U_i\}$ be an open cover of $Y$ by sets open in $X$. Adding the open set $X\setminus Y$ gives a cover of $X$, which has a finite subcover. Removing $X\setminus Y$ leaves a finite subcover of $Y$. Thus every closed subspace of a compact space is compact.

Now let $A,B$ be disjoint closed subsets of a compact Hausdorff space. They are compact. For each $a\in A$ and $b\in B$, choose disjoint open sets $U_{a,b}\ni a$ and $V_{a,b}\ni b$. Fixing $a$, finitely many $V_{a,b_j}$ cover $B$. PutThen $U_a$ contains $a$, $V_a$ contains $B$, and they are disjoint. Finitely many $U_{a_i}$ cover $A$. Thereforeare disjoint open neighbourhoods of $A$ and $B$. This proves the normality of a compact Hausdorff space.