- #1
Silviu
- 624
- 11
Hello! I am a bit confused about the definition of homotopy for loops. So it looks like: Let ##\alpha, \beta : I -> X## be loops at ##x_0##. They are said to be homotopic if there is a continuous map ##F : I \times I -> X## such that: ##F(s,0)=\alpha (s), F(s,1)=\beta(s), F(0,t)=F(1,t)=x_0## for all ##s,t \in I##. As far as I understood this means that the 2 loops can be deformed from one to another. However I am not sure I understand why you can't find such a function if you can't deform them to one another. If we have let's say an annulus and a loop around the hole in it (which can't be reduced to a point) and another loop that can be reduced to a point they are not homotopic to each other. However if instead of the annulus we have a solid disk, they are homotopic. I can't seem to see why F can't be found in the first case, while it can in the second one.