Whitehead-Turm

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

Definition

Es sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} ein gegebener topologischer Raum. Ein Whitehead-Turm von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X_n\to X_{n-1}} eine Faserung, deren Faser ein Eilenberg-MacLane-Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K(\pi_nX,n-1)} ist
• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X_n} ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} -zusammenhängend, d. h. für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle k\le n } ist $\pi _{k}X_{n}=0$
• für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle k> n} ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pi_kX_n=\pi_kX} .

Konstruktion

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K(\pi_nX,n-1)} homotopieuaquivalent zu einer topologischen abelschen Gruppe und die Konstruktion lässt sich so durchführen, dass für $n>1$ die Faserungen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X_n\to X_{n-1}} Prinzipalbündel mit abelscher Strukturgruppe sind.

Siehe auch

• Postnikow-Turm

Literatur

• H. Cartan, J.-P. Serre: Espaces fibrés et groupes d'homotopie. I. Constructions générales. C. R. Acad. Sci. Paris 234, (1952).
• G. W. Whitehead: Fiber spaces and the Eilenberg homology groups. Proc. Nat. Acad. Sci. U. S. A. 38, (1952). 426–430. PMC 1063578 (freier Volltext)
• R. Bott, L. Tu: Differential forms in algebraic topology. Graduate Texts in Mathematics, 82. Springer-Verlag, New York-Berlin, 1982. ISBN 0-387-90613-4.