Einhängung

aus Wikipedia, der freien Enzyklopädie

Du hast neue Nachrichten (Unterschied zur vorletzten Version).

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

In der Topologie bezeichnet die Einhängung SX eines topologischen Raums X den Quotientenraum

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

des Produkts von X mit dem Einheitsintervall I = [0, 1].

Anschaulich wird X erst zu einem »Zylinder« $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 Kegel über X, die auf ihrer Grundseite miteinander verklebt sind, betrachten. Eine dritte Möglichkeit ist ihre Betrachtung als Quotient des Kegels über X, bei dem die Punkte der Grundseite als äquivalent zusammengefasst werden.

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

[Bearbeiten] Reduzierte Einhängung

Ist X punktierter Raum (mit Basispunkt x₀), so gibt es eine abgewandelte Einhängung von X, die wieder punktiert ist: Die reduzierte Einhängung ΣX von X is der Quotientenraum:

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

Die Konstruktion kollabiert die Gerade (x₀ × I) in SX, wobei die Enden zu einem Punkt zusammengefasst werden. Der Basispunkt von ΣX ist die Äquivalenzklasse von (x₀, 0). Σ ist Endofunktor in der Kategorie punktierter Räume.

Man kann zeigen, daß die reduzierte Einhängung von X homöomorph zum Smash-Produkt von X mit dem Einheitskreis S¹ ist:

$\Sigma X \cong S^1 \wedge X$ ,

allgemeiner ist die $n$ -fach iterierte reduzierte Einhängung im wesentlichen das Smash-Produkt mit der $n$ -Sphäre:

$\Sigma^n X\cong S^n\wedge X$ .

Für CW-Komplexe ist die reduzierte Einhängung homotopieäquivalent zur gewöhnlichen.

[Bearbeiten] Eigenschaften

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