Une technique pour les complexes CW qui remplace une application continue par une application homotope envoyant chaque k-squelette dans le k-squelette cible, autrement dit homotoper en une application cellulaire qui respecte les structures en cellules et simplifie les calculs d'obstruction et d'homotopie.

Principe

Utiliser des homotopies cellulaires pour forcer les applications à respecter les squelettes des complexes CW, réduisant les problèmes à une analyse cellule par cellule et rendant la théorie des obstructions effective.

Démonstration

Pour f: X → Y entre complexes CW, on construit de façon inductive une homotopie sur les squelettes de sorte que f soit homotope à une application cellulaire f' avec f'(X^k) ⊂ Y^k pour tout k ; les obstructions à l'extension à chaque étape résident dans des groupes d'homotopie relatifs.

Mauvaise application

Vouloir appliquer l'approximation cellulaire lorsque la source ou la cible manque de structure CW ou ignorer les obstructions des cartes d'attache peut conduire à des homotopies invalides ou faire manquer des obstructions essentielles à l'extension.

Conséquence

L'approximation cellulaire permet de réduire les questions d'homotopie à des données combinatoires sur les cellules, de calculer l'homologie cellulaire et de contrôler extensions et obstructions via des groupes relatifs.

Inversion

L'inverse consiste à travailler avec des applications arbitraires qui ne respectent pas les squelettes ; de telles applications compliquent les raisonnements inductifs et empêchent l'application directe de la théorie des obstructions.

Limite

S'applique aux complexes CW et aux applications entre eux (ou espaces munis de structures cellulaires compatibles) ; exclut les espaces topologiques arbitraires sans décomposition CW et les contextes où les homotopies cellulaires ne sont pas disponibles.

Tension sémantique

Concurrence avec l'approximation simpliciale et les méthodes singulières : l'approximation cellulaire exploite la structure CW et est souvent plus simple pour les problèmes d'homotopie, tandis que les techniques simpliciales peuvent être préférées si une décomposition simpliciale est primordiale.

Synthèse

L'approximation cellulaire consiste à homotoper les applications pour qu'elles envoient les k-squelettes dans les k-squelettes, permettant un contrôle inductif au niveau des cellules des problèmes d'homotopie et d'obstruction et traduisant les phénomènes continus en algèbre cellulaire.