Ein Kriterium der Homotopietheorie, dass eine Abbildung f: X → Y zwischen CW‑Komplexen (oder allgemein zwischen verbundenen, CW‑ähnlichen Räumen) genau dann eine Homotopieäquivalenz ist, wenn sie auf allen Homotopiegruppen π_n Isomorphismen induziert (äquivalent: eine schwache Homotopieäquivalenz unter geeigneten Voraussetzungen).

Prinzip

Für CW‑Komplexe genügen ‚schwache‘ Daten (Isomorphismen der Homotopiegruppen), um zu einer strikten Homotopieäquivalenz aufzurüsten, weil die Zellstruktur die Rekonstruktion der Räume aus Homotopiegruppen und Attaching‑Maps erlaubt; zelluläre Approximation und zelluläre Induktion sind die ordnenden Werkzeuge.

Demonstration

Eine Inklusion eines Unterkomplexes, die auf allen π_n Isomorphismen induziert (etwa nach Anhängen kontraktiler Zellen), ist nach Whitehead eine Homotopieäquivalenz; ebenso spiegelt die universal overdeckende einer asphärischen Mannigfaltigkeit den Satz, wenn π_n für n>1 verschwinden.

Fehlanwendung

Den Whitehead‑Satz auf beliebige topologische Räume ohne CW‑Struktur anzuwenden, kann fehlschlagen: eine schwache Homotopieäquivalenz zwischen nicht‑CW‑Räumen muss keine Homotopieäquivalenz sein, daher ist die Annahme einer Äquivalenz allein aus π_n‑Daten außerhalb des CW‑Rahmens unsicher.

Konsequenz

Richtig angewendet reduziert der Satz Fragen der Homotopieäquivalenz auf algebraische Prüfungen der Homotopiegruppen, vereinfacht Klassifikationsprobleme in der Homotopietheorie und rechtfertigt Konstruktionen, bei denen Homotopieinversen aus zellulären Daten aufgebaut werden.

Umkehrung

Die Umkehrung bestünde in der falschen Erwartung, isomorphe Homotopiegruppen implizierten Äquivalenz für alle Räume ohne zusätzliche Struktur; Gegenbeispiele zeigen, dass zelluläre Voraussetzungen nötig sind, um algebraische Isomorphismen geometrisch zu realisieren.

Abgrenzung

Gilt für CW‑Komplexe und viele CW‑ähnliche Kategorien (punktiert, verbunden oder mit milden lokalen Bedingungen); schließt pathologische oder stark nicht‑zelluläre Räume aus und erfordert Aufmerksamkeit für Basispunkte und die Wirkung von π_1 auf höhere π_n in nicht einfach zusammenhängenden Fällen.

Semantische Spannung

Steht in Spannung zu schwächeren Modellkategorie‑Begriffen (weak equivalence vs homotopy equivalence) und zu algebraischen Invarianten wie Homologie: Whitehead gleicht in CW‑Kontexten schwache Homotopieäquivalenz und Homotopieäquivalenz an, während anderswo Homologie unzureichend sein kann.

Synthese

Der Whitehead‑Satz besagt, dass für CW‑Komplexe eine Abbildung, die auf allen Homotopiegruppen Isomorphismen induziert, eine Homotopieäquivalenz ist; er verbindet algebraische Homotopiedaten und geometrische Äquivalenz durch zelluläre Methoden und ermöglicht algebraische Kriterien für topologische Klassifikation.