Suppose that $\omega$ is a loop at $y_1 \in Y$ and $\tau : I \to Y$ is a path joining $y_0$ and $y_1, y_0 \neq y_1$. Show that there is a homotopy $H : I \times I \to Y$ from $\alpha$ to $\tau \circ \omega \circ {\tau}^{-1}$ such that $H(0, s) = \tau (s) = H(1, s)$.
Asked
Active
Viewed 87 times
0
-
See here https://math.stackexchange.com/questions/372294/conjugacy-classes-in-the-fundamental-group – Someone Feb 07 '21 at 18:47
-
What is $\alpha$? Should it be $\omega$? – Paul Frost Feb 12 '21 at 12:23