Past exam of the topology course of the University of Oxford / 2023 / 1 / a / iii

Let $K\subseteq X$ be compact, with $X$ a Hausdorff space. The empty set is closed, so suppose $K\ne \varnothing$. Fix $x\in X\setminus K$. For each $y\in K$, the Hausdorff property supplies disjoint open neighbourhoods $U_y$ of $y$ and $V_y$ of $x$.

The $U_y$ form an open cover of $K$. Choose a finite subcover $U_{y_1},\dots ,U_{y_m}$ and put $V={\bigcap }_{r=1}^m{V}_{y_r}$. This is an open neighbourhood of $x$. If a point of $V$ belonged to $K$, it would belong to some $U_{y_r}$ as well as $V_{y_r}$, a contradiction. Hence $V\subseteq X\setminus K$. Every point of the complement has such an open neighbourhood, so $X\setminus K$ is open and $K$ is closed.