Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/ii/paper-1/21f/c/solution

Choose a contraction
Apply the homotopy extension property to the initial map and to , regarded as a homotopy into . It supplies
such that
At , the map sends every point of to . It is therefore constant on the equivalence classes of the quotient topology . By the universal property of the quotient topology, there is a continuous map
such that
where is the quotient map. The homotopy immediately gives
For every , the map is constant on , because . It therefore descends to
This descended map is continuous: the product is a quotient map because is compact Hausdorff, and is constant on its fibres.
At the endpoints,
Thus
The maps and are homotopy inverses, so
This proves the theorem on collapsing a contractible cofibration.

New to topics? Read the docs here!