Une extrémité de Freudenthal d'un espace non compact est une classe d'équivalence de rayons propres (ou, de façon équivalente, de suites emboîtées de composantes non bornées des compléments de compacts) qui représente une « direction vers l'infini » distincte ; les extrémités décrivent la décomposition de l'espace hors de tout compact.

Principe

Classer les différentes façons de tendre vers l'infini en stabilisant les composantes du complément de compacts croissants : deux rayons définissent la même extrémité s'ils se trouvent éventuellement dans la même composante non bornée du complément au-delà de tout compact.

Démonstration

La droite réelle R a deux extrémités de Freudenthal correspondant à +∞ et −∞ car le complément d'un grand intervalle compact comporte deux composantes non bornées. L'espace Euclidien R^2 n'a qu'une seule extrémité puisque le retrait de tout compact laisse exactement une composante non bornée. Un arbre infini peut avoir infiniment (même non dénombrablement) d'extrémités correspondant à rayons simples infinis distincts.

Mauvaise application

Confondre les extrémités avec des points d'un bord à l'infini construit à partir d'équivalences géodésiques (bord visuel) ou présumer que les extrémités sont toujours des points de compactification canonique ; les extrémités sont des invariants topologiques grossiers et ne sont pas, en toute généralité, des points idéaux métriques canoniques.

Conséquence

Les extrémités saisissent la topologie à grande échelle, invariante par homotopie propre : elles distinguent des types non compacts, alimentent les théorèmes de décomposition et contrôlent des phénomènes tels que les bouts de groupes ou le comportement des fonctions à l'infini.

Inversion

Les espaces compacts n'ont pas d'extrémités de Freudenthal ; l'écrasement de toutes les extrémités correspond à la compactification par un point si celle-ci est Hausdorff, mais en général les extrémités donnent un invariant plus fin qu'un point ajouté.

Limite

Généralement définies pour des espaces connexes, localement compacts, σ-compacts et Hausdorff (ou pour des complexes CW) ; dans des espaces « sauvages » ou non localement compacts la construction standard de Freudenthal peut échouer ou produire des classes d'équivalence contre-intuitives.

Tension sémantique

Tension entre les extrémités de Freudenthal et d'autres notions d'asymptotique (bord visuel/Gromov, bord d'horofonctions, extrémités de groupes) : elles coïncident souvent dans des contextes grossiers mais diffèrent par la sensibilité à la géométrie versus la simple topologie.

Synthèse

Une extrémité de Freudenthal est une classe d'équivalence de rayons propres qui détecte un motif persistant de composantes non bornées hors des compacts ; c'est un invariant topologique qui encode des directions distinctes vers l'infini et organise la structure à grande échelle des espaces non compacts.