Paper 4, Section II, E

Metric and Topological Spaces
Part IB, 2016

(a) Let XX be a topological space. Define what is meant by a quotient of XX and describe the quotient topology on the quotient space. Give an example in which XX is Hausdorff but the quotient space is not Hausdorff.

(b) Let T2T^{2} be the 2-dimensional torus considered as the quotient R2/Z2\mathbb{R}^{2} / \mathbb{Z}^{2}, and let π:R2T2\pi: \mathbb{R}^{2} \rightarrow T^{2} be the quotient map.

(i) Let B(u,r)B(u, r) be the open ball in R2\mathbb{R}^{2} with centre uu and radius r<1/2r<1 / 2. Show that U=π(B(u,r))U=\pi(B(u, r)) is an open subset of T2T^{2} and show that π1(U)\pi^{-1}(U) has infinitely many connected components. Show each connected component is homeomorphic to B(u,r)B(u, r).

(ii) Let αR\alpha \in \mathbb{R} be an irrational number and let LR2L \subset \mathbb{R}^{2} be the line given by the equation y=αxy=\alpha x. Show that π(L)\pi(L) is dense in T2T^{2} but π(L)T2\pi(L) \neq T^{2}.