Théorie de l'homotopie

La théorie de l'homotopie est une branche des mathématiques issue de la topologie algébrique dans laquelle les espaces et applications sont considérés à homotopie près. La notion topologique de déformation est étendue à des contextes algébriques notamment via les structures de complexe différentiel puis d’algèbre A.

Ne pas confondre avec la théorie des types homotopiques en logique.

Approche topologique

diagramme commutatif identifiant les classes d’homotopie
d’applications continues entre X et Y à celles entre X′ et Y′

Étant donné deux équivalences d’homotopie f : X′X et g : YY′, l’ensemble des classes d'homotopie des applications continues entre X et Y s’identifie à celui des applications entre X′ et Y′ par composition avec f et g.

L’ensemble des classes d’homotopie d’applications continues entre X et Y est donc un invariant homotopique noté [X, Y], et en particulier, les groupes d’homotopie d’un espace topologique X : πn(X) = [Sn, X]. De nombreuses autres constructions permettent de définir de tels invariants comme l’homologie et la cohomologie.

Au contraire, la dimension d’une variété différentielle n’est pas un invariant homotopique, puisque tous les espaces vectoriels réels sont contractiles, c’est-à-dire homotopiquement équivalents à un point. De même, on a pu distinguer[1] les types d’homotopie des espaces de configuration de deux espaces lenticulaires homotopiquement équivalents.

Le remplacement d’une application continue par une fibration ou une cofibration permet de définir les fibres et cofibres homotopiques.

Notes et références

  1. Paolo Salvatore et Riccardo Longoni, « Configuration spaces are not homotopy invariant », Topology, vol. 44, no 2, , p. 375–380 (DOI 10.1016/j.top.2004.11.002, arXiv math/0401075)
  • Portail des mathématiques
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.