Let $S^1 = \{z \in \mathbb{C} : |z| = 1\}$. Take the loops $f,g : [0,1] \rightarrow S^1$, $f(t) = 1$, $g(t) = e^{2\pi it}$. I know these represent different elements in $\pi_1(S^1, 1)$, but I don't see why $F(t,s) = e^{2\pi its}$ isn't a homotopy between $f$ and $g$.
Why aren't these loops homotopic?
2
$\begingroup$
algebraic-topology
-
1If you're allowed to move around endpoints then every map $[0,1] \to X$ is homotopic to a constant map. – 2012-07-13
1 Answers
2
Loops are paths for which initial and end point coincide (in other words: closed paths), see here. The reason is simply that $F(\cdot,s)$ is not a closed path if $s\neq 0,1$.
-
0I thought the only condition on $F$ is that it's continuous, with $F(t,0) = f(t)$ and $F(t,1) = g(t)$.. – 2012-07-13
-
1No, it also should be a loop. – 2012-07-13
-
1$F(t,s)$ should be a loop for each $t$. – 2012-07-13
-
0Ok, I think I remember something that $F$ should leave the endpoints of $f$ and $g$ stable, so that explains why it needs to be a loop. I was confused since I couldn't find this in the definition on Wikipedia: http://en.wikipedia.org/wiki/Homotopy – 2012-07-13
-
0@Dog maybe it helps thinkink of the loops as maps with domain $S^1$ instead of $I$. Then a homotopy is a map with domain $S^1\times I$ and it is obvious that all $F(-,s)$ have to loops. – 2012-07-13