Paper 4, Section II, 13G

Metric and Topological Spaces
Part IB, 2011

Let X,YX, Y be topological spaces and X×YX \times Y their product set. Let pY:X×YYp_{Y}: X \times Y \rightarrow Y be the projection map.

(i) Define the product topology on X×YX \times Y. Prove that if a subset ZX×YZ \subset X \times Y is open then pY(Z)p_{Y}(Z) is open in YY.

(ii) Give an example of X,YX, Y and a closed set ZX×YZ \subset X \times Y such that pY(Z)p_{Y}(Z) is not closed.

(iii) When XX is compact, show that if a subset ZX×YZ \subset X \times Y is closed then pY(Z)p_{Y}(Z) is closed