Une construction topologique qui assemble une suite d'espaces et d'applications X_1 → X_2 → X_3 → ··· en un seul espace en forme de «télescope» en recollant des cylindres d'application bout à bout, modélisant le colimite homotopique séquentiel et permettant d'étudier le comportement limite en homotopie ou en homologie.

Principe

Représenter homotopiquement un colimite séquentiel en concaténant des cylindres d'application (ou cônes) de sorte que les phénomènes limites soient incarnés par un espace unique et maniable dont les invariants reflètent le système dirigé.

Démonstration

Pour des f_n: X_n → X_{n+1}, le télescope Tel(f_n) se forme comme ∐ (X_n × [n,n+1]) quotienté par les identifications (x,n+1) ∼ (f_n(x),n+1) ; Tel a le type d'homotopie du homotopy colimit du système et peut détecter la stabilisation en homotopie ou homologie.

Mauvaise application

Utiliser un colimite ordinaire ou une union naïve au lieu du télescope de recollement fait perdre de l'information homotopique ; de même, ignorer les homotopies entre les applications du système dirigé peut conduire à de fausses conclusions sur le comportement limite.

Conséquence

Le télescope présente concrètement le homotopy colimit, permettant de calculer des groupes d'homotopie limites, d'identifier des stabilisations éventuelles et de relier des limites directes en homologie à des espaces effectifs, ce qui aide les arguments de suites spectrales et de stabilité.

Inversion

L'inverse consiste à traiter le système direct point par point sans former de homotopy colimit : on obtient une simple limite directe algébrique de groupes qui peut ne pas correspondre au type d'homotopie d'un espace topologique.

Limite

S'applique aux suites (ou systèmes dirigés indexés par les naturels) d'espaces et d'applications où les homotopy colimits sont pertinents ; exclut les catégories d'indexation arbitraires sans ordre linéaire et les contextes où l'on ne peut pas former de cylindres d'application.

Tension sémantique

Tension avec les constructions pro- et de limites inverses : les télescopes modélisent les homotopy colimits de systèmes directs, tandis que les systèmes inverses et complétions profinies nécessitent d'autres constructions et se comportent de manière duale.

Synthèse

Un télescope de recollement empaquette une suite dirigée d'espaces et d'applications en un espace construit à partir de cylindres d'application, de sorte que le télescope encode le homotopy colimit et rend accessibles à l'analyse topologique les phénomènes de limite et de stabilisation.