Compact Hausdorff space

A compact Hausdorff space is both compact and Hausdorff. Such a space is normal, and every real-valued continuous function on it is bounded.

On a nonempty compact Hausdorff space, let continuous nonnegative functions decrease pointwise. Their suprema decrease to a finite number $L$. For every $t<L$, the sets $\{f_n\ge t\}$ are nonempty nested closed sets; compactness gives a common point with limit value at least $t$. Thus the supremum of the pointwise limit is $L$. The limit need not be continuous, and this conclusion does not claim uniform convergence as in the Dini theorem.

Let continuous maps $f,g:X\rightrightarrows Y$ between compact Hausdorff spaces have an underlying split coequalizer $q:Y\to Z$ with set maps $s,t$ satisfying $qs=1$, $ft=1$ and $gt=sq$. Its equivalence relation is the image of the closed subset $\{(x,x^{\prime })\in X^2:g(x)=g(x^{\prime })\}$ under $(f,f)$. One inclusion follows from $qf=qg$; for the other use $x=t(y)$ and $x^{\prime }=t(y^{\prime })$ whenever $q(y)=q(y^{\prime })$. This image is compact and hence closed in the Hausdorff product $Y^2$. The quotient is therefore compact Hausdorff, giving the preserved coequalizer required by the Beck monadicity theorem.

Embed $\mathbb{N}$ into the compact product $\{0,1{\}}^{\mathcal{P}(\mathbb{N})}$ by $j(n{)}_S=1_S(n)$ and take its closure $X$. The Tychonoff theorem makes $X$ a compact Hausdorff space, while $j(\mathbb{N})$ is countable, dense and discrete in its subspace topology. Yet $X$ is not metrizable. Any convergent subsequence $j(n_k)$ of distinct points would have a convergent coordinate for $S=\{n_2,n_4,\dots \}$, whereas that coordinate alternates between zero and one. This contradicts sequential compactness of a compact metric space. Thus a dense metrizable subspace does not force a separable compact Hausdorff ambient space to be metrizable.