Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/ii/paper-1/20i/d/solution
Past exam of the mathematics course of the University of Cambridge 2017 ii Paper 1 20I d Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-05
View the torus as the topological group under coordinatewise multiplication, and let be the common basepoint. From the given free homotopy constructThis is continuous, has , and at agrees with because . Thus it exhibits the requested based homotopy explicitly.
Algebraically is Abelian, so conjugate elements are equal. Free and based homotopy classes of loops with a specified common basepoint therefore coincide here.
New to topics? Read the docs here!