Homotopieäquivalenz

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

Zwei Räume heißen homotopieäquivalent, wenn es eine Homotopieäquivalenz zwischen ihnen gibt. (Man sagt dann auch, die beiden Räume haben denselben Homotopietyp.) 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\colon X\to Y$ zwischen topologischen Räumen $X$ und $Y$ ist eine Homotopieäquivalenz, wenn es eine stetige Abbildung $g\colon 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\colon X\to Y$ gibt.

Spezialfälle

Datei:I-43a50b02b4a724d865d03e947ce7e7c5-abchatcher.jpg

Die schwarzen Unterräume sind jeweils Deformationsretrakte.

• Jeder Homöomorphismus ist eine Homotopieäquivalenz.
• Eine Homotopieäquivalenz zwischen CW-Komplexen heißt einfache Homotopieäquivalenz, wenn sie homotop zu einer Folge von elementaren Kollapsen und Expansionen ist.
• Ein Unterraum $A\subset X$ ist ein Deformationsretrakt von $X$, wenn die Inklusion 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 i \colon A\rightarrow X} eine Homotopieäquivalenz ist und es eine Homotopie-Inverse 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 r \colon X\rightarrow A} mit 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 r\circ i=id_A} gibt.
• Ein topologischer Raum heißt kontrahierbar oder zusammenziehbar, wenn er homotopieäquivalent zum Punkt ist.

Homotopieinvarianten

Eine Invariante topologischer Räume heißt Homotopieinvariante, wenn homotopie-äquivalente Räume dieselbe Invariante haben müssen. Beispiele von Homotopieinvarianten sind Homotopiegruppen, Homologiegruppen und verallgemeinerte Homologietheorien, oder als numerische Invariante zum Beispiel die Euler-Charakteristik und die Überdeckungsdimension. Ein Beispiel einer topologischen Invariante, die keine Homotopieinvariante ist, ist die Reidemeister-Torsion.

Schwache Homotopieäquivalenz

Seien 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} 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 Y} topologische Räume, 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\in X} 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 y\in Y} , und 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 f \colon X\to Y}

eine stetige Abbildung mit 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 f(x)=y} . Dann hat man für alle n ≥ 0 einen Homomorphismus der Homotopiegruppen

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 f_n \colon \pi_n(X,x)\to\pi_n(Y,y).}

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 f} heißt schwache Homotopieäquivalenz wenn 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 f_n} Isomorphismen sind. Jede Homotopieäquivalenz ist insbesondere eine schwache Homotopieäquivalenz.

Zwei topologische Räume 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} 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 Y} heißen schwach homotopieäquivalent, wenn es eine schwache Homotopieäquivalenz 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 f \colon X \to Y} gibt.

Eine schwache Homotopieäquivalenz 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 f\colon X\to Y} induziert Isomorphismen

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 f_*\colon H_*(X;G)\to H_*(Y;G)} 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 f^*\colon H^*(Y;G)\to H^*(X;G)}

der Homologie- und Kohomologiegruppen für alle Koeffizientengruppen 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 G} .

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

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 \mathbb RP^m\times S^n} 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 S^m\times\mathbb RP^n}

zusammenhängende CW-Komplexe mit isomorphen Homotopiegruppen. Falls zum Beispiel 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 m} ungerade 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 n} gerade ist, ist aber

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 H_{m+n}(\mathbb RP^m\times S^n)=\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 H_{m+n}(S^m\times \mathbb RP^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

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 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 (0,-1)} 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 (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.

Es gibt noch einen anderen als „Satz von Whitehead“ bezeichneten Satz über schwache Homotopieäquivalenzen:

Eine stetige Abbildung zwischen einfach zusammenhängenden Räumen ist genau dann eine schwache Homotopieäquivalenz, wenn sie einen Isomorphismus der singulären Homologiegruppen induziert.

Kettenhomotopieäquivalenz

Zwei Kettenkomplexe 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 (A_\bullet, d_{A,\bullet})} 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 (B_\bullet, d_{B,\bullet})} heißen kettenhomotopieäquivalent, wenn es Kettenhomomorphismen

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 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 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 f\circ g} 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 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 im Sinne von Eilenberg-Steenrod gilt nach dem Homotopieaxiom:

Es seien 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 f,g \colon (X,A) \rightarrow (Y,B)} zwei stetige Abbildungen, die homotop sind. Dann sind die beiden induzierten Gruppenhomomorphismen 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 f_*,g_* \colon 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 sogar 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

Weblinks

• Counterexamples in Algebraic Topology