Path Space

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.