Rétraction

En topologie générale et surtout en topologie algébrique, une rétraction est, intuitivement, un « rétrécissement » d'un espace topologique sur l'un de ses sous-espaces. Ce sous-espace est un rétract par déformation s'il existe une fonction permettant d'effectuer ce « rétrécissement » de façon continue.

Définitions[modifier | modifier le code]

Soient X un espace topologique et A un sous-espace.

Une rétraction de X sur A est une application continue r de X dans A dont la restriction à A est l'application identité de A, c'est-à-dire telle que pour tout point a de A, r(a) = a ; autrement dit, c'est une rétraction de l'application d'inclusion i de A dans X : r ∘ i = Id_A. On dit que A est un rétract^[1] (ou rétracte^[2] ) de X s'il existe une telle rétraction^[3].
On dit que A est un rétract de voisinage de X si A est un rétract d'un voisinage de A dans X^[4].
Un rétract absolu pour une famille ℱ d'espaces topologiques (ou ARℱ, de l'anglais absolute retract) est un élément de ℱ qui est un rétract de tout élément de ℱ dans lequel il est fermé^[3]. Lorsque la famille ℱ n'est pas explicitée, il s'agit de celle des espaces normaux. De même, un rétract absolu de voisinage pour ℱ (ou ANRℱ, de l'anglais absolute neighbourhood retract) est un élément de ℱ qui est un rétract de voisinage de tout élément de ℱ dans lequel il est fermé^[3].
Une rétraction par déformation de X sur A est une homotopie entre une rétraction de X sur A et l'application identité de X, c'est-à-dire une application continue $F:X\times [0,1]\to X$ telle que $\forall x\in X,~F(x,0)=x{\text{ et }}F(x,1)\in A\quad {\text{et}}\quad \forall a\in A,~F(a,1)=a.$ On appelle aussi rétraction par déformation^[5] toute rétraction r dont la composée i ∘ r avec l'inclusion est homotope à l'identité de X, c'est-à-dire toute application de X dans A de la forme x ↦ $F$ (x, 1) avec $F$ comme ci-dessus. On dit que A est un rétract par déformation de X s'il existe une rétraction par déformation de X sur A.
Une rétraction forte par déformation est une telle application $F$ vérifiant de plus $\forall t\in [0,1],\forall a\in A,~F(a,t)=a.$ (Certains auteurs^[6] appellent cela une rétraction par déformation.)

Propriétés et exemples[modifier | modifier le code]

Toute rétraction de X sur A est évidemment surjective.

Tout singleton d'un espace en est un rétract. C'est un rétract par déformation si et seulement si l'espace est contractile (ce qui n'est possible que s'il est connexe par arcs). Il existe des espaces contractiles dont aucun singleton n'est un rétract fort par déformation^[6].

Tout rétract d'un espace séparé est fermé dans cet espace.

Tout segment de ℝ en est un rétract.

Pour toute application continue f : X → Y, l'espace Y est un rétract fort par déformation du cylindre de f^[6].

Si X a la « propriété de point fixe », c'est-à-dire si toute application continue de X dans X possède un point fixe, alors tout rétract de X a aussi cette propriété. En particulier, la n-sphère Sⁿ n'est pas un rétract de la (n+1)-boule fermée Bⁿ⁺¹, puisque la boule a la propriété de point fixe, contrairement à la sphère^[3].

Un sous-espace A est un rétract de X si et seulement si toute application continue de A dans un espace Y s'étend en une application continue de X dans Y^[3].

Les rétracts absolus (de la catégorie des espaces normaux) sont exactement les espaces normaux qui sont des extenseurs absolus (ou AE, de l'anglais absolute extensor) pour cette catégorie^[7], c'est-à-dire les espaces normaux X tels que toute application continue à valeurs dans X, définie sur un fermé d'un espace normal Y, s'étend continûment à tout Y^[8]. On a la même équivalence lorsqu'on remplace la catégorie des espaces normaux par celle des espaces métrisables, des espaces compacts ou des espaces métrisables compacts, ainsi qu'une caractérisation analogue pour les ANR^[4].

Tout rétract d'un AR est un AR^[7].

Théorème de prolongement de Tietze : ℝ est un extenseur absolu, ou encore, d'après ce qui précède : ℝ est un AR, donc tout intervalle réel aussi.

De plus, tout produit d'AE est un AE^[7]^,^[8]. Ainsi, le cube de Hilbert [0, 1]^ℕ est un AR.

La n-sphère Sⁿ est un ANR.

Si X est un AR, tous ses groupes d'homologie, cohomologie, homotopie et cohomotopie (en) sont triviaux et X est localement contractile^[3].

Une rétraction par déformation est un cas particulier d'équivalence d'homotopie. En fait, deux espaces homotopiquement équivalents sont toujours rétracts par déformation^[3] – et même rétracts forts par déformation^[6] – d'un même espace.

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

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Deformation retract » (voir la liste des auteurs).

↑ Jacek Bochnak, Michel Coste et Marie-Françoise Roy, Géométrie algébrique réelle, Springer, coll. « Ergebnisse der Mathematik und ihrer Grenzgebiete » (n^o 12), 1987, 376 p. (ISBN 978-3-540-16951-2, lire en ligne).
↑ K. Borsuk, « Sur les rétractes », Fundam. Math., vol. 17,‎ 1931, p. 2-20 (lire en ligne).
↑ ^{a b c d e f et g} (en) A. V. Arkhangel'skii, « Retract of a topological space », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, 2002 (ISBN 978-1556080104, lire en ligne).
↑ ^{a et b} (en) James E. West, « Absolute retracts », dans K. P. Hart, J.-I. Nagata et J. E. Vaughan, Encyclopedia of General Topology, Elsevier, 2003 (ISBN 978-0-08053086-4, lire en ligne).
↑ Claude Godbillon, Éléments de topologie algébrique [détail de l’édition], p. 58.
↑ ^{a b c et d} (en) Allen Hatcher, Algebraic Topology, New York, CUP, 2001, 544 p. (ISBN 978-0-521-79540-1, lire en ligne).
↑ ^{a b et c} (en) M. I. Voitsekhovskii, « Absolute retract for normal spaces », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, 2002 (ISBN 978-1556080104, lire en ligne).
↑ ^{a et b} Contrairement à la définition des ARℱ, celle des AEℱ n'exige pas que l'espace considéré appartienne à ℱ : (en) T. Przymusiński, « Collectionwise normality and absolute retracts », Fundam. Math., vol. 98,‎ 1978, p. 61-73 (lire en ligne). Il faut donc ajouter cette condition pour avoir l'équivalence.

Voir aussi[modifier | modifier le code]

Articles connexes[modifier | modifier le code]

Liens externes[modifier | modifier le code]

(en) James Dugundji, « Absolute neighborhood retracts and local connectedness in arbitrary metric spaces », Compositio Mathematica, vol. 13,‎ 1956-1958, p. 229-246 (lire en ligne)
(en) Alexander Dranishnikov, « Extensors », dans K. P. Hart, J.-I. Nagata et J. E. Vaughan, Encyclopedia of General Topology, Elsevier, 2003 (lire en ligne), p. 122-125

Portail des mathématiques

[1] Jacek Bochnak, Michel Coste et Marie-Françoise Roy, Géométrie algébrique réelle, Springer, coll. « Ergebnisse der Mathematik und ihrer Grenzgebiete » (n^o 12), 1987, 376 p. (ISBN 978-3-540-16951-2, lire en ligne).

[2] K. Borsuk, « Sur les rétractes », Fundam. Math., vol. 17,‎ 1931, p. 2-20 (lire en ligne).

[EncycloMathRetract-3] {a b c d e f et g} (en) A. V. Arkhangel'skii, « Retract of a topological space », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, 2002 (ISBN 978-1556080104, lire en ligne).

[West-4] {a et b} (en) James E. West, « Absolute retracts », dans K. P. Hart, J.-I. Nagata et J. E. Vaughan, Encyclopedia of General Topology, Elsevier, 2003 (ISBN 978-0-08053086-4, lire en ligne).

[5] Claude Godbillon, Éléments de topologie algébrique [détail de l’édition], p. 58.

[Hatcher-6] {a b c et d} (en) Allen Hatcher, Algebraic Topology, New York, CUP, 2001, 544 p. (ISBN 978-0-521-79540-1, lire en ligne).

[EncyclomathARnormal-7] {a b et c} (en) M. I. Voitsekhovskii, « Absolute retract for normal spaces », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, 2002 (ISBN 978-1556080104, lire en ligne).

[ARAE-8] {a et b} Contrairement à la définition des ARℱ, celle des AEℱ n'exige pas que l'espace considéré appartienne à ℱ : (en) T. Przymusiński, « Collectionwise normality and absolute retracts », Fundam. Math., vol. 98,‎ 1978, p. 61-73 (lire en ligne). Il faut donc ajouter cette condition pour avoir l'équivalence.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]