Solution

ID: past-exam-of-the-topology-and-groups-course-of-the-university-of-oxford/2023/1/b/i/solution

Write
for the quotient map defining the mapping cylinder, and put . Since the equivalence relation only attaches points at height to , distinct points at height remain distinct. Thus is an injective continuous map.
Define the homotopy
It is a continuous map, with and . Hence
Even if identifies many points, the free end of the mapping cylinder retains a separate copy of every point of .

New to topics? Read the docs here!