Le bord à l'infini d'un espace métrique ou géométrique non compact est un ensemble adjoint de points idéaux représentant des classes d'équivalence asymptotiques de suites divergentes, de rayons géodésiques ou de limites d'horofonctions ; il fournit une compactification qui capte des directions ou comportements limites à grande échelle selon une relation d'équivalence choisie.

Principe

Encoder la géométrie asymptotique en identifiant les suites ou rayons qui restent proches au sens approprié (par exemple distance de Hausdorff bornée, compagnonage de trajectoire, ou convergence d'horofonctions) et traiter chaque classe d'équivalence comme un point frontière idéal dont la topologie est induite par la convergence depuis l'espace de base.

Démonstration

Pour l'espace hyperbolique de dimension n, le bord à l'infini est une sphère de dimension n−1 constituée de classes de rayons géodésiques (le bord visuel). Pour le plan euclidien on peut adjoindre un cercle de directions dans une compactification directionnelle ; pour un espace métrique Gromov-hyperbolique, le bord de Gromov collecte les classes de rayons géodésiques qui restent à distance bornée les uns des autres.

Mauvaise application

Présumer qu'il existe une notion unique et canonique de bord à l'infini dans tous les contextes ; confondre les extrémités de Freudenthal avec des bords visuels ou d'horofonctions, ou employer une notion de bord insensible à l'équivalence choisie (visuelle vs horofonction vs Martin) conduit à des conclusions erronées sur la dynamique ou les propriétés de compactification.

Conséquence

Un bord à l'infini choisi fournit des compactifications, des espaces sur lesquels des groupes agissent par homéomorphismes ou transformations conformes, et des cadres pour la théorie des ensembles limites et des phénomènes de rigidité ; le bord encode des informations géométriques ou dynamiques à longue portée essentielles à de nombreux résultats de classification.

Inversion

Les espaces compacts ont un bord à l'infini vide ; supprimer le bord à l'infini revient à ne considérer que la partie intrinsèquement compacte de l'espace et à abandonner les données asymptotiques.

Limite

Il existe plusieurs bords concurrents (visuel/Gromov, horofonction, Martin, compactification par bouts) ; chacun exige un contexte et une relation d'équivalence spécifiques et peut diverger pour la topologie, la cardinalité ou les propriétés dynamiques. Les hypothèses de proprié t é, géodésicité et hyperbolicité influencent la construction appropriée.

Tension sémantique

Tension entre extrémités topologiques grossières et bords métriques/géométriques : les extrémités ignorent les asymptotiques métriques fins tandis que les bords visuels ou d'horofonctions y sont sensibles ; choisir un bord inadapté confond des phénomènes asymptotiques distincts.

Synthèse

Un bord à l'infini est une frontière idéale ajoutée dont les points sont des classes d'équivalence de comportements asymptotiques (rayons, suites ou fonctions) ; l'équivalence et la topologie choisies déterminent comment le bord compactifie l'espace et quels phénomènes à grande échelle il encode de manière pertinente.