Homologie et cohomologie

Homologie et cohomologie
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és

Complexe de chaînes

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 Mi et d'une famille d'homomorphismes, appelés opérateurs de bord \partial_i:M_i\rightarrow M_{i-1}, telle que : \partial_i\partial_{i+1}=0 . Les éléments de Mi s'appellent des chaînes de degré i. Les éléments du noyau \ker \partial_i s'appellent des cycles. Les éléments de l'image Im\ \partial_{i+1} s'appellent des bords. Tout bord est un cycle. Les groupes d'homologie du complexe M * sont alors, par définition : H_i(M_*,\partial_*)= \ker \partial_i / Im\ \partial_{i+1}.

Complexe de cochaînes

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 \ M^i et d'une famille d'homomorphismes, appelés opérateurs de cobord \partial^i:M^i\rightarrow M^{i+1}, telle que : \partial^i\partial^{i-1}=0 . Les éléments de \ M^i s'appellent des cochaînes de degré i. Les éléments du noyau \ker \partial^i s'appellent des cocycles. Les éléments de l'image Im\ \partial^{i-1} s'appellent des cobords. Tout cobord est un cocycle. Les groupes de cohomologie du complexe \ M^* sont alors, par définition : H^i(M^*,\partial^*)= \ker \partial^i / Im\ \partial^{i-1}.

On remarque que si \ M^* est un complexe de cochaînes, on obtient un complexe de chaînes en posant \ M_i=M^{-i}. Cependant les deux terminologies existent car il peut être désagréable de modifier l'indexation.

Par exemple, si (M_*,\partial _*) est un complexe de chaînes de groupes abéliens, posons M^i=\mathrm{Hom}(M_i,\mathbf{Z}) et \partial^i=(\partial_i)^* (l'application transposée). Alors (M^*,\partial^*) est un complexe de cochaînes.

Exemple

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

Catalogue

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

Bibliographie

(en) William Fulton, Algebraic Topology: A First Course, Graduate Texts in Mathematics 153, Springer-Verlag, 1995, (ISBN 0-387-94327-7)


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Homologie et cohomologie de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Homologie Et Cohomologie — 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 …   Wikipédia en Français

  • Cohomologie — Homologie et cohomologie 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… …   Wikipédia en Français

  • Cohomologie De De Rham — En mathématiques, la cohomologie de de Rham est un outil de topologie différentielle, c est à dire adapté à l étude des variétés différentielles. Il s agit d une théorie cohomologique basée sur des propriétés algébriques des espaces de formes… …   Wikipédia en Français

  • Cohomologie de de rham — En mathématiques, la cohomologie de de Rham est un outil de topologie différentielle, c est à dire adapté à l étude des variétés différentielles. Il s agit d une théorie cohomologique basée sur des propriétés algébriques des espaces de formes… …   Wikipédia en Français

  • Homologie Singulière — Pour les articles homonymes, voir Homologie. En topologie algébrique, l homologie singulière est une construction qui permet d associer à un espace topologique X une suite homologique de groupes abéliens libres ou de modules. Cette association… …   Wikipédia en Français

  • Homologie singuliere — Homologie singulière Pour les articles homonymes, voir Homologie. En topologie algébrique, l homologie singulière est une construction qui permet d associer à un espace topologique X une suite homologique de groupes abéliens libres ou de modules …   Wikipédia en Français

  • Cohomologie de De Rham — En mathématiques, la cohomologie de De Rham est un outil de topologie différentielle, c est à dire adapté à l étude des variétés différentielles. Il s agit d une théorie cohomologique basée sur des propriétés algébriques des espaces de formes… …   Wikipédia en Français

  • Homologie singulière — Pour les articles homonymes, voir Homologie. En topologie algébrique, l homologie singulière est une construction qui permet d associer à un espace topologique X une suite homologique de groupes abéliens libres ou de modules. Cette association… …   Wikipédia en Français

  • Homologie — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Homologie », sur le Wiktionnaire (dictionnaire universel) Le mot homologie est employé dans plusieurs… …   Wikipédia en Français

  • Homologie De Morse — Pour les articles homonymes, voir Homologie. L homologie de Morse est une approche homologique de la théorie de Morse. Elle permet de comprendre l homologie d une variété différentielle compacte par la donnée d une fonction de Morse et d une… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”