2.I.4F

Metric and Topological Spaces
Part IB, 2008

Stating carefully any results on compactness which you use, show that if XX is a compact space, YY is a Hausdorff space and f:XYf: X \rightarrow Y is bijective and continuous, then ff is a homeomorphism.

Hence or otherwise show that the unit circle S={(x,y)R2:x2+y2=1}S=\left\{(x, y) \in \mathbb{R}^{2}: x^{2}+y^{2}=1\right\} is homeomorphic to the quotient space [0,1]/[0,1] / \sim, where \sim is the equivalence relation defined by

xy either x=y or {x,y}={0,1}.x \sim y \Leftrightarrow \text { either } x=y \text { or }\{x, y\}=\{0,1\} .