The boundary at infinity of a noncompact metric or geometric space is an adjoined set of ideal points representing asymptotic equivalence classes of divergent sequences, geodesic rays, or horofunction limits; it provides a compactification capturing directions or limit behaviours at large scale determined by a chosen equivalence relation.

Principle

Encode asymptotic geometry by identifying sequences or rays that remain close in an appropriate sense (e.g., bounded Hausdorff distance, fellow-traveling, or horofunction convergence) and treat each equivalence class as an ideal boundary point whose topology is induced by convergence from the base space.

Demonstration

For hyperbolic n-space the boundary at infinity is an (n−1)-sphere of equivalence classes of geodesic rays (the visual boundary). For the Euclidean plane one may adjoin a circle of directions in a directional compactification; for a Gromov-hyperbolic metric space the Gromov boundary collects classes of geodesic rays that stay a bounded distance apart.

Misapplication

Assuming a single notion of boundary at infinity is canonical in all contexts; conflating Freudenthal ends with visual or horofunction boundaries or using a boundary notion insensitive to the chosen equivalence (visual vs horofunction vs Martin) leads to incorrect conclusions about dynamics or compactification properties.

Consequence

A chosen boundary at infinity furnishes compactifications, spaces on which groups act by homeomorphisms or conformal maps, and settings for limit-set theory and rigidity phenomena; the boundary encodes long-range geometric or dynamical information essential to many classification results.

Reversal

Compact spaces have empty boundary at infinity; removing the boundary at infinity corresponds to focusing only on the intrinsic compact part of the space and discarding asymptotic data.

Boundary

Multiple competing boundaries exist (visual/Gromov, horofunction, Martin, end compactification); each requires a specific context and equivalence relation and may disagree on topology, cardinality, or dynamical features. Properness, geodesicity, and hyperbolicity assumptions influence which construction is appropriate.

Semantic Tension

Tension arises between coarse topological ends and metric/geometric boundaries: ends ignore fine metric asymptotics while visual or horofunction boundaries are metric-sensitive; choosing the wrong boundary for a problem conflates distinct asymptotic phenomena.

Synthesis

A boundary at infinity is an added ideal frontier whose points are equivalence classes of asymptotic behaviours (rays, sequences, or functions); the specific equivalence and topology chosen determine how the boundary compactifies the space and which large-scale phenomena it meaningfully encodes.