Homología
La homología mide los agujeros de un espacio en cada dimensión contando ciclos que no son límites, produciendo una secuencia de grupos abelianos que son computables y robustos bajo deformación continua.
Definition
La homología asigna a un espacio una secuencia de grupos abelianos definidos como el cociente de ciclos (cadenas con límite cero) por límites (imágenes del mapa de límites) en un complejo de cadenas; sus rangos, los números de Betti, cuentan agujeros independientes en cada dimensión.
Scope
Este tema desarrolla complejos de cadenas y la noción algebraica de homología como ciclos módulo límites, realizada concretamente a través de la homología simplicial, singular y celular, y se demuestra que concuerdan en espacios razonables. Cubre las propiedades fundamentales —invariancia homotópica, la secuencia exacta larga de un par, escisión y la secuencia de Mayer-Vietoris— que hacen que la homología sea computable, junto con la teoría de grados, los números de Betti y la característica de Euler. Se incluye la equivalencia de las diversas construcciones y el cálculo para esferas, superficies y complejos CW.
Core questions
- ¿Cómo formalizan los ciclos módulo límites la idea intuitiva de un agujero n-dimensional?
- ¿Por qué concuerdan la homología simplicial, singular y celular, y cuál es la mejor para el cálculo?
- ¿Cómo reducen la escisión y la secuencia de Mayer-Vietoris la homología de un espacio a la de piezas más simples?
- ¿Qué información topológica capturan los números de Betti y la característica de Euler?
Key concepts
- Complejos de cadenas, ciclos y límites
- Homología simplicial, singular y celular y su concordancia
- Secuencia exacta larga de un par y escisión
- Secuencia de Mayer-Vietoris
- Números de Betti, característica de Euler y grado de un mapa
Clinical relevance
La homología es el invariante topológico más importante: impulsa la teoría de puntos fijos y de intersección, la clasificación de variedades, la característica de Euler en geometría y combinatoria, y aplicaciones modernas como la homología persistente en el análisis topológico de datos.
History
Los números de Betti y los coeficientes de torsión de Poincaré fueron reinterpretados como grupos cocientes después de que Emmy Noether enfatizara la estructura de grupo en la década de 1920; las formulaciones singulares y axiomáticas (Eilenberg-Steenrod) de las décadas de 1940 y 1950 dieron a la homología la forma funtorial y axiomática utilizada hoy en día.
Key figures
- Henri Poincaré
- Emmy Noether
- Leopold Vietoris
Related topics
Seminal works
- hatcher2002
- bredon1993
Frequently asked questions
- ¿Cuál es la diferencia entre un ciclo y un límite?
- Un ciclo es una cadena cuyo límite es cero (un bucle o superficie cerrada); un límite es una cadena que es en sí misma el límite de una cadena de dimensión superior. La homología mide ciclos que no son límites —agujeros genuinos.
- ¿Por qué la homología es más fácil de calcular que la homotopía?
- La homología satisface la escisión y encaja en secuencias exactas largas, por lo que la homología de un espacio puede ensamblarse a partir de piezas más simples; los grupos de homotopía no satisfacen tal principio de corte y resisten el cálculo sistemático.