Past exam of the topology course of the University of Oxford / 2021 / 2 / a

For the sphere model of the real projective plane, letThen ${\mathbb{RP}}^2=S^2/{\sim }_S$ with the quotient topology: each equivalence class is an antipodal pair.

For the closed disc model, letGive $D^2/{\sim }_D$ the quotient topology. Only antipodal pairs on the boundary circle are identified in the closed disc model; interior points remain distinct.

Let $q_S:S^2\to S^2/{\sim }_S$ and $q_D:D^2\to D^2/{\sim }_D$ be the quotient maps. The continuous mapis a homeomorphism onto the upper hemisphere; its inverse function is the restriction of the projection map $(x,y,z)\mapsto (x,y)$. Every antipodal pair on $S^2$ meets that hemisphere. Moreover, two points of this hemisphere are antipodal only if both lie on the equator. ThusBy the universal property of the quotient topology, $q_S\circ h$ induces a continuous bijection

To justify continuity of the inverse function, the source is compact, being a continuous image of a compact space $D^2$; the Heine-Borel theorem gives compactness of $D^2$. The target is Hausdorff, as follows. For distinct equivalence classes $[u]\ne [v]$, putIn $S^2$, take the union $U$ of the two relative open balls of radius $\delta /3$ about $u,-u$, and similarly take $V$ about $v,-v$. Every distance between their respective centres is at least $\delta$, so the triangle inequality gives $U\cap V=\varnothing$. These open sets contain entire antipodal pairs, hence $q_S^{-1}(q_S(U))=U$ and similarly for $V$. The quotient topology therefore makes $q_S(U)$ and $q_S(V)$ disjoint open neighbourhoods of the two classes.

The compact-to-Hausdorff continuous bijection theorem now gives the required homeomorphism $H$.