Dejar ser un punto en la esfera unitaria .
- como muestro eso es contractible?
- ¿Cómo muestro que un bucle no sobreyectivo con punto base es camino homotópico al bucle constante con imagen ?
Lo que yo sé:
Contráctil significa que debe haber un
tal que el mapa constante
con imagen
es homotópico a la identidad en
.
Entonces quiero un mapa continuo (homotopía)
tal que
y
.
¿Qué me falta todavía en mi prueba?
Un bucle es un camino cerrado: un mapa continuo
con
. Así que el bucle constante
tiene
para todos
.
Camino homotópico (entre
y
) significa que hay un mapa continuo
tal que
Editar:
Entonces obtuve la sugerencia de que debería usar la homotopía de contratación de 1., pero no sabría qué hacer con ella, y qué homotopía se refiere.
También si demuestro que
es contráctil, he probado entonces 1. debido al homeomorfismo con
?
SUGERENCIA: para la primera pregunta, puede usar la proyección estereográfica para ver que una esfera menos un punto es homeomorfa a un plano, en particular, todos los grupos de homotopía son iguales.
Para la segunda pregunta: use el teorema de Van-Kampen para ver que es trivial La conclusión sigue.
chacal
usuario335050
usuario335050
Akiva Weinberger
usuario335050
Akiva Weinberger
Akiva Weinberger