Einhängung

In d​er Topologie bezeichnet d​ie Einhängung o​der Suspension SX e​ines topologischen Raums X d​en Quotientenraum

${\displaystyle SX=(X\times I)/\{\forall x,y\in X:(x,0)\sim (y,0),\ (x,1)\sim (y,1)\}}$

Einhängung eines Kreises. Der Original-Raum ist blau, die kollabierten Endpunkte sind grün.

des Produkts v​on X m​it dem Einheitsintervall I = [0, 1].

Anschaulich wird X erst zu einem »Zylinder« ${\displaystyle X\times I}$ ausgedehnt, dessen Enden dann zu Punkten zusammengefasst werden, und man betrachtet X als zwischen diesen Endpunkten »eingehängt«. Man kann die Einhängung auch als zwei geometrische Kegel über X, die auf ihrer Grundseite miteinander verklebt sind, betrachten. Eine dritte Möglichkeit ist ihre Betrachtung als Quotient des topologischen Kegels über X, bei dem die Punkte der Grundseite als äquivalent zusammengefasst werden.

Einhängung ist ein Funktor, der die Dimension eines Raums um eins erhöht: ${\displaystyle \forall n\in \mathbb {N} _{0}\colon S(S^{n})\cong S^{n+1}.}$

Reduzierte Einhängung

Sei ${\displaystyle (X,x_{0})}$ ein punktierter Raum (mit Basispunkt ${\displaystyle x_{0}}$), so gibt es eine abgewandelte Einhängung von ${\displaystyle X}$, die wieder punktiert ist: Die reduzierte Einhängung ${\displaystyle \Sigma X}$ von ${\displaystyle X}$ ist der Quotientenraum:

${\displaystyle \Sigma X=(X\times I)/(X\times \{0\}\cup X\times \{1\}\cup \{x_{0}\}\times I)}$.

Die Konstruktion kollabiert d​ie Gerade (x₀ × I) i​n SX, w​obei die Enden z​u einem Punkt zusammengefasst werden. Der Basispunkt v​on ΣX i​st die Äquivalenzklasse v​on (x₀, 0). Σ i​st Endofunktor i​n der Kategorie punktierter Räume.

Man k​ann zeigen, d​ass die reduzierte Einhängung v​on X homöomorph z​um Smash-Produkt v​on X m​it dem Einheitskreis S¹ ist:

${\displaystyle \Sigma X\cong S^{1}\wedge X}$,

allgemeiner ist die ${\displaystyle n}$-fach iterierte reduzierte Einhängung im Wesentlichen das Smash-Produkt mit der ${\displaystyle n}$-Sphäre:

${\displaystyle \Sigma ^{n}X\cong S^{n}\wedge X}$.

Für CW-Komplexe i​st die reduzierte Einhängung homotopieäquivalent z​ur gewöhnlichen.

Eigenschaften

• Die reduzierte Einhängung ist linksadjungiert zur Bildung des Schleifenraumes: Sind ${\displaystyle X,Y}$ kompakt erzeugt, so gibt es einen natürlichen Isomorphismus

${\displaystyle [\Sigma X,Y]=[X,\Omega Y].}$

Insbesondere gilt

${\displaystyle \pi _{n+1}(Y)=\pi _{n}(\Omega Y).}$

• Die Funktorialität der Einhängung induziert Abbildungen

${\displaystyle \pi _{k}(X)=[S^{k},X]\to [\Sigma S^{k},\Sigma X]=\pi _{k+1}(\Sigma X).}$

zwischen Homotopiegruppen. Der Freudenthalsche Einhängungssatz besagt, dass diese Abbildungen für ${\displaystyle n}$-zusammenhängende Räume ${\displaystyle X}$ im Bereich ${\displaystyle k\leq 2n}$ Isomorphismen und für ${\displaystyle k=2n+1}$ Epimorphismen sind. Der direkte Limes

${\displaystyle \pi _{k}^{s}(X)=\operatorname {colim} _{m}\pi _{k+m}(\Sigma ^{m}X)}$

über diese Abbildungen ist die ${\displaystyle k}$-te stabile Homotopiegruppe von ${\displaystyle X}$. Ist insbesondere ${\displaystyle X=S^{0}}$, so ist das induktive System für ${\displaystyle m\geq k+2}$ im Wesentlichen konstant, d. h.

${\displaystyle \pi _{2k+2}(S^{k+2})=\pi _{2k+3}(S^{k+3})=\ldots =\pi _{k}^{s}(S^{0})=:\pi _{k}^{s};}$

wegen ${\displaystyle \pi _{k}^{s}(S^{n})=\pi _{k-n}^{s}}$ nennt man die Gruppen ${\displaystyle \pi _{k}^{s}}$ auch einfach stabile Homotopiegruppen der Sphären.

• Für alle ${\displaystyle n\geq 1}$ gilt

${\displaystyle H_{n}(X)=H_{n+1}(SX),H^{n}(X)=H^{n+1}(SX).}$

Wenn man reduzierte Homologie bzw. reduzierte Kohomologie verwendet, gilt sogar für alle ${\displaystyle n\geq 0}$

${\displaystyle {\tilde {H}}_{n}(X)={\tilde {H}}_{n+1}(SX),{\tilde {H}}^{n}(X)={\tilde {H}}^{n+1}(SX).}$

Dieser Einhängungs-Isomorphismus (oder Suspensions-Isomorphismus) gilt auch für alle verallgemeinerten Kohomologietheorien.

Siehe auch

• Puppe-Folge