Homología (matemáticas)

En matemática (especialmente en topología algebraica y en álgebra homológica), la homología (en Griego homos = idéntico) es un procedimiento general para asociar un objeto matemático dado (por ejemplo un espacio topológico o un grupo) con una sucesión de grupos abelianos (o en contextos más generales módulos o cualquier elemento sobre una categoría abeliana), es decir una acción functorial.

Para un espacio topológico, los grupos de homología son generalmente mucho más fáciles de computar que los grupos de homotopía, y consecuentemente, uno habitualmente tendrá un trabajo más simple con homología para ayudar en la clasificación de espacios.

Una observación que motiva esta teoría es que a veces podemos distinguir parejas de espacios topológicos, por medio del estudio de sus agujeros. Por ejemplo:

En general, no es inmediato ni definir lo que es un agujero, ni distinguir distintos tipos de agujeros. Es por ello que la motivación original de homología fue definir y clasificar los agujeros de un espacio topológico, por ejemplo en una variedad.

La definición de los grupos de homología se fundamenta en los conceptos de ciclos, - que son subvariedades cerradas - fronteras, -que son ciclos y a la vez fronteras de una subvariedad-, y clases de homología -que son las clases de equivalencia que obtenemos al cocientar los ciclos módulo las fronteras. Entonces, cada clase de homología está representada por un ciclo que no es frontera de ninguna subvariedad, e indica la ausencia de una variedad cuya frontera sería dicho ciclo. Así mismo, cada generador indica la existencia de un agujero y las propiedades del grupo indican la estructura del espacio topológico, así como lo hacen las nociones de dimensión y orientabilidad.

Existen diferentes teorías de homología. Dependiendo del objeto matemático que estemos estudiando - por ejemplo, un espacio topológico o un grupo-, podremos asociarle algunas de estas teorías. Cuando podemos describir geométricamente a dicho objeto, el n-avo grupo de homología describe el comportamiento del objeto en la n-ava dimensión.

Se define el n-ésimo grupo de homología asociado a un complejo de cadenas

donde ${displaystyle delta _{n}circ delta _{n+1}=0}$

como el grupo abeliano

También se utiliza la notación

Se llama ${displaystyle ker(delta _{n})}$ los ciclos en ${displaystyle A_{n}}$ y se llama ${displaystyle { m {im(delta _{n+1})}}}$ las fronteras de ${displaystyle A_{n}}$.

Se dice que la homología mide la falta de exactitud de un complejo de cadenas en cada uno de sus eslabones. Por ejemplo si tenemos un complejo de cadenas corto

entonces sus correspondientes grup(os de homología son:

Es obvio que si la sucesión fuese exacta, entonces estos grupos serían triviales (=0).

---