CW-complexe

En topologie algébrique, un CW-complexe est un type d'espace topologique, défini par J. H. C. Whitehead^[1]Modèle:,^[2] pour répondre aux besoins de la théorie de l'homotopie. L'idée était de travailler sur une classe d'objets plus grande que celle des complexes simpliciaux et possédant de meilleures propriétés du point de vue de la théorie des catégories, mais présentant comme eux des propriétés combinatoires se prêtant aux calculs.

Le nom CW provient du qualificatif de l'espace topologique, en anglais : closure-finite weak topology, pour « à fermeture finie » et « topologie faible ».

Définitions

Grossièrement, un CW-complexe est obtenu à partir d'un ensemble de 0-cellules, ou « sommets », en recollant successivement des « cellules » fermées (images continues de boules euclidiennes fermées) de dimensions 1, 2, …, le long de leurs bords.

Plus précisément^[3]Modèle:,^[4], une structure de CW-complexe sur un espace X est la donnée d'une suite croissante (XModèle:Ind) de sous-espaces (XModèle:Ind est appelé le Modèle:Lien de X) telle que :

le 0-squelette est un espace discret non vide ;
pour tout n > 0, le n-squelette est homéomorphe à l'espace obtenu en attachant une famille de n-boules fermées au (n – 1)-squelette, le long de leurs bords (qui sont des (n – 1)-sphères), par le choix d'une application de recollement ;
les squelettes forment un recouvrement fondamental de X, c'est-à-dire qu'ils recouvrent X et qu'une partie est fermée dans X si et seulement si, pour tout n, son intersection avec le n-squelette XModèle:Ind est fermée dans XModèle:Ind (d'où le nom de « topologie faible »).

On démontre qu'alors^[5]Modèle:,^[6] :

chaque « cellule ouverte » (c'est-à-dire chaque image de l'intérieur d'une boule fermée par l'un des recollements) est canoniquement homéomorphe à la boule ouverte correspondante ;
les cellules ouvertes et les sommets forment une partition de X ;
X est séparé ;
tout compact de X (en particulier toute cellule fermée) ne coupe qu'un nombre fini de cellules ouvertes (d'où le nom de « à fermeture finie »).

Le n-squelette XModèle:Ind est la réunion des n-cellules fermées de dimensions inférieures ou égales à n. Si X est réduit à XModèle:Ind, il est dit de dimension n (il est dit de dimension infinie s'il n'est réduit à aucun de ses squelettes). X est dit fini s'il n'a qu'un nombre fini de cellules.

Une réunion fermée de cellules de X est appelée un sous-complexe de X (c'est encore un CW-complexe). Le n-squelette de X est donc le sous-complexe maximum de dimension inférieure ou égale à n.

La définition d'un complexe cellulaire est plus générale en ce qu'elle autorise des recollements de cellules dans un ordre quelconque par rapport aux dimensions, mais tout complexe cellulaire est homotopiquement équivalent à un CW-complexe^[7].

Exemples et contre-exemples

La structure standard de CW-complexe (de dimension 1) sur la droite réelle a pour 0-squelette l'ensemble ℤ des entiers relatifs et pour 1-cellules les intervalles [n, n + 1] pour n entier. De même, la structure standard sur ℝModèle:Exp, de dimension n, est le réseau qui a des cellules cubiques produits des 0- et 1-cellules de ℝ.
Tout complexe simplicial, en particulier tout polyèdre ou tout graphe, est naturellement muni d'une structure de CW-complexe. Modèle:Refnec Mais il existe des CW-complexes non triangulables^[8].
La CW-structure la plus simple de la [[n-sphère|n-sphère SModèle:Exp]] a deux cellules : une 0-cellule et une n-cellule, ce qui suffit à décrire le CW-complexe. On peut en construire bien d'autres, en prenant comme Modèle:Nobrsquelette SModèle:Exp (muni de l'une de ses CW-structures, au choix), servant d'équateur, sur lequel on recolle deux hémisphères : deux n-cellules, le long de l'application identité de SModèle:Exp.
L'espace projectif réel PModèle:Ind(ℝ) a une CW-structure avec une cellule en chaque dimension inférieure ou égale à n : l'application d'attachement de sa n-cellule à son (n – 1)-squelette PModèle:Ind(ℝ) est la projection canonique, de Modèle:Nobr sur son 2-quotient PModèle:Ind(ℝ).
Les grassmanniennes ont une structure de CW-complexe dont les cellules sont indexées par les Modèle:Lien^[9].
Toute variété différentielle et toute variété algébrique complexe a le type d'homotopie d'un CW-complexe.
Une variété de Banach de dimension infinie n'est jamais un CW-complexe (car c'est un espace de Baire donc elle ne peut pas s'écrire comme réunion dénombrable de n-squelettes, dont chacun serait un fermé d'intérieur vide) mais lorsqu'elle est métrisable, elle a le type d'homotopie d'un CW-complexe^[10].
L'espace {reModèle:Exp | 0 ≤ r ≤ 1, θ ∈ ℚ} ⊂ ℝModèle:2 a le type d'homotopie d'un point mais n'a pas de structure de CW-complexe, car il n'est pas localement contractile.
La boucle d'oreille hawaïenne n'a même pas le type d'homotopie d'un CW-complexe car elle n'est pas semi-localement contractile^[11], ni même semi-localement simplement connexe.

Propriétés

Tout CW-complexe est localement contractile.
Tout compact d'un CW-complexe X est contenu dans un sous-complexe fini^[6] et X est compactement engendré. Il est compact si et seulement s'il est fini^[12].
Tout CW-complexe est paracompact^[13] donc normal. Il est même parfaitement normal^[14].
Un CW-complexe est localement compact si et seulement s'il est « localement fini », c'est-à-dire si son recouvrement par les cellules fermées est localement fini, ou encore si toute cellule fermée ne rencontre qu'un nombre fini de cellules fermées, ou si tout point est intérieur à un sous-complexe fini^[15]Modèle:,^[16].
Un CW-complexe est connexe si et seulement si son 1-squelette l'est. Dans ce cas, il est métrisable si et seulement s'il est localement fini^[15].
Le produit X×Y de deux CW-complexes est le CW-complexe construit sur le produit cartésien de X et Y et dont chaque cellule est le produit d'une cellule de X par une cellule de Y. Sa topologie est celle du produit dans la catégorie des espaces compactement engendrés. Elle est en général plus fine que la topologie produit, mais coïncide avec cette dernière dans les cas les plus courants : il suffit que X ou Y soit fini ou que X et Y soient dénombrables, et il suffit même que ces propriétés soient vérifiées localement^[14]Modèle:,^[17].
Tout quotient séparé d'un CW-complexe par une relation d'équivalence « cellulaire » est un CW-complexe (par exemple : toute identification d'une réunion de sous-complexes à un point, comme dans le cône ou la suspension, ou même le smash-produit de deux CW-complexes lorsque leur produit en est un). Plus généralement, tout recollement X ∪Modèle:Ind Y d'un CW-complexe sur un autre le long d'une application cellulaire est un CW-complexe^[18].
Tout revêtement d'un CW-complexe est encore un CW-complexe^[19].
Il ne suffit pas que X et Y soient des CW-complexes pour que l'espace C(X, Y) des applications continues de X dans Y (muni de la topologie compacte-ouverte) en soit un. Mais si X et Y ont le type d'homotopie de CW-complexes et si X est compact alors C(X, Y) a le type d'homotopie d'un CW-complexe^[20].

Homologie et cohomologie

La cohomologie et l'homologie singulières des CW-complexes sont aisément calculables via l'homologie cellulaire, qui est une théorie homologique pour la catégorie des CW-complexes et des applications cellulaires. Pour calculer une (co)homologie extraordinaire d'un CW-complexe, la suite spectrale d'Atiyah-Hirzebruch est l'analogue de l'homologie cellulaire.

Exemples choisis parmi les CW-complexes particuliers évoqués plus haut :

Pour la sphère SModèle:Exp (n > 0), si l'on choisit la décomposition en seulement une 0-cellule et une n-cellule, le complexe de chaînes cellulaires CModèle:Ind et son homologie sont donnés par : $H_{k}(S^{n})=C_{k}={\begin{cases}\mathbb {Z} &{\text{ si }}k\in \{0,n\},\\0&{\text{ sinon,}}\end{cases}}$ puisque toutes les différentielles sont nulles.
On trouve bien sûr la même homologie en utilisant, par exemple, la décomposition équatoriale de façon récursive, donc avec deux cellules en chaque dimension de 0 à n, qui donne comme complexe de chaînes $C_{k}={\begin{cases}\mathbb {Z} ^{2}&{\text{ si }}0\leq k\leq n,\\0&{\text{ sinon}}\end{cases}}\quad {\text{et}}\quad \partial _{k}={\begin{pmatrix}1&-1\\1&-1\end{pmatrix}},$ exact sauf en CModèle:Ind et en CModèle:Ind.
Pour l'espace projectif réel PModèle:Ind(ℝ), la même méthode donne : $C_{k}={\begin{cases}\mathbb {Z} &{\text{ si }}0\leq k\leq n\\0&{\text{ sinon}}\end{cases}}\quad {\text{et}}\quad \partial _{k}=1+(-1)^{k}:C_{k}\to C_{k-1}\quad$ donc $H_{k}(P_{n}(\mathbb {R} ))={\begin{cases}\mathbb {Z} &{\text{ si }}k=0{\text{ ou si }}k=n{\text{ impair,}}\\\mathbb {Z} _{2}&{\text{ si }}k{\text{ impair }}\in ]0,n[,\\0&{\text{ sinon.}}\end{cases}}$

Équivalences simples d'homotopie

Certaines équivalences d'homotopie, dites Modèle:Lien^[21], permettent de remplacer un CW-complexe X par un autre, ayant moins de cellules.

Le 1-squelette de X est un graphe. Soit F une forêt (une réunion disjointe d'arbres) maximale dans ce graphe. En notant x ∼ y lorsque x et y sont dans un même arbre de cette forêt, l'application X → X/∼ est une équivalence d'homotopie car les arbres sont contractiles. Le quotient X/∼ est un CW-complexe dont les cellules correspondent aux cellules de X non contenues dans F. En particulier, le 1-squelette de X/∼ est une union disjointe de bouquets de cercles. Par exemple si X était connexe, le 0-squelette de X/∼ sera réduit à un point.

En montant dans l'échelle de connexité, supposons maintenant que X est un CW-complexe simplement connexe dont le 0-squelette est réduit à un point. On peut alors trouver un CW-complexe homotopiquement équivalent dont le 1-squelette est, lui aussi, un singleton. Pour ce faire, on considère XModèle:Ind et l'attachement des 2-cellules comme une présentation de groupe et l'on mime les transformations de Tietze (ajouts et retraits de générateurs et de relations, modifiant une présentation sans changer le groupe) par des ajouts et retraits de cellules.

Pour transformer un CW-complexe n-connexe X en un CW-complexe homotopiquement équivalent dont le n-squelette est un singleton, on utilise pour n > 1 les mêmes idées, en remplaçant les transformations de Tietze sur une présentation du groupe fondamental par des opérations élémentaires sur les matrices de présentation du complexe cellulaire de X.

Catégorie homotopique

La Modèle:Lien des CW-complexes pointés (ou de leurs variantes ci-dessous) est un cadre adapté pour la théorie de l'homotopie :

les espaces ayant le type d'homotopie d'un CW-complexe, ou d'un complexe simplicial, ou d'un rétract absolu de voisinage, sont les mêmes^[22] ;
toute inclusion de CW-complexes est une cofibration^[23] ;
Modèle:Lien : toute application continue entre CW-complexes est homotope à une application cellulaire ;
théorème de Whitehead : pour qu'une application continue entre CW-complexes connexes soit une équivalence d'homotopie, il (faut et il) suffit que les morphismes qu'elle induit sur les groupes d'homotopie soient des isomorphismes ;
le Modèle:Lien donne une caractérisation simple des foncteurs représentables sur cette catégorie.

Notes et références

Modèle:Traduction/Référence Modèle:Références

Voir aussi

Articles connexes

Bibliographie

Modèle:Portail

↑ Modèle:Article.
↑ Modèle:Article.
↑ Modèle:Ouvrage.
↑ Modèle:Ouvrage.
↑ Modèle:Harvsp.
↑ ^6,0 et ^6,1 Modèle:Harvsp.
↑ Modèle:Ouvrage.
↑ Modèle:Ouvrage en donne un exemple qui est un CW-complexe fini de dimension 3.
↑ Modèle:Ouvrage.
↑ Modèle:Article.
↑ Modèle:Ouvrage.
↑ Modèle:Harvsp.
↑ Modèle:Harvsp.
↑ ^14,0 et ^14,1 Modèle:Harvsp.
↑ ^15,0 et ^15,1 Modèle:Harvsp.
↑ Modèle:Ouvrage.
↑ Modèle:Article.
↑ Modèle:Harvsp.
↑ Modèle:Harvsp.
↑ Modèle:Article.
↑ Modèle:Article.
↑ Modèle:Ouvrage.
↑ Modèle:Harvsp.

[1] Modèle:Article.

[2] Modèle:Article.

[3] Modèle:Ouvrage.

[4] Modèle:Ouvrage.

[5] Modèle:Harvsp.

[HatcherAppendix-6] 6,0 et ^6,1 Modèle:Harvsp.

[7] Modèle:Ouvrage.

[8] Modèle:Ouvrage en donne un exemple qui est un CW-complexe fini de dimension 3.

[9] Modèle:Ouvrage.

[10] Modèle:Article.

[11] Modèle:Ouvrage.

[12] Modèle:Harvsp.

[13] Modèle:Harvsp.

[LWtopo-14] 14,0 et ^14,1 Modèle:Harvsp.

[LWlocfin-15] 15,0 et ^15,1 Modèle:Harvsp.

[16] Modèle:Ouvrage.

[17] Modèle:Article.

[18] Modèle:Harvsp.

[19] Modèle:Harvsp.

[20] Modèle:Article.

[21] Modèle:Article.

[22] Modèle:Ouvrage.

[23] Modèle:Harvsp.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

CW-complexe

Sommaire

Définitions

Exemples et contre-exemples

Propriétés

Homologie et cohomologie

Équivalences simples d'homotopie

Catégorie homotopique

Notes et références

Voir aussi

Articles connexes

Bibliographie

Menu de navigation

CW-complexe

Définitions

Exemples et contre-exemples

Propriétés

Homologie et cohomologie

Équivalences simples d'homotopie

Catégorie homotopique

Notes et références

Voir aussi

Articles connexes

Bibliographie

Menu de navigation

Rechercher