$g: S^1 \rightarrow S^1$ homotópica a la aplicación identidad, $i$, debe ser sobreyectiva.
¡Hola a todos! Había estado trabajando en este problema en preparación para mi examen preliminar y había encontrado algunas dificultades. Sospechaba que el problema surgiría en sus homomorfismos inducidos que resultan en grupos diferentes. Imaginando el caso donde $g(S^1)$ es simplemente el círculo menos un punto, tendríamos que $g_{*}(\pi_{1}(S^1)) = \{0\}$, pero $i_{*}(\pi_{1}(S^1)) = \mathbb{Z}$.
Así que había estado intentando probar que, dado un sendero $f: [0,1] \rightarrow S^1$, tenemos $g_{*}([f]) = [g \circ f] = [i \circ f] = i_{*}([f])$. Para construir la homotopía del sendero de $g \circ f$ a $i \circ f = f$, iba a usar el mapa $F': [0,1] \times [0,1] \rightarrow S^1$ definido como $F(f(s),t)$ para alguna homotopía $F$ de $g$ e $i$. El problema es que no hay restricciones sobre cómo se comporta $F'$ en los conjuntos $\{0\} \times (0,1)$ y $\{1\} \times (0,1)$, al menos que yo pueda ver.
Me preguntaba si alguien puede ayudarme a orientarme en la dirección correcta (que puede que ni siquiera sea la que he elegido).
¡Gracias de antemano!
1 votos
Como sugeriste, un mapa $g$ que no sea sobreyectivo se descompone a través del espacio contractible $\mathbb{R}$.