Homotopieäquivalenz

Eine Homotopieäquivalenz ist ein zentraler Begriff im mathematischen Teilgebiet Topologie: eine stetige Abbildung zwischen zwei Objekten, die eine "Umkehrabbildung bis auf Homotopie" besitzt.

Zwei Räume heißen homotopieäquivalent, wenn es eine Homotopieäquivalenz zwischen ihnen gibt. Homotopieäquivalenz definiert eine schwächere Äquivalenzrelation als Homöomorphismus. Topologie handelt zwar eigentlich von Eigenschaften, die unter Homöomorphismen invariant sind, viele topologische Invarianten sind aber auch invariant unter Homotopieäquivalenz.

Während man sich einen Homöomorphismus als Dehnen, Stauchen, Verbiegen, Verzerren, Verdrillen (aber nicht Zerschneiden) vorstellt, ist bei Homotopieäquivalenzen anschaulich gesprochen auch das Aufdicken und Zusammenquetschen zulässig.

Definition

Eine stetige Abbildung $f:X\to Y$ zwischen topologischen Räumen $X$ und $Y$ ist eine Homotopieäquivalenz, wenn es eine stetige Abbildung $g:Y\to X$ gibt, so dass die Verknüpfungen $g\circ f$ und $f\circ g$ jeweils homotop zu den Identitätsabbildungen von $X$ bzw. $Y$ sind. Die Abbildung $g$ heißt Homotopie-Inverse von $f$, sie ist i.A. nicht eindeutig bestimmt.

Zwei topologische Räume $X$ und $Y$ heißen homotopieäquivalent, wenn es eine Homotopieäquivalenz $f:X\to Y$ gibt.

Spezialfälle

Die schwarzen Unterräume sind jeweils Deformationsretrakte.

• Jeder Homöomorphismus ist eine Homotopieäquivalenz.
• Ein Unterraum $A\subset X$ ist ein Deformationsretrakt von $X$, wenn die Inklusion $i:A\rightarrow X$ eine Homotopieäquivalenz ist und es eine Homotopie-Inverse $r:X\rightarrow A$ mit $r\circ i=id_{A}$ gibt.
• Ein topologischer Raum heißt kontrahierbar oder zusammenziehbar, wenn er homotopieäquivalent zum Punkt ist.

Schwache Homotopieäquivalenz

Seien $X$ und $Y$ topologische Räume, $x\in X$ und $y\in Y$, und sei

$f:X\to Y$

eine stetige Abbildung mit $f(x)=y$. Dann hat man für alle n ≥ 0 einen Homomorphismus der Homotopiegruppen

$f_{n}:\pi _{n}(X,x)\to \pi _{n}(Y,y).$

$f$ heißt schwache Homotopieäquivalenz wenn alle $f_{n}$ Isomorphismen sind.

Zwei topologische Räume $X$ und $Y$ heißen schwach homotopieäquivalent, wenn es eine schwache Homotopieäquivalenz $f:X\to Y$ gibt.

Satz von Whitehead

J. H. C. Whitehead bewies 1949 folgenden Satz:

Jede schwache Homotopieäquivalenz zwischen zusammenhängenden CW-Komplexen ist eine Homotopieäquivalenz.

Es trifft jedoch nicht zu, dass es zwischen Räumen mit isomorphen Homotopiegruppen immer eine (schwache) Homotopieäquivalenz gibt. Zum Beispiel sind

$\mathbb {R} P^{m}\times S^{n}$ und $S^{m}\times \mathbb {R} P^{n}$

zusammenhängende CW-Komplexe mit isomorphen Homotopiegruppen. Falls zum Beispiel $m$ ungerade und $n$ gerade ist, ist aber

$H_{m+n}(\mathbb {R} P^{m}\times S^{n})=\mathbb {Z}$ und $H_{m+n}(S^{m}\times \mathbb {R} P^{n})=0$,

weshalb die beiden Räume nicht (schwach) homotopieäquivalent sein können.

Für topologische Räume, die keine CW-Komplexe sind, gilt der Satz von Whitehead i.A. nicht. Der Raum, den man als Vereinigung von

$\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 kein CW-Komplex, alle seine Homotopiegruppen sind trivial, die konstante Abbildung auf einen Punkt ist also eine schwache Homotopieäquivalenz, sie ist aber keine Homotopieäquivalenz. Der Raum ist nicht kontrahierbar.

Kettenhomotopieäquivalenz

Zwei Kettenkomplexe $(A_{\bullet },d_{A,\bullet })$ und $(B_{\bullet },d_{B,\bullet })$ heißen kettenhomotopieäquivalent, wenn es Kettenhomomorphismen

$f_{\bullet }:(A_{\bullet },d_{A,\bullet })\to (B_{\bullet },d_{B,\bullet }),g_{\bullet }:(B_{\bullet },d_{B,\bullet })\to (A_{\bullet },d_{A,\bullet })$

gibt, so dass $f\circ g$ und $g\circ f$ kettenhomotop zu den Identitäts-Abbildungen sind.

Eine Kettenhomotopieäquivalenz zwischen zwei Kettenkomplexen induziert einen Isomorphismus der Homologiegruppen.

Eine Homotopieäquivalenz zwischen topologischen Räumen induziert eine Kettenhomotopieäquivalenz ihrer singulären Kettenkomplexe.

Homologietheorien

Für jede Homologietheorie gilt nach dem Homotopieaxiom:

Es seien $f,g:(X,A)\rightarrow (Y,B)$ zwei stetige Abbildungen, die homotop sind. Dann sind die beiden induzierten Gruppenhomomorphismen $f_{*},g_{*}:H_{n}(X,A)\rightarrow H_{n}(Y,B)$ identisch.

Daraus folgt insbesondere, dass eine Homotopieäquivalenz einen Isomorphismus für jede (verallgemeinerte) Homologietheorie induziert. (Analog für Kohomologietheorien.)

Aus dem Satz von Hurewicz folgt, dass jede schwache Homotopieäquivalenz einen Isomorphismus der singulären Homologiegruppen (und singulären Kohomologiegruppen) induziert.

Literatur

• A. Hatcher, Algebraic topology, Cambridge University Press, Cambridge, 2002. xii+544 pp. ISBN 0-521-79160-X und ISBN 0-521-79540-0
• J. H. C. Whitehead, Combinatorial homotopy. I., Bull. Amer. Math. Soc., 55 (1949), 213–245
• J. H. C. Whitehead, Combinatorial homotopy. II., Bull. Amer. Math. Soc., 55 (1949), 453–496