Eine Technik in der Theorie der CW-Komplexe, die eine stetige Abbildung durch eine homotope Abbildung ersetzt, welche jede k-Skelette in die k-Skelette des Zieles schickt, also zu einer zellulären Abbildung homotopiert, die Zellstrukturen respektiert und die Homotopie- und Obstruktionsberechnung vereinfacht.

Prinzip

Verwende zelluläre Homotopien, um Abbildungen dazu zu zwingen, Skelette zu respektieren, Probleme auf zellulärer Ebene zu reduzieren und die Obstruktionstheorie wirksam zu machen.

Demonstration

Für f: X → Y zwischen CW-Komplexen konstruiert man induktiv Homotopien auf den Skeletten, sodass f zu einer zellulären Abbildung f' homotop ist mit f'(X^k) ⊂ Y^k für alle k; die Obstruktionen beim Fortsetzen liegen in relativen Homotopiegruppen.

Fehlanwendung

Der Versuch, zelluläre Approximation anzuwenden, wenn Quelle oder Ziel keine CW-Struktur besitzen, oder das Ignorieren der Anheftungsobstruktionen kann zu ungültigen Homotopien oder zum Übersehen wesentlicher Erweiterungsobstruktionen führen.

Konsequenz

Zelluläre Approximation erlaubt es, homotopie-theoretische Fragen auf kombinatorische Zellendaten zu reduzieren, die zelluläre Homologie zu berechnen und Erweiterungen sowie Obstruktionen mittels relativer Gruppen zu kontrollieren.

Umkehrung

Das Gegenteil ist die Arbeit mit beliebigen Abbildungen, die Skelette nicht respektieren; solche Abbildungen erschweren induktive Argumente und verhindern die direkte Anwendung der Obstruktionstheorie.

Abgrenzung

Gilt für CW-Komplexe und Abbildungen zwischen ihnen (oder Räume mit kompatiblen Zellstrukturen); ausgeschlossen sind beliebige topologische Räume ohne CW-Zerlegung und Kontexte, in denen zelluläre Homotopien nicht verfügbar sind.

Semantische Spannung

Im Spannungsverhältnis zu simplicialer Approximation und singulären Methoden: Zelluläre Approximation nutzt CW-Struktur und ist oft einfacher für Homotopieprobleme, während simpliziale Techniken bevorzugt werden können, wenn eine simpliziale Zerlegung zentral ist.

Synthese

Zelluläre Approximation homotopiert Abbildungen so, dass sie k-Skelette in k-Skelette schicken, was eine induktive, zelluläre Kontrolle über Homotopie- und Obstruktionsfragen ermöglicht und kontinuierliche Phänomene in zelluläre Algebra übersetzt.