Homologia (matematika)

Matematikan (batez ere topologia aljebraikoan eta aljebra homologikoan), homologia emandako objektu matematiko bat (adibidez, espazio topologiko bat edo talde bat) talde abeldarren segida batekin (edo testuinguru orokorragoetan, moduluak edo abeldar kategoria baten gaineko edozein elementu) lotzeko prozedura orokorra da, hau da, ekintza funtoriala.

Topologia-espazio batean, homologia-taldeak askoz errazago zenbatzen dira homotopia-taldeak baino, eta, ondorioz, homologiarekin lan sinpleagoa egin ohi da, espazioak sailkatzen laguntzeko.

Teoria horren arrazoietako bat da batzuetan espazio topologikoen bikoteak bereiz ditzakegula, haien zuloak aztertuz. Adibidez:

• Zirkulua ez da disko baten baliokidea, zirkuluak zulo bat baitu haren erdian.
• Esfera bat ez da zirkulu baten baliokidea, esferak 2-dimentsioko zulo bat baitu, eta zirkuluak, berriz, 1-dimentsioko zulo bat.

Oro har, ez da berehalakoa ez zulo bat zer den definitzea, ez eta zulo mota desberdinak bereiztea ere. Horregatik, homologiaren jatorrizko motibazioa topologia-espazio bateko zuloak definitu eta sailkatzea izan zen, barietate batean, adibidez.

Homologia-taldeen definizioa honako kontzeptu hauetan oinarritzen da: zikloak - azpimota itxiak - mugak, zikloak eta aldi berean azpi-muga direnak -, eta homologia-klaseak - moduluak bateratzean, mugak lortzen ditugun baliokidetza-motak -. Orduan, homologia-mota bakoitza ziklo batek irudikatzen du, eta ziklo hori ez da inolako azpimultzoren muga, eta ziklo horren muga izango litzatekeen barietate baten falta adierazten du. Halaber, sorgailu bakoitzak zulo bat dagoela adierazten du, eta taldearen propietateek espazio topologikoaren egitura adierazten dute, bai eta dimentsioaren eta orientagarritasunaren nozioek ere.

Kate multzo bati lotutako homologien n-garren taldea honela definitzen da

${\displaystyle \ldots \to A_{n+1}{\stackrel {\delta _{n+1}}{\to }}A_{n}{\stackrel {\delta _{n}}{\to }}A_{n-1}\to \ldots }$

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

talde abeldarrean bezala

${\displaystyle H(A_{n})={\frac {\ker(\delta _{n})}{\rm {im(\delta _{n+1})}}}.}$

Notazioa hau ere erabiltzen da

${\displaystyle H_{n}(A)}$ non ${\displaystyle A}$ kate multzoa baita.

${\displaystyle \ker(\delta _{n})}$ deitzen zaio ${\displaystyle A_{n}}$ barneko zikloei eta ${\displaystyle {\rm {im(\delta _{n+1})}}}$ deitzen zaio ${\displaystyle A_{n}}$ren mugei.

Esaten da homologiak kate-multzo baten zehaztasunik eza neurtzen duela maila bakoitzean. Adibidez, kate laburren konplexua bada

${\displaystyle 0\to A_{1}{\stackrel {a_{1}}{\to }}A_{2}{\stackrel {a_{2}}{\to }}A_{3}\to 0}$

orduan, hauek dira dagozkien homologia-taldeak:

${\displaystyle 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}}}}$

Bistan da, segida zehatza balitz, talde horiek tribialak izango liratekeela (=0).

• Hatcher, Allen (2002) Algebraic Topology Cambridge University Press

• Datuak: Q1144780
• Multimedia: Homology / Q1144780