Mostrar código-fonte de Homologia (matemática)

Em [[matemática]] (especialmente [[topologia algébrica]] e [[álgebra abstrata]]), '''homologia''' (em parte do [[Língua grega|Grego]]  ὁμός ''homos'' "identical") é uma maneira geral de associar uma sequência de objetos algébricos tais como [[Grupo (matemática)|grupos]] ou [[grupo abeliano | grupos abelianos]] ou [[Módulo (álgebra) | módulos]] a outros objetos matemáticos tais como o [[espaço topológico]]. Na linguagem da [[teoria das categorias]], dizemos que uma teoria de homologia é um [[functor]] covariante da categoria dos espaços topológicos na categoria dos [[grupo abeliano|grupos abelianos]] graduados. Grupos de homologia foram originalmente definidos em [[topologia algébrica]]. No entanto, construções semelhantes estão disponíveis em uma ampla variedade de outros contextos, tais como [[grupo (matemática)| grupos]], [[álgebra de Lie]], [[Teoria de Galois]] e [[geometria algébrica]].

Já em [[álgebra comutativa]], uma teoria de homologia é um [[functor]] covariante da categoria dos [[Complexo de cadeias|complexos de cadeia]] na categoria dos grupos abelianos graduados. A álgebra homológica trata do estudo de tais functores. Além disto, existe dentro da teoria de categorias uma área de pesquisa denominada  ''álgebra homológica abstrata'',<ref>M. Osborne - Basic Homological Algebra. Springer Verlag (2000).</ref> que generaliza as ferramentas da [[álgebra homológica]] ao contexto das categorias abelianas. Tal formulação da homologia algébrica foi concebida por A. Grothendieck para estudar feixes sobre variedades algébricas.<ref>A. Grothendieck - Sur quelques points d'algèbre homologique, Tohoku Math. J., t. 9, p. 119- 183 (1957).</ref>

A motivação original para a definição de grupos de homologia foi a observação de que duas formas podem ser distinguidas examinando seus buracos. Por exemplo, um círculo não é um disco porque o círculo tem um furo através dele enquanto o disco é sólido, e a esfera ordinária não é um círculo porque a esfera delimita um furo bidimensional enquanto o círculo delimita um furo unidimensional. No entanto, porque um buraco é "não existente", não é imediatamente óbvio como definir um buraco ou como distinguir diferentes tipos de buracos. Homologia foi originalmente um método matemático rigoroso para definir e categorizar os buracos em uma [[Variedade (matemática)| variedade]]. Falando superficialmente, um "círculo" é uma subvariedade fechada, uma "fronteira" é a fronteira de uma subvariedade com limite e uma "classe de homologia" (que representa um buraco) é uma [[classe de equivalência]] de círculo módulo limites.

Existem muitas teorias de homologia diferentes. Um tipo particular de [[objeto matemático]], como um espaço topológico ou um [[grupo (matemática) | grupo]], pode ter uma ou mais teorias de homologia associadas. Quando o objeto subjacente tem uma interpretação geométrica como os espaços topológicos, o '' n'' - grupo de homologia representa um comportamento exclusivo de dimensão '' n ''. Em geral, a maioria dos grupos de homologia ou módulos surgem como [[funtor derivado]] na apropriada [[categoria abeliana | categorias abelianas]]. Eles fornecem descrições concretas da falha de um functor para ser [[funtor exato]]. A partir desta perspectiva abstrata, os grupos de homologia são determinados por objetos de uma [[categoria derivada]].

== Background ==

=== Origens ===
Pode-se dizer que a teoria da homologia começa com a fórmula do poliedro de Euler, ou [[característica de Euler]].<ref>{{Harvnb|Stillwell|1993|p=170}}</ref> Isto foi seguido pela definição de Riemann para [[Genus (matemática)|genus]] e invariantes numéricos da conectividade do "n" - ''fold'' em 1857 e a prova de Betti em 1871 da independência de "números da homologia" da escolha da base.<ref>{{Harvnb|Weibel|1999|pp=2–3 (in PDF)}}</ref>

A própria homologia foi desenvolvida como uma forma de analisar e classificar as [[variedades]] de acordo com seus "círculos" - laços fechados (ou mais geralmente subvariedades) que podem ser desenhados em uma dada variedade "n" - dimensional, mas não continuamente deformados um no outro.<ref name="Richeson254">Richeson 2008 p.254.</ref> Estes círculos também são por vezes considerados como cortes que podem ser colados de volta juntos, ou como zíperes que podem ser presos e desatados. Os círculos são classificados por dimensão. Por exemplo, uma linha desenhada sobre uma superfície representa um 1-círculo, um laço fechado ou <math>S^1</math> (1-variedade), enquanto uma superfície cortada através de uma variedade tridimensional é um 2-círculo.

=== Superfícies ===

[[Imagem:spherecycles1.svg|thumb|left|200px|Círculos sobre uma 2-esfera]]

Na [[esfera]] <math>S^2</math>, o ciclo '' b '' no diagrama pode ser encolhido para o pólo e até mesmo o círculo equatorial [[grande círculo]] '' a '' pode ser encolhido da mesma maneira. O [[teorema da curva de Jordan]] mostra que qualquer círculo arbitrário tal como ''c'' pode ser encolhido de forma semelhante até um ponto. Todos os círculos na esfera podem portanto ser continuamente transformados um no outro e pertencerem à mesma classe de homologia. Diz-se que eles são homólogos a zero. Cortar uma variedade ao longo de um círculo homólogo a zero separa a variedade em duas ou mais componentes. Por exemplo, cortar a esfera ao longo de ''a'' produz dois hemisférios.

[[Imagem:toruscycles1.svg|thumb|256px|Círculos sobre um toro]]

Isto não é geralmente verdade para círculos em outras superfícies. O [[toro]] <math>T^2</math> tem círculos que não podem ser continuamente deformados um no outro, por exemplo no diagrama nenhum dos ciclos '' a '', '' b '' ou '' c '' podem ser continuamente deformados um no outro. Os círculos '' a '' e '' b '' não podem ser reduzidos significativamente. Círculos '' c '' pode ser encolhido até um ponto, portanto é homólogo a zero.

Se a superfície do toro é cortada ao longo de ambos '' a '' e '' b'', ele pode ser aberto e achatado em um [[retângulo]] ou, mais convenientemente, um quadrado. Um par de lados opostos representa o corte ao longo de '' a '', e o outro par oposto representa o corte ao longo de '' b ''.

As bordas do quadrado podem então ser coladas de volta de diferentes maneiras. O quadrado pode ser torcido para permitir que as arestas se encontrem na direção oposta, como mostrado pelas setas no diagrama. Até a simetria, existem quatro maneiras distintas de colar os lados, cada um criando uma superfície diferente:

{{clear}}[[Imagem:flatsurfaces.svg|thumb|centre|460px|As quatro maneiras de colar um quadrado para fazer uma superfície fechada: cola setas simples juntos e cola setas duplas juntos.]]

[[Imagem:Kleincycles1.svg|thumb|left|240px|Círculos sobre uma garrafa de Klein]]

<math>K^2</math> é a [[garrafa de Klein]], que é um toro com uma torção nele (a torção pode ser visto no diagrama quadrado como a inversão da seta em um dos lados). É um teorema que a superfície re-colada pode ter auto-interseção (quando imerso em [[3-espaço Euclidiano]]). Como no toro, os círculos '' a '' e '' b '' não podem ser reduzidos enquanto '' c '' pode ser. Mas ao contrário do toro, seguindo o '' b '' avança para a direita e vice-versa para a esquerda e para a direita, porque '' b '' passa a cruzar a torção dada a uma junção. Se um corte equidistante de um lado de '' b '' for feito, ele retorna do outro lado e volta pela superfície uma segunda vez antes de retornar ao seu ponto de partida, cortando uma [[faixa de Möbius]] torcida. Como a esquerda e a direita locais podem ser arbitrariamente reorientadas dessa maneira, a superfície como um todo é dita não-orientável.

[[Imagem:projectivecycles1.svg|thumb|246px|Círculos sobre o plano projetivo hemisférico]]

O [[plano projetivo]] <math>P^2</math> tem ambas as colagens "torcidas". A forma não cortada, geralmente representada como a [[superfície do menino]], é visualmente complexa, de modo que uma inserção hemisférica é mostrada no diagrama, em que os pontos antipodais ao redor da borda, como ''A'' e ''A''', são identificados como o mesmo ponto. Novamente, '' a '' e '' b '' são não-reduzíveis enquanto '' c '' é. Mas desta vez, ambos '' a '' e '' b '' invertem à esquerda e à direita.

Círculos podem ser colados juntos, como foram '' a '' e '' b '' no toro quando foi cortado aberto e achatado para baixo. No diagrama da garrafa de Klein, '' a '' vai em uma direção e &minus;''a'' vai ao contrário. Se ''a'' é pensado como um corte, então −''a'' pode ser pensado como uma operação de colagem. Fazendo um corte e, em seguida, re-colagem não muda a superfície, então '' a '' + (&minus;''a'') = 0.

Seguindo um círculo orientável tal como ''a'' cerca de duas vezes dá simplesmente '' a '' + '' a '' = 2''a ''. Mas círculos não-orientáveis se comportam de forma diferente. No plano projetivo, seguindo o círculo não-reduzível '' b '' contornando duas vezes notavelmente cria um círculo trivial que "pode" ser reduzido a um ponto; isto é, '' b '' + '' b '' = 0. Porque '' b '' deve ser seguido em torno de duas vezes para atingir um círculo zero, neste caso dizemos que a superfície tem um [[coeficiente de torção (topologia)| coeficiente de torção]] 2. O mesmo se aplica a '' b '' no exemplo da garrafa Klein. Para ver isso, você pode usar [[Teorema da curva de Jordan]] novamente.

Um quadrado é um [[espaço topológico contrátil]], o que implica que tem homologia trivial. Consequentemente, cortes adicionais o deixa desconexo. O quadrado não é a única forma plana que pode ter os lados colados para gerar uma superfície. Colar os lados opostos de um octógono, por exemplo, produz uma superfície com dois furos. De fato, todas as superfícies fechadas podem ser produzidas colando os lados de algum polígono e todos os polígonos de lados pares (2''n '' - lados) podem ser colados para formar superfícies diferentes. Por outro lado, uma superfície fechada com '' n '' não-nulas classe pode ser cortada em um 2''n ''-lados. Também são possíveis variações, por exemplo, um hexágono também pode ser colado para formar um toro.<ref name="weeks" />

A primeira teoria reconhecível de homologia foi publicada por [[Henri Poincaré]] em seu paper seminal "[[Analysis Situs (paper)|Analysis situs]]", "J. Ecole polytech. '' (2) '''1'''. 1-121 (1895). O artigo apresentou classes de homologia e relações. As possíveis configurações de círculos orientáveis são classificadas pelo [[número de Betti]] da variedade (os números de Betti são um refinamento da característica de Euler). A classificação dos círculos não-orientáveis requer informações adicionais sobre o [[coeficiente de torção (topologia)|coeficiente de torção]]. <ref name = "Richeson254" />''

A classificação completa de 1- e 2-variedade é dada pela seguinte tabela:

{| class="wikitable sortable"
|+ Características topológicas de 1- e 2- variedades fechadas<ref name="Richeson">Richeson (2008)</ref>
|-
! colspan=2 | Variedade !! rowspan=2 | [[Característica de Euler|Número de Euler]]<br>χ !! rowspan=2 | Orientabilidade !! colspan=3 | [[Número de Betti]]!! rowspan="2" | [[Coeficiente de Torção (topologia)| Coeficiente de torção]]<br>(1-dimensional)
|-
! Símbolo<ref name="weeks">Weeks, J.R.; ''The Shape of Space'', CRC Press, 2002.</ref> !! Nome !! 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-variedade) || &nbsp;&nbsp;0 || Orientável || 1 || 1 || N/A || N/A
|-
| <math>S^2</math> || [[Esfera]] || &nbsp;&nbsp;2 || Orientável || 1 || 0 || 1 || nenhum
|-
| <math>T^2</math> || [[Toro]] || &nbsp;&nbsp;0 || Orientável || 1 || 2 || 1 || nenhum
|-
| <math>P^2</math> || [[Plano projetivo]] || &nbsp;&nbsp;1 || Não-orientável || 1 || 0 || 0 || 2
|-
| <math>K^2</math> || [[Garrafa de Klein]] || &nbsp;&nbsp;0 || Não-orientável || 1 || 1 || 0 || 2
|-
|  || 2-toro || −2 || Orientável || 1 || 4 || 1 || nenhum
|-
|  || ''g''-toro ([[Genus (topologia)|Genus]] = ''g'') || 2 − 2''g'' || Orientável || 1 || 2''g'' || 1 || nenhum
|-
|  || Esfera com ''c'' [[cross-cap]]s|| 2 − ''c'' || Não-orientável || 1 || ''c'' − 1 || 0 || 2
|-
|  || 2-variedade com ''g'' buracos<br> e ''c'' cross-caps (''c'' > 0)|| 2&nbsp;−&nbsp;(2''g''&nbsp;+&nbsp;''c'') || Não-orientável || 1 || (2''g''&nbsp;+&nbsp;''c'')&nbsp;−&nbsp;1 || 0 || 2
|}
:'''''NOTES:'''''
:#Para uma superfície não-orientável, um buraco é equivalente a dois cross-caps.
:#Qualquer 2-variedade é uma [[soma conexa]] de um ''g''-toro e ''c''-planos projetivos. Para uma esfera <math>S^2</math>, ''g'' = ''c'' = 0.

===Generalização===
Uma variedade com bordo ou uma variedade aberta é topologicamente diferente de uma variedade fechada e pode ser criada fazendo um corte adequado em qualquer variedade fechada. Por exemplo, o disco ou 1-esfera <math>B^1</math> é limitado por um círculo <math>S^1</math>. Pode ser criado cortando um círculo trivial em qualquer 2-variedade e mantendo a peça removida, perfurando a esfera e esticando a punção de largura, ou cortando o plano projetivo. Também pode ser visto como preenchimento do círculo no plano.

Quando dois círculos podem ser continuamente deformados um no outro, então o corte ao longo de um produz a mesma forma que o corte ao longo do outro, até alguma flexão e alongamento. Neste caso, diz-se que os dois círculos são "homólogos" ou estão na mesma "classe de homologia". Adicionalmente, se um círculo puder ser continuamente deformado numa combinação de outros círculos, o corte ao longo do círculo inicial é o mesmo que o corte ao longo da combinação de outros círculos. Por exemplo, cortar ao longo de uma figura 8 é equivalente a cortar ao longo dos seus dois círculos. Neste caso, a figura 8 é dita homóloga à soma dos seus círculos.

Duas variedades abertas com bordas semelhantes (até alguma flexão e alongamento) podem ser colados em conjunto para formar uma nova variedade que é sua soma conexa.

Esta análise geométrica das variedades não é rigorosa. Em busca de maior rigor, Poincaré passou a desenvolver a homologia simplicial de uma variedade triangulada e criar o que agora é chamado de complexo de cadeia.<ref name="Richeson258">Richeson 2008 p.258</ref><ref>{{Harvnb|Weibel|1999|p=4}}</ref> Estes complexos de cadeia (desde muito generalizados) formam a base para a maioria dos tratamentos modernos de homologia.

Em tais tratamentos, um círculo não precisa ser contínuo: um 0-círculo é um conjunto de pontos, e o corte ao longo deste círculo corresponde à perfuração da variedade. Um 1-círculo corresponde a um conjunto de círculos fechados (uma imagem de uma 1-variedade <math>S^1</math>). Em uma superfície, o corte ao longo de um círculo produz peças desconexas ou uma forma mais simples. Um 2-círculo corresponde a uma coleção de superfícies imersas, como uma esfera ou um toro, e assim por diante.

[[Emmy Noether]] e, independentemente, [[Leopold Vietoris]] e [[Walther Mayer]] desenvolveram a teoria dos grupos de homologia algébrica no período 1925-28.<ref>{{Harvnb|Hilton|1988|p=284}}</ref><ref> Por exemplo [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)], em francês, nota 41, explicita o nome Noether como o inventor do grupo de homologia.</ref><ref>Hirzebruch, Friedrich, [http://www.mathe2.uni-bayreuth.de/axel/papers/hierzebruch:emmy_noether_and_topology.ps.gz Emmy Noether and Topology] in {{Harvnb|Teicher|1999|pp=61–63}}.</ref> A nova [[topologia combinatória]] tratou formalmente as classes topológicas como o [[grupo abeliano]]. Grupos de homologia são grupos abelianos finitamente gerados, e classes de homologia são elementos desses grupos. Os números de Betti da variedade são a posição da parte livre do grupo de homologia, e os círculos não-orientáveis são descritos pela parte de torção. A subseqüente disseminação de grupos de homologia trouxe uma mudança de terminologia e ponto de vista de "topologia combinatória" para "[[topologia algébrica]]". <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 }} gives documentation (translated into English from French originals).</ref> Homologia algébrica continua sendo o principal método de classificação de variedades.<ref>Richeson 2008 p.264.</ref>

== Exemplos informais ==
Informalmente, a homologia de um [[espaço topológico]] ''X'' é um conjunto dos [[Propriedades topológicas| invariantes topológicos]] de ''X'' representado por seus ''grupos de homologia''

:<math>H_0(X), H_1(X), H_2(X), \ldots </math>

Onde o <math>k^{\rm th}</math> grupo de homologia <math>H_k(X)</math> descreve os '' k ''-dimensionais buracos em '' X ''. Um buraco 0-dimensional é simplesmente um espaço entre duas [[Espaços conexos#Componentes conexas | componentes]], conseqüentemente <math>H_0(X)</math> descreve um caminho conexo em uma componentes de '' X ''.<ref>{{Harvnb|Spanier|1966|p=155}}</ref>

[[Imagem:Circle - black simple.svg|thumb|left|O círculo ou 1-esfera <math>S^1</math>]]

Uma [[esfera]] 1-dimensional <math>S^1</math> é um [[círculo]]. Ele tem um único componente conexo e um furo unidimensional, mas sem furos de dimensão superior. Os grupos de homologia correspondentes são dados por

:<math>H_k(S^1) = \begin{cases} \mathbb Z & k=0, 1 \\ \{0\} & \text{caso contrário} \end{cases}</math>

onde <math>\mathbb Z</math> é o grupo do inteiros e <math>\{0\}</math> é o [[grupo trivial]]. O grupo <math>H_1(S^1) = \mathbb Z</math> representa um [[grupo abeliano finitamente gerado]], com um único [[Gerador (grupo)| gerador]] representando um buraco unidimensional contido em um círculo.<ref name="Gowers 2010 390–391">{{Harvnb|Gowers|2010|pp=390–391}}</ref>

[[Imagem:Sphere wireframe 10deg 4r.svg|thumb|right|A 2-esfera <math>S^2</math> é a casca, não o interior, de uma bola]]

Uma [[esfera]] bidimensional <math>S^2</math> tem uma única componente conexa, sem buracos unidimensionais, um buraco bidimensional e sem buracos de dimensões maiores. Os grupos de homologia correspondentes são<ref name="Gowers 2010 390–391"/>

:<math>H_k(S^2) = \begin{cases} \mathbb Z & k=0, 2 \\ \{0\} & \text{caso contrário} \end{cases}</math>

Em geral para esferas ''n''-dimensionais <math>S^n</math>, os grupos de homologia são:

:<math>H_k(S^n) = \begin{cases} \mathbb Z & k=0, n \\ \{0\} & \text{caso contrário} \end{cases}</math>

[[Imagem:1-ball.svg|thumb|left|O disco sólido ou 1-bola <math>B^1</math>]]

Uma [[Bola (matemática)|bola]] unidimensional <math>B^1</math> é um disco sólido. Ele tem uma única componente conexa por caminhos, mas em contraste com o círculo, não tem buracos unidimensionais ou de dimensões maiores. Os grupos de homologia correspondentes são todos triviais, exceto para <math>H_0(B^1) = \mathbb Z</math>. Em geral, para uma bola ''n''-dimensional ''B<sup>n</sup>'',<ref name="Gowers 2010 390–391"/>

:<math>H_k(B^n) = \begin{cases} \mathbb Z & k=0 \\ \{0\} & \text{caso contrário} \end{cases}</math>

[[Imagem:Simple torus with cycles.svg|thumb|right|O toro <math>T = S^1 \times S^1</math>]]

O [[Toro]] é definido como o [[produto cartesiano]] de dois círculos <math>T = S^1 \times S^1</math>. O toro tem uma única componente conexa por caminhos, e dois buracos unidimensionais independentes (indicados pelos círculos vermelho e azul) e um buraco bidimensional como o interior do toro. Os grupos de homologia correspondentes são<ref name="Hatcher 2002 106">{{Harvnb|Hatcher|2002|p=106}}</ref>

:<math>H_k(T) = \begin{cases} \mathbb Z & k=0, 2 \\ \mathbb Z\times \mathbb Z & k=1 \\ \{0\} & \text{caso contrário} \end{cases}</math>

Os dois buracos 1D independentes formam geradores independentes em um grupo abeliano finitamente gerado, expresso como o grupo de produtos cartesiano <math>\mathbb Z\times \mathbb Z</math>.

== Construção dos grupos de homologia ==
Seja <math>\mathcal{C}</math> um [[complexo de cadeias]]

::<math>\ldots \to
A_{n+1} \begin{matrix}  d_{n+1} \\ \to  \\ \, \end{matrix}
A_n     \begin{matrix}  d_n     \\ \to  \\ \, \end{matrix}
A_{n-1} \begin{matrix}  d_{n-1} \\ \to  \\ \, \end{matrix}
A_{n-2} \to \ldots \to
A_2     \begin{matrix}  d_2     \\ \to \\  \, \end{matrix}
A_1 \begin{matrix}  d_1 \\ \to \\   \, \end{matrix}
A_0 \begin{matrix}  d_0 \\ \to \\  \, \end{matrix} 0.</math>

Definimos o n-ésimo '''grupo de homologia''' de <math>\mathcal{C}</math> como <math> H_n(\mathcal{C})=Nuc(d_n)/Im(d_{n+1})\,</math>.

Já os grupos de homologia de um espaço topológico <math>X</math> são definidos a partir de um ''[[complexo de cadeia]]'' <math> C(X)</math> determinado por <math>X</math>. Um complexo de cadeia é uma sequência de grupos abelianos ou módulos <math>C_0, C_1, C_2, \cdots </math>, conectados por um [[homomorfismo de grupo | homomorfismos]] <math>\partial_n: C_n \to C_ {n-1}</math>, que são chamados de '''operadores limites.'''<ref>{{Harvnb|Hatcher|2002|p=106}}</ref> Isto é,

:<math>\dotsb\overset{\partial_{n+1}}{\longrightarrow\,}C_n
\overset{\partial_n}{\longrightarrow\,}C_{n-1}
\overset{\partial_{n-1}}{\longrightarrow\,}
\dotsb
\overset{\partial_2}{\longrightarrow\,}
C_1
\overset{\partial_1}{\longrightarrow\,}
C_0\overset{\partial_0}{\longrightarrow\,} 0</math>

onde 0 denota o grupo trivial e <math>C_i\equiv0</math> para <math> i < 0 </math>. Também é necessário que a composição de quaisquer dois operadores de fronteira consecutivos seja trivial. Isto é, para todos <math>n,</math>

:<math> \partial_n \circ \partial_{n+1} = 0_{n+1,n-1},</math>

Isto é, a função constante enviando cada elemento de <math>C_{n+1}</math> para a identidade do grupo <math>C_{n-1}</math>. Que a fronteira de uma fronteira é trivial implica <math>\mathrm{im}(\partial_{n+1})\subseteq\ker(\partial_n)</math>, onde <math>\mathrm{im}(\partial_{n+1})</math> denota a [[imagem (matemática) | imagem]] de um operador de limitado e <math>\ker(\partial_n)</math> seu [[Núcleo (álgebra)|núcleo]]. Elementos de <math>B_n(X) = \mathrm{im}(\partial_{n+1})</math> são chamados de '''fronteira''' e elementos de <math>Z_n(X) = \ker(\partial_n) </math> são chamados de '''círculos'''.

Como cada grupo de cadeia <math>C_n</math> é abeliano todos os seus subgrupos são normais. Em seguida, porque <math>\mathrm{im}(\partial_{n+1})</math> e <math>\ker(\partial_n)</math>  são ambos subgrupos de <math>C_n</math>, <math>\mathrm{im}(\partial_{n+1})</math> é um [[subgrupo normal]] de <math>\ker(\partial_n)</math>. Então, pode-se criar o [[grupo quociente]]

:<math> H_n(X) := \ker(\partial_n) / \mathrm{im}(\partial_{n+1}) = Z_n(X)/B_n(X),</math>

chamado de '''''n''-ésimo o grupo de homologia <math>X</math>'''. Os elementos de <math>H_n(X)</math> são chamados de '''classes de homologia'''. Cada classe de homologia é uma classe de equivalência de círculos, dois círculos que estão na mesma classe de homologia são considerados '''homólogos'''.<ref>{{Harvnb|Hatcher|2002|pp=105–106}}</ref>

Um complexo de cadeia é dito ser [[sequência exata|exata]] se a imagem da (''n'' + 1)-ésima função é sempre igual ao núcleo da ''n''-ésima função. Os grupos de homologia de <math>X</math> medem, portanto, até que ponto o complexo de cadeia associado a <math>X</math> é exato.<ref>{{Harvnb|Hatcher|2002|p=113}}</ref>

Os [[Homologia reduzida|grupos de homologia reduzidos]] de um complexo de cadeia <math>C(X)</math> são definidos como homologias do complexo de cadeia aumentada<ref>{{Harvnb|Hatcher|2002|p=110}}</ref>

:<math>\dotsb\overset{\partial_{n+1}}{\longrightarrow\,}C_n
\overset{\partial_n}{\longrightarrow\,}C_{n-1}
\overset{\partial_{n-1}}{\longrightarrow\,}
\dotsb
\overset{\partial_2}{\longrightarrow\,}
C_1
\overset{\partial_1}{\longrightarrow\,}
C_0\overset{\epsilon}{\longrightarrow\,}
\Z {\longrightarrow\,}
0</math>

onde o operador limite <math>\epsilon</math> é

:<math>\epsilon \left (\sum_i n_i \sigma_i \right ) = \sum_i n_i</math>

para a combinação <math> \sum_i n_i \sigma_i </math> dos pontos <math>\sigma_i</math>, os quais são geradores fixos de <math>C_0</math>. Então o grupo de homologia reduzido <math>\tilde{H}_i(X)</math> coincide com <math>H_i(X)</math> para ''i'' ≠ 0. O extra <math>\Z</math> no complexo de cadeia representa a única função <math>[\emptyset] \longrightarrow X</math> desde o simplexo vazio até o <math>X</math>.

Calcular os grupos do círculo <math>Z_n(X)</math> e da fronteira <math>B_n(X)</math> são geralmente bastante difíceis, pois têm um grande número de geradores. Por outro lado, existem ferramentas que facilitam a tarefa.

A ''[[homologia simplicial]]'' dos grupos <math>H_n(X)</math> de um ''[[complexo simplicial]]'' <math>X</math> é definido usando o complexo simplicial de cadeias <math>C(X)</math>, com <math>C_n(X)</math> o [[grupo abeliano livre]] gerado por um ''n''-simplexo de <math>X</math>. Os grupos de ''[[homologia singular]]'' <math>H_n(X)</math> são definidos para qualquer espaço topológico <math>X</math>, e coincidem com os grupos de homologia simplicial para um complexo simplicial.

Os grupos de cohomologia são formalmente semelhantes aos grupos de homologia: um começamos com um [[complexo de co-cadeias]], que é o mesmo que um complexo de cadeias, mas cujas setas, agora denotas por <math>d^n</math>, apontam para a direção que ''n'' aumenta em vez de apontar para direção que ''n'' diminui; então os grupos <math>\ker(d^n) = Z^n(X)</math> de ''co-ciclos'' e <math>\mathrm{im}(d^{n - 1}) = B^n(X)</math> de ''co-bordos'' seguem a mesma descrição. O ''n''-ésimo grupo de cohomologia de <math>X</math> é então o grupo quociente.

:<math>H^n(X) = Z^n(X)/B^n(X),</math>

em analogia com o ''n''-ésimo grupo de homologia.

As diversas maneiras de se associar um complexo de cadeias a um espaço topológico (ou por vezes, a um par de espaços topológicos), são chamadas de [[teoria da homologia|teorias de homologia]]. Algumas teorias de homologia para [[Variedade (matemática)#Variedades diferenciáveis|variedades diferenciáveis]] são: a [[homologia singular]], a [[homologia de Čech]], a [[homologia de Morse]] e a [[homologia de de Rham]].

== Tipos de homologia ==
Os diferentes tipos de teoria de homologia surgem de funções de functores de várias categorias de objetos matemáticos para a categoria de complexos de cadeia. Em cada caso a composição do functor de objetos para complexos de cadeia e o functor de complexos de cadeia para grupos de homologia define o functor de homologia global para a teoria.<ref>{{Harvnb|Spanier|1966|p=156}}</ref>

=== Homologia simplicial ===
{{main|Homologia Simplicial}}

O exemplo de motivação vem da [[topologia algébrica]]: a '''[[homologia simplicial]]''' de um [[complexo simplicial]]  ''X''. Aqui ''A<sub>n</sub>'' é o [[grupo abeliano livre]] ou módulo cujos geradores são os simplexos orientados ''n''-dimensionais de ''X''. As funções são chamadas de ''mapeamentos de limites'' e enviam o simplexo com [[vértice (geometria)|vértices]]

:<math> (a[0], a[1], \dots, a[n])</math>

para a soma

:<math> \sum_{i=0}^n (-1)^i \left (a[0], \dots, a[i-1], a[i+1], \dots, a[n] \right ) </math>

(a qual é considerada 0 se ''n''&nbsp;=&nbsp;0).

Se considerarmos os módulos como sendo sobre um corpo, então a dimensão da ''n''-ésima homologia de ''X'' resulta ser o número de "buracos" em ''X'' na dimensão ''n''. Pode ser calculado pondo [[Matriz (matemática)|matriz]] representações destes mapeamentos de limite em [[forma normal de Smith]].

=== Homologia Singular ===
{{main|Homologia Singular}}

Usando o exemplo de homologia simplicial como modelo, pode-se definir a ''homologia singular'' para qualquer [[espaço topológico]] '' X ''. Um complexo de cadeia para '' X '' é definido tomando ''A <sub> n </sub>'' para ser o grupo abeliano livre (ou módulo livre) cujos geradores são todos [[função contínua (topologia)|funções contínuas]] de [[simplex | simplexos]] ''n''-dimensionais em '' X ''. Os homomorfismos <math>\partial_n</math> surgem das funções limites de simplexos.

=== Grupo de homologia ===
{{Main|Cohomologia de grupo}}

Em [[álgebra abstrata]], usa-se homologia para definir [[functor derivada]], por exemplo o [[funtor Tor]]. Aqui começa-se com algum functor covariante aditivo ''F'' e algum módulo ''X''. O complexo de cadeia para ''X'' é definido como segue: primeiro encontre um módulo livre <math>F_1</math> e um homomorfismo [[sobrejetivo]] <math>p_1:F_1 \to X</math>. Em seguida, encontra-se um módulo livre <math>F_2</math> e um homomorfismo sobrejetivo <math>p_2:F_2 \to ker(p_1)</math>. Continuando desta forma, pode ser definida uma sequência de módulos livres <math>F_n</math> e homomorfismos <math>p_n</math>. Aplicando o funtor '' F '' a esta seqüência, obtém-se um complexo de cadeia; a homologia <math>H_n</math> deste complexo depende apenas de ''F'' e ''X'' e é, por definição, a ''n''-derivada do funtor ''F'', aplicado a ''X''.

=== Outras teorias de homologia ===

{{div col}}
* [[Homologia de Borel–Moore]]
* [[Homologia celular]]
* [[Homologia cíclica]]
* [[Homologia de Hochschild]]
* [[Homologia de Floer]]
* [[Homologia de interseção]]
* [[K-Homologia]]
* [[Homologia de Khovanov]]
* [[Homologia de Morse]]
* [[Homologia persistente]]
* [[Homologia de Steenrod]]
{{div col end}}

== Homologia functors ==
Os complexos de cadeia formam uma [[categoria (matemática)|categoria]]: Um morfismo do complexo da cadeia <math>d_n: A_n \to A_{n-1}</math>  para o complexo de cadeia <math>e_n: B_n \to B_{n-1}</math> é uma seqüência de homomorfismos <math>f_n: A_n \to B_n</math> tal que <math>f_{n-1} \circ d_n = e_{n} \circ f_n </math> para todo ''n''. A ''n''-ésima homologia <math>H_n</math> pode ser vista como um [[functor]] covariante da categoria de complexos de cadeia para a categoria de grupos abelianos (ou módulos).

Se o complexo da cadeia depende do objeto ''X'' de uma forma covariante (o que significa que qualquer morfismo '' X → Y '' induz um morfismo do complexo de cadeia de ''X'' ao complexo de cadeia de ''Y'', então o ''H <sub> n </sub>'' são functores covariantes da categoria em que ''X'' pertence à categoria de grupos abelianos (ou módulos).

A única diferença entre a homologia e a [[cohomologia]] é que, na cohomologia, os complexos de cadeia dependem de uma maneira ''contravariante'' em ''X'', e que, portanto, os grupos de homologia (que são chamados de ''grupos de cohomologia'' neste contexto e denotado por ''H<sup>n</sup>'') formam os functores ''contravariantes'' da categoria que ''X'' pertence à categoria de grupos abelianos ou módulos.

== Propriedades ==
Se (''d<sub>n</sub>'': ''A<sub>n</sub>'' → ''A''<sub>''n''-1</sub>) é um complexo de cadeia tal que todos mas finitamente muitos ''A<sub>n</sub>'' são zero e os outros são grupos abelianos finamente gerados (ou espaços vetoriais de dimensão finita), então podemos definir a ''[[Característica de Euler]]''

:<math> \chi = \sum (-1)^n \, \mathrm{rank}(A_n) </math>

(Usando a [[categoria de um grupo abeliano | categoria]] no caso de grupos abelianos e a [[dimensão de Hamel]] no caso de espaços vetoriais). Acontece que a característica de Euler também pode ser calculada no nível de homologia:

:<math> \chi = \sum (-1)^n \, \mathrm{rank}(H_n) </math>

e, especialmente em topologia algébrica, isso fornece duas maneiras de calcular o invariante χ importante para o objeto ''X'' que deu origem ao complexo da cadeia.

Toda [[sequência exata curta]]

:<math> 0 \rightarrow A \rightarrow B \rightarrow C \rightarrow 0 </math>

de complexos de cadeia origina uma [[sequência exata longa]] de grupos de homologia

:<math> \cdots \to H_n(A) \to H_n(B) \to H_n(C) \to H_{n-1}(A) \to H_{n-1}(B) \to H_{n-1}(C) \to H_{n-2}(A) \to \cdots</math>

Todos as funções nesta seqüência exata longa são induzidas pelos funções entre os complexos de cadeia, com exceção dos mapas ''H<sub>n</sub>(C)'' → ''H''<sub>''n''-1</sub>''(A)'' Estes últimos são chamados de ''homomorfismos conexos'' e são fornecidos pelo [[Lema de zig-zag]]. Este lema pode ser aplicado à homologia de várias maneiras que auxiliam no cálculo de grupos de homologia, tais como as teorias de [[homologia relativa]] e ''sequências de Mayer-Vietoris''.

== Aplicações ==

=== Aplicação em matemática pura ===
Os teoremas notáveis provados usando homologia incluem o seguinte:
* O [[Teorema do ponto fixo de Brouwer]]: Se ''f'' é uma função contínua qualquer de uma bola ''B<sup>n</sup>'' em si mesma, então existe um ponto fixo ''a'' ∈ ''B<sup>n</sup>'' com ''f''(''a'') = ''a''.
* [[Invariância do domínio]]: Se ''U'' é um [[conjunto aberto|subconjunto aberto]] de '''R'''<sup>''n''</sup> e ''f'' : ''U'' → '''R'''<sup>''n''</sup> é uma [[função contínua]] [[injectiva]], então ''V'' = ''f''(''U'') é aberto e ''f'' é um [[homeomorfismo]] entre ''U'' e ''V''.
* O [[Teorema da bola cabeluda]]: qualquer espaço vetorial sobre uma 2-esfera (ou mais geralmente, a 2''k ''-esfera para qualquer '' k '' ≥ 1) é nula em algum ponto.
* O [[teorema de Borsuk-Ulam]]: qualquer [[função contínua]] de uma [[n-esfera|''n''-esfera]] no [[Espaço euclidiano|espaço Euclidiano ''n''-dimensional]] conecta um par de [[Ponto antipodal|pontos antipodal]] em um mesmo ponto. (Dois pontos em uma esfera são chamados antípodais se estiverem em direções exatamente opostas do centro da esfera.)

=== Aplicação em ciências e engenharia ===
Na [[análise de dados topológicos]], os conjuntos de dados são considerados como uma [[nuvem de pontos]] que é uma amostra da variedade ou [[variedade algébrica]] imersa no [[Espaço euclidiano]]. Ao ligar os pontos vizinhos mais próximos na nuvem em uma triangulação, é criada uma aproximação simplicial da variedade e sua homologia simplicial pode ser calculada. Encontrar técnicas para robustamente calcular a homologia usando várias estratégias de triangulação em várias escalas de comprimento é o tópico da [[homologia persistente]].<ref name=CompTop>{{citar web|título=CompTop overview|url=http://comptop.stanford.edu/|acessodata=16 de março de 2014}}</ref>

Em [[rede de sensores]], os sensores podem comunicar informações através de uma rede ad-hoc que muda dinamicamente no tempo. Para entender o contexto global deste conjunto de medições locais e caminhos de comunicação, é útil calcular a homologia da [[topologia de rede]] para avaliar, por exemplo, os buracos na cobertura.<ref>{{citar web|título=Robert Ghrist: applied topology|url=http://www.math.upenn.edu/~ghrist/research.html|acessodata=16 de março de 2014}}</ref>

Na teoria de [[sistemas dinâmicos]] em [[física]], Poincaré foi um dos primeiros a considerar a interação entre a [[variedade invariante]] de um sistema dinâmico e seus invariantes topológicos. A [[teoria de Morse]] relaciona a dinâmica de um fluxo de gradiente em uma variedade com, por exemplo, sua homologia. A [[homologia de Floer]] estendeu isto a variedades de dimensão infinita. O [[teorema de KAM]] estabeleceu que a [[órbita periódica]] pode seguir trajetórias complexas; em particular, podem formar [[Teoria de Tranças|tranças]] que podem ser investigadas usando a homologia de Floer.<ref name=vandenBerg2014>{{citar periódico|último1 = van den Berg|primeiro1 = J.B.|último2 = Ghrist|primeiro2 = R.|último3 = Vandervorst|primeiro3 = R.C.|último4 = Wójcik|primeiro4 = W.|título=Braid Floer homology|periódico=Journal of Differential Equations|data=2015|
volume=259|número=5|páginas=1663–1721|doi=10.1016/j.jde.2015.03.022|url=http://www.math.vu.nl/~janbouwe/pub/braidfloerhomology.pdf}}</ref>

Em uma classe de [[Método dos elementos finitos|métodos de elementos finitos]], [[Problema de valor sobre o contorno]] para equações diferenciais envolvendo o [[Laplaciano|operador de Hodge-Laplace]] pode precisar ser resolvido topologicamente em domínios não triviais, por exemplo, em [[Modelo eletromagnético|simulações electromagnética]]. Nestas simulações, a solução é auxiliada pela fixação da [[Co-homologia|classe de cohomologia]] da solução com base nas condições de contorno escolhidas e na homologia do domínio. Os domínios FEM podem ser triangulados, a partir dos quais a homologia simplicial pode ser calculada.<ref name=Pellikka2013>{{citar periódico|último =Pellikka|primeiro =M|autor2 =S. Suuriniemi |autor3 =L. Kettunen |autor4 =C. Geuzaine |título=Homology and Cohomology Computation in Finite Element Modeling|periódico=SIAM J. Sci. Comput.|data=2013|volume=35|número=5|páginas=B1195–B1214|doi=10.1137/130906556}}</ref><ref name=Arnold2006>{{citar periódico|último =Arnold|primeiro =Douglas N. |autor2 =Richard S. Falk |autor3 =Ragnar Winther|título=Finite element exterior calculus, homological techniques, and applications|periódico=Acta Numerica|data=16 de maio de 2006|volume=15|páginas=1–155|doi=10.1017/S0962492906210018}}</ref>

== Software ==
Muitos pacotes de software foram desenvolvidos para efeitos de calcular os grupos de homologia de complexos de células finitas. [Http://linalg.org Linbox] é uma biblioteca [[C++]] para executar operações de matriz rápida, incluindo [[forma normal de Smith]]; ele interage com ambos [http://www.gap-system.org Gap] e [http://www.maplesoft.com Maple]. [Http://chomp.rutgers.edu Chomp], [http://redhom.ii.uj.edu.pl CAPD :: Redhom] e [http://www.sas.upenn.edu/~vnanda/perseus Perseus] também são escritos em C++. Todos os três implementam algoritmos de pré-processamento com base na [[Equivalência de Homotopia Simples]] e [[Teoria Morse discreta]] para realizar reduções de preservação de homologia dos complexos de células de entrada antes de recorrer à álgebra matricial. [Http://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/ Kenzo] é escrito em Lisp, e além de homologia pode também ser usado para gerar [[Apresentação de grupo|apresentação]] de [[Homotopia]] grupos de complexos simpliciais finitos. [[Gmsh]] inclui a solução homológica para malhas de elementos finitos, que pode gerar bases para [[Cohomologia]] diretamente utilizáveis por software de elementos finitos.<ref name=Pellikka2013 />

== Veja também ==
{{Portal|Matemática}}
* [[Número de Betti]]
* [[Espaço de ciclo]]
* [[Axiomas de Eilenberg–Steenrod]]
* [[Co-homologia|Teoria de Co-homologia Extraordinária]]
* [[Álgebra homológica]]
* [[Conjecturas homológicas em álgebra comutativa]]
* [[Dimensão homológica (desambiguação)]]
* [[Teorema de Künneth]]
* [[Lista de teorias de co-homologia]] - também tem a [[Lista de teorias de homologia]]
* [[Coeficiente de torção (topologia)|Coeficiente de torção]]

{{Referências}}

== Bibliografia ==
* {{Citar livro|título = Homologia Básica|autor = Elon Lages Lima|ano = 2012|local = Rio de Janeiro, RJ|colecção = Coleção Projeto Euclides|isbn = 9788524402869}}
* [[Henri Cartan|Cartan, Henri Paul]] and [[Samuel Eilenberg|Eilenberg, Samuel]] (1956) ''Homological Algebra'' Princeton University Press, Princeton, NJ, [http://worldcat.org/oclc/529171 OCLC 529171]
* Eilenberg, Samuel and Moore, J. C. (1965) ''Foundations of relative homological algebra'' (Memoirs of the American Mathematical Society number 55)  American Mathematical Society, Providence, R.I., [http://worldcat.org/oclc/1361982 OCLC 1361982]
* Hatcher, A., (2002) ''[http://www.math.cornell.edu/~hatcher/AT/ATchapters.html Algebraic Topology]'' Cambridge University Press, ISBN 0-521-79540-0. Detailed discussion of homology theories for simplicial complexes and manifolds, singular homology, etc.
*[http://www.encyclopediaofmath.org/index.php/Homology_group ''Homology group'' at Encyclopaedia of Mathematics]
*{{citation|último =Hilton|primeiro =Peter|ano=1988|título=A Brief, Subjective History of Homology and Homotopy Theory in This Century |periódico= Mathematics Magazine|volume=60|número=5|páginas=282–291| jstor = 2689545|publicado=Mathematical Association of America}}
*{{citation|título=The Heritage of Emmy Noether|primeiro = M. (ed.)|último =Teicher|series=Israel Mathematical Conference Proceedings|publicado= [[Bar-Ilan University]]/[[American Mathematical Society]]/[[Oxford University Press]]|ano= 1999|oclc= 223099225 |isbn= 978-0-19-851045-1}}
* {{PlanetMath reference|id=3720|title=Homology (Topological space)}}
* Richeson, D.; ''Euler's Gem: The Polyhedron Formula and the Birth of Topology'', Princeton University (2008)
* Spanier, Edwin H. (1966). ''Algebraic Topology.'', Springer, p.&nbsp;155,. ISBN 0-387-90646-0.
* Timothy Gowers, June Barrow-Green, Imre Leader (2010), ''[[The Princeton Companion to Mathematics]].'', Princeton University Press, ISBN 9781400830398.
* [[John Stillwell]] (1993), ''Classical Topology and Combinatorial Group Theory'', Springer, doi:10.1007/978-1-4612-4372-4_6, ISBN 978-0-387-97970-0.
* Charles A. Weibel (1999), ''[http://www.math.uiuc.edu/K-theory/0245/survey.pdf History of Homological Algebra]'', chapter 28 in the book ''History of Topology'' by I.M. James, [[Elsevier]], ISBN 9780080534077.

{{Topologia}}

[[Categoria:Topologia algébrica]]
[[Categoria:Teoria de homologia| ]]