Past exam of the mathematics course of the University of Cambridge / 2021 / ii / Paper 1 / 21F / c

Choose a contractionApply the homotopy extension property to the initial map ${\mathrm{id}}_X:X\to X$ and to $h$, regarded as a homotopy into $X$. It suppliessuch that

At $t=1$, the map $H_1$ sends every point of $A$ to $a_0$. It is therefore constant on the equivalence classes of the quotient topology $X/A$. By the universal property of the quotient topology, there is a continuous mapsuch thatwhere $q:X\to X/A$ is the quotient map. The homotopy $H$ immediately gives

For every $t$, the map $q\circ H_t$ is constant on $A$, because $H(a,t)=h(a,t)\in A$. It therefore descends toThis descended map is continuous: the product $q\times {\mathrm{id}}_I$ is a quotient map because $I$ is compact Hausdorff, and $q\circ H$ is constant on its fibres.
At the endpoints,ThusThe maps $q$ and $g$ are homotopy inverses, soThis proves the theorem on collapsing a contractible cofibration.