Einhängung

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche
Einhängung eines Kreises. Der Original-Raum ist blau, die kollabierten Endpunkte sind grün.

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

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

Anschaulich wird X erst zu einem »Zylinder«  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:

Reduzierte Einhängung[Bearbeiten | Quelltext bearbeiten]

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

.

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

Man kann zeigen, dass die reduzierte Einhängung von X homöomorph zum Smash-Produkt von X mit dem Einheitskreis S1 ist:

,

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

.

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

Eigenschaften[Bearbeiten | Quelltext bearbeiten]

Insbesondere gilt
  • Die Funktorialität der Einhängung induziert Abbildungen
zwischen Homotopiegruppen. Der Freudenthalsche Einhängungssatz besagt, dass diese Abbildungen für -zusammenhängende Räume im Bereich Isomorphismen und für Epimorphismen sind. Der direkte Limes
über diese Abbildungen ist die -te stabile Homotopiegruppe von . Ist insbesondere , so ist das induktive System für im Wesentlichen konstant, d.h.
wegen nennt man die Gruppen auch einfach stabile Homotopiegruppen der Sphären.
  • Für alle gilt
Wenn man reduzierte Homologie bzw. reduzierte Kohomologie verwendet, gilt sogar für alle
Dieser Einhängungs-Isomorphismus (oder Suspensions-Isomorphismus) gilt auch für alle verallgemeinerten Kohomologietheorien.

Siehe auch[Bearbeiten | Quelltext bearbeiten]