Homologie (matematika)

způsob, jak přiřadit matematickým objektům posloupnost Abelových grup nebo modulů

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 , kterým se přiřadí moduly . Těmto modulům říkáme homologie, resp. homologické grupy.

Pokud indexy modulů 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.

Externí odkazy editovat