10-04-2025

Problem: Let $X$ be a topological space. Show that $X$ is Hausdorff if and only if the diagonal \[ \Delta \coloneqq \{ (x,x) \mid x \in X \} \] is closed subset of $X \times X$ with the product topology.

Comments