-1

Let $(X,\tau)$ be a topological space. Consider $X^2$ with the product topology. Show that $X$ is Hausdorff iff the diagonal $D = \{(x,y) \in X^2 \mid x=y\}$ is a closed subset of $X^2$.

J.-E. Pin
  • 40,163

1 Answers1

2

Hint: Convince yourself that for $x \neq y$, finding distinct open neighborhoods $U_x$ and $U_y$ is the same as finding an open neighborhood of $(x,y) \in X \times X$, which does net meet the diagonal.

MooS
  • 31,390
  • 2
    The downvoter might explain him/herself? – MooS Mar 02 '16 at 11:23
  • Sure: At almost 12k reputation, one would think you would recognize such obvious duplicates and not answer them. Especially if it's to give a hint answer like that. – Najib Idrissi Mar 02 '16 at 12:32