The path space PX of a topological space X is the space of continuous maps α: [0,1] → X, typically endowed with the compact-open topology. Variants include based path spaces (fixing one or both endpoints) and spaces of paths with specified endpoint conditions. PX is a function space whose points are parametrized paths in X.

Principle

Path space organizes parametrized curves in X and interacts with evaluation maps ev_t: PX → X, ev_t(α) = α(t). The path fibration ev_1: PX_{x0} → X (based paths starting at x0) has fiber the based loop space ΩX, and PX is often contractible when endpoint is free, manifesting classical fibration sequences in algebraic topology.

Demonstration

Let PX_{x0} denote paths starting at x0; the map ev_1 : PX_{x0} → X, α ↦ α(1), is a fibration with fiber ΩX. This universal path fibration illustrates how path spaces are used to compute homotopy groups and to construct classifying maps. In many cases (e.g., X any space), the total space of all paths with free endpoints is contractible by linear retraction of the parameter.

Misapplication

Confusing path space PX with the set of homotopy classes of paths, or neglecting endpoint conditions when needed (e.g., using free path space where based paths are required). Treating PX as a space of unparametrized curves loses topological and algebraic structure tied to parametrization.

Consequence

Using path spaces yields fibrations central to homotopy theory: PX provides a canonical model for homotopy lifting and for establishing long exact sequences in homotopy; contractibility statements simplify calculations. Path spaces are also the domain for evaluating holonomy and monodromy in geometric contexts.

Reversal

Reversing a path yields an involution on PX_{x0} that reverses concatenation order; the opposite construction is taking quotient by endpoint identification to form loop or free loop spaces. Reversal emphasizes the difference between parametrized directionality and unparametrized or cyclic notions.

Boundary

PX presupposes a topology on the mapping space (commonly compact-open); statements about contractibility or fibration depend on endpoint conditions and on the category (topological, smooth, PL). The notion excludes unparametrized path spaces unless explicitly formed as quotients, and naive uses in singular or non‑Hausdorff settings require care.

Semantic Tension

Tension exists between path space as a technical mapping space with parametrization and the more geometric intuition of 'paths up to reparametrization' or homotopy classes; another tension is between free and based path spaces because their homotopy types and roles in fibration sequences differ markedly.

Synthesis

Path space is the function space of parametrized continuous paths in X, structured by evaluation maps and endpoint conditions; it is the workhorse for fibrations, path and homotopy lifting, and for bridging loop spaces and base spaces in homotopy theory.