Whitehead-Theorem

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).