Homologietheorie

In de algebraïsche topologie, een deelgebied van de wiskunde, verstaat men onder de homologietheorie de axiomatische studie van het intuïtieve meetkundige idee van een homologie van cycli op de topologische ruimte. De homologietheorie kan breedweg worden gedefinieerd als de studie van homologietheorieën over topologische ruimten.

Het algemene idee

Bestand:Torus cycles.png

Een torus met in roze en rood gekleurde generatoren.

Met elke topologische ruimte $X$ en elk natuurlijk getal $k$ kan men een verzameling $H_k(X)$ associëren, waarvan de elementen ($k$-dimensionaal) homologieklassen worden genoemd. Er bestaat een goed gedefinieerde manier om homologieklassen op te tellen en af te trekken. Deze manier maakt $H_k(X)$ tot een abelse groep, die men de $k$-e homologiegroep $X$ noemt. In heuristische termen geeft de grootte en structuur van $H_k(X)$ informatie over het aantal $k$-dimensionale gaten in $X$. Als $X$ bijvoorbeeld het cijfer acht is, dan heeft $X$ twee gaten, die in deze context als zijnde een-dimensionaal tellen. De hiermee corresponderende homologiegroep $H_1(X)$ kan worden geïdentificeerd met de groep $\mathbb{Z}\oplus \mathbb{Z}$ van paren van gehele getallen, met een kopie van $\mathbb{Z}$ voor elke gat. Hoewel het erg voor de hand liggend lijkt te zijn om te zeggen dat $X$ twee gaten heeft, is het verrassend moeilijk om dit op wiskundige strikte manier te formuleren. Het opstellen van zo'n strikte formulering is een centrale doelstelling van de homologietheorie.