sobre el origen de la homolog a - unamtikhonov.fciencias.unam.mx/presentaciones/2016-ago... ·...
TRANSCRIPT
![Page 1: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/1.jpg)
Sobre el origen de la homologıa
Sobre el origen de la homologıa
Valente Santiago VargasDepartamento de Matematicas, Facultad de Ciencias
.
11 de agosto de 2016
![Page 2: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/2.jpg)
Sobre el origen de la homologıa
Un poco de historia
Homologıa en el siglo XIX
1 genero,
2 numeros de Betti,
3 etc.
![Page 3: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/3.jpg)
Sobre el origen de la homologıa
Un poco de historia
Bernhard Riemann (1826-1866)
![Page 4: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/4.jpg)
Sobre el origen de la homologıa
Un poco de historia
En 1857 Riemann considero la integral∫C(Pdx+Qdy)
![Page 5: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/5.jpg)
Sobre el origen de la homologıa
Un poco de historia
En 1857 Riemann considero la integral∫C(Pdx+Qdy)
![Page 6: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/6.jpg)
Sobre el origen de la homologıa
Un poco de historia
Riemann considero la integral∫C(Pdx+Qdy) tal que
∂P
∂y=∂Q
∂x.
En 1857 Riemann se dio cuenta que∫C(Pdx+Qdy) = 0 si el
sistema C era la frontera de una region en S.
Riemann definio a S como n+ 1 conexo, si existe una familia Cque consta n curvas cerradas Cj tal que que ningunsubconjunto de C es la frontera de una parte de S y C esmaximal con esta propiedad.
![Page 7: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/7.jpg)
Sobre el origen de la homologıa
Un poco de historia
Riemann considero la integral∫C(Pdx+Qdy) tal que
∂P
∂y=∂Q
∂x.
En 1857 Riemann se dio cuenta que∫C(Pdx+Qdy) = 0 si el
sistema C era la frontera de una region en S.
Riemann definio a S como n+ 1 conexo, si existe una familia Cque consta n curvas cerradas Cj tal que que ningunsubconjunto de C es la frontera de una parte de S y C esmaximal con esta propiedad.
![Page 8: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/8.jpg)
Sobre el origen de la homologıa
Un poco de historia
Riemann considero la integral∫C(Pdx+Qdy) tal que
∂P
∂y=∂Q
∂x.
En 1857 Riemann se dio cuenta que∫C(Pdx+Qdy) = 0 si el
sistema C era la frontera de una region en S.
Riemann definio a S como n+ 1 conexo, si existe una familia Cque consta n curvas cerradas Cj tal que que ningunsubconjunto de C es la frontera de una parte de S y C esmaximal con esta propiedad.
![Page 9: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/9.jpg)
Sobre el origen de la homologıa
Un poco de historia
Enrico Betti, matematico Italiano (1823-1892). En su artıculode 1871 de topologıa se introducen ciertos numeros queahora se como los numeros de Betti.
![Page 10: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/10.jpg)
Sobre el origen de la homologıa
Un poco de historia
B. Riemann estudia cuando una variedad n-dimensional es lafrontera de una variedad n+ 1 dimensional y estudia cortes endimensiones altas.
Define n-conectividad y prueba que si se tiene una variedad Mde dimension m y se tiene un corte N de dimension m− nentonces la n-conectividad disminuye en 1 o lan− 1-conectividad aumenta en 1.
![Page 11: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/11.jpg)
Sobre el origen de la homologıa
Un poco de historia
B. Riemann estudia cuando una variedad n-dimensional es lafrontera de una variedad n+ 1 dimensional y estudia cortes endimensiones altas.
Define n-conectividad y prueba que si se tiene una variedad Mde dimension m y se tiene un corte N de dimension m− nentonces la n-conectividad disminuye en 1 o lan− 1-conectividad aumenta en 1.
![Page 12: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/12.jpg)
Sobre el origen de la homologıa
Un poco de historia
Un error fue encontrado por Pol Heegaard en 1898.
E. Betti prueba el resultado anterior de tal forma que nodependa de la base. De nuevo, Heegaard encontro un error en lademostracion de Betti (1898).
![Page 13: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/13.jpg)
Sobre el origen de la homologıa
Un poco de historia
Henri Poincare (1854-1912)
![Page 14: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/14.jpg)
Sobre el origen de la homologıa
Un poco de historia
![Page 15: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/15.jpg)
Sobre el origen de la homologıa
Un poco de historia
Homologıa definida en “Analysis Situs”
Poincare fija una variedad (lineal) V y el considera sumasformales de subvariedades orientadas n dimensionales Vi de V(∑kiVi) e introduce una relacion llamada homologıa.
Poincare dice que∑kiVi es homologo a cero si existe una
subvariedad W de dimension n+ 1 tal que que la frontera de Wconste de ki copias de cada Vi para cada i.
![Page 16: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/16.jpg)
Sobre el origen de la homologıa
Un poco de historia
c1 + c2 + · · ·+ cn + c ' 0
![Page 17: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/17.jpg)
Sobre el origen de la homologıa
Un poco de historia
Poincare llama a una familia de subvariedades Vi de dimensionn, linealmente independiente si no hay enteros ni tal que
∑niVi
sea homologo a cero.
Tambien define el n-esimo numero de Betti, a saber bn + 1,donde bn es el numero maximal de subvariedades linealmenteindependientes (en honor a Enrico Betti).
![Page 18: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/18.jpg)
Sobre el origen de la homologıa
Un poco de historia
Poincare llama a una familia de subvariedades Vi de dimensionn, linealmente independiente si no hay enteros ni tal que
∑niVi
sea homologo a cero.
Tambien define el n-esimo numero de Betti, a saber bn + 1,donde bn es el numero maximal de subvariedades linealmenteindependientes (en honor a Enrico Betti).
![Page 19: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/19.jpg)
Sobre el origen de la homologıa
Un poco de historia
En 1900, Poincare introduce los coeficientes de torsion (esto lahace estudiando ciertas matrices que el construye a partir de lainformacion geometrica obtenida de la variedad).
Los topologos estudiaban la homologıa via matrices deincidencia, las cuales podıan manipular para poder determinarlos numeros de Betti y los coeficientes de torsion.
![Page 20: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/20.jpg)
Sobre el origen de la homologıa
Un poco de historia
En 1900, Poincare introduce los coeficientes de torsion (esto lahace estudiando ciertas matrices que el construye a partir de lainformacion geometrica obtenida de la variedad).
Los topologos estudiaban la homologıa via matrices deincidencia, las cuales podıan manipular para poder determinarlos numeros de Betti y los coeficientes de torsion.
![Page 21: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/21.jpg)
Sobre el origen de la homologıa
Un poco de historia
E. Noether (1882-1935)
![Page 22: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/22.jpg)
Sobre el origen de la homologıa
Un poco de historia
En 1925, Emmy Noether noto en su reporte Ableitung derElementarteliertheorie aus der Gruppentheorie y en una charladada en Gottingen, que la homologıa era un grupo abeliano (yno solo numeros).
![Page 23: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/23.jpg)
Sobre el origen de la homologıa
Un poco de historia
Heinz Hopf (1894-1971)
![Page 24: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/24.jpg)
Sobre el origen de la homologıa
Un poco de historia
Paul Alexandroff (1896-1982)
![Page 25: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/25.jpg)
Sobre el origen de la homologıa
Un poco de historia
Hopf y Alexandroff se dieron cuenta que el punto de vista deNoether era util.
Inspirado por el nuevo punto de vista, Walther Mayer en el ano1929, introdujo las nociones puramente algebraicas decomplejos de cadena y homologıa de un complejo (ver, UberAbstrakte Topologie. I un II, Monatshefte fur Math und Physik(36) (1929) 1-42, 219-258.)
![Page 26: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/26.jpg)
Sobre el origen de la homologıa
Un poco de historia
Hopf y Alexandroff se dieron cuenta que el punto de vista deNoether era util.
Inspirado por el nuevo punto de vista, Walther Mayer en el ano1929, introdujo las nociones puramente algebraicas decomplejos de cadena y homologıa de un complejo (ver, UberAbstrakte Topologie. I un II, Monatshefte fur Math und Physik(36) (1929) 1-42, 219-258.)
![Page 27: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/27.jpg)
Sobre el origen de la homologıa
Un poco de historia
Walther Mayer (1887-1948) a la izquierda de Einstein
![Page 28: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/28.jpg)
Sobre el origen de la homologıa
Un poco de historia
Ası en los anos 1925− 1935 se inventaron varias teorıas dehomologıa.
![Page 29: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/29.jpg)
Sobre el origen de la homologıa
El caso en dimension 1
Pregunta
Dada una funcion f : [a, b] −→ R continua en (a, b)¿ existe F tal que F ′(x) = f(x) para todo x ∈ (a, b)?
![Page 30: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/30.jpg)
Sobre el origen de la homologıa
El caso en dimension 1
Teorema fundamental del calculo
Sea f : [a, b] −→ R continua en (a, b). Entonces existeF : [a, b] −→ R continua tal que F ′(c) = f(c) para todoc ∈ (a, b). De hecho F esta definido para x ∈ [a, b] por
F (x) =
∫ x
af(x).
Denotemos por
C1(a, b) := f : [a, b] −→ R | f es derivable (a, b) y
C0(a, b) := f : [a, b] −→ R | f es continua (a, b).
Sea D : C1(a, b) −→ C0(a, b) definida por (Df)(x) = f ′(x).
![Page 31: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/31.jpg)
Sobre el origen de la homologıa
El caso en dimension 1
Teorema fundamental del calculo
Sea f : [a, b] −→ R continua en (a, b). Entonces existeF : [a, b] −→ R continua tal que F ′(c) = f(c) para todoc ∈ (a, b). De hecho F esta definido para x ∈ [a, b] por
F (x) =
∫ x
af(x).
Denotemos por
C1(a, b) := f : [a, b] −→ R | f es derivable (a, b) y
C0(a, b) := f : [a, b] −→ R | f es continua (a, b).
Sea D : C1(a, b) −→ C0(a, b) definida por (Df)(x) = f ′(x).
![Page 32: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/32.jpg)
Sobre el origen de la homologıa
El caso en dimension 1
Reinterpretacion del teorema fundamental
La transformacion lineal D : C1(a, b) −→ C0(a, b) essuprayectiva
¿ Cual es el Kernel de D?.
Kernel de D son las funciones constantes en [a, b].
Entonces se tiene la suc. de espacios vectoriales ytransformaciones lineales
0 // R i // C1(a, b)D // C0(a, b) // 0
![Page 33: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/33.jpg)
Sobre el origen de la homologıa
El caso en dimension 1
Reinterpretacion del teorema fundamental
La transformacion lineal D : C1(a, b) −→ C0(a, b) essuprayectiva
¿ Cual es el Kernel de D?.
Kernel de D son las funciones constantes en [a, b].
Entonces se tiene la suc. de espacios vectoriales ytransformaciones lineales
0 // R i // C1(a, b)D // C0(a, b) // 0
![Page 34: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/34.jpg)
Sobre el origen de la homologıa
El caso en dimension 1
Reinterpretacion del teorema fundamental
La transformacion lineal D : C1(a, b) −→ C0(a, b) essuprayectiva
¿ Cual es el Kernel de D?.
Kernel de D son las funciones constantes en [a, b].
Entonces se tiene la suc. de espacios vectoriales ytransformaciones lineales
0 // R i // C1(a, b)D // C0(a, b) // 0
![Page 35: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/35.jpg)
Sobre el origen de la homologıa
El caso en dimension 1
En la sucesion
00 // R i // C1(a, b)
D // C0(a, b)0 // 0
tenemos que se cumple la propiedad que D i = 0, 0 D = 0que se traduce en que Im(i) ⊆ Ker(D) y Im(D) ⊆ ker(0).
Como Im(D) ⊆ ker(0), podemos formar el espacio vectorialcociente
H1 =ker(0)
Im(D).
Pero Ker(0 : C0(a, b) −→ 0) = C0(a, b) y el teoremafundamental del calculo nos dice que Im(D) = C0(a, b). Por lotanto
H1 =ker(0)
Im(D)=C0(a, b)
C0(a, b)= 0.
![Page 36: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/36.jpg)
Sobre el origen de la homologıa
El caso en dimension 1
En la sucesion
00 // R i // C1(a, b)
D // C0(a, b)0 // 0
tenemos que se cumple la propiedad que D i = 0, 0 D = 0que se traduce en que Im(i) ⊆ Ker(D) y Im(D) ⊆ ker(0).
Como Im(D) ⊆ ker(0), podemos formar el espacio vectorialcociente
H1 =ker(0)
Im(D).
Pero Ker(0 : C0(a, b) −→ 0) = C0(a, b) y el teoremafundamental del calculo nos dice que Im(D) = C0(a, b). Por lotanto
H1 =ker(0)
Im(D)
=C0(a, b)
C0(a, b)= 0.
![Page 37: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/37.jpg)
Sobre el origen de la homologıa
El caso en dimension 1
En la sucesion
00 // R i // C1(a, b)
D // C0(a, b)0 // 0
tenemos que se cumple la propiedad que D i = 0, 0 D = 0que se traduce en que Im(i) ⊆ Ker(D) y Im(D) ⊆ ker(0).
Como Im(D) ⊆ ker(0), podemos formar el espacio vectorialcociente
H1 =ker(0)
Im(D).
Pero Ker(0 : C0(a, b) −→ 0) = C0(a, b) y el teoremafundamental del calculo nos dice que Im(D) = C0(a, b). Por lotanto
H1 =ker(0)
Im(D)=C0(a, b)
C0(a, b)
= 0.
![Page 38: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/38.jpg)
Sobre el origen de la homologıa
El caso en dimension 1
En la sucesion
00 // R i // C1(a, b)
D // C0(a, b)0 // 0
tenemos que se cumple la propiedad que D i = 0, 0 D = 0que se traduce en que Im(i) ⊆ Ker(D) y Im(D) ⊆ ker(0).
Como Im(D) ⊆ ker(0), podemos formar el espacio vectorialcociente
H1 =ker(0)
Im(D).
Pero Ker(0 : C0(a, b) −→ 0) = C0(a, b) y el teoremafundamental del calculo nos dice que Im(D) = C0(a, b). Por lotanto
H1 =ker(0)
Im(D)=C0(a, b)
C0(a, b)= 0.
![Page 39: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/39.jpg)
Sobre el origen de la homologıa
El caso en dimension 1
Definimos H0 := Ker(D).
Obtuvimos que si el dominio de D es un intervalo [a, b],entonces Ker(D) ' R.
¿ Que pasa si en lugar de un intervalo [a, b] definieramos eloperador D sobre funciones que tienen dominios mascomplicados de R ?
Supongamos que tenemos R = [a1, b1] ∪ [a2, b2] ∪ · · · ∪ [an, bn](intervalos disjuntos) y que tenemos una funcion f : R −→ R ysupongamos que podemos derivar f en cada punto deU =
⋃ni=1(ai, bi).
Si la derivada de f en cada punto de U es cero que ¿ podemosdecir de f?.
![Page 40: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/40.jpg)
Sobre el origen de la homologıa
El caso en dimension 1
Definimos H0 := Ker(D).
Obtuvimos que si el dominio de D es un intervalo [a, b],entonces Ker(D) ' R.
¿ Que pasa si en lugar de un intervalo [a, b] definieramos eloperador D sobre funciones que tienen dominios mascomplicados de R ?
Supongamos que tenemos R = [a1, b1] ∪ [a2, b2] ∪ · · · ∪ [an, bn](intervalos disjuntos) y que tenemos una funcion f : R −→ R ysupongamos que podemos derivar f en cada punto deU =
⋃ni=1(ai, bi).
Si la derivada de f en cada punto de U es cero que ¿ podemosdecir de f?.
![Page 41: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/41.jpg)
Sobre el origen de la homologıa
El caso en dimension 1
Definimos H0 := Ker(D).
Obtuvimos que si el dominio de D es un intervalo [a, b],entonces Ker(D) ' R.
¿ Que pasa si en lugar de un intervalo [a, b] definieramos eloperador D sobre funciones que tienen dominios mascomplicados de R ?
Supongamos que tenemos R = [a1, b1] ∪ [a2, b2] ∪ · · · ∪ [an, bn](intervalos disjuntos) y que tenemos una funcion f : R −→ R ysupongamos que podemos derivar f en cada punto deU =
⋃ni=1(ai, bi).
Si la derivada de f en cada punto de U es cero que ¿ podemosdecir de f?.
![Page 42: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/42.jpg)
Sobre el origen de la homologıa
El caso en dimension 1
Definimos H0 := Ker(D).
Obtuvimos que si el dominio de D es un intervalo [a, b],entonces Ker(D) ' R.
¿ Que pasa si en lugar de un intervalo [a, b] definieramos eloperador D sobre funciones que tienen dominios mascomplicados de R ?
Supongamos que tenemos R = [a1, b1] ∪ [a2, b2] ∪ · · · ∪ [an, bn](intervalos disjuntos) y que tenemos una funcion f : R −→ R ysupongamos que podemos derivar f en cada punto deU =
⋃ni=1(ai, bi).
Si la derivada de f en cada punto de U es cero que ¿ podemosdecir de f?.
![Page 43: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/43.jpg)
Sobre el origen de la homologıa
El caso en dimension 1
La funcion sera constante en cada intervalo. Ası
Ker(D) ' Rn
donde n es el numero de intervalos de R
Es decir, dimR(H0) = dimR(Ker(D)) mide el numero decomponentes conexas del domino de las funciones a cual lesaplicamos D.
![Page 44: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/44.jpg)
Sobre el origen de la homologıa
El caso en dimension 1
La funcion sera constante en cada intervalo. Ası
Ker(D) ' Rn
donde n es el numero de intervalos de R
Es decir, dimR(H0) = dimR(Ker(D)) mide el numero decomponentes conexas del domino de las funciones a cual lesaplicamos D.
![Page 45: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/45.jpg)
Sobre el origen de la homologıa
En dimension 2
Sea U ⊆ R2 abierto y f = (f1, f2) : U −→ R2 con fi : U −→ R.
¿ Existira funcion F : U −→ R tal que ∂F∂x1
= f1 y ∂F∂x2
= f2?
Teorema
Si F (x1, x2) : U −→ R es de clase C2 (es dos vecescontinuamente diferenciable) entonces las derivadas parcialesmixtas son iguales
∂2F
∂x2∂x1=
∂2F
∂x1∂x2
Por lo tanto, si existiera tal funcion deberıa pasar
Condicion necesaria
∂f1∂x2
=∂2F
∂x2∂x1=
∂2F
∂x1∂x2=∂f2∂x1
.
![Page 46: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/46.jpg)
Sobre el origen de la homologıa
En dimension 2
Sea U ⊆ R2 abierto y f = (f1, f2) : U −→ R2 con fi : U −→ R.
¿ Existira funcion F : U −→ R tal que ∂F∂x1
= f1 y ∂F∂x2
= f2?
Teorema
Si F (x1, x2) : U −→ R es de clase C2 (es dos vecescontinuamente diferenciable) entonces las derivadas parcialesmixtas son iguales
∂2F
∂x2∂x1=
∂2F
∂x1∂x2
Por lo tanto, si existiera tal funcion deberıa pasar
Condicion necesaria
∂f1∂x2
=∂2F
∂x2∂x1=
∂2F
∂x1∂x2=∂f2∂x1
.
![Page 47: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/47.jpg)
Sobre el origen de la homologıa
En dimension 2
Sea U ⊆ R2 abierto y f = (f1, f2) : U −→ R2 con fi : U −→ R.
¿ Existira funcion F : U −→ R tal que ∂F∂x1
= f1 y ∂F∂x2
= f2?
Teorema
Si F (x1, x2) : U −→ R es de clase C2 (es dos vecescontinuamente diferenciable) entonces las derivadas parcialesmixtas son iguales
∂2F
∂x2∂x1=
∂2F
∂x1∂x2
Por lo tanto, si existiera tal funcion deberıa pasar
Condicion necesaria
∂f1∂x2
=∂2F
∂x2∂x1=
∂2F
∂x1∂x2=∂f2∂x1
.
![Page 48: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/48.jpg)
Sobre el origen de la homologıa
En dimension 2
Sea U ⊆ R2 abierto y f = (f1, f2) : U −→ R2 con fi : U −→ R.
¿ Existira funcion F : U −→ R tal que ∂F∂x1
= f1 y ∂F∂x2
= f2?
Teorema
Si F (x1, x2) : U −→ R es de clase C2 (es dos vecescontinuamente diferenciable) entonces las derivadas parcialesmixtas son iguales
∂2F
∂x2∂x1=
∂2F
∂x1∂x2
Por lo tanto, si existiera tal funcion deberıa pasar
Condicion necesaria
∂f1∂x2
=∂2F
∂x2∂x1=
∂2F
∂x1∂x2=∂f2∂x1
.
![Page 49: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/49.jpg)
Sobre el origen de la homologıa
En dimension 2
¿La condicion anterior es suficiente?. Es decir, si ∂f1
∂x2= ∂f2
∂x1
¿existe funcion F : U −→ R tal que ∂F∂x1
= f1 y ∂F∂x2
= f2?.
El siguiente ejemplo muestra que la condicion anterior no essuficiente.
Ejemplo clasico
Sea U = R2 − (0, 0) y ω : U −→ R2 definida por
ω = ω(x1, x2) = (ω1, ω2) =(−x2
x21+x
22, x1
x21+x
22
)Es facil ver que ∂ω1
∂x2= ∂ω2
∂x1.Sin embargo, un ejercicio de calculo
(ver pagina 86 de calculo en variedades de Spivak)
No existe funcion F : U −→ R tal que ∂F∂x1
= ω1 y ∂F∂x2
= ω2.
![Page 50: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/50.jpg)
Sobre el origen de la homologıa
En dimension 2
¿La condicion anterior es suficiente?. Es decir, si ∂f1
∂x2= ∂f2
∂x1
¿existe funcion F : U −→ R tal que ∂F∂x1
= f1 y ∂F∂x2
= f2?.
El siguiente ejemplo muestra que la condicion anterior no essuficiente.
Ejemplo clasico
Sea U = R2 − (0, 0) y ω : U −→ R2 definida por
ω = ω(x1, x2) = (ω1, ω2) =(−x2
x21+x
22, x1
x21+x
22
)
Es facil ver que ∂ω1∂x2
= ∂ω2∂x1
.Sin embargo, un ejercicio de calculo(ver pagina 86 de calculo en variedades de Spivak)
No existe funcion F : U −→ R tal que ∂F∂x1
= ω1 y ∂F∂x2
= ω2.
![Page 51: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/51.jpg)
Sobre el origen de la homologıa
En dimension 2
¿La condicion anterior es suficiente?. Es decir, si ∂f1
∂x2= ∂f2
∂x1
¿existe funcion F : U −→ R tal que ∂F∂x1
= f1 y ∂F∂x2
= f2?.
El siguiente ejemplo muestra que la condicion anterior no essuficiente.
Ejemplo clasico
Sea U = R2 − (0, 0) y ω : U −→ R2 definida por
ω = ω(x1, x2) = (ω1, ω2) =(−x2
x21+x
22, x1
x21+x
22
)Es facil ver que ∂ω1
∂x2= ∂ω2
∂x1.
Sin embargo, un ejercicio de calculo(ver pagina 86 de calculo en variedades de Spivak)
No existe funcion F : U −→ R tal que ∂F∂x1
= ω1 y ∂F∂x2
= ω2.
![Page 52: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/52.jpg)
Sobre el origen de la homologıa
En dimension 2
¿La condicion anterior es suficiente?. Es decir, si ∂f1
∂x2= ∂f2
∂x1
¿existe funcion F : U −→ R tal que ∂F∂x1
= f1 y ∂F∂x2
= f2?.
El siguiente ejemplo muestra que la condicion anterior no essuficiente.
Ejemplo clasico
Sea U = R2 − (0, 0) y ω : U −→ R2 definida por
ω = ω(x1, x2) = (ω1, ω2) =(−x2
x21+x
22, x1
x21+x
22
)Es facil ver que ∂ω1
∂x2= ∂ω2
∂x1.Sin embargo, un ejercicio de calculo
(ver pagina 86 de calculo en variedades de Spivak)
No existe funcion F : U −→ R tal que ∂F∂x1
= ω1 y ∂F∂x2
= ω2.
![Page 53: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/53.jpg)
Sobre el origen de la homologıa
En dimension 2
El problema es que U = R2 − (0, 0) tiene un hoyo.
Se puede probar que si f = (f1, f2) : U −→ R2 es tal que secumplen las ecuaciones ∂f1
∂x2= ∂f2
∂x1, entonces la funcion ω
definida anteriormente es la unica obstruccion para que existasolucion a nuestro problema.Es decir, si f = (f1, f2) : U −→ R2 es tal que ∂f1
∂x2= ∂f2
∂x1,
entonces existe λ ∈ R tal que para g = f − λω si existeF : U −→ R tal que ∂F
∂x1= g1 y ∂F
∂x2= g2.
![Page 54: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/54.jpg)
Sobre el origen de la homologıa
En dimension 2
El problema es que U = R2 − (0, 0) tiene un hoyo.
Se puede probar que si f = (f1, f2) : U −→ R2 es tal que secumplen las ecuaciones ∂f1
∂x2= ∂f2
∂x1, entonces la funcion ω
definida anteriormente es la unica obstruccion para que existasolucion a nuestro problema.
Es decir, si f = (f1, f2) : U −→ R2 es tal que ∂f1
∂x2= ∂f2
∂x1,
entonces existe λ ∈ R tal que para g = f − λω si existeF : U −→ R tal que ∂F
∂x1= g1 y ∂F
∂x2= g2.
![Page 55: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/55.jpg)
Sobre el origen de la homologıa
En dimension 2
El problema es que U = R2 − (0, 0) tiene un hoyo.
Se puede probar que si f = (f1, f2) : U −→ R2 es tal que secumplen las ecuaciones ∂f1
∂x2= ∂f2
∂x1, entonces la funcion ω
definida anteriormente es la unica obstruccion para que existasolucion a nuestro problema.Es decir, si f = (f1, f2) : U −→ R2 es tal que ∂f1
∂x2= ∂f2
∂x1,
entonces existe λ ∈ R tal que para g = f − λω si existeF : U −→ R tal que ∂F
∂x1= g1 y ∂F
∂x2= g2.
![Page 56: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/56.jpg)
Sobre el origen de la homologıa
En dimension 2
Region estrellada
![Page 57: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/57.jpg)
Sobre el origen de la homologıa
En dimension 2
Lema de Poincare
Sea U ⊆ R2 una region estrellada. Para cualquier funcion suavef = (f1, f2) : U −→ R2 que satisface ∂f1
∂x2= ∂f2
∂x1, existe
F : U −→ R tal que ∂F∂x1
= f1 y ∂F∂x2
= f2.
El teorema anterior nos sugiere que la repuesta a la existenciade una “primitiva” depende del dominio U donde este definidala funcion.
![Page 58: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/58.jpg)
Sobre el origen de la homologıa
En dimension 2
Lema de Poincare
Sea U ⊆ R2 una region estrellada. Para cualquier funcion suavef = (f1, f2) : U −→ R2 que satisface ∂f1
∂x2= ∂f2
∂x1, existe
F : U −→ R tal que ∂F∂x1
= f1 y ∂F∂x2
= f2.
El teorema anterior nos sugiere que la repuesta a la existenciade una “primitiva” depende del dominio U donde este definidala funcion.
![Page 59: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/59.jpg)
Sobre el origen de la homologıa
En dimension 2
Reinterpretacion del lema de Poincare
Introduzcamos para un un abierto U de R2 lo siguiente:C∞(U,Rk) := f : U −→ Rk las funciones de clase C∞, parak ≥ 1.
Definimos el operador
rot : C∞(U,R2) −→ C∞(U,R)
Definida para F = (f1, f2) : U −→ R2 como
rot(F ) =∂f1∂x2− ∂f2∂x1
.
Observacion
C∞(U) es un R-e.v y rot es una transformacion R-lineal.
![Page 60: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/60.jpg)
Sobre el origen de la homologıa
En dimension 2
Reinterpretacion del lema de Poincare
Introduzcamos para un un abierto U de R2 lo siguiente:C∞(U,Rk) := f : U −→ Rk las funciones de clase C∞, parak ≥ 1.Definimos el operador
rot : C∞(U,R2) −→ C∞(U,R)
Definida para F = (f1, f2) : U −→ R2 como
rot(F ) =∂f1∂x2− ∂f2∂x1
.
Observacion
C∞(U) es un R-e.v y rot es una transformacion R-lineal.
![Page 61: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/61.jpg)
Sobre el origen de la homologıa
En dimension 2
Reinterpretacion del lema de Poincare
Introduzcamos para un un abierto U de R2 lo siguiente:C∞(U,Rk) := f : U −→ Rk las funciones de clase C∞, parak ≥ 1.Definimos el operador
rot : C∞(U,R2) −→ C∞(U,R)
Definida para F = (f1, f2) : U −→ R2 como
rot(F ) =∂f1∂x2− ∂f2∂x1
.
Observacion
C∞(U) es un R-e.v y rot es una transformacion R-lineal.
![Page 62: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/62.jpg)
Sobre el origen de la homologıa
En dimension 2
Reinterpretacion de la suficiencia
La condicion ∂f1
∂x2= ∂f2
∂x1, se traduce a la condicion que que
f = (f1, f2) ∈ Ker(rot).
![Page 63: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/63.jpg)
Sobre el origen de la homologıa
En dimension 2
Tambien introducimos el operador gradiente (tambien esR-lineal)
grad : C∞(U,R) −→ C∞(U,R2)
para f = f(x1, x2) : U −→ R,
grad(f) = F := (∂f
∂x1,∂f
∂x2)
.
![Page 64: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/64.jpg)
Sobre el origen de la homologıa
En dimension 2
La pregunta original:Dada f = (f1, f2) : U −→ R2 con fi : U −→ R. ¿ Existirafuncion F : U −→ R tal que ∂F
∂x1= f1 y ∂F
∂x2= f2?. Se traduce en
la pregunta
¿ f = (f1, f2) pertenece a la imagen del operador grad.?
![Page 65: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/65.jpg)
Sobre el origen de la homologıa
En dimension 2
Ahora bien, se tiene la siguiente sucesion de R-espaciosvectoriales y transformaciones lineales
0 // Ker(grad)i // C∞(U,R)
grad // C∞(U,R2)rot // C∞(U,R)
Observacion importante
(a) grad i = 0.Es decir, Im(i) ⊆ Ker(grad) (de hecho se da la igualdad).
(b) rot grad = 0.Es decir Im(grad) ⊆ Ker(rot).
Definimos el espacio vectorial cociente
H1(U) =Ker(rot)
Im(grad)
![Page 66: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/66.jpg)
Sobre el origen de la homologıa
En dimension 2
Ahora bien, se tiene la siguiente sucesion de R-espaciosvectoriales y transformaciones lineales
0 // Ker(grad)i // C∞(U,R)
grad // C∞(U,R2)rot // C∞(U,R)
Observacion importante
(a) grad i = 0.Es decir, Im(i) ⊆ Ker(grad) (de hecho se da la igualdad).
(b) rot grad = 0.Es decir Im(grad) ⊆ Ker(rot).
Definimos el espacio vectorial cociente
H1(U) =Ker(rot)
Im(grad)
![Page 67: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/67.jpg)
Sobre el origen de la homologıa
En dimension 2
Ahora bien, se tiene la siguiente sucesion de R-espaciosvectoriales y transformaciones lineales
0 // Ker(grad)i // C∞(U,R)
grad // C∞(U,R2)rot // C∞(U,R)
Observacion importante
(a) grad i = 0.Es decir, Im(i) ⊆ Ker(grad) (de hecho se da la igualdad).
(b) rot grad = 0.Es decir Im(grad) ⊆ Ker(rot).
Definimos el espacio vectorial cociente
H1(U) =Ker(rot)
Im(grad)
![Page 68: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/68.jpg)
Sobre el origen de la homologıa
En dimension 2
Recordemos lo que nos dice el lema de Poincare
Lema de Poincare
Sea U ⊆ R2 una region estrellada. Para cualquier funcion suavef = (f1, f2) : U −→ R2 que satisface ∂f1
∂x2= ∂f2
∂x1, existe
F : U −→ R tal que ∂F∂x1
= f1 y ∂F∂x2
= f2.
Es decir, Ker(rot) ⊆ Im(grad).Ass podemos interpretar como:
Lema de Poincare
Si U es de forma estrellada, entonces H1(U) = Ker(rot)Im(grad) = 0.
Es decir, no hay obstruccion para la solucion de nuestroproblema.
![Page 69: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/69.jpg)
Sobre el origen de la homologıa
En dimension 2
Recordemos lo que nos dice el lema de Poincare
Lema de Poincare
Sea U ⊆ R2 una region estrellada. Para cualquier funcion suavef = (f1, f2) : U −→ R2 que satisface ∂f1
∂x2= ∂f2
∂x1, existe
F : U −→ R tal que ∂F∂x1
= f1 y ∂F∂x2
= f2.
Es decir, Ker(rot) ⊆ Im(grad).Ass podemos interpretar como:
Lema de Poincare
Si U es de forma estrellada, entonces H1(U) = Ker(rot)Im(grad) = 0.
Es decir, no hay obstruccion para la solucion de nuestroproblema.
![Page 70: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/70.jpg)
Sobre el origen de la homologıa
En dimension 2
Recordemos lo que nos dice el lema de Poincare
Lema de Poincare
Sea U ⊆ R2 una region estrellada. Para cualquier funcion suavef = (f1, f2) : U −→ R2 que satisface ∂f1
∂x2= ∂f2
∂x1, existe
F : U −→ R tal que ∂F∂x1
= f1 y ∂F∂x2
= f2.
Es decir, Ker(rot) ⊆ Im(grad).Ass podemos interpretar como:
Lema de Poincare
Si U es de forma estrellada, entonces H1(U) = Ker(rot)Im(grad) = 0.
Es decir, no hay obstruccion para la solucion de nuestroproblema.
![Page 71: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/71.jpg)
Sobre el origen de la homologıa
En dimension 2
¿ Que pasa para U = R2 − (0, 0)?
Se sigue teniendo la sucesion
0 // Ker(grad) // C∞(U,R)grad // C∞(U,R2)
rot // C∞(U,R)
Vimos que existıa funcion ω =(−x2
x21+x
22, x1
x21+x
22
)tal que
1 ω ∈ Ker(rot) pero
2 ω /∈ Im(grad).
Es decir, Im(grad) ( Ker(rot).De esto se sigue que:
H1(R2 − (0, 0)) =Ker(rot)
Im(grad)6= 0.
![Page 72: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/72.jpg)
Sobre el origen de la homologıa
En dimension 2
¿ Que pasa para U = R2 − (0, 0)?
Se sigue teniendo la sucesion
0 // Ker(grad) // C∞(U,R)grad // C∞(U,R2)
rot // C∞(U,R)
Vimos que existıa funcion ω =(−x2
x21+x
22, x1
x21+x
22
)tal que
1 ω ∈ Ker(rot) pero
2 ω /∈ Im(grad).
Es decir, Im(grad) ( Ker(rot).De esto se sigue que:
H1(R2 − (0, 0)) =Ker(rot)
Im(grad)6= 0.
![Page 73: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/73.jpg)
Sobre el origen de la homologıa
En dimension 2
¿ Que pasa para U = R2 − (0, 0)?
Se sigue teniendo la sucesion
0 // Ker(grad) // C∞(U,R)grad // C∞(U,R2)
rot // C∞(U,R)
Vimos que existıa funcion ω =(−x2
x21+x
22, x1
x21+x
22
)tal que
1 ω ∈ Ker(rot) pero
2 ω /∈ Im(grad).
Es decir, Im(grad) ( Ker(rot).
De esto se sigue que:
H1(R2 − (0, 0)) =Ker(rot)
Im(grad)6= 0.
![Page 74: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/74.jpg)
Sobre el origen de la homologıa
En dimension 2
¿ Que pasa para U = R2 − (0, 0)?
Se sigue teniendo la sucesion
0 // Ker(grad) // C∞(U,R)grad // C∞(U,R2)
rot // C∞(U,R)
Vimos que existıa funcion ω =(−x2
x21+x
22, x1
x21+x
22
)tal que
1 ω ∈ Ker(rot) pero
2 ω /∈ Im(grad).
Es decir, Im(grad) ( Ker(rot).De esto se sigue que:
H1(R2 − (0, 0)) =Ker(rot)
Im(grad)6= 0.
![Page 75: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/75.jpg)
Sobre el origen de la homologıa
En dimension 2
¿ Que pasa para U = R2 − (0, 0)?
Se sigue teniendo la sucesion
0 // Ker(grad) // C∞(U,R)grad // C∞(U,R2)
rot // C∞(U,R)
Vimos que existıa funcion ω =(−x2
x21+x
22, x1
x21+x
22
)tal que
1 ω ∈ Ker(rot) pero
2 ω /∈ Im(grad).
Es decir, Im(grad) ( Ker(rot).De esto se sigue que:
H1(R2 − (0, 0)) =Ker(rot)
Im(grad)6= 0.
![Page 76: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/76.jpg)
Sobre el origen de la homologıa
En dimension 2
Filosofıa
Si H1(U) = 0, quiere decir, que no hay obstruccion paraencontrar cierta “solucion” a nuestra problema.
¿ Que pasa si, H1(U) 6= 0?.Intuitivamente hablando, H1(U) nos da una medida de laobstruccion a nuestra solucion.En nuestro ejemplo previo tenemos que H1(R2 − (0, 0) 6= 0.
Sin embargo se pude probar que H1(R2 − (0, 0) ' R
En este caso una base es la funcion ω =(−x2
x21+x
22, x1
x21+x
22
).
Como H1(R2 − (0, 0) = Ker(rot)Im(grad) = R. Lo anterior, nos dice
precisamente que para toda f tal que rot(F ) = 0, existe λ ∈ Rtal que f − λω ∈ Im(grad).
![Page 77: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/77.jpg)
Sobre el origen de la homologıa
En dimension 2
Filosofıa
Si H1(U) = 0, quiere decir, que no hay obstruccion paraencontrar cierta “solucion” a nuestra problema.
¿ Que pasa si, H1(U) 6= 0?.
Intuitivamente hablando, H1(U) nos da una medida de laobstruccion a nuestra solucion.En nuestro ejemplo previo tenemos que H1(R2 − (0, 0) 6= 0.
Sin embargo se pude probar que H1(R2 − (0, 0) ' R
En este caso una base es la funcion ω =(−x2
x21+x
22, x1
x21+x
22
).
Como H1(R2 − (0, 0) = Ker(rot)Im(grad) = R. Lo anterior, nos dice
precisamente que para toda f tal que rot(F ) = 0, existe λ ∈ Rtal que f − λω ∈ Im(grad).
![Page 78: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/78.jpg)
Sobre el origen de la homologıa
En dimension 2
Filosofıa
Si H1(U) = 0, quiere decir, que no hay obstruccion paraencontrar cierta “solucion” a nuestra problema.
¿ Que pasa si, H1(U) 6= 0?.Intuitivamente hablando, H1(U) nos da una medida de laobstruccion a nuestra solucion.En nuestro ejemplo previo tenemos que H1(R2 − (0, 0) 6= 0.
Sin embargo se pude probar que H1(R2 − (0, 0) ' R
En este caso una base es la funcion ω =(−x2
x21+x
22, x1
x21+x
22
).
Como H1(R2 − (0, 0) = Ker(rot)Im(grad) = R. Lo anterior, nos dice
precisamente que para toda f tal que rot(F ) = 0, existe λ ∈ Rtal que f − λω ∈ Im(grad).
![Page 79: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/79.jpg)
Sobre el origen de la homologıa
En dimension 2
De manera analoga a como se hizo en el caso de dimension 1definimos
H0(U) := Ker(grad).
Proposicion
Sea U ⊆ R2 un abierto de R2. EntoncesdimR(H0(U)) = dimR(Ker(grad)) coincide con el numero decomponentes conexas de U .
![Page 80: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/80.jpg)
Sobre el origen de la homologıa
En dimension 2
De manera analoga a como se hizo en el caso de dimension 1definimos
H0(U) := Ker(grad).
Proposicion
Sea U ⊆ R2 un abierto de R2. EntoncesdimR(H0(U)) = dimR(Ker(grad)) coincide con el numero decomponentes conexas de U .
![Page 81: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/81.jpg)
Sobre el origen de la homologıa
Caso en dimension 3
Sea U ⊆ R3 abierto. Se definen 3 operadores
grad : C∞(U,R) −→ C∞(U,R3)
rot : C∞(U,R3) −→ C∞(U,R3)
div : C∞(U,R3) −→ C∞(U,R)
![Page 82: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/82.jpg)
Sobre el origen de la homologıa
Caso en dimension 3
Para f : U −→ R,
grad(f) =( ∂f∂x1
,∂f
∂x2,∂f
∂x3
)
Para F = (f1, f2, f3) : U −→ R3
rot(F ) =(∂f3∂x2− ∂f2∂x3
,∂f1∂x3− ∂f3∂x1
,∂f2∂x1− ∂f1∂x2
)
Para F = (f1, f2, f3) : U −→ R3
div(F ) =∂f1∂x1
+∂f2∂x2
+∂f3∂x3
![Page 83: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/83.jpg)
Sobre el origen de la homologıa
Caso en dimension 3
Tenemos la sucesion de espacios vectoriales y transformacioneslineales
0 // Ker(grad)i // C∞(U,R)
grad // C∞(U,R3)rot //
rot// C∞(U,R3)div // C∞(U,R) // 0
donde
(a) grad i = 0
(b) rot grad = 0
(c) div rot = 0
![Page 84: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/84.jpg)
Sobre el origen de la homologıa
Caso en dimension 3
Las relaciones
(a) rot grad = 0
(b) div rot = 0
se traducen al hecho que
(a) Im(grad) ⊆ Ker(rot)
(b) Im(rot) ⊆ Ker(div).
Entonces podemos formar los espacios vectoriales cocientes
H1(U) =Ker(rot)
Im(grad)
y
H2(U) =Ker(div)
Im(rot)
![Page 85: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/85.jpg)
Sobre el origen de la homologıa
Caso en dimension 3
De forma analoga a los casos anteriores. Se define:
H0(U) = Ker(grad).
Proposicion
Se tiene que dimR(H0(U)) = dimRKer(grad) coincide con elnumero de las componentes conexas de U .
![Page 86: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/86.jpg)
Sobre el origen de la homologıa
Caso en dimension 3
De forma analoga a los casos anteriores. Se define:
H0(U) = Ker(grad).
Proposicion
Se tiene que dimR(H0(U)) = dimRKer(grad) coincide con elnumero de las componentes conexas de U .
![Page 87: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/87.jpg)
Sobre el origen de la homologıa
Caso en dimension 3
Se dice que un campo vectorial F : U −→ R3 es conservativosi existe una funcion escalar G : U −→ R tal que grad(G) = F .
Los campos conservativos tienen aplicaciones en fısica (porejemplo campos electricos, etc). Una pregunta natural es:
¿Cuando un campo vectorial es conservativo?.
![Page 88: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/88.jpg)
Sobre el origen de la homologıa
Caso en dimension 3
Se dice que un campo vectorial F : U −→ R3 es conservativosi existe una funcion escalar G : U −→ R tal que grad(G) = F .
Los campos conservativos tienen aplicaciones en fısica (porejemplo campos electricos, etc). Una pregunta natural es:
¿Cuando un campo vectorial es conservativo?.
![Page 89: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/89.jpg)
Sobre el origen de la homologıa
Caso en dimension 3
Teorema
Sea F : U −→ R3 un campo vectorial definido en R3, exceptoquizas en un numero finito de puntos. Son equivalentes
(a) Para cualquier curva cerrada simple∫γ F · ds = 0
(b) Para cualesquiera dos curvas simples orientadas γ1 y γ2 quetengan los mismos puntos extremos∫
γ1
F · ds =
∫γ2
F · ds.
(c) F es el gradiente de una funcion G, esto es, existe G talque grad(G) = F (F ∈ Im(grad)).
(d) rot(F ) = 0 (es decir, F ∈ Ker(rot)).
![Page 90: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/90.jpg)
Sobre el origen de la homologıa
Caso en dimension 3
F es conservativo⇔ Rot(F ) = 0.
Es decir,Ker(rot) = Im(grad).
Reinterpretacion del teorema anterior
Si U = R3 entonces H1(U) = Ker(rot)Im(grad) = 0
![Page 91: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/91.jpg)
Sobre el origen de la homologıa
Caso en dimension 3
F es conservativo⇔ Rot(F ) = 0.
Es decir,Ker(rot) = Im(grad).
Reinterpretacion del teorema anterior
Si U = R3 entonces H1(U) = Ker(rot)Im(grad) = 0
![Page 92: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/92.jpg)
Sobre el origen de la homologıa
Caso en dimension 3
Teorema (Ver libro de Marsden, pag. 526)
Si F es un campo vectorial de clase C1 en R3 con div(F ) = 0,entonces existe un campo vectorial G tal que F = rot(G).
Es decir, Ker(div) ⊆ Im(rot).Este resultado se puede enunciar en la forma:
Teorema
Sea U = R3 entonces H2(U) = Ker(div)Im(rot) = 0
![Page 93: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/93.jpg)
Sobre el origen de la homologıa
Caso en dimension 3
Teorema (Ver libro de Marsden, pag. 526)
Si F es un campo vectorial de clase C1 en R3 con div(F ) = 0,entonces existe un campo vectorial G tal que F = rot(G).
Es decir, Ker(div) ⊆ Im(rot).
Este resultado se puede enunciar en la forma:
Teorema
Sea U = R3 entonces H2(U) = Ker(div)Im(rot) = 0
![Page 94: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/94.jpg)
Sobre el origen de la homologıa
Caso en dimension 3
Teorema (Ver libro de Marsden, pag. 526)
Si F es un campo vectorial de clase C1 en R3 con div(F ) = 0,entonces existe un campo vectorial G tal que F = rot(G).
Es decir, Ker(div) ⊆ Im(rot).Este resultado se puede enunciar en la forma:
Teorema
Sea U = R3 entonces H2(U) = Ker(div)Im(rot) = 0
![Page 95: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/95.jpg)
Sobre el origen de la homologıa
Caso en dimension 3
Consideremos U = R3.
Proposicion
Sea F : U −→ R continua, entonces existe G : U −→ R3 tal quediv(G) = F .
Es decir, div : C1(U,R3) −→ C0(U,R) es su suprayectiva.
Consideremos el morfismo 0 : C0(U,R) −→ 0.
Teorema
Para U = R3, tenemos que H3(U) := Ker(0)Im(div) = 0.
![Page 96: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/96.jpg)
Sobre el origen de la homologıa
Caso en dimension 3
Consideremos U = R3.
Proposicion
Sea F : U −→ R continua, entonces existe G : U −→ R3 tal quediv(G) = F .
Es decir, div : C1(U,R3) −→ C0(U,R) es su suprayectiva.Consideremos el morfismo 0 : C0(U,R) −→ 0.
Teorema
Para U = R3, tenemos que H3(U) := Ker(0)Im(div) = 0.
![Page 97: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/97.jpg)
Sobre el origen de la homologıa
Caso en dimension 3
Lema de Poincare para R3
Si U ⊆ R3 es de forma estrellada, entonces
(a) H0(U) = Ker(grad) =
R(b) H1(U) = Ker(rot)
Im(grad) = 0,
(c) H2(U) = Ker(div)Im(rot) = 0.
En particular (b), nos dice que a todo campo vectorial Fdefinida sobre U que satisfaga que rot(F ) = 0, se le puedeencontrar su potencial G (i.e, grad(G) = F ).
![Page 98: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/98.jpg)
Sobre el origen de la homologıa
Caso en dimension 3
Lema de Poincare para R3
Si U ⊆ R3 es de forma estrellada, entonces
(a) H0(U) = Ker(grad) = R
(b) H1(U) = Ker(rot)Im(grad) = 0,
(c) H2(U) = Ker(div)Im(rot) = 0.
En particular (b), nos dice que a todo campo vectorial Fdefinida sobre U que satisfaga que rot(F ) = 0, se le puedeencontrar su potencial G (i.e, grad(G) = F ).
![Page 99: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/99.jpg)
Sobre el origen de la homologıa
Caso en dimension 3
Lema de Poincare para R3
Si U ⊆ R3 es de forma estrellada, entonces
(a) H0(U) = Ker(grad) = R(b) H1(U) = Ker(rot)
Im(grad) = 0,
(c) H2(U) = Ker(div)Im(rot) = 0.
En particular (b), nos dice que a todo campo vectorial Fdefinida sobre U que satisfaga que rot(F ) = 0, se le puedeencontrar su potencial G (i.e, grad(G) = F ).
![Page 100: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/100.jpg)
Sobre el origen de la homologıa
Caso en dimension 3
Lema de Poincare para R3
Si U ⊆ R3 es de forma estrellada, entonces
(a) H0(U) = Ker(grad) = R(b) H1(U) = Ker(rot)
Im(grad) = 0,
(c) H2(U) = Ker(div)Im(rot) = 0.
En particular (b), nos dice que a todo campo vectorial Fdefinida sobre U que satisfaga que rot(F ) = 0, se le puedeencontrar su potencial G (i.e, grad(G) = F ).
![Page 101: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/101.jpg)
Sobre el origen de la homologıa
Caso en dimension 3
Lema de Poincare para R3
Si U ⊆ R3 es de forma estrellada, entonces
(a) H0(U) = Ker(grad) = R(b) H1(U) = Ker(rot)
Im(grad) = 0,
(c) H2(U) = Ker(div)Im(rot) = 0.
En particular (b), nos dice que a todo campo vectorial Fdefinida sobre U que satisfaga que rot(F ) = 0, se le puedeencontrar su potencial G (i.e, grad(G) = F ).
![Page 102: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/102.jpg)
Sobre el origen de la homologıa
Caso en dimension 3
Filosofıa
1 Si H i(U) = 0, quiere decir, que no hay obstruccion paraencontrar cierta “solucion”.
2 Si H i(U) 6= 0. El espacio H i(U) nos da una medida de laobstruccion a nuestra solucion.
![Page 103: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/103.jpg)
Sobre el origen de la homologıa
Caso en dimension 3
Filosofıa
1 Si H i(U) = 0, quiere decir, que no hay obstruccion paraencontrar cierta “solucion”.
2 Si H i(U) 6= 0. El espacio H i(U) nos da una medida de laobstruccion a nuestra solucion.
![Page 104: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/104.jpg)
Sobre el origen de la homologıa
Caso en dimension 3
Mas generalmente para U ⊆ Rn abierto se desarrolla unasucesion de espacios vectoriales
0 −→ Ω0(U)d0−→ Ω1(U)
d1−→ · · · −→ Ωn−1(U)dn−1−→ Ωn(U) −→ 0
tal que didi−1 = 0. Donde
(a) Ωi(U) denota el espacio vectorial de las i-formasdiferenciales sobre U
(b) di es la derivada exterior.
Tambien se calculan los espacios vectoriales
H i(U) =Ker(di)
Im(di−1).
Esto es la cohomologıa de de Rham.
![Page 105: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/105.jpg)
Sobre el origen de la homologıa
Caso en dimension 3
Mas generalmente para U ⊆ Rn abierto se desarrolla unasucesion de espacios vectoriales
0 −→ Ω0(U)d0−→ Ω1(U)
d1−→ · · · −→ Ωn−1(U)dn−1−→ Ωn(U) −→ 0
tal que didi−1 = 0. Donde
(a) Ωi(U) denota el espacio vectorial de las i-formasdiferenciales sobre U
(b) di es la derivada exterior.
Tambien se calculan los espacios vectoriales
H i(U) =Ker(di)
Im(di−1).
Esto es la cohomologıa de de Rham.
![Page 106: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/106.jpg)
Sobre el origen de la homologıa
Caso en dimension 3
Mas generalmente para U ⊆ Rn abierto se desarrolla unasucesion de espacios vectoriales
0 −→ Ω0(U)d0−→ Ω1(U)
d1−→ · · · −→ Ωn−1(U)dn−1−→ Ωn(U) −→ 0
tal que didi−1 = 0. Donde
(a) Ωi(U) denota el espacio vectorial de las i-formasdiferenciales sobre U
(b) di es la derivada exterior.
Tambien se calculan los espacios vectoriales
H i(U) =Ker(di)
Im(di−1).
Esto es la cohomologıa de de Rham.
![Page 107: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/107.jpg)
Sobre el origen de la homologıa
Caso en dimension 3
Goerges de Rham (1903-1990)
![Page 108: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/108.jpg)
Sobre el origen de la homologıa
Caso en dimension 3
En general es difıcil calcular la cohomologıa para U arbitrario.Hay que desarrollar metodos para calcular la cohomologıa. Sedemuestran teoremas como
(a) Sucesion de Mayer-Vietoris
(b) Invariancia Homotopica
(c) sucesiones espectrales.
![Page 109: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/109.jpg)
Sobre el origen de la homologıa
Caso en dimension 3
En general es difıcil calcular la cohomologıa para U arbitrario.Hay que desarrollar metodos para calcular la cohomologıa. Sedemuestran teoremas como
(a) Sucesion de Mayer-Vietoris
(b) Invariancia Homotopica
(c) sucesiones espectrales.
![Page 110: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/110.jpg)
Sobre el origen de la homologıa
formalizacion algebraica
Si se abstrae la construccion anterior tenemos la siguientedefinicion:
Complejo de espacios vectoriales
Un complejo de espacios vectoriales es una sucesion de espaciosvectoriales y transformaciones lineales
V • :−→ · · · −→ Vidi−→ Vi+1
di+1−→ Vi+2di+2−→ · · ·
tales que didi−i = 0.
La condicion didi−i = 0 se traduce en que Im(di−1) ⊆ Ker(di).Ası, podemos definir el i-esimo espacio de cohomologıa como
La iesima cohomologıa es H i(V •) := ker(di)Im(di−1)
.
![Page 111: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/111.jpg)
Sobre el origen de la homologıa
Mas de historia
Ası en los anos 1925− 1935 se inventaron varias teorıas dehomologıa.
Dentro de los matematicos que crearon teorıas de homologıa enese perıodo estan: Alexander, Alexandroff, Cech, Lefschetz,Kolmogoroff, Kurosh, Vietoris, Steenrod.
![Page 112: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/112.jpg)
Sobre el origen de la homologıa
Mas de historia
Ası en los anos 1925− 1935 se inventaron varias teorıas dehomologıa.
Dentro de los matematicos que crearon teorıas de homologıa enese perıodo estan: Alexander, Alexandroff, Cech, Lefschetz,Kolmogoroff, Kurosh, Vietoris, Steenrod.
![Page 113: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/113.jpg)
Sobre el origen de la homologıa
Mas de historia
La “cohomologıa de de Rham” para una variedad diferenciablefue introducida por G. de Rham en su tesis doctoral (en 1931).
Elie Cartan recientemente habıa introducido el complejo decocadenas de formas diferenciables sobre una variedaddiferenciable en el artıculo Sur les invariants de integraux decertain espaces homogenes clos et les propietes topologique deces espaces. Ann. Soc. Polon. Math. 8 (1929), 181-225.
Elie Cartan, conjeturo que los numeros de Betti bi de M es elmaximo numero de i-formas cerradas wj tal que ningunacombinacion lineal
∑λjwj es exacta.
![Page 114: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/114.jpg)
Sobre el origen de la homologıa
Mas de historia
La “cohomologıa de de Rham” para una variedad diferenciablefue introducida por G. de Rham en su tesis doctoral (en 1931).
Elie Cartan recientemente habıa introducido el complejo decocadenas de formas diferenciables sobre una variedaddiferenciable en el artıculo Sur les invariants de integraux decertain espaces homogenes clos et les propietes topologique deces espaces. Ann. Soc. Polon. Math. 8 (1929), 181-225.
Elie Cartan, conjeturo que los numeros de Betti bi de M es elmaximo numero de i-formas cerradas wj tal que ningunacombinacion lineal
∑λjwj es exacta.
![Page 115: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/115.jpg)
Sobre el origen de la homologıa
Mas de historia
de Rham utilizo la forma bilineal
(C,ω) 7→∫Cω.
![Page 116: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/116.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
Surgimiento de las construcciones algebraicas
En 1938, Hassler Whitney descubre el producto tensorial A⊗Bpara grupos abelianos arbitrarios A y B y para modulos engeneral.
La definicion moderna de producto tensorial aparece en el librode Bourbaki (ver N. Bourbaki, Elements de Mathematique.Part. I. Livre II, Algebre ch. 2, Hermann, 1942).Whitney tomo el nombre de la geometrıa diferencial.
![Page 117: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/117.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
Sucesiones exactas
La nocion de sucesion exacta aparece en 1941 en un trabajo deHurewicz. El discute la sucesion exacta larga de cohomologıaasociada a un subconjunto cerrado Y ⊆ X.
En 1942, aparecen en cohomologıa las construcciones del Hom yExt, en los trabajos de Eilenberg y Maclane.
En 1944. S. Eilenberg defininio la homologıa singular ycohomologıa.
![Page 118: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/118.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
Sucesiones exactas
La nocion de sucesion exacta aparece en 1941 en un trabajo deHurewicz. El discute la sucesion exacta larga de cohomologıaasociada a un subconjunto cerrado Y ⊆ X.
En 1942, aparecen en cohomologıa las construcciones del Hom yExt, en los trabajos de Eilenberg y Maclane.
En 1944. S. Eilenberg defininio la homologıa singular ycohomologıa.
![Page 119: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/119.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
En 1945, Eilenberg y Stennrood tratan de dar unaaxiomatizacion a las teorıas de homologıa. Se enuncian losfamosos axiomas de Eilenberg y Steenrod.
![Page 120: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/120.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
En 1945, Eilenberg y Stennrood tratan de dar unaaxiomatizacion a las teorıas de homologıa. Se enuncian losfamosos axiomas de Eilenberg y Steenrod.
![Page 121: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/121.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
Aparece el Ext(A,B)
En 1934, Reinhold Baer estudia las extensiones de un grupo Bpor A y observa que tales extensiones forman un grupo (conuna operacion definida por Baer).
![Page 122: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/122.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
Saunders MacLane, matematico estadounidense (1909-2005)
![Page 123: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/123.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
Maclane calcula el grupo de extensiones de Z por Z[1p ].
![Page 124: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/124.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
Samuel Eilenberg, matematico polaco (1913-1998)
![Page 125: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/125.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
Eilenberg noto (en 1941) que el grupo Z[1p ] era el dual delsolenoide p-adico Σ que estaba siendo estudiada por Eilenberg ytambien noto que la respuesta algebraica de Mac LaneExt(Z[1p ],Z) = Zp/Z coincidia con los grupos de homologıa
H1(S3 − Σ;Z) calculados por Steenrod.
El resultado fue el artıculo S. Eilenberg and S. Mac Lane.Group extensions and cohomology. Annals of Math. (43) (1942)757-831.
![Page 126: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/126.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
Eilenberg noto (en 1941) que el grupo Z[1p ] era el dual delsolenoide p-adico Σ que estaba siendo estudiada por Eilenberg ytambien noto que la respuesta algebraica de Mac LaneExt(Z[1p ],Z) = Zp/Z coincidia con los grupos de homologıa
H1(S3 − Σ;Z) calculados por Steenrod.
El resultado fue el artıculo S. Eilenberg and S. Mac Lane.Group extensions and cohomology. Annals of Math. (43) (1942)757-831.
![Page 127: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/127.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
Solenoide p-adico. Figura tomada del artıculo: G. R. Conner, et allThe geometry and fundamental of solenoid complements.J. Knot Theory (2015)
![Page 128: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/128.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
Eilenberg y Mac Lane descubren el isomorfismo
Hom(A⊗B,C) ' Hom(B,Hom(A,C)).
La nocion que Hom(A,−) preserva la direccion de las flechas yHom(−, A) invierte la direccion fue un tema central en elartıculo S. Eilenberg and S. Mac Lane. Group extensions andcohomology. Annals of Math. (43) (1942) 757-831.
![Page 129: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/129.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
Surgen las categorıas
Para tener un lenguaje para hablar de ciertas propiedades dehomologıa, cohomologıa, propiedades del Hom y Ext. S.Eilenberg y Maclane acunan en 1942, los terminos:
1 funtor
2 isomorfismo natural
Posteriormente en 1945, ellos expanden su lenguaje a:
1 categorıa,
2 transformacion natural.
En el artıculo Natural isomorphisms in group theory, Proc. Nat.Acad. Sci 28, 1942. General theory of natural equivalencesTrans. AMS 58 (1945)
![Page 130: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/130.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
Surgen las categorıas
Para tener un lenguaje para hablar de ciertas propiedades dehomologıa, cohomologıa, propiedades del Hom y Ext. S.Eilenberg y Maclane acunan en 1942, los terminos:
1 funtor
2 isomorfismo natural
Posteriormente en 1945, ellos expanden su lenguaje a:
1 categorıa,
2 transformacion natural.
En el artıculo Natural isomorphisms in group theory, Proc. Nat.Acad. Sci 28, 1942. General theory of natural equivalencesTrans. AMS 58 (1945)
![Page 131: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/131.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
Recepcion del artıculo de 1945
Respecto al artıculo de Eilenberg y Mac Lane de 1945, muchosmatematicos se encontraba escepticos.Por ejemplo: Mientras Steenrod dijo “que ningun artıculo lohabıa influenciado tanto”.El topologo algebraico P.A Smith dijo “Que no habıa leidoartıculo mas trivial en su vida”. (ver, Modern Algebra and therise of mathematical structures:Second revised edition.Birkhauser Bassel. pag. 361)
Ası mismo, Mac Lane escribe en el artıculo Concepts andcategories in perspectives (1988) pag 334: “One of our goodfriends (an admirer of Eilenberg) read the paper and told usprivately that he thought that the paper was without anycontent”.
![Page 132: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/132.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
Recepcion del artıculo de 1945
Respecto al artıculo de Eilenberg y Mac Lane de 1945, muchosmatematicos se encontraba escepticos.Por ejemplo: Mientras Steenrod dijo “que ningun artıculo lohabıa influenciado tanto”.El topologo algebraico P.A Smith dijo “Que no habıa leidoartıculo mas trivial en su vida”. (ver, Modern Algebra and therise of mathematical structures:Second revised edition.Birkhauser Bassel. pag. 361)Ası mismo, Mac Lane escribe en el artıculo Concepts andcategories in perspectives (1988) pag 334: “One of our goodfriends (an admirer of Eilenberg) read the paper and told usprivately that he thought that the paper was without anycontent”.
![Page 133: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/133.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
Dato curioso
A Serge Lang, se le atribuye la expresion bien conocida que lateorıa de categorıas es:
“general abstract nonsense”.
La cual se hizo popular gracias a su libro de texto: Algebra. Sinembargo la frase fue dicha (como chiste) por Steenrod. (ver pag.65 de R. Kromer. Tool and object: A history and philosophy ofcategory theory. Birkhauser, 2007)
![Page 134: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/134.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
Dato curioso
A Serge Lang, se le atribuye la expresion bien conocida que lateorıa de categorıas es:
“general abstract nonsense”.
La cual se hizo popular gracias a su libro de texto: Algebra. Sinembargo la frase fue dicha (como chiste) por Steenrod. (ver pag.65 de R. Kromer. Tool and object: A history and philosophy ofcategory theory. Birkhauser, 2007)
![Page 135: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/135.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
Cartan y Eilenberg participaron en el Seminario de Cartan(dirigido por Henri Cartan) escribiendo los fundamentos de lahomologıa y teorıas de cohomologıa hechas en las decadasprevias.
Ası acunaron el termino algebra homologica para este nuevopunto de vista unificador.
De esta forma en 1956 se publica el libro “Homological algebra”de Cartan y Eilenberg.
![Page 136: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/136.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
Cartan y Eilenberg participaron en el Seminario de Cartan(dirigido por Henri Cartan) escribiendo los fundamentos de lahomologıa y teorıas de cohomologıa hechas en las decadasprevias.
Ası acunaron el termino algebra homologica para este nuevopunto de vista unificador.
De esta forma en 1956 se publica el libro “Homological algebra”de Cartan y Eilenberg.
![Page 137: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/137.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
El libro
![Page 138: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/138.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
Fragmento tomado le libro de Cartan-Eilenberg, pag. 151
![Page 139: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/139.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
En el libro de Cartan y Eilenberg: se introducen variosconceptos que le dan forma al algebra homologica:
1 resoluciones proyectivas,
2 funtor Hom,
3 producto tensorial,
4 funtores derivados, etc.
5 aparece por primera vez el “lema de la serpiente”.
En este libro basicamente se trabaja en la categorıa de modulossobre una anillo.
![Page 140: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/140.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
FIN DEL PRIMER PERIODO
![Page 141: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/141.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
Segundo perıodo
El segundo periodo que inicia con la publicacion del artıculolargo de Grothendieck “Sur quelques points d’ algebrehomologique” publicado en 1957 (se retrazo 3 anos supublicacion). En este artıculo se desarrolla el algebrahomologica en el contexto de las categorıas abelianas. Esteperiodo fue dominado por A. Grothendieck y su escuela degeometrıa algebraica.
![Page 142: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/142.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
Tercer perıodo
El tercer perıodo inicia con la tesis doctoral de J. L. Verdier(alumno de Grothendieck). Este periodo que se extiende hastanuestros dıas se caracteriza por el uso de las categorıasderivadas y trianguladas.
![Page 143: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/143.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
Gracias
![Page 144: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/144.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
H. Cartan, S. Eilenberg. Homological algebra, Princeton U.Press, 1956
H. Madsen. From Calculus to cohomology: De Rhamcohomology and characterist classes. First edition.Cambridge University Press (1997).
R. Bott, L.W. Tu. Differential forms in algebraic topology.Graduate texts in mathematics.
C. Weibel. A history of homological algebra (escrito eninternet)
R. Kromer. Tool and object: A history and philosophy ofcategory theory. Birkhauser, 2007.
S. Mac Lane. Concepts and categories in Perspective. In[Duren and Merzbach 1988]
![Page 145: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/145.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
J. Rotman, An Introduction to Homological Algebra.Second edition. 2008.
Corry, Leo. Modern algebra and the rise of mathematicalstructures. Second revised edition. Birkhauser Bassel.
P. Hilton. A brief history subjective history of homologyand homotopy theory in this century. MathematicsMagazine, Vol. 61 No. 5. pp 282-291.
J. E. Marsden, A. J. Tromba. Calculo Vectorial. AddisonWesley Iberoamericana (1991).
A. Grothendieck, The cohomology theory of abstractalgebraic varieties, Proc. Internat. Congress Math(Edinburgh, 1958), Cambridge Univ. Press, New York,1960, pp. 103-118.
![Page 146: Sobre el origen de la homolog a - UNAMtikhonov.fciencias.unam.mx/presentaciones/2016-Ago... · transformaciones lineales 0 /R i/C1(a;b) D /C0(a;b) /0. Sobre el origen de la homolog](https://reader033.vdocumento.com/reader033/viewer/2022050413/5f89ec415ca91d3d9277f990/html5/thumbnails/146.jpg)
Sobre el origen de la homologıa
Surgimiento de las herramientas algebraicas
J. L. Verdier. Des categories derivees des categoriesabeliennes. Asterisque, vol. 239. Societe Mathematique deFrance, 1996 (French).