Résumé
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 est un invariant topologique non complet, c'est-à-dire que si deux espaces sont homéomorphes alors ils ont mêmes groupes d'homologie singulière en chaque degré mais que la réciproque est fausse. Le théorème de Stokes appliqué à des formes fermées donne des intégrales nulles. Cependant, il se fonde sur une hypothèse cruciale de compacité. En présence de trous dans la variété sous-jacente, on peut construire des formes fermées avec des intégrales de bord non nulles. Par exemple, 1-forme définie sur R \ { (0, 0) }. Vérifions sa fermeture : Pourtant sa circulation le long du cercle unité est non nulle : C'est bien le trou à l'origine qui empêche le théorème de Stokes de s'appliquer. Si on trace le cercle ailleurs dans le plan, pour qu'il n'entoure plus l'origine, la circulation de ω s'annulera. Les contours d'intégration fermés et formes différentielles fermées permettent ainsi de mesurer des caractéristiques topologiques de la variété sous-jacente. Or les contours d'intégration ont une structure algébrique de groupe abélien. On peut additionner deux contours ; cela veut dire qu'on intégrera les formes sur chacun et qu'on sommera les résultats. D'autre part, on souhaite décréter nuls les contours qui intègrent à 0 toutes les formes fermées ; par le théorème de Stokes, ce sont tous les contours qui enferment un compact. Ces contours dits bords forment un sous-groupe, par lequel on peut quotienter pour obtenir les informations topologiques recherchées : les différentes façons d'intégrer les formes différentielles fermées. L'homologie singulière abstrait cette mesure algébrique des propriétés topologiques d'un espace, en se détachant des notions analytiques de variété différentielle, intégrale et forme différentielle. Avant de définir l'homologie singulière d'un espace topologique X, il est nécessaire d'introduire quelques définitions.
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.