Buenas gente, estoy teniendo problemas incluso para entender algunos aspectos de Hatcher's Ex. 4.1.15, lo que hace que sea bastante difícil resolverlo.
La pregunta se ve así:
Mis preguntas son las siguientes:
Espero que me arregles esto. Sin duda, esto es bastante trivial.
Pregunta 1: En partes anteriores del libro, has aprendido que es un grupo abeliano (asumiendo que ). Hatcher aprovecha ese hecho en la parte (a), lo que le permite usar algunos atajos de terminología.
Uno puede volver a expandir ese atajo escribiendo
... cada mapa es homotópico a un mapa que representa el mismo elemento en como un múltiplo del elemento representado por el mapa de identidad.
Y, por supuesto, en el contexto de un grupo abeliano, un "múltiplo" de un elemento significa un múltiplo entero; aquí se utiliza el hecho de que los grupos abelianos son -módulos. Para el caso de un entero positivo y el mapa de identidad , esto está escrito explícitamente en el comentario de @КряжевАрсений:
Pregunta 2: En un contexto donde se trabaja con un espacio topológico y su grupo de homotopía , como la parte (b), la notación es en sí mismo un atajo para una notación expandida , donde se asume implícitamente que un punto base ha sido elegida. Entonces, el "punto base" al que se hace referencia en la parte (b) es ese punto base elegido implícitamente.
Арсений Кряжев está con Ucrania