Recollement (topologie)

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

En mathématiques, le recollement est la construction d'un espace topologique obtenu en « attachant un espace à un autre le long d'une application ». Plus précisément[1],[2], on attache un espace Y à un espace X, le long d'une application f à valeurs dans X, continue sur un sous-espace A de Y, en définissant l'espace Xf Y comme le quotient de la somme topologique (en) XY par la relation d'équivalence qui identifie chaque élément de A à son image par f. C'est un cas particulier de somme amalgamée.

L'ensemble quotient (sans sa topologie) est canoniquement en bijection avec la réunion disjointe X⊔(Y\A). Si A est fermé dans Y, l'application XXf Y est un plongement fermé et (Y\A) → Xf Y un plongement ouvert.

Exemples[modifier | modifier le code]

  • Le recollement de « cellules » est l'opération de base dans la définition inductive des CW-complexes. L'espace Y est dans ce cas une n-boule fermée et le sous-espace A est son bord, la (n – 1)-sphère.
  • Le recollement est aussi utilisé pour définir des sommes connexes de variétés. Ici, on retire d'abord à chacune des deux variétés une boule ouverte, avant d'attacher entre eux les bords sphériques de ces deux boules.
  • Le wedge de deux espaces pointés est le recollement des deux espaces le long de l'application qui envoie le point base de l'un sur celui de l'autre.
  • Le quotient Y/A correspond au cas particulier de recollement dans lequel X est réduit à un point.

Description catégorique[modifier | modifier le code]

Le recollement est un exemple de somme amalgamée dans la catégorie des espaces topologiques. En effet, Xf Y est la solution du problème universel correspondant au diagramme commutatif suivant, où i est l'injection canonique :

AdjunctionSpace-01.svg

Voir aussi[modifier | modifier le code]

Articles connexes[modifier | modifier le code]

Bibliographie[modifier | modifier le code]

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

Notes[modifier | modifier le code]

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

Références[modifier | modifier le code]

  1. Claude Godbillon (de), Éléments de topologie algébrique [détail des éditions], p. 27
  2. (en) Adjunction space de PlanetMath