1.II.12A

Metric and Topological Spaces
Part IB, 2007

Let XX and YY be topological spaces. Define the product topology on X×YX \times Y and show that if XX and YY are Hausdorff then so is X×YX \times Y.

Show that the following statements are equivalent.

(i) XX is a Hausdorff space.

(ii) The diagonal Δ={(x,x):xX}\Delta=\{(x, x): x \in X\} is a closed subset of X×XX \times X, in the product topology.

(iii) For any topological space YY and any continuous maps f,g:YXf, g: Y \rightarrow X, the set {yY:f(y)=g(y)}\{y \in Y: f(y)=g(y)\} is closed in YY.