1.II.12F

Metric and Topological Spaces
Part IB, 2006

(i) Define the product topology on X×YX \times Y for topological spaces XX and YY, proving that your definition does define a topology.

(ii) Let XX be the logarithmic spiral defined in polar coordinates by r=eθr=e^{\theta}, where <θ<-\infty<\theta<\infty. Show that XX (with the subspace topology from R2\mathbf{R}^{2} ) is homeomorphic to the real line.