Ver el código de «Homología (matemática)»

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 (matemáticas)|grupo]]) con una [[cadena compleja|sucesión]] de [[grupo abeliano|grupos abelianos]] (o en contextos más generales [[Módulo (matemática)|módulos]] o cualquier elemento sobre una [[categoría abeliana]]), es decir una acción [[functor]]ial. 

Para un espacio topológico, los [[grupo de homología|grupos de homología]] son generalmente mucho más fáciles de computar que los [[grupo de homotopía|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:

* Un círculo no es equivalente a un disco porque el círculo tiene un agujero en medio de él.
* Una esfera no es equivalente a un círculo, ya que la esfera encierra un agujero 2-dimensional, mientras que el círculo encierra un agujero 1-dimensional.

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 (matemáticas)|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 [[conjunto generador de un grupo|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 (matemática)|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. 

== Antecedentes ==
=== Orígenes ===
Puede decirse que la teoría de la homología comienza con la fórmula del [[poliedro]] de Euler, o [[característica de Euler]].<ref>{{Harvnb|Stillwell|1993|p=170}}</ref> Esto fue seguido por la definición de [[Bernhard Riemann|Riemann]] de invariantes numéricos de género y conexión de 'n' veces en 1857 y la prueba de [[Enrico Betti|Betti]] en 1871 de la independencia de los "números de homología" de la elección de la base.<ref>{{Harvnb|Weibel|1999|pp=2-3 (en PDF)}}</ref>

La propia homología se desarrolló como una forma de analizar y clasificar [[Variedad (matemáticas)| variedades]] según sus ''ciclos'' - bucles cerrados (o más generalmente submanifolds) que se pueden dibujar en una determinada ''n'' manifold dimensional pero que no se deforman continuamente entre sí.<ref name="Richeson254">{{harvnb|Richeson|2008|page=254}}</ref> Estos ciclos también se consideran a veces como cortes que se pueden volver a pegar, o como cremalleras que se pueden abrochar y desabrochar. Los ciclos se clasifican por dimensiones. Por ejemplo, una línea trazada sobre una superficie representa un 1-ciclo, un bucle cerrado o <math>S^1</math> (1-variedad), mientras que una superficie cortada a través de una variedad tridimensional es un 2-ciclo.

=== Superficies ===
{{multiple image
| align = centre
| total_width = 750
| image1 = spherecycles1.svg
| caption1 = Ciclos en 2 esferas
| image2 = toruscycles1.svg
| caption2 = Ciclos en un toro
| image3 = Kleincycles1.svg
| caption3 = Ciclos en una botella de Klein
| image4 = projectivecycles1.svg
| caption4 = Ciclos en un plano proyectivo hemisférico
}}
En la [[esfera]] ordinaria <math>S^2</math>, el ciclo ''b'' del diagrama puede reducirse hasta el polo, e incluso el [[gran círculo]] ecuatorial ''a'' puede reducirse del mismo modo. El [[teorema de la curva de Jordan]] muestra que cualquier ciclo arbitrario como ''c'' puede reducirse de forma similar hasta un punto. Por tanto, todos los ciclos de la esfera pueden transformarse continuamente unos en otros y pertenecen a la misma clase homológica. Se dice que son homólogos a cero. Cortar una variedad a lo largo de un ciclo homólogo a cero separa la variedad en dos o más componentes. Por ejemplo, cortar la esfera a lo largo de ''a'' produce dos hemisferios.

Esto no suele ocurrir con los ciclos de otras superficies. El [[toroide]] <math>T^2</math> tiene ciclos que no pueden deformarse continuamente unos en otros, por ejemplo en el diagrama ninguno de los ciclos ''a'', ''b'' o ''c'' puede deformarse uno en otro. En particular, los ciclos ''a'' y ''b'' no pueden reducirse a un punto, mientras que el ciclo ''c'' sí puede, lo que lo hace homólogo a cero.

Si la superficie del toro se corta a lo largo de ''a'' y ''b'', puede abrirse y aplanarse en un rectángulo o, más convenientemente, en un cuadrado. Un par de lados opuestos representa el corte a lo largo de ''a'', y el otro par opuesto representa el corte a lo largo de ''b''.

A continuación, los bordes del cuadrado se pueden pegar de diferentes maneras. El cuadrado se puede girar para que los bordes se junten en la dirección opuesta, como muestran las flechas del diagrama. Hasta la simetría, hay cuatro formas distintas de pegar los lados, cada una de las cuales crea una superficie diferente:

[[Archivo:flatsurfaces.svg|thumb|centre|460px|Las cuatro formas de pegar un cuadrado para hacer una superficie cerrada: pegar flechas sencillas y pegar flechas dobles de forma que las puntas de las flechas apunten en la misma dirección]].
<math>K^2</math> es la [[botella de Klein]], que es un toro con una torsión en él (La torsión se puede véase en el diagrama cuadrado como la inversión de la flecha inferior). Es un teorema que la superficie re-encolada debe auto-intersecarse (cuando se sumerge en el [[Tridimensional| espacio euclidiano tridimensional]]). Al igual que el toroide, los ciclos ''a'' y ''b'' no pueden encogerse, mientras que ''c'' sí. Pero, a diferencia del toro, si se sigue ''b'' hacia delante y hacia atrás, se invierte a izquierda y derecha, porque ''b'' cruza el giro dado a una de las uniones. Si se hace un corte equidistante a un lado de ''b'', vuelve por el otro lado y recorre la superficie una segunda vez antes de volver a su punto de partida, cortando una [[banda de Möbius]] retorcida. Dado que la izquierda y la derecha locales pueden reorientarse arbitrariamente de este modo, se dice que la superficie en su conjunto no es orientable.

El [[plano proyectivo]] <math>P^2</math> tiene ambas uniones torcidas. La forma sin cortar, generalmente representada como la [[superficie de Boy]], es visualmente compleja, por lo que en el diagrama se muestra una incrustación semiesférica, en la que puntos antípodas alrededor del borde como ''A'' y ''A&prime;'' se identifican como el mismo punto. De nuevo, ''a'' y ''b'' no son encogibles, mientras que ''c'' sí lo es. Pero esta vez, tanto ''a'' como ''b'' se invierten a izquierda y derecha.

Los ciclos pueden unirse o sumarse, como ocurrió con ''a'' y ''b'' en el toroide cuando se abrió y aplanó. En el diagrama de la botella de Klein, ''a'' gira en un sentido y &minus;''a'' gira en sentido contrario. Si ''a'' se considera un corte, entonces -''a'' puede considerarse una operación de encolado. Hacer un corte y luego volverlo a pegar no cambia la superficie, así que ''a'' + (-''a'') = 0.

Pero consideremos ahora dos ciclos ''a''. Como la botella de Klein no es orientable, podemos transportar uno de ellos alrededor de la botella (a lo largo del ciclo ''b''), y volverá como -''a''. Esto se debe a que la botella de Klein está hecha de un cilindro, cuyos extremos del ciclo ''a'' están pegados con orientaciones opuestas. Por lo tanto 2''a'' = ''a'' + ''a'' = ''a'' + (-''a'') = 0. Este fenómeno se llama [[torsión (álgebra)|torsión]]. Análogamente, en el plano proyectivo, seguir dos veces el ciclo no reducible ''b'' crea notablemente un ciclo trivial que ''puede'' ser reducido a un punto; es decir, ''b'' + ''b'' = 0. Dado que ''b'' debe seguirse dos veces para conseguir un ciclo cero, se dice que la superficie tiene un coeficiente de torsión de 2. Sin embargo, seguir un ciclo ''b'' dos veces en la botella de Klein da simplemente ''b'' + ''b'' = 2''b'', ya que este ciclo vive en una clase homológica libre de torsión. Esto corresponde al hecho de que en el polígono fundamental de la botella de Klein, sólo un par de lados está pegado con una torsión, mientras que en el plano proyectivo ambos lados están torcidos.

Un cuadrado es un [[Espacio contráctil| espacio topológico contráctil]], lo que implica que tiene homología trivial.  En consecuencia, los cortes adicionales lo desconectan. El cuadrado no es la única forma del plano que puede pegarse en una superficie.  Pegando lados opuestos de un octógono, por ejemplo, se obtiene una superficie con dos agujeros.  De hecho, todas las superficies cerradas pueden producirse pegando los lados de algún polígono y todos los polígonos de lados pares (2''n''-gonos) pueden pegarse para formar diferentes colectores. A la inversa, una superficie cerrada con ''n'' clases distintas de cero puede cortarse en un 2''n''-gono. También son posibles variaciones, por ejemplo, un hexágono también puede pegarse para formar un toroide.<ref name="weeks" />

La primera teoría reconocible de la homología fue publicada por [[Henri Poincaré]] en su trabajo seminal "[[Analysis Situs (paper)|Analysis situs]]", ''J. Ecole polytech.'' (2) '''1'''. 1-121 (1895). El artículo introduce las clases y relaciones homológicas. Las posibles configuraciones de los ciclos orientables se clasifican por los [[números de Betti]] del colector (los números de Betti son un refinamiento de la característica de Euler).  La clasificación de los ciclos no orientables requiere información adicional sobre los coeficientes de torsión.<ref name="Richeson254"/>

La clasificación completa de 1- y 2-manifolds se da en la tabla.
{| class="wikitable sortable"
|+ Características topológicas de 1- y 2-manifolds cerrados y no acotados<ref name="Richeson">{{harvnb|Richeson|2008}}</ref>
|-
! colspan=2 | Manifold
! rowspan=2 | [[Característica de Euler|Euler no.]], <br>χ
! rowspan=2 | Orientabilidad
! colspan=3 | [[Número de Betti]]
! rowspan=2 | Coeficiente de torsión <br>(1-dimensional) 
|-
! Símbolo<ref name="weeks">{{cite book |first=Jeffrey R. |last=Weeks |title=The Shape of Space |url=https://books.google.com/books?id=ZlVwDwAAQBAJ |date=2001 |publisher=CRC Press |isbn=978-0-203-91266-9 }}</ref>
! Nombre
! style="width:3em;" | ''b''<sub>0</sub>
! ''b''<sub>1</sub>
! style="width:3em;" | ''b''<sub>2</sub>
|-
| <math>S^1</math> || [[Círculo]] (1-manifold) || 0 || Orientable || 1 || 1 || {{N/A}} || {{N/A}}
|-
| <math>S^2</math> || [[Esfera]] || 2 || Orientable || 1 || 0 || 1 || No
|-
| <math>T^2</math> || [[Toro]] || 0 || Orientable || 1 || 2 || 1 || No
|-
| <math>P^2</math> || [[Plano proyectivo]] || 1 || Non-orientable || 1 || 0 || 0 || 2
|-
| <math>K^2</math> || [[Botella de Klein]] || 0 || Non-orientable || 1 || 1 || 0 || 2
|-
|  || toroide de 2 agujeros || −2 || Orientable || 1 || 4 || 1 || No
|-
|  || toroide con ''g'' agujeros  (''g'' es el [[género (topología)|género]]) || 2 − 2''g'' || Orientable || 1 || 2''g'' || 1 || No
|-
|  || Esfera con ''c'' [[cross-cap]]s || 2 − ''c'' || No-orientable || 1 || ''c'' − 1 || 0 || 2
|-
|  || 2-Manifold con ''g'' agujeros y ''c''{{nbsp}}tapas cruzadas (''c''{{nbsp}}>{{nbsp}}0)|| 2{{nbsp}}−{{nbsp}}(2''g''{{nbsp}}+{{nbsp}}''c'') || No-orientable || 1 || (2''g''{{nbsp}}+{{nbsp}}''c''){{nbsp}}−{{nbsp}}1 || 0 || 2
|}
: Notas
:# Para una superficie no orientable, un agujero equivale a dos tapas cruzadas.
:# Todo 2-manifold es la [[suma conexa]] de toros ''g'' y planos proyectivos ''c''. Para la esfera <math>S^2</math>, ''g'' = ''c'' = 0.

===Generalización===
Un colector con límite o colector abierto es [[Topología|topológicamente]] distinto de un colector cerrado y puede crearse haciendo un corte en cualquier colector cerrado adecuado. Por ejemplo, el disco o 2-ball <math>B^2</math> está limitado por un círculo <math>S^1</math>.{{cn|date=May 2022|reason=confusión previa entre 1-ball y 2-ball}} Puede crearse cortando un ciclo trivial en cualquier 2-manifold y manteniendo el trozo eliminado, perforando la esfera y estirando la punción a lo ancho, o cortando el plano proyectivo. También puede verse como el relleno del círculo en el plano.

Cuando dos ciclos pueden deformarse continuamente el uno en el otro, entonces el corte a lo largo de uno produce la misma forma que el corte a lo largo del otro, hasta cierta flexión y estiramiento.  En este caso se dice que los dos ciclos son 
* ''homólogos
o que pertenecen a la 
* ''misma clase de homología''.  
Además, si un ciclo se puede deformar continuamente en una combinación de otros ciclos, entonces el corte a lo largo del ciclo inicial es el mismo que el corte a lo largo de la combinación de otros ciclos.  Por ejemplo, cortar a lo largo de una figura 8 es equivalente a cortar a lo largo de sus dos lóbulos.  En este caso, se dice que la figura 8 es homóloga a la suma de sus lóbulos.

Dos colectores abiertos con límites similares (hasta cierto grado de flexión y estiramiento) pueden pegarse para formar un nuevo colector que es su suma conexa.

Este análisis geométrico de los manifolds no es riguroso. En una búsqueda de mayor rigor, Poincaré pasó a desarrollar la homología simplicial de una variedad triangulada y a crear lo que ahora se denomina un [[complejo en cadena]].<ref name="Richeson258">{{harvnb|Richeson|2008|page=258}}</ref><ref>{{Harvnb|Weibel|1999|p=4}}</ref> Estos complejos en cadena (desde entonces muy generalizados) forman la base de la mayoría de los tratamientos modernos de la homología.

En estos tratamientos, un ciclo no tiene por qué ser continuo: un ciclo 0 es un conjunto de puntos, y cortar a lo largo de este ciclo corresponde a perforar la variedad.  Un ciclo 1 corresponde a un conjunto de bucles cerrados (una imagen del manifold 1 <math>S^1</math>).  En una superficie, el corte a lo largo de un 1-ciclo produce piezas desconectadas o una forma más simple.  Un 2-ciclo corresponde a una colección de superficies incrustadas, como una esfera o un toroide, y así sucesivamente.

[[Emmy Noether]] e, independientemente, [[Leopold Vietoris]] y [[Walther Mayer]] siguieron desarrollando la teoría de los grupos algebraicos de homología en el período 1925-28.<ref>{{Harvnb|Hilton|1988|p=284}}</ref><ref>Por ejemplo [http://smf4.emath.fr/Publications/Gazette/2011/127/smf_gazette_127_15-44. pdf ''L'émergence de la notion de groupe d'homologie'', Nicolas Basbois (PDF)], en francés, nota 41, nombra explícitamente a Noether como inventor del grupo de homología.</ref><ref>Hirzebruch, Friedrich, [http://www.mathe2.uni-bayreuth. de/axel/papers/hierzebruch:emmy_noether_and_topology.ps.gz Emmy Noether and Topology] en {{Harvnb|Teicher|1999|pp=61-63}}.</ref> La nueva [[topología combinatoria]] trató formalmente las clases topológicas como [[grupo abeliano]]s.  Los grupos homológicos son grupos abelianos finitamente generados, y las clases homológicas son elementos de estos grupos. Los números de Betti de la variedad son el rango de la parte libre del grupo homológico, y los ciclos no orientables se describen mediante la parte de torsión.

La posterior difusión de los grupos de homología trajo un cambio de terminología y punto de vista de la "topología combinatoria" a la "[[topología algebraica]]".<ref>[http://math.vassar.edu/faculty/McCleary/BourbakiAlgTop.pdf ''Bourbaki and Algebraic Topology'' by John McCleary (PDF)] {{Wayback|url=http://math.vassar.edu/faculty/McCleary/BourbakiAlgTop.pdf |date=20080723154154 }} ofrece documentación (traducida al inglés a partir de originales franceses).</ref> La homología algebraica sigue siendo el método principal para clasificar las variedades.<ref>{{harvnb|Richeson|2008|page=264}}</ref>

==Definición==
Se define el n-ésimo '''[[grupo (matemáticas)|grupo]] de homología''' asociado a un [[cadena compleja|complejo de cadenas]] 
:<math>\ldots\to A_{n+1}\stackrel{\delta_{n+1}}\to A_n\stackrel{\delta_n}\to A_{n-1}\to \ldots</math> 
donde <math>\delta_n\circ\delta_{n+1}=0</math>

como el [[grupo abeliano]]
:<math>H(A_n)=\frac{\ker(\delta_n)}{\rm im(\delta_{n+1})}.</math> 

También se utiliza la notación
:<math>H_n(A)</math>, donde <math>A</math> es el [[cadena compleja|complejo de cadenas]] respectivo. 

Se llama <math>\ker(\delta_n)</math> los ciclos en <math>A_n</math> y se llama <math>{\rm im(\delta_{n+1})}</math> las fronteras de <math>A_n</math>.

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
:<math>0\to A_1\stackrel{a_1}\to A_2\stackrel{a_2}\to A_3\to 0</math>
entonces sus correspondientes grup(os de homología son:
:<math>H(A_1)=\ker a_1,\qquad H(A_2)=\frac{{\rm ker}\ a_2}{{\rm im}\ a_1},\qquad H(A_3)=\frac{A_3}{{\rm im}\ a_2}</math> 

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

== Homología frente a homotopía ==

Los [[Grupo de homotopía| grupos de homotopía]] se parecen a los grupos de homología en que pueden representar "agujeros" en un espacio topológico. Existe una estrecha relación entre el primer grupo de homotopía <math>\pi_1(X)</math> y el primer grupo de homología <math>H_1(X)</math>: el segundo es la [[abelianización]] del primero. De ahí que se diga que "la homología es una alternativa conmutativa a la homotopía".<ref name=":0">{{Cite web|last=Wildberger|first=N. J.|fecha=2012|title=Una introducción a la homología|website=[[YouTube]]|url=https://www.youtube.com/watch?v=ShWdSNJeuOg&t=240|archive-url=https://web.archive.org/web/20230410171045/https://www.youtube.com/watch?v=ShWdSNJeuOg&t=240|archive-date=10 de abril de 2023|url-status=|fechaacceso=10 de abril de 2023|deadurl=}}</ref>{{Rp|4:00}} Los grupos de homotopía superiores son abelianos y están relacionados con los grupos de homología por el [[teorema de Hurewicz]], pero pueden ser mucho más complicados. Por ejemplo, los [[grupos de homotopía de esferas]] no se comprenden bien y no se conocen en general, en contraste con la descripción directa dada anteriormente para los grupos de homología.

Como ejemplo, sea ''X'' la [[Rosa (topología)|figura en ocho]]. Su primer grupo de homotopía <math>\pi_1(X)</math> es el grupo de bucles dirigidos que empiezan y terminan en un punto predeterminado (por ejemplo, su centro). Es equivalente al [[grupo libre]] de rango 2, que no es conmutativo: hacer un bucle alrededor del ciclo más a la izquierda y luego alrededor del ciclo más a la derecha es diferente que hacer un bucle alrededor del ciclo más a la derecha y luego hacer un bucle alrededor del ciclo más a la izquierda. En cambio, su primer grupo de homología <math>H_1(X)</math> es el grupo de cortes realizados en una superficie. Este grupo es conmutativo, ya que (informalmente) cortar el ciclo más a la izquierda y luego el ciclo más a la derecha conduce al mismo resultado que cortar el ciclo más a la derecha y luego el ciclo más a la izquierda.
== Véase también ==
*[[Álgebra homológica]]
*[[Cohomología]]
* [[Número de Betti]]
* [[Cohomología de De Rham]]
* [[Cohomología#Axiomas y teorías de cohomología generalizada|Teoría de homología extraordinaria]]
* [[Álgebra homológica]]
* [[Grupo de homotopía]]
* [[Dualidad de Poincaré]]

== Referencias ==
{{listaref}}

== Enlaces externos ==
* Hatcher, Allen (2002) ''[http://www.math.cornell.edu/~hatcher/AT/ATpage.html Algebraic Topology]'' [[Cambridge University Press]]
*{{MathWorld|Homology|Homology}}

{{Control de autoridades}}
[[Categoría:Álgebra homológica]]

[[ru:Гомология (топология)#Когомологии]]