1.10 Homotopy invariance
Video
Below the video you will find accompanying notes and some pre-class questions.
- Previous video: 1.09 Homotopy equivalence.
- Index of all lectures.
Notes
Homotopy invariance of the fundamental group
(0.00) In this section, we will prove that homotopy equivalent spaces have isomorphic fundamental groups.
(0.20) If \(F\colon X\to X\) is a continuous map which is homotopic to the identity map \(id_X\colon X\to X\), then the induced map \(F_*\colon\pi_1(X,x)\to\pi_1(X,F(x))\) is an isomorphism.
(1.26) Let \(F_t\colon X\to X\) be a homotopy from \(F_0=F\) to \(F_1=id_X\) and let \(\delta\) be the path traced out by the basepoint \(x\) under this homotopy, that is \[\delta(t)=F_t(x).\] Now, for \([\gamma]\in\pi_1(X,x)\), we have \[F_*[\gamma]=[F\circ\gamma]\] and \(F\circ\gamma\) is freely homotopic to \(\gamma\) via the free homotopy \(F_s\circ\gamma\). This is a free (rather than based) homotopy because the basepoint of \(F_s\circ\gamma\) is \(\delta(s)\). Using our results on basepoint dependence, this implies that \[[F\circ\gamma]=[\delta\cdot\gamma\cdot\delta^{-1}].\] and that the map \([\gamma]\to[\delta\cdot\gamma\cdot\delta^{-1}]\) is an isomorphism \(\pi_1(X,x)\to\pi_1(X,F(x))\). Since \(F_*[\gamma]=[F\circ\gamma]\), this tells us that \(F_*\) is an isomorphism.
(6.38) If \(F\colon X\to Y\) and \(G\colon Y\to X\) are homotopy inverses then \(F_*\colon\pi_1(X,x)\to\pi_1(Y,F(x))\) and \(G_*\colon\pi_1(Y,y)\to\pi_1(X,G(y))\) are isomorphisms.
(7.36) The composition \(F\circ G\colon Y\to Y\) is homotopic to \(id_Y\). By the previous lemma, \((F\circ G)_*\colon\pi_1(Y,y)\to\pi_1(Y,F(G(y)))\) is an isomorphism. By functoriality, we have \((F\circ G)_*=F_*\circ G_*\), so \(F_*\circ G_*\) is an isomorphism. This implies that \(G_*\) is injective (otherwise \(F_*\circ G_*\) would fail to be injective) and \(F_*\) is surjective (otherwise \(F_*\circ G_*\) would fail to be surjective).
(9.58) By arguing the same way about the composition \(G\circ F\), we get that \(G_*\) is surjective and \(F_*\) is injective. This implies that both \(F_*\) and \(G_*\) are bijections, and hence isomorphisms.
Pre-class questions
- The punctured plane \(\mathbf{C}\setminus\{0\}\) is homotopy equivalent to the (1-dimensional) unit circle \(S^1\). Find ``1-dimensional'' topological spaces homotopy equivalent to \(\mathbf{C}\setminus\mu_n\) where \(\mu_n\) is the set of \(n\)th roots of unity (a doodle, rather than a proof, will suffice). We will be able to use this to compute \(\pi_1(\mathbf{C}\setminus\mu_n)\) once we have proved Van Kampen's theorem.
Navigation
- Previous video: 1.09 Homotopy equivalence.
- Index of all lectures.