Théorème de Whitehead

Un critère en théorie de l'homotopie disant qu'une application f : X → Y entre complexes CW (ou plus généralement entre espaces faiblesment CW) est une équivalence d'homotopie si et seulement si elle induit des isomorphismes sur tous les groupes d'homotopie π_n pour tout point base (équivalemment, une weak homotopy équivalence sous des hypothèses appropriées).