Cône d'une application

En mathématiques et plus précisément en théorie de l'homotopie, le cône d'une application est un espace topologique construit à partir du cône ayant pour base l'espace de départ de l'application, en identifiant les points de cette base avec ceux de l'espace d'arrivée au moyen de l'application.

Définition

Soit X et Y deux espaces topologiques et f : X → Y une application continue. Le cône de l'application f ou cofibre homotopique de f, noté C_f[1], est l'espace topologique « obtenu en attachant C(X) (le cône de X) à Y le long de f[2] », c'est-à-dire en quotientant la réunion disjointe CX⊔Y par l'identification de chaque élément x de X ⊂ CX avec son image f(x) dans Y. Plus explicitement, c'est le quotient de la réunion disjointe X×[0, 1]⊔Y par la relation d'équivalence : (x, 0) ∼ (x', 0) et (x, 1) ∼ f(x)[3].

Cône réduit d'une application pointée

Pour un morphisme d'espaces pointés f : (X, x₀) → (Y, y₀), en quotientant de plus par (x₀, t) ∼ y₀ (pour tout t ∈ [0, 1] et pas seulement pour t = 1), on obtient le « cône réduit » C_✻f de f. Cela revient à remplacer, dans la définition ci-dessus, le cône CX de l'espace par le cône réduit C_✻(X, x₀) de l'espace pointé.

Exemples

Si X est la sphère Sⁿ, CX est (homéomorphe à) la (n+1)-boule fermée Bⁿ⁺¹. C_f est alors le quotient de l'union disjointe de cette boule avec Y, par l'identification de chaque point x du bord ∂Bⁿ⁺¹ = Sⁿ de cette boule avec son image f(x) dans Y.

Si Y = CX et si f est l'inclusion canonique de X dans son cône, Cf est le quotient de X×[0, 1] par : (x, 0) ∼ (x', 0) et (x, 1) ∼ (x', 1). C'est la suspension SX de l'espace X.

À l'intersection des deux exemples précédents, le cône de l'inclusion canonique de Sⁿ dans Bⁿ⁺¹ est Sⁿ⁺¹.

Le cône réduit d'une application constante (X, x₀) → (Y, y₀), x ↦ y₀ est Σ(X, x₀) ∨ (Y, y₀), où Σ désigne la suspension réduite et ∨ le wedge.

Propriétés

Pour f : X → Y , l'espace Y est, de façon naturelle, un sous-espace de C_f et l'inclusion de Y dans C_f est une cofibration.
Si f est injective et relativement ouverte, c'est-à-dire si elle induit un homéomorphisme de X sur f(X), alors CX est également inclus dans C_f (donc X aussi).
Le cône de l'application identité de X est naturellement homéomorphe au cône de X.

Toutes ces propriétés se transposent aux espaces pointés, en prenant les cônes réduits d'applications pointées et d'espaces pointés.

Le cône réduit d'un morphisme d'espaces bien ponctués est homotopiquement équivalent à son cône non réduit.

Les cônes de deux applications continues homotopes sont homotopiquement équivalents.

Le cône d'une application f est le double cylindre d'applications de l'application constante de X sur un point et de l'application f.

Applications

CW-complexes

Pour un CW-complexe X, le (n + 1)-squelette X_{n + 1} est homéomorphe au cône de l'application

\coprod _{i\in I_{n}}S_{i}^{n}\to X_{n}

de recollement des (n + 1)-cellules, le long de leur bord, au n-squelette.

Effet sur le groupe fondamental

Pour tout espace pointé (X, x₀) et tout lacet α : (S¹, 1) → (X, x₀), représentant un élément du groupe fondamental de (X, x₀), on peut former le cône C_✻α. Dans ce cône, le lacet α devient contractile donc sa classe d'équivalence dans le groupe fondamental de (C_✻α, x₀) est l'élément neutre.

Cela permet, pour tout groupe G défini par générateurs et relations, de construire un 2-complexe dont le groupe fondamental est G.

Homologie relative

Le cône d'application permet d'interpréter l'homologie relative (en) d'une paire d'espaces (X, A) comme l'homologie réduite (en) du quotient :

si H_✻ est une théorie homologique et i : A → X une cofibration, alors

H_{*}(X,A)=H_{*}(X/A,*)={\tilde {H}}_{*}(X/A),

en appliquant l'excision au cône de i[4].

Équivalences d'homotopie et d'homologie

Un morphisme entre deux CW-complexes simplement connexes est une équivalence d'homotopie si et seulement si son cône est contractile.

Soit H_✻ une théorie homologique. L'application f : X → Y induit un isomorphisme en H_✻ si et seulement si l'application du point dans C_f induit un isomorphisme en H_✻, c'est-à-dire si H_✻(C_f, ∙) = 0.

Rôle en théorie de l'homotopie

Si A est un fermé de X et si l'inclusion i de A dans X est une cofibration, alors le cône de i est homotopiquement équivalent à X/A. Comme la cofibration de Y dans C_f est fermée, son cône est homotopiquement équivalent à C_f/Y donc à la suspension SX de X. En continuant ainsi, le cône de l'inclusion de C_f dans SX donne la suspension de Y, etc.

Si h : Y → Z est une autre application continue, la composée h∘f est homotopiquement nulle si et seulement si h est prolongeable en une application continue de C_f dans Z.

La version pointée de cette équivalence prouve l'exactitude de la suite de Puppe :

\ldots \to [\Sigma Y,Z]\to [\Sigma X,Z]\to [C_{*}f,Z]\to [Y,Z]\to [X,Z].

Notes et références

(en)/(de) Cet article est partiellement ou en totalité issu des articles intitulés en anglais « Mapping cone (topology) » (voir la liste des auteurs) et en allemand « Abbildungskegel » (voir la liste des auteurs).

(en) Allen Hatcher, Algebraic Topology, New York, CUP, 2001, 544 p. (ISBN 978-0-521-79540-1, lire en ligne), p. 13
Michel Zisman, Topologie algébrique élémentaire, Armand Colin, 1972, p. 90
Certains auteurs intervertissent 0 et 1 dans les définitions, comme (en) J. Peter May, A Concise Course in Algebraic Topology, UCP, 1999, 2^e éd., 243 p. (ISBN 978-0-226-51183-2, lire en ligne), chap. 8.
May 1999, § 14.2

(en) Glen E. Bredon (en), Topology and Geometry [détail de l’édition]
(en) Robert M. Switzer, Algebraic Topology – Homology and Homotopy, Springer, coll. « Classics in Mathematics », 2002 (1^re éd. 1975), 526 p. (ISBN 978-3-540-42750-6)

Voir aussi

Mapping cone (algèbre homologique) (en)

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.

[1] (en) Allen Hatcher, Algebraic Topology, New York, CUP, 2001, 544 p. (ISBN 978-0-521-79540-1, lire en ligne), p. 13

[2] Michel Zisman, Topologie algébrique élémentaire, Armand Colin, 1972, p. 90

[3] Certains auteurs intervertissent 0 et 1 dans les définitions, comme (en) J. Peter May, A Concise Course in Algebraic Topology, UCP, 1999, 2^e éd., 243 p. (ISBN 978-0-226-51183-2, lire en ligne), chap. 8.

[4] May 1999, § 14.2