Für einen punktierten topologischen Raum (X, x0) ist der Schleifenraum ΩX der Raum der stetigen Abbildungen γ: [0,1] → X mit γ(0) = γ(1) = x0 (äquivalent basierte Abbildungen S^1 → X), versehen mit der kompaktoffenen (FUNKTIONs‑)Topologie. Punkte sind basierte Schleifen; der Basispunkt ist die konstante Schleife.

Prinzip

Der Schleifenraum ordnet basierte Abbildungen des Kreises (oder des Intervalls mit festen Endpunkten) nach X und trägt eine Verknüpfung durch Konkatenation von Schleifen, die bis auf Homotopie assoziativ ist; Ω ist ein Funktor, der rechtsadjungiert zur Suspension ist, und die Homotopiegruppen verschieben sich: π_n(ΩX) ≅ π_{n+1}(X).

Demonstration

Für X = S^1 mit Basis 1 hat ΩS^1 Komponenten indiziert durch Z (Windungszahl); die Komponente der konstanten Schleife ist homotopieäquivalent zu R in geeigneter Hinsicht, und allgemein ist ΩS^n ein zentrales Objekt zur Berechnung höherer Homotopiegruppen. Die Konkatenation verleiht ΩX die Struktur eines H‑Raums bis auf Homotopie.

Fehlanwendung

Den basierten Schleifenraum mit dem freien Schleifenraum (Abbildungen S^1 → X ohne Basispunkt) zu verwechseln, oder Schleifen ohne Reparametrisierung bzw. Homotopie zu verkettet und strikte Assoziativität erwarten. Die Behandlung der Konkatenation als strikt assoziativ oder das Ignorieren des Basispunkts führt zu falschen algebraischen Schlüssen.

Konsequenz

Schleifenräume wandeln instabile Homotopieinformationen in eine graduierte algebraische Struktur um: sie ermöglichen Adjunktion‑Argumente Suspension/Loop, verschieben Homotopiegruppen um eine Stufe nach unten und erzeugen algebraische Operationen (Pontryagin‑Produkt in der Homologie), die die durch Konkatenation induzierte Multiplikativität widerspiegeln.

Umkehrung

Der Gegenblick ist die Suspension ΣY, die linksadjungiert zu Ω ist; während Ω Abbilder des Kreises in X sammelt, baut die Suspension aus Y einen neuen Raum, dessen Abbilder in jeden Raum zu Schleifen korrespondieren. Die Umkehr kontrastiert 'Bouclage' und 'Suspension' und zeigt, wie sich ihre Wirkung auf Homotopiegruppen bis zur Stabilisierung ausgleicht.

Abgrenzung

ΩX benötigt einen gewählten Basispunkt und die Funktionstopologie; es schließt freie Schleifen ein, sofern nicht anders angegeben. In pathologischen Kategorien ist die Wahl der kompaktoffenen Topologie wichtig; in glatten oder PL‑Kontexten kann man zu glatten Schleifen übergehen. Aussagen zur Konkatenation gelten oft nur bis auf Homotopie.

Semantische Spannung

Spannung besteht zwischen basierten und freien Schleifenräumen: sie unterscheiden sich in Zusammenhang und algebraischer Struktur. Weitere Spannung zwischen ΩX als striktem topologischem Monoid und als Monoid bis auf Homotopie (A∞‑Struktur); algebraische Operationen müssen Homotopie‑Kohärenz respektieren.

Synthese

Der Schleifenraum ΩX ist der punktierte Abbildungsraum basierter Schleifen in x0 mit Konkatenation bis auf Homotopie; eine grundlegende Konstruktion, die Homotopiegruppen verschiebt, multiplikative Strukturen in der Homologie erzeugt und adjungiert zur Suspension steht.