Is the intersection of a closed set and a compact set always compact?

In any Hausdorff space compact sets are automatically closed, and so the above argument works as written. It is true that in non-Hausdorff spaces, a compact set need not be closed.

On the other hand, it is true in general that a closed subset of a compact topological space is compact (whether or not the compact space is Hausdorff); this is easily proved directly in terms of the open cover characterization of compact topological spaces.

So if $K$ is compact in an arbitrary topological space (which is just to say that it is a compact topological space when given its induced topology) and $L$ is closed then $K \cap L$ is a closed subset of $K$ in its induced topology, and hence is compact with its induced topology, i.e. is again a compact subset of the ambient topological space (even though it need not be closed).

Summary: The corollary does hold for arbitrary (not necessarily Hausdorff) topological space, but you need to rewrite the proof slightly.


As usual, nets provide an elegant proof. Let $L$ be closed and $K$ compact. Suppose $(x_i)_i$ is a net in $L\cap K$. As $K$ is compact, there is a subnet $(x_{i_k})_k$ converging to some $x\in K$. As $L$ is closed, we must have $x\in L$. Hence $x\in L\cap K$ and consequently $L\cap K$ is compact.