Définition
Un espace topologique obtenu en attachant inductivement des cellules (boules) de dimensions croissantes par des applications continues d'attachement, satisfaisant les conditions de fermeture-finitude et de topologie faible propres aux complexes CW.
Principe
Principe
La topologie se construit à partir de pièces locales simples : des cellules de dimension k sont collées le long de leur bord au squelette de dimension inférieure, de sorte que l'homotopie et l'homologie globales se réduisent à des données combinatoires de cellules et d'applications d'attachement.
Démonstration
Démonstration
La sphère S^n admet une structure CW avec une 0-cellule et une n-cellule attachée par l'application triviale pour n>0 ; des complexes plus élaborés proviennent de décompositions cellulaires de variétés ou d'espaces classifiants en topologie algébrique.
Mauvaise application
Mauvaise application
Prendre toute décomposition en 'cellules' pour un complexe CW sans vérifier la fermeture-finitude ou la topologie faible, ou supposer qu'une structure cellulaire détermine de façon unique la classe d'homéomorphisme de l'espace.
Conséquence
Conséquence
Les complexes cellulaires admettent l'homologie cellulaire et les théorèmes d'approximation cellulaire, rendant le calcul de l'homotopie et de l'homologie praticable et permettant des preuves inductives de propriétés topologiques et de théorie des obstructions.
Inversion
Inversion
Un espace dépourvu de décomposition cellulaire (exemples pathologiques ou de type fractal) résiste aux outils d'algèbre topologique fournis par les complexes CW ; inverser la construction donne des décompositions arbitraires qui ne préservent pas nécessairement le type d'homotopie.
Limite
Limite
La définition présuppose des cellules homéomorphes à des boules ouvertes et des applications continues sur les bords ; elle exclut les stratifications arbitraires, les recollements non Hausdorffiens et demande des précautions pour l'extension aux catégories non cellulaires ou de dimension infinie.
Tension sémantique
Tension sémantique
Tension entre complexes CW et complexes simpliciaux : les deux fournissent des modèles combinatoires de la topologie mais diffèrent par leur flexibilité, la régularité des applications d'attachement et l'adéquation pour certains calculs.
Synthèse
Synthèse
Un complexe cellulaire est un assemblage cellulaire inductif où des pièces locales finies et leurs applications d'attachement codent le type d'homotopie global et rendent calculables les invariants d'algèbre topologique par des méthodes cellulaires.