Solution

ID: past-exam-of-the-topology-course-of-the-university-of-oxford/2023/2/a/iii/solution

Here must denote the closed disc , as its boundary points participate in the identification. For , define
The Pythagorean trigonometric identity gives , so the image lies in the sphere . Away from the origin the formula is continuous. At the origin, the first two coordinates have absolute value at most and the third tends to , proving continuity there as well.
Every boundary point maps to , while the origin maps to . For a point with , there is a unique with , and its unique preimage is
This point has radius , because . The two poles have the preimages already described. Thus is surjective and its fibers are exactly the prescribed equivalence classes.
The closed disc is compact by the Heine-Borel theorem, and is Hausdorff with the subspace topology from Euclidean space. The preceding result gives the homeomorphism

New to topics? Read the docs here!