Homologie

L'homologie mesure les « trous » d'un espace dans chaque dimension en comptant les cycles qui ne sont pas des bords, produisant une séquence de groupes abéliens qui sont calculables et robustes aux déformations continues.

Definition

L'homologie associe à un espace une séquence de groupes abéliens définis comme le quotient des cycles (chaînes dont le bord est nul) par les bords (images de l'opérateur de bord) dans un complexe de chaînes ; ses rangs, les nombres de Betti, comptent les « trous » indépendants dans chaque dimension.

Scope

Ce sujet développe les complexes de chaînes et la notion algébrique d'homologie comme cycles modulo bords, concrétisée par l'homologie simpliciale, singulière et cellulaire, et montre leur concordance sur des espaces raisonnables. Il couvre les propriétés fondamentales — invariance homotopique, la longue suite exacte d'une paire, l'excision et la suite de Mayer-Vietoris — qui rendent l'homologie calculable, ainsi que la théorie du degré, les nombres de Betti et la caractéristique d'Euler. L'équivalence des diverses constructions et le calcul pour les sphères, les surfaces et les complexes CW sont inclus.

Core questions

• Comment les cycles modulo bords formalisent-ils l'idée intuitive d'un « trou » de dimension n ?
• Pourquoi les homologies simpliciale, singulière et cellulaire concordent-elles, et laquelle est la meilleure pour le calcul ?
• Comment l'excision et la suite de Mayer-Vietoris réduisent-elles l'homologie d'un espace à celle de pièces plus simples ?
• Quelles informations topologiques les nombres de Betti et la caractéristique d'Euler capturent-ils ?

Key concepts

• Complexes de chaînes, cycles et bords
• Homologie simpliciale, singulière et cellulaire et leur concordance
• Longue suite exacte d'une paire et excision
• Suite de Mayer-Vietoris
• Nombres de Betti, caractéristique d'Euler et degré d'une application

Clinical relevance

L'homologie est l'invariant fondamental de la topologie : elle est à la base de la théorie des points fixes et de l'intersection, de la classification des variétés, de la caractéristique d'Euler en géométrie et en combinatoire, et d'applications modernes telles que l'homologie persistante en analyse topologique de données.

History

Les nombres de Betti et les coefficients de torsion de Poincaré ont été réinterprétés comme des groupes quotients après qu'Emmy Noether ait souligné la structure de groupe dans les années 1920 ; les formulations singulières et axiomatiques (Eilenberg-Steenrod) des années 1940 et 1950 ont donné à l'homologie la forme fonctorielle et axiomatique utilisée aujourd'hui.

Key figures

• Henri Poincaré
• Emmy Noether
• Leopold Vietoris

Seminal works

• hatcher2002
• bredon1993

Frequently asked questions

Quelle est la différence entre un cycle et un bord ?

Un cycle est une chaîne dont le bord est nul (une boucle ou une surface fermée) ; un bord est une chaîne qui est elle-même le bord d'une chaîne de dimension supérieure. L'homologie mesure les cycles qui ne sont pas des bords — de véritables « trous ».

Pourquoi l'homologie est-elle plus facile à calculer que l'homotopie ?

L'homologie satisfait l'excision et s'inscrit dans de longues suites exactes, de sorte que l'homologie d'un espace peut être assemblée à partir de pièces plus simples ; les groupes d'homotopie ne satisfont à aucun principe de découpe de ce type et résistent au calcul systématique.