## [Espace de Chemins](/fr/node/63091) Définition L'espace de chemins PX d'un espace topologique X est l'espace des applications continues α : [0,1] → X, généralement muni de la topologie compacts‑ouverts. On considère des variantes comme les espaces de chemins basés (fixant un ou les deux extrémités) et les espaces de chemins avec conditions aux extrémités prescrites. PX est un espace de fonctions dont les points sont des chemins paramétrés dans X. ## Principe Principe L'espace de chemins organise les courbes paramétrées dans X et interagit avec les applications d'évaluation ev_t : PX → X, ev_t(α) = α(t). La fibration des chemins ev_1 : PX_{x0} → X (chemins basés en x0) a pour fibre l'espace des lacets basés ΩX, et PX est souvent contractile lorsque l'extrémité n'est pas fixée, manifestant les suites de fibrations classiques en topologie algébrique. ## Démonstration Démonstration Soit PX_{x0} l'ensemble des chemins partant de x0 ; l'application ev_1 : PX_{x0} → X, α ↦ α(1), est une fibration de fibre ΩX. Cette fibration universelle illustre l'utilisation des espaces de chemins pour calculer des groupes d'homotopie et construire des applications classifiantes. Dans de nombreux cas (par exemple pour tout X), l'espace total des chemins à extrémités libres est contractile par rétraction linéaire du paramètre. ## Mauvaise application Mauvaise application Confondre PX avec l'ensemble des classes d'homotopie de chemins, ou négliger les conditions aux extrémités lorsqu'elles sont nécessaires (par ex. utiliser l'espace de chemins libres alors que des chemins basés sont requis). Traiter PX comme espace de courbes non paramétrées fait perdre des structures topologiques et algébriques dépendant de la paramétrisation. ## Conséquence Conséquence L'utilisation des espaces de chemins fournit des fibrations centrales en théorie de l'homotopie : PX donne un modèle canonique pour le relèvement des homotopies et pour établir des suites exactes longues en homotopie ; des énoncés de contractilité simplifient les calculs. Les espaces de chemins servent aussi de domaines pour évaluer holonomie et monodromie en géométrie. ## Inversion Inversion Inverser un chemin donne une involution sur PX_{x0} qui renverse l'ordre de concaténation ; la construction opposée consiste à quotienter par l'identification des extrémités pour former des espaces de lacets ou de lacets libres. Le renversement souligne la différence entre directionnalité paramétrée et notions non paramétrées ou cycliques. ## Limite Limite PX suppose une topologie sur l'espace de fonctions (classiquement la compacts‑ouverts) ; les affirmations de contractilité ou de fibration dépendent des conditions aux extrémités et de la catégorie considérée (topologique, lisse, PL). La notion exclut les espaces de chemins non paramétrés sauf si on les obtient comme quotients, et les usages naïfs en contextes singuliers ou non‑Hausdorff demandent prudence. ## Tension sémantique Tension sémantique Tension entre l'espace de chemins comme espace de fonctions technique avec paramétrisation et l'intuition géométrique de 'chemins à reparamétrisation près' ou des classes d'homotopie de chemins ; autre tension entre chemins libres et chemins basés, leurs types d'homotopie et leurs rôles dans les suites de fibrations étant très différents. ## Synthèse Synthèse L'espace de chemins est l'espace de fonctions des chemins paramétrés dans X, structuré par des applications d'évaluation et des conditions aux extrémités ; c'est l'outil de base pour fibrations, relèvements de chemins et d'homotopies, et pour relier les espaces de lacets aux espaces de base en théorie de l'homotopie.