Pour un espace pointé (X, x0), l'espace des lacets ΩX est l'espace des applications continues γ : [0,1] → X telles que γ(0) = γ(1) = x0 (équivalemment des applications basées S^1 → X), muni de la topologie compacts‑ouverts (ou de la topologie des fonctions). Les points sont des lacets basés et l'espace est pointé par le lacet constant.

Principe

L'espace des lacets organise les applications basées du cercle (ou de l'intervalle à extrémités fixées) vers X et porte une opération de composition donnée par la concaténation des lacets, associative à homotopie près ; Ω est un foncteur adjoint à droite de la suspension, et ses groupes d'homotopie se décalent : π_n(ΩX) ≅ π_{n+1}(X).

Démonstration

Pour X = S^1 pointé en 1, ΩS^1 a des composantes indexées par Z (nombre d'enroulement) ; la composante du lacet constant est homotopie équivalente à R (dans des sens appropriés) et, plus généralement, ΩS^n est un objet central pour calculer les groupes d'homotopie supérieurs. La concaténation donne à ΩX une structure d'H‑espace à homotopie près.

Mauvaise application

Confondre l'espace des lacets basés avec l'espace des lacets libres (applications S^1 → X sans point base), ou concaténer des lacets sans reparamétrage/relaxation par homotopie en attendant une associativité stricte. Traiter la concaténation comme strictement associative ou ignorer le point base conduit à des erreurs algébriques.

Conséquence

Les espaces des lacets transforment l'information d'homotopie instable en une structure algébrique graduée : ils permettent l'adjonction suspension‑bouclage, décalent les groupes d'homotopie d'un degré vers le bas, et produisent des opérations algébriques (produit de Pontryagin en homologie) reflétant la structure multiplicative induite par la concaténation.

Inversion

Le point de vue inverse est la suspension ΣY, adjoint à gauche de Ω ; tandis que Ω collecte des applications du cercle dans X, la suspension construit un nouvel espace à partir de Y dont les applications vers un espace donné se relient aux lacets. Le renversement oppose le 'bouclage' à la 'suspension' et montre comment l'un annule l'effet de l'autre sur les groupes d'homotopie jusqu'à stabilisation.

Limite

ΩX exige un point base choisi et la topologie d'espace de fonctions ; il exclut la construction de lacets libres sauf indication contraire. Dans des catégories pathologiques il faut choisir la topologie compacts‑ouverts ou équivalente ; dans les catégories lisses ou PL on peut restreindre aux lacets lisses. Les résultats reposant sur la concaténation valent souvent seulement à homotopie près.

Tension sémantique

Tension entre lacets basés et lacets libres : ils diffèrent en connectivité et en structures algébriques. Autre tension entre considérer ΩX comme un monoïde topologique strict ou seulement à homotopie (structure A∞) ; les manipulations algébriques doivent respecter la cohérence d'homotopie.

Synthèse

L'espace des lacets ΩX est l'espace de fonctions pointées de boucles basées en x0, muni de la concaténation à homotopie près ; construction fondamentale qui décale les groupes d'homotopie, fournit des structures multiplicatives en homologie et est adjoint de la suspension en topologie algébrique.