INSTITUTO POLITÉCNICO NACIONAL - Instituto Avanzado de ...

2.6. HACES FIBRADOS 59lo que en un diagrama conmutativo queda comoEG - E?E 0 Ghid G 0- E 0 h?Con las de…niciones anteriores podemos introducir los haces …brados principales,en ellos, la …bra y el grupo que actúa sobre estos son idénticos.De…nición 2.6.9. El sexteto (P; B; ; G; U; ) es un haz …brado principal con(P; B; ; G; U) un haz …brado y (P; G; ) es un espacio G derecho, tal que los Gespacios ( 1 (U ); G; ) y (U G; G; ) son isomorfos, con : (U G) G ! U G((x; g); g 0 ) ! ((x; g); g 0 ) := (x; gg 0 ); (2.99)Entonces el diagrama 1 (U )G - 1 (U ) idG?(U G)G ?- U Gconmuta.