Past exam of the mathematics course of the University of Cambridge / 2019 / ib / Paper 4 / 13G (Metric and Topological Spaces)

If $A\subseteq X$, the subspace topology on $A$ isIf $\sim$ is an equivalence relation on $X$ and $q:X\to X/\sim$ is the natural projection, the quotient topology declares $V\subseteq X/\sim$ open exactly when $q^{-1}(V)$ is open in $X$. For topological spaces $X$ and $Y$, the product topology on $X\times Y$ has as a basis all sets $U\times V$ with $U$ open in $X$ and $V$ open in $Y$.

A closed set $C\subseteq X$ is compact because it is closed in the compact space $X$. Its image $f(C)$ is compact by the fact that a continuous image of a compact space is compact, and every compact subset of the Hausdorff space $Y$ is closed. Thus the continuous bijection $f$ is a closed map. Its inverse $f^{-1}:Y\to X$ is consequently continuous, so $f$ is a homeomorphism. This is the compact-to-Hausdorff continuous bijection theorem.

Define a continuous map $F:S\to T$ by the standard embedded torus of revolution parametrizationIts image lies in $T$ becauseThe periodicity of the trigonometric functions makes $F(s,0)=F(s,1)$ and $F(0,t)=F(1,t)$, so $F$ is constant on every $\sim$-equivalence class. The universal property of the quotient topology therefore gives a unique continuous map

Every point of $T$ has cylindrical radius between $1$ and $3$, so its polar angle determines $s$ modulo one, while the pair $(\sqrt{x^2+y^2}-2,z)$ on the unit circle determines $t$ modulo one. Hence $\overline{F}$ is surjective, and two parameters have the same image exactly when they differ by the endpoint identifications defining $\sim$; thus it is injective.

The quotient $S/\sim$ is compact as the continuous image of the given compact space $S$ under the quotient map. The surface $T$ is Hausdorff because it has the subspace topology inherited from ${\mathbb{R}}^3$. The compact-to-Hausdorff continuous bijection theorem now shows that $\overline{F}$ is a homeomorphism. Therefore