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

org/wiki/Grupo_de_homotopa

Grupo de homotopa
De Wikipedia, la enciclopedia libre

En matemticas, los grupos de homotopa se utilizan en topologa

algebraica para clasificar los espacios topolgicos. El primer y ms
sencillo grupo de homotopa es el grupo fundamental, que registra
informacin sobre las familias de curvas cerradas en un espacio.
Intuitivamente, los grupos homotpicos registran informacin sobre la
forma bsica, o agujeros, de un espacio topolgico.

Dos aplicaciones o mapas son homotpicos si uno puede ser deformado

de forma continua hasta convertirlo en el otro. La homotopa as
definida es una relacin de equivalencia que permite definir clases de
equivalencia llamadas clases de homotopa. El conjunto de dichas
clases tiene estructura de grupo bajo la operacin de composicin. El
grupo de homotopa de orden n, , se define como el conjunto de
los mapas de una esfera n-dimensional Sn en un espacio dado X,
basados en un punto fijo x0. El grupo fundamental es el primer grupo de
homotopa , es decir, la familia de mapas de una esfera S1 (una
circunferencia) en un espacio dado X, pasantes por un punto fijo x0 . La Primer grupo de homotopa (grupo
nocin de homotopa de curvas fue presentada por Camille Jordan.1 fundamental) del toro.

Los espacios topolgicos con diferentes grupos de homotopa no son

homeomorfos, pero lo contrario no es cierto. En las matemticas modernas, para estudiar una categora es
comn asociar a cada objeto de esta categora un objeto simple que todava conserva una cantidad suficiente de
informacin sobre el objeto en cuestin. Los grupos de homotopa son una manera de asociar los grupos a la
categora de espacios topolgicos.

ndice
1 Introduccin
2 Definicin
3 Vase tambin
4 Referencias
4.1 Notas
4.2 Bibliografa
5 Enlaces externos

Introduccin
El hecho de poder definir una estructura algebraica sobre los espacios topolgicos permite aplicar conceptos de
la teora de grupos a la topologa. Por ejemplo, si dos objetos topolgicos tienen diferentes grupos de
homotopa, entonces no pueden tener la misma estructura topolgica - un hecho que resulta difcil de probar
por medios topolgicos. Por ejemplo, el toro es diferente de la esfera. El toro tiene un "agujero", a diferencia de
la esfera. Sin embargo, ya que la continuidad (la nocin bsica de topologa) slo se ocupa de la estructura

1 de 4 7/7/17 17:37
Grupo de homotopa - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Grupo_de_homotopa

local, puede resultar difcil definir formalmente obvias diferencias globales. Los grupos de homotopa, sin
embargo, contienen informacin acerca de la estructura global.

En cuanto al ejemplo: El primer grupo de homotopa del toro T es

= 2

debido a que la cobertura universal de un toro es el plano complejo , mapeando un toro T / 2. Aqu el
cociente est en la categora de los espacios topolgicos, en lugar de grupos o anillos. Por otro lado, la esfera S2
satisface

=0

Por lo tanto, el toro no es homeomorfo a la esfera.

Definicin
En la hiperesfera Sn, se elige un punto fijo a. Para otro espacio X se elige un punto fijo x0. Se define el grupo
de homotopa de orden n como el conjunto de las clases de homotopa de las aplicaciones

f : Sn X, tal que f(a) = x0

En particular, las clases de equivalencia son dadas por homotopas que son constantes en el punto fijo a de la
esfera. De manera equivalente, podemos definir como el grupo de clases homotpicas de mapas

g : [0,1]n X

desde el hipercubo unitario en X, que mapean el contorno del n-cubo en x0.

Para n 1, las clases de homotopa forman un grupo bajo la operacin

de composicin de clases. En el caso particular del primer grupo (grupo
fundamental), el producto de dos lazos f y g se define como:

La idea de la composicin en el grupo fundamental consiste en recorrer

el primer lazo y despus el segundo de manera consecutiva, o de Composicin de clases en el grupo
manera equivalente, colocar sus dos dominios juntos. El concepto de fundamental.
composicin generalizado para el grupo de homotopa de orden n es
similar, slo que ahora los dominios que se unen son hipercubos
unitarios, solapados a lo largo de una cara. De manera explcita, la composicin de los mapas f y g: [0,1]n X
se define como:

La definicin en trminos de esferas, la operacin de dos mapas f y g: Sn X se define como la composicin

de dos mapas y h, donde es el mapa de Sn en el producto cua de dos n-esferas que colapsan en el ecuador,

2 de 4 7/7/17 17:37
Grupo de homotopa - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Grupo_de_homotopa

y h es el mapa del producto cua de dos n-esferas en X tales que f est definido en la primera y g en la segunda.

Los grupos de homotopa de orden superior a 1 son abelianos. Una demostracin de ello es el argumento de
Eckmann-Hilton, segn el cual en dos dimensiones o ms, dos homotopas pueden "girar" una alrededor de la
otra.

Aunque pueda resultar tentador, no es posible omitir los puntos fijos en la definicin de los grupos de
homotopa, dado que dicho argumento no funcionara en espacios que no son simplemente conexos, ni siquiera
cuando son conexos por caminos. El conjunto de clases de homotopa de una n-esfera en un espacio conexo no
tiene estructura de grupo. Sin embargo es esencialmente el conjunto de rbitas del grupo fundamental en el
grupo de homotopa.

Se ha conseguido una manera de soslayar estas dificultades mediante la definicin de grupoides de homotopa
superiores de espacios filtrados y de espacios de n-cubos. Estos estn relacionados con grupos de homotopa
relativos y grupos de homotopa n-dicos respectivamente. El teorema de Seifert-van Kampen permite entonces
derivar nueva informacin acerca de los grupos de homotopa e incluso de los tipos de homotopa.2

Vase tambin
Grupo (matemticas).
Homotopa.
Topologa algebraica.
Teora de nudos.
Teora geomtrica de grupos.
Propiedad topolgica.

Referencias
Notas
1. Marie Ennemond Camille Jordan (http://www-history.mcs.st-and.ac.uk/~history/Biographies/Jordan.html).
2. Higher dimensional group theory (http://pages.bangor.ac.uk/~mas010/hdaweb2.htm).

Bibliografa
Hatcher, Allen (2002), Algebraic topology (http://www.math.cornell.edu/~hatcher/AT/ATpage.html),
Cambridge University Press, ISBN 978-0-521-79540-1
Hazewinkel, Michiel, ed. (2001), Homotopy group (http://www.encyclopediaofmath.org
/index.php?title=p/h047930), Encyclopaedia of Mathematics (en ingls), Springer, ISBN 978-1556080104
Ronald Brown, `Groupoids and crossed objects in algebraic topology', Homology, homotopy and
applications (http://www.intlpress.com/HHA//v1/n1/a1/), 1 (1999) 178.
G.J. Ellis and R. Mikhailov, `A colimit of classifying spaces', arXiv:0804.3581v1 [math.GR
(http://xxx.soton.ac.uk/abs/0804.3581)]
R. Brown, P.J. Higgins, R. Sivera, Nonabelian algebraic topology: filtered spaces, crossed complexes,
cubical homotopy groupoids (http://pages.bangor.ac.uk/~mas010/nonab-a-t.html), EMS Tracts in
Mathematics Vol. 15, 703 pages. (August 2011).

Enlaces externos

3 de 4 7/7/17 17:37
Grupo de homotopa - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Grupo_de_homotopa

Grupo de homotopia y cubiertas: una introduccin a la topologa algebraica

(http://www.bdigital.unal.edu.co/1617/). Tejada Jimnez, Dbora Mara (2000).

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

Categora: Topologa algebraica

Se edit esta pgina por ltima vez el 3 may 2016 a las 20:09.
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.

4 de 4 7/7/17 17:37