Teorema 6.7 - El grupo fundamental

Enunciado

El conjunto de clases de lazos π1(X,x0) junto con la operación es un grupo, denominado grupo fundamental de X en x0.

Demostración

Ejemplo

Si XRn es convexo, entonces π1(X,x0)=0 para todo punto x0X.
En particular: π1(Rn,x0)=0 y π1(Bn,x0)=0, donde Bn es la bola unidad.

Intuición

El grupo fundamental mide cuántas "formas distintas" hay de dar la vuelta al espacio. Esto permite diferenciar espacios con agujeros y sin agujeros de manera precisa.