El espacio de caminos PX de un espacio topológico X es el espacio de aplicaciones continuas α: [0,1] → X, típicamente dotado de la topología compacto‑abierta. Existen variantes como espacios de caminos basados (fijando uno o ambos extremos) y espacios de caminos con condiciones de extremo especificadas. PX es un espacio de funciones cuyos puntos son caminos parametrizados en X.

Principio

El espacio de caminos organiza curvas parametrizadas en X y se relaciona con las aplicaciones de evaluación ev_t: PX → X, ev_t(α) = α(t). La fibration ev_1: PX_{x0} → X (caminos basados que comienzan en x0) tiene fibra el espacio de lazos basados ΩX, y PX suele ser contractible cuando el extremo es libre, lo que manifiesta secuencias de fibración clásicas en topología algebraica.

Demostración

Denotando PX_{x0} los caminos que parten en x0, la aplicación ev_1 : PX_{x0} → X, α ↦ α(1), es una fibración con fibra ΩX. Esta fibración de caminos universal muestra cómo se usan los espacios de caminos para calcular grupos de homotopía y construir mapas clasificadores. En muchos casos (por ejemplo cualquier X), el espacio total de todos los caminos con extremos libres es contractible por retracción lineal del parámetro.

Aplicación incorrecta

Confundir PX con el conjunto de clases de homotopía de caminos, o descuidar las condiciones de extremo cuando son necesarias (por ejemplo, usar el espacio de caminos libres cuando se requieren caminos basados). Tratar PX como espacio de curvas no parametrizadas hace perder estructuras topológicas y algebraicas ligadas a la parametrización.

Consecuencia

El uso de espacios de caminos produce fibraciones centrales en teoría de la homotopía: PX provee un modelo canónico para el levantamiento de homotopías y para establecer secuencias exactas largas en homotopía; las afirmaciones de contractibilidad simplifican cálculos. Los espacios de caminos son también el dominio para evaluar holonomía y monodromía en contextos geométricos.

Inversión

Invertir un camino da una involución en PX_{x0} que invierte el orden de concatenación; la construcción opuesta es tomar el cociente por la identificación de extremos para formar espacios de lazos o lazos libres. La inversión enfatiza la diferencia entre direccionalidad parametrizada y nociones no parametrizadas o cíclicas.

Límite

PX presupone una topología en el espacio de aplicaciones (comúnmente la compacto‑abierta); las declaraciones sobre contractibilidad o fibración dependen de las condiciones de extremo y de la categoría (topológica, suave, PL). La noción excluye espacios de caminos no parametrizados salvo que se formen explícitamente como cocientes, y los usos ingenuos en entornos singulares o no Hausdorff requieren cuidado.

Tensión semántica

Existe tensión entre el espacio de caminos como espacio técnico de funciones con parametrización y la intuición geométrica de 'caminos hasta reparametrización' o clases de homotopía; otra tensión es entre caminos libres y basados, pues sus tipos de homotopía y roles en secuencias de fibración difieren notablemente.

Síntesis

El espacio de caminos es el espacio de funciones de caminos parametrizados en X, estructurado por aplicaciones de evaluación y condiciones de extremos; es la herramienta básica para fibraciones, levantamientos de caminos y homotopías, y para conectar espacios de lazos y espacios base en teoría de la homotopía.