Ouvrir le menu principal
Page d'aide sur l'homonymie Pour les articles homonymes, voir Homologie.

L'homologie est une technique générale en mathématiques qui sert à mesurer l'obstruction qu'ont certaines suites de morphismes à être exactes. Elle intervient dans de nombreux domaines comme l'algèbre, la topologie algébrique, la géométrie algébrique ou la géométrie différentielle.

Sommaire

GénéralitésModifier

Complexe de chaînesModifier

Un complexe de chaînes est la donnée d'une suite de groupes abéliens ou plus généralement d'objets d'une catégorie abélienne   et d'une famille d'homomorphismes, appelés opérateurs de bord  , telle que :   . Les éléments de   s'appellent des chaînes de degré  . Les éléments du noyau   s'appellent des cycles. Les éléments de l'image   s'appellent des bords. Tout bord est un cycle. Les groupes d'homologie (en) du complexe   sont alors, par définition :  .

Complexe de cochaînesModifier

Un complexe de cochaînes est la donnée d'une suite de groupes abéliens ou plus généralement d'objets d'une catégorie abélienne   et d'une famille d'homomorphismes, appelés opérateurs de cobord  , telle que :   . Les éléments de   s'appellent des cochaînes de degré  . Les éléments du noyau   s'appellent des cocycles. Les éléments de l'image   s'appellent des cobords. Tout cobord est un cocycle. Les groupes de cohomologie du complexe   sont alors, par définition :  .

On remarque que si   est un complexe de cochaînes, on obtient un complexe de chaînes en posant  . Cependant les deux terminologies existent car il peut être désagréable de modifier l'indexation.

Par exemple, si   est un complexe de chaînes de groupes abéliens, posons   et   (l'application transposée). Alors   est un complexe de cochaînes.

ExempleModifier

À tout espace topologique, on peut associer son complexe de chaînes singulières et donc son homologie singulière. Du point de vue de la théorie des catégories, l'homologie peut être vue comme un foncteur de la catégorie des espaces topologiques vers la catégorie des groupes abéliens gradués.

On peut remplacer les groupes abéliens par des modules sur un anneau commutatif.

CatalogueModifier

Chaque théorie homologique (en) mérite à elle seule un article. La liste suivante n'est pas exhaustive.

BibliographieModifier