Homologie (matematika)

V matematice (speciálně algebraické topologii a abstraktní algebře), je homologie (z řeckého ὁμός homos "identické") proces, který přiřadí matematickým objektům posloupnost Abelových grup nebo modulů.

V homologické algebře jsou objekty komplexy M_n\stackrel{d_n}{\to} M_{n-1}\stackrel{d_{n-1}}{\to}\ldots \stackrel{d_{1}}{\to} M_0, kterým se přiřadí moduly Ker \,\,d_i/Im \,\,d_{i+1}. Těmto modulům říkáme homologie, resp. +more homologické grupy.

Pokud indexy modulů M_i zleva doprava neklesají ale rostou, mluvíme o kohomologii komplexu, resp. kohomologických grupách.

V teorii topologických prostorů se pod homologií prostoru obvykle rozumí singulární homologie.

Původní motivace pro definování homologických grup je pozorování, že jeden aspekt tvaru geometrických útvaru je popis jeho "děr". Protože ale díra v prostorů "není", je na první pohled nejasné, jak díru definovat a jak rozlišit různé typy děr. +more Homologie topologických prostorů je rigorózní matematická metoda na hledání a kategorizování děr různých typů.

V diferenciální geometrii hrají důležitou roli homologie komplexů diferenciálních operátorů. Nejznámější příklad je de Rhamův komplex, kterého kohomologie jsou izomorfní topologickým singulárním homologiím s koeficienty v reálných číslech.

Kategorie:Algebraická topologie Kategorie:Geometrie