La Peluda Bola Teorema establece que $S^2$ no tiene nonvanishing vector tangente campos. Pero si tenemos un campo entonces se podría normalizar cada uno de los vectores para que se encontraba en el círculo unitario del plano tangente en ese punto. Estos círculos de unidad forman un grupo de más de $S^2$ fibra $S^1$. La Peluda Bola Teorema es por lo tanto equivalente a decir que este paquete no tiene sección global.
Dado que este es un trivial $S^2$-bundle con fibra de $S^1$ pensé que podría ser el de Hopf Fibration. Es? Si no, ¿cuál es el espacio total?