Whitehead-Turm
# Whitehead-Turm

In der Mathematik ist der Whitehead-Turm eines topologischen Raumes ein Hilfsmittel bei der Berechnung von Homotopiegruppen.

## Definition

Es sei $X$ ein gegebener topologischer Raum. Ein Whitehead-Turm von $X$ ist eine Folge
    $\ldots \to X_{n}\to X_{n-1}\to \ldots \to X_{2}\to X_{1}\to X_{0}=X$
von Abbildungen topologischer Räume mit folgenden Eigenschaften:
* für alle $n$ ist $X_{n}\to X_{n-1}$ eine Faserung, deren Faser ein Eilenberg-MacLane-Raum $K(\pi _{n}X,n-1)$ ist
* $X_{n}$ ist $n$-zusammenhängend, d. h. für alle $k\leq n$ ist $\pi _{k}X_{n}=0$
* für alle $k>n$ ist $\pi _{k}X_{n}=\pi _{k}X$.

## Konstruktion

$X_{1}$ ist die universelle Überlagerung von $X$.
$X_{n}$ wird aus $X_{n-1}$ wie folgt konstruiert. Zunächst kann man $X_{n-1}$ in einen Raum $Y_{n}$ vom schwachen Homotopietyp des $K(\pi _{n}X,n)=K(\pi _{n}X_{n-1},n)$ einbetten, indem man sukzessive alle Homotopiegruppen der Dimensionen $n+1,n+2,\ldots$ durch Ankleben von Zellen der Dimensionen $n+2,n+3,\ldots$ „tötet“. Dann definiert man $X_{n}=\Omega _{*}^{X_{n-1}}\subset \Omega K(\pi _{n}X,n)$ als Raum aller Wege in $K(\pi _{n}X,n)$, die in einem Basispunkt $*$ starten und in $X_{n-1}$ enden.
Die "Endpunkt"-Projektion $X_{n}\to X_{n-1}$ ist eine Faserung, deren Faser der Schleifenraum $\Omega Y_{n}$ ist. Dieser hat den schwachen Homotopietyp eines $K(\pi _{n}X,n-1)$.
Falls $X$ ein CW-Komplex ist, dann ist die Faser ein CW-Komplex und insbesondere also nach dem Satz von Whitehead ein $K(\pi _{n}X,n-1)$. Falls zusätzlich die höheren Homotopiegruppen $\pi _{k}X,k\geq 2$ endlich erzeugt sind, dann ist der $K(\pi _{n}X,n-1)$ homotopieuaquivalent zu einer topologischen abelschen Gruppe und die Konstruktion lässt sich so durchführen, dass für $n>1$ die Faserungen $X_{n}\to X_{n-1}$ Prinzipalbündel mit abelscher Strukturgruppe sind.