Espace contractile

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

En mathématiques, un espace topologique est dit contractile s'il est homotopiquement équivalent à un point. Tous ses groupes d'homotopie sont donc triviaux, ainsi que ses groupes homologie de degré > 0.

Exemples et contre-exemples[modifier | modifier le code]

Tout espace vectoriel normé (ou même : tout espace vectoriel topologique sur ) est contractile, à commencer par la droite réelle et le plan complexe.

Plus généralement, toute partie étoilée d'un tel espace (en particulier : tout convexe non vide, comme un intervalle réel ou un disque) est clairement contractile[1].

Le « cercle polonais »

Le cône de tout espace topologique est contractile[1].

La n-sphère Sn n'est pas contractile bien que, pour n ≥ 2, elle soit simplement connexe.

La sphère unité d'un espace de Hilbert H de dimension infinie est contractile (et même[2] difféomorphe à H). Plus généralement, dans tout espace vectoriel normé de dimension infinie, la sphère unité est contractile[3].

Un CW-complexe dont tous les groupes d'homotopie sont triviaux est contractile.

Le « cercle polonais », obtenu en ajoutant à la courbe sinus fermée du topologue un arc joignant (0, –1) à (1, sin 1), n'est pas contractile, bien que tous ses groupes d'homotopie soient triviaux.

Définitions équivalentes[modifier | modifier le code]

Soit X un espace topologique non vide. Les énoncés suivants sont équivalents[4] :

  • X est contractile ;
  • l'application identité de X est « homotopiquement nulle », c'est-à-dire homotope à une application constante,
  • X se rétracte par déformation sur (un espace réduit à) un point ;
  • le cône de X se rétracte par déformation sur X ;
  • toute fonction continue à valeurs dans X est homotope à une application constante ;
  • deux fonctions continues quelconques à valeurs dans X (définies sur un même espace) sont toujours homotopes.

Notes et références[modifier | modifier le code]

  1. a et b H. Cartan, Cours de C3, Algèbre et géométrie : Groupe fondamental, revêtements,‎ 1968-1969 (lire en ligne), p. 8 : Exemples d'espaces contractiles.
  2. (en) Andrzej Granas et James Dugundji (en), Fixed Point Theory, Springer,‎ 2003 (ISBN 978-0-38700173-9, lire en ligne), p. 82.
  3. (en) J. Dugundji, « An extension of Tietze's theorem », Pacific J. Math. (en), vol. 1,‎ 1951, p. 353-367 (lire en ligne), Corollary 6.4.
  4. Ces équivalences sont indiquées, sous une forme à peine différente, dans Cartan 1968-1969, p. 7.

Article connexe[modifier | modifier le code]

Lemme de Poincaré