Zusammenziehbarer Raum

Zusammenziehbare Räume – auch als kontrahierbare bzw. kontraktible Räume bezeichnet – werden im mathematischen Teilgebiet der Topologie betrachtet. Aus Sicht der Homotopietheorie gelten zusammenziehbare Räume als trivial. Viele in der Algebraischen Topologie definierte Invarianten verschwinden für zusammenziehbare Räume.

Definition

Ein topologischer 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 X \neq \emptyset} heißt zusammenziehbar oder kontrahierbar oder kontraktibel, wenn er homotopieäquivalent zu einem einpunktigen Unterraum ist, das heißt, wenn es eine stetige Abbildung

$H\colon X\times [0,1]\to X$

und einen festen Punkt $p\in X$ gibt, sodass

• $H(x,0)=x$ für alle $x\in X$ und
• $H(x,1)=p$ für alle $x\in X$

gilt.

Beispiel

• Der euklidische Raum $\mathbb {R} ^{n}$ ist zusammenziehbar: Setze

  $H(x,t)=(1-t)x$ für $x\in \mathbb {R} ^{n}$ und $0\leq t\leq 1$.

  Man beachte, dass der Raum nicht im anschaulichen Sinne „stetig zu einem Punkt deformiert wird“: Das Bild der Abbildung

  $\mathbb {R} ^{n}\to \mathbb {R} ^{n},\quad x\mapsto H(x,t)$

  ist für $t<1$ stets der gesamte Raum, erst für $t=1$ ist das Bild nur noch der Ursprung.

• Allgemeiner sind sternförmige Mengen zusammenziehbar.

Schwach zusammenziehbare Räume

Ein topologischer Raum $X$ heißt schwach kontrahierbar oder schwach zusammenziehbar, wenn für alle $x\in X$ die Homotopiegruppen $\pi _{n}(X,x)$ trivial sind, d. h.

$\pi _{0}(X,x)=\mathbb {Z}$ und 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_n(X,x)=0} für alle $n\geq 1$.

Wenn ein 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 X} zusammenziehbar ist, dann ist er auch schwach zusammenziehbar.

Für CW-Komplexe gilt auch die Umkehrung: Aus 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_0(X,x)=\mathbb Z} und 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_n(X,x)=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 n\ge 0} folgt, dass der CW-Komplex $X$ zusammenziehbar ist. Für beliebige topologische Räume gilt die Umkehrung i. A. nicht.

Weitere Resultate

Es liegen die folgenden Resultate vor:

• Eine nichtleere konvexe Teilmenge des euklidischen Raums ist stets zusammenziehbar.
• Jeder zusammenziehbare Raum ist wegzusammenhängend.
• Jeder Retrakt eines zusammenziehbaren Raums ist zusammenziehbar.
• Ein nichtleeres topologisches Produkt von nichtleeren zusammenziehbaren Räumen ist stets zusammenziehbar.(Vererbungssatz)

Gegenbeispiele

• Die Einheitssphäre $\mathbb {S} ^{n}$ (oder allgemeiner: eine entsprechende Sphäre mit festem Radius) ist nicht zusammenziehbar, obwohl sie für 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\geqslant 2} einfach zusammenhängend ist.
• Der Raum, den man als Vereinigung 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 \left\{ \left( x, \sin \frac{1}{x} \right ) : x \in (0,1] \right\} \cup \{(0,0)\} }

mit einem (0,-1) und (1,sin(1)) verbindenden Kreisbogen erhält, ist nicht zusammenziehbar, obwohl alle seine Homotopiegruppen trivial sind.

Dies zeigt, dass der Satz von Whitehead für topologische Räume, die kein CW-Komplex sind, im Allgemeinen nicht gelten muss.

Literatur

• Thorsten Camps, Stefan Kühling, Gerhard Rosenberger: Einführung in die mengentheoretische und die algebraische Topologie (= Berliner Studienreihe zur Mathematik. Band 15). Heldermann Verlag, Lemgo 2006, ISBN 3-88538-115-X, S. 110 ff. (MR2172813). 
• Horst Schubert: Topologie. 4. Auflage. B. G. Teubner Verlag, Stuttgart 1975, ISBN 3-519-12200-6, S. 156 ff. (MR0423277). 
• Stephen Willard: General Topology (= Addison-Wesley Series in Mathematics). Addison-Wesley, Reading MA (u. a.) 1970, S. 224 ff. (MR0264581).