Die Suspension ΣX eines topologischen Raums X ist der Quotient von X×[−1,1], der durch Zusammenziehen von X×{−1} zu einem Punkt (Südpol) und X×{1} zu einem Punkt (Nordpol) entsteht; so erhält man einen Raum, dessen homotopie-relevante Dimension um eins erhöht ist.

Prinzip

Man kollabiert zwei Randschichten eines Zylinders über X zu Punkten, sodass jedes x∈X zur Meridiane zwischen zwei Kegelspitzen wird; die Konstruktion (reduzierte Suspension) ist ein Funktor, der Homotopiegruppen verschiebt und adjungiert zum Loop-Funktor ist.

Demonstration

Für die n-Sphäre S^n ist die Suspension ΣS^n homöomorph zu S^{n+1}. Für eine diskrete zweipunkige Menge {a,b} ergibt die Suspension einen Kreis S^1.

Fehlanwendung

Die Verwechslung von reduzierter und unreduzierter Suspension ohne Basispunkt oder das Kollabieren falscher Teilmengen erzeugt Räume mit anderem Homotopietyp; das Kollabieren des Inneren statt der Randstücke führt zu nicht äquivalenten Quotienten.

Konsequenz

Richtig angewandt definiert die Suspension den reduzierten Suspensionsfunktor, der bis auf Homotopie die Beziehung ΩΣX ≃ X für geeignet gutpunktierte Räume erfüllt und die Homotopiegruppen um eins verschiebt: π_{k+1}(ΣX) ≅ π_k(X) in passenden Bereichen.

Umkehrung

Die formale Umkehr ist die Desuspension, realisiert durch Schleifenräume ΩY; nicht jeder Raum ist eine Suspension, darum ist eine vollständige Umkehr nur teilweise möglich und meist nur bis auf Homotopie oder nach Stabilisierung.

Abgrenzung

Aussagen über Adjungiertheit und Verschiebung erfordern punktierte und gutpunktierte Räume oder CW‑Komplexe; die unreduzierte Suspension (Beide Enden ohne Basispunkt kollabiert) hat andere kategoriale und homotopische Eigenschaften.

Semantische Spannung

Suspension wird oft mit dem Kegel oder mit Joins verwechselt: Ein Kegel kollabiert nur ein Ende und hat eine kontraktile Spitze, während die Suspension beide Enden kollabiert und ein anderes Homotopie-Verhalten zeigt.

Synthese

Die Suspension ist der Quotientenraum von X×[−1,1], in dem jede Endschicht zu einem Punkt kollabiert wird; so entsteht ein um eine Dimension erhöhtes Objekt, das Homotopieinformationen systematisch verschiebt und als reduzierter Suspensionsfunktor in der punktierten Homotopietheorie dient.