Grupo fundamental - Wikipedia, la enciclopedia libre https://es.wikipedia.

org/wiki/Grupo_fundamental

Grupo fundamental
De Wikipedia, la enciclopedia libre

En topologa, podemos asociar a cada punto p de un espacio

topolgico X un grupo que nos informa sobre la estructura
1-dimensional de la porcin de espacio que rodea a este punto. Los
elementos de este grupo, llamado grupo fundamental de X
relativo al punto base p,1 son clases de equivalencia de lazos
(curvas cerradas) con origen en el punto p.

Existen generalizaciones a dimensin superior de este grupo, que

Mediante lazos con base en un punto fijo
reciben el nombre de grupos de homotopa. El grupo fundamental
podemos explorar el espacio topolgico al
recibe tambin el nombre de primer grupo de homotopa. De ah
la forma comn de notarlo como . que pertenece. Las clases de equivalencia
de estos lazos formarn el grupo
fundamental.

ndice
1 Definiciones
1.1 Lazo
1.2 Clases de homotopa
1.3 Grupo fundamental
2 Propiedades
3 Ejemplos
4 Notas y referencias
5 Bibliografa

Definiciones
Lazo
Sea un espacio topolgico, y un punto fijo de . Un lazo con base en es una aplicacin continua
que verifica .

El producto de dos lazos y se define como Esto es, el lazo

primero recorre el camino de , pero a "doble velocidad" y despus el de , tambin a doble velocidad.

Clases de homotopa
Las clases de homotopa son las clases de equivalencia debidas a la relacin de ser homotpico. Dos lazos
con base en un punto comn p son homotpicos si existe una aplicacin continua
tal que

1 de 3 7/7/17 17:35
Grupo fundamental - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Grupo_fundamental

Intuitivamente una clase de homotopa representa un paquete de curvas que son deformables entre s.

Grupo fundamental
El producto de dos clases de homotopa de lazos [f] y [g] se define como [f g]. Puede demostrarse que este
producto est bien definido al ser independiente de la eleccin de representantes. Este producto nos permite
obtener una estructura de grupo: el elemento neutro ser la clase [] del lazo trivial definido como (t) = p para
todo t; el inverso de la clase de un lazo [f] ser la clase del mismo lazo recorrido en sentido contrario (es decir,
f 1(t) = f(1 t))

El grupo fundamental de un espacio topolgico basado en un punto , notado como , es el

conjunto de clases de homotopa de curvas cerradas con la operacin yuxtaponer clases.

Propiedades
Si el espacio es arco-conexo, los diferentes grupos y para dos puntos son
isomorfos. Siendo posible hablar de el grupo fundamental del espacio: . Este isomorfismo no es
natural en general.
Una aplicacin continua entre dos espacios topolgicos induce una aplicacin del conjunto
de lazos de X sobre el de lazos de Y. Esta aplicacin se induce tambin sobre las clases respectivas y se
convierte en un homomorfismo entre los grupos fundamentales definido de este modo:
.
La asignacin dada por que va de la categora de espacios topolgicos a la categora de
grupos es un functor.
Este invariante puede ser calculado mediante la tcnica de grafo de grupos conocida como el Teorema de
Seifert-van Kampen. Con este resultado basta descomponer el espacio en 2 espacios ms simples donde
el grupo fundamental sea conocido.

Ejemplos
En muchos espacios slo existe una clase de homotopa de lazos, y en consecuencia, el grupo
fundamental es trivial. Un espacio topolgico con grupo fundamental trivial se dice simplemente conexo.
Rn, o cualquier subconjunto convexo de Rn lo son. La esfera de dimensin n con n mayor o igual que 2
tambin lo es.

El espacio topolgico ms simple no simplemente conexo es la circunferencia: su grupo fundamental es

isomorfo al grupo aditivo de los nmeros enteros Z. El nmero entero asociado a cada lazo de es el
nmero de vueltas que ese lazo da en torno a ella.

Si X e Y son dos espacios topolgicos arcoconexos, el grupo fundamental del producto X x Y es isomorfo
al producto de los grupos de ambos espacios. Por ejemplo, si para la circunferencia, . Para el
toro, homeomorfo a un producto de circunferencias, .

2 de 3 7/7/17 17:35
Grupo fundamental - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Grupo_fundamental

El grupo fundamental no tiene por qu ser conmutativo. Por ejemplo, el grupo fundamental del plano
privado de dos puntos es isomorfo al grupo libre con dos generadores . Estos dos
generadores son las clases de los lazos que pasando por un punto p rodean a cada uno de los puntos
eliminados. En algunas clases particulares de espacios topolgicos, como por ejemplo en la de los grupos
topolgicos, el grupo fundamental s resulta ser siempre abeliano.

Notas y referencias
1. Munkres: "Topologa" ISBN 978-84-205-3180-9, printed in spain

Bibliografa
Masey, W.S. A basic course in algebraic topology. GTM 127. Springer-Verlag. ISBN 0-387-97430-X
Munkres, J., Topology, Prentice Hall (2000) ISBN 0131816292

Wikimedia Commons alberga contenido multimedia sobre Grupo fundamental.

Obtenido de https://es.wikipedia.org/w/index.php?title=Grupo_fundamental&oldid=90847791

Categoras: Topologa algebraica Teora de categoras

Se edit esta pgina por ltima vez el 3 may 2016 a las 20:00.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; pueden
aplicarse clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra poltica
de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de
lucro.

3 de 3 7/7/17 17:35