Homologie (matematika)

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledání

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. 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. 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.