Proposición 6.18

Enunciado

Sea p:EB una aplicación recubridora. Sean también eE, bB tales que p(e)=b.

  1. Si E es conexo por caminos, entonces Φ es sobreyectiva.

  2. Si E es simplemente conexo, entonces Φ es biyectiva. [1]

Siendo Φ la que aparece en la correspondencia del levantamiento.

Demostración

Si E es conexo por caminos, dado e1p1(b), existe un camino α~ en E uniendo e con e1. Entonces α=pα~ es un lazo centrado en b, con Φ([α])=e1 por definición. De esta manera, Φ es sobreyectiva.

Por otro lado, supongamos que E es simplemente conexo y sean [α] y [β] clases de π1(B,b), con Φ([α])=Φ([β]). Asimismo, sean α~ y β~ los levantamientos comenzando en e y terminando en α~(1)=β~(1). Como E es simplemente conexo, existe una homotopía por caminos H~ entre las curvas α~ y β~. Entonces H=pH~ homotopía entre α y β. Por tanto [α]=[β], es decir Φ es inyectiva y, por tanto, también biyectiva[2].

Cálculo de grupos fundamentales

Que Φ sea biyectiva implica que el espacio de llegada y el de salida son homeomorfos. Como el espacio de salida de la correspondencia es un grupo fundamental (además, al ser conexo por caminos, se tendrá el π1(X) general), entonces podemos aprovechar el conjunto p1 para conseguir el grupo fundamental en ciertos casos.


  1. Se deduce que si el grupo fundamental es el trivial, Φ es inyectiva. ↩︎

  2. Pues ya era sobreyectiva. ↩︎