Der Wegraum PX eines topologischen Raums X ist der Raum der stetigen Abbildungen α: [0,1] → X, üblicherweise versehen mit der kompakt‑offenen Topologie. Varianten umfassen basierte Wegräume (Fixierung eines oder beider Endpunkte) und Räume von Wegen mit vorgeschriebenen Randbedingungen. PX ist ein Funktionsraum, dessen Punkte parametrisiert Wege in X sind.

Prinzip

Der Wegraum ordnet parametrisierte Kurven in X und arbeitet mit Auswertungsabbildungen ev_t: PX → X, ev_t(α) = α(t). Die Wegfibration ev_1: PX_{x0} → X (Wege, die bei x0 beginnen) hat die Faser ΩX, und PX ist oft kontraktibel, wenn Endpunkte frei sind, wodurch klassische Faserfolgen der Homotopietheorie erscheinen.

Demonstration

Sei PX_{x0} der Raum der Wege mit Startpunkt x0; die Abbildung ev_1 : PX_{x0} → X, α ↦ α(1), ist eine Faserung mit Faser ΩX. Diese universelle Wegfibration zeigt, wie Wegäume zur Berechnung von Homotopiegruppen und zum Aufbau klassifizierender Abbildungen verwendet werden. In vielen Fällen ist der Gesamtspace aller Wege mit freien Endpunkten durch lineare Kontraktion des Parameters kontraktibel.

Fehlanwendung

PX mit der Menge der Homotopieklassen von Wegen zu verwechseln oder Endpunktbedingungen zu vernachlässigen, wenn sie erforderlich sind (z. B. den freien Wegraum zu verwenden, obwohl basierte Wege gebraucht werden). PX als Raum unparametrisierter Kurven zu behandeln zerstört topologische und algebraische Strukturen, die von der Parametrisierung abhängen.

Konsequenz

Wegäume liefern Faserungen, die zentral in der Homotopietheorie sind: PX liefert ein kanonisches Modell für Hebungen von Homotopien und für lange exakte Folgen in der Homotopie; Kontraktibilitätsaussagen vereinfachen Rechnungen. Wegäume sind auch die Domain für die Auswertung von Holonomie und Monodromie in geometrischen Kontexten.

Umkehrung

Das Umkehren eines Weges erzeugt eine Involution auf PX_{x0}, die die Konkatenationsreihenfolge umkehrt; die entgegengesetzte Konstruktion ist das Quotientieren durch Endpunktidentifikation zur Bildung von Schleifen‑ oder freien Schleifenräumen. Die Umkehr betont den Unterschied zwischen parametrisierter Richtung und nichtparametrisierten oder zyklischen Konzepten.

Abgrenzung

PX setzt eine Topologie auf dem Abbildungsraum (häufig kompakt‑offen) voraus; Aussagen über Kontraktibilität oder Faserung hängen von Endpunktbedingungen und der betrachteten Kategorie (topologisch, glatt, PL) ab. Die Definition schließt unparametrisierte Wegäume aus, sofern sie nicht explizit als Quotienten gebildet werden; in singulären oder nicht‑Hausdorff‑Kontexten ist Vorsicht geboten.

Semantische Spannung

Spannung zwischen dem Wegraum als technischem Abbildungsraum mit Parametrisierung und der geometrischen Intuition 'Wege bis auf Reparametrisierung' oder Homotopieklassen von Wegen; weitere Spannung zwischen freien und basierten Wegäumen, deren Homotopietypen und Rollen in Faserfolgen stark unterschiedlich sind.

Synthese

Der Wegraum ist der Funktionsraum parametrisiert Wege in X, strukturiert durch Auswertungsabbildungen und Randbedingungen; er ist das Arbeitsmittel für Faserungen, Weg‑ und Homotopiehebungen und verbindet Schleifenräume mit Basisräumen in der Homotopietheorie.