Concretamente, estoy trabajando con los espacios:
$S^n$, $\mathbb{C}P^n$ y $\mathbb{H}P^n$. Necesito a la conclusión de que la $T^1(M)$ se conecta para todos los colectores $M$ I lista (con la excepción de $S^2$).
Ahora, yo sé que $T^1S^2 \cong SO(3) $, por lo tanto $T^1S^2$ no está simplemente conectado.
Para el resto, lo que puedes hacer es utilizar el Gysin Secuencia de los espacios y llegar en el hecho de que su primer homología de grupos son triviales. Pero esto no es suficiente para mí para decir que son simplemente conectado.
¿Tengo que tomar otra ruta totalmente para probar esto, o puedo eludir este problema con algún teorema que garantiza que $H_1=0 \implies \pi_1=0$ en este caso específico?