Da un homomorfismo de grupos de homotopía a grupos de homología.
En matemáticas , el teorema de Hurewicz es un resultado básico de la topología algebraica , que conecta la teoría de la homotopía con la teoría de la homología a través de un mapa conocido como homomorfismo de Hurewicz . El teorema lleva el nombre de Witold Hurewicz y generaliza resultados anteriores de Henri Poincaré .
Declaración de los teoremas
Los teoremas de Hurewicz son un vínculo clave entre los grupos de homotopía y los grupos de homología .
versión absoluta
Para cualquier espacio X conectado por camino y entero positivo n existe un homomorfismo de grupo
![{\displaystyle h_{*}\dos puntos \pi _{n}(X)\to H_{n}(X),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
llamado homomorfismo de Hurewicz , del n -ésimo grupo de homotopía al n -ésimo grupo de homología (con coeficientes enteros). Se da de la siguiente manera: se elige un generador canónico , luego se lleva una clase de mapas de homotopía .![{\ Displaystyle u_ {n} \ en H_ {n} (S ^ {n})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f\in \pi _ {n}(X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle f_ {*} (u_ {n}) \ en H_ {n} (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El teorema de Hurewicz establece casos en los que el homomorfismo de Hurewicz es un isomorfismo .
- Porque , si X es conexo (es decir: para todos ), entonces para todos , y el mapa de Hurewicz es un isomorfismo. [1] : 366, Thm.4.32 Esto implica, en particular, que la conectividad homológica es igual a la conectividad homotópica cuando esta última es al menos 1. Además, el mapa de Hurewicz es un epimorfismo en este caso. [1] : 390, ?
![{\displaystyle n\geq 2}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (n-1)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pi _{i}(X)=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i<n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\tilde {H_{i}}}(X)=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i<n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle h_{*}\dos puntos \pi _{n}(X)\to H_{n}(X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle h_{*}\dos puntos \pi _{n+1}(X)\to H_{n+1}(X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Porque , el homomorfismo de Hurewicz induce un isomorfismo , entre la abelianización del primer grupo de homotopía (el grupo fundamental ) y el primer grupo de homología.
![{\displaystyle {\tilde {h}}_{*}\dos puntos \pi _{1}(X)/[\pi _{1}(X),\pi _{1}(X)]\to H_ {1}(X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Versión relativa
Para cualquier par de espacios y números enteros existe un homomorfismo![{\displaystyle (X,A)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k>1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle h_{*}\dos puntos \pi _{k}(X,A)\to H_{k}(X,A)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
de grupos de homotopía relativa a grupos de homología relativa. El teorema relativo de Hurewicz establece que si ambos y están conexos y el par es -conexo, entonces for y se obtiene de factorizando la acción de . Esto se demuestra, por ejemplo, en Whitehead (1978) por inducción, demostrando a su vez la versión absoluta y el lema de adición de homotopía.![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (n-1)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H_{k}(X,A)=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k<n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H_{n}(X,A)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pi _ {n}(X,A)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pi _{1}(A)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Este teorema relativo de Hurewicz es reformulado por Brown y Higgins (1981) como una afirmación sobre el morfismo
![{\displaystyle \pi _{n}(X,A)\to \pi _{n}(X\cup CA),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde denota el cono de . Esta afirmación es un caso especial de un teorema de escisión homotópica , que involucra módulos inducidos para (módulos cruzados si ), que a su vez se deduce de un teorema de van Kampen de homotopía superior para grupos de homotopía relativa, cuya demostración requiere el desarrollo de técnicas de un grupoide cúbico de homotopía superior. de un espacio filtrado.![{\displaystyle CA}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n>2}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n=2}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Versión triádica
Para cualquier tríada de espacios (es decir, un espacio X y subespacios A , B ) y un número entero existe un homomorfismo![{\displaystyle (X;A,B)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k>2}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle h_{*}\dos puntos \pi _{k}(X;A,B)\to H_{k}(X;A,B)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
de grupos de homotopía de tríada a grupos de homología de tríada. Tenga en cuenta que
![{\displaystyle H_{k}(X;A,B)\cong H_{k}(X\cup (C(A\cup B))).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El teorema triádico de Hurewicz establece que si X , A , B y son conexos, los pares y son conexos y conexos, respectivamente, y la tríada es conexa, entonces para y se obtiene de factorizando la acción de y el Productos Whitehead generalizados. La prueba de este teorema utiliza un teorema de tipo van Kampen de homotopía superior para grupos de homotopía triádica, que requiere una noción del grupo fundamental de un n -cubo de espacios.![{\displaystyle C=A\cap B}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (A,C)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (B,C)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (p-1)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (q-1)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (X;A,B)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (p+q-2)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H_{k}(X;A,B)=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k<p+q-2}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H_{p+q-1}(X;A)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pi _{p+q-1}(X;A,B)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pi _{1}(A\cap B)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {gato} ^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Versión de conjunto simple
El teorema de Hurewicz para espacios topológicos también puede enunciarse para n -conjuntos simpliciales conexos que satisfacen la condición de Kan. [2]
Teorema racional de Hurewicz
Teorema racional de Hurewicz: [3] [4] Sea X un espacio topológico simplemente conexo con for . Entonces el mapa de Hurewicz ![{\displaystyle \pi _{i}(X)\otimes \mathbb {Q} =0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i\leq r}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle h\otimes \mathbb {Q} \colon \pi _{i}(X)\otimes \mathbb {Q} \longrightarrow H_{i}(X;\mathbb {Q} )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
induce un isomorfismo para y una sobreyección para .![{\displaystyle 1\leq i\leq 2r}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i=2r+1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Notas
- ^ ab Hatcher, Allen (2001), Topología algebraica , Cambridge University Press , ISBN 978-0-521-79160-1
- ^ , III.3.6, 3.7
- ^ Klaus, Esteban; Kreck, Matthias (2004), "Una prueba rápida del teorema racional de Hurewicz y un cálculo de los grupos de esferas de homotopía racional", Actas matemáticas de la Sociedad Filosófica de Cambridge , 136 (3): 617–623, Bibcode :2004MPCPS.136 ..617K, doi :10.1017/s0305004103007114, S2CID 119824771
- ^ Cartan, Enrique ; Serre, Jean-Pierre (1952), "Espaces fibrés et groupes d'homotopie, II, Aplicaciones", Comptes rendus de l'Académie des Sciences , 2 (34): 393–395
Referencias
- Brown, Ronald (1989), "Teoremas triádicos de Van Kampen y teoremas de Hurewicz", Topología algebraica (Evanston, IL, 1988) , Matemáticas contemporáneas, vol. 96, Providence, RI: Sociedad Matemática Estadounidense, págs. 39–57, doi :10.1090/conm/096/1022673, ISBN 9780821851029, señor 1022673
- Marrón, Ronald; Higgins, PJ (1981), "Teoremas de Colimit para grupos de homotopía relativa", Journal of Pure and Applied Algebra , 22 : 11–41, doi :10.1016/0022-4049(81)90080-3, ISSN 0022-4049
- Marrón, R.; Loday, J.-L. (1987), "Escisión homotópica y teoremas de Hurewicz para n-cubos de espacios", Actas de la Sociedad Matemática de Londres , Tercera serie, 54 : 176–192, CiteSeerX 10.1.1.168.1325 , doi :10.1112/plms/s3 -54.1.176, ISSN 0024-6115
- Marrón, R.; Loday, J.-L. (1987), "Teoremas de Van Kampen para diagramas de espacios", Topología , 26 (3): 311–334, doi :10.1016/0040-9383(87)90004-8, ISSN 0040-9383
- Rotman, Joseph J. (1988), Introducción a la topología algebraica , Textos de posgrado en matemáticas , vol. 119, Springer-Verlag (publicado el 22 de julio de 1998), ISBN 978-0-387-96678-6
- Whitehead, George W. (1978), Elementos de la teoría de la homotopía , Textos de posgrado en matemáticas , vol. 61, Springer-Verlag , ISBN 978-0-387-90336-1