El borde en el infinito de un espacio métrico o geométrico no compacto es un conjunto adyacente de puntos ideales que representan clases de equivalencia asintóticas de sucesiones divergentes, rayos geodésicos o límites de horofunciones; proporciona una compactificación que captura direcciones o comportamientos límite a gran escala determinados por una relación de equivalencia elegida.

Principio

Codificar la geometría asintótica identificando sucesiones o rayos que permanecen próximos en un sentido apropiado (p. ej., distancia de Hausdorff acotada, fellow-traveling o convergencia de horofunciones) y tratar cada clase de equivalencia como un punto ideal del borde cuya topología se induce por la convergencia desde el espacio base.

Demostración

Para el espacio hiperbólico H^n, el borde en el infinito es una esfera S^{n−1} de clases de rayos geodésicos (el borde visual). Para el plano euclidiano se puede añadir un círculo de direcciones en una compactificación direccional; para un espacio métrico Gromov-hiperbólico, el borde de Gromov recoge clases de rayos geodésicos que permanecen a distancia acotada entre sí.

Aplicación incorrecta

Suponer que existe una única noción de borde en el infinito canónica en todos los contextos; confundir extremos de Freudenthal con bordes visuales u horofuncionales, o usar una noción de borde insensible a la equivalencia elegida (visual vs horofunción vs Martin) conduce a conclusiones erróneas sobre dinámica o propiedades de compactificación.

Consecuencia

Un borde en el infinito elegido aporta compactificaciones, espacios sobre los que los grupos actúan por homeomorfismos o transformaciones conformes, y marcos para la teoría de conjuntos límite y fenómenos de rigidez; el borde codifica información geométrica o dinámica a larga escala esencial en muchos resultados de clasificación.

Inversión

Los espacios compactos tienen borde en el infinito vacío; eliminar el borde en el infinito equivale a centrarse solo en la parte intrínsecamente compacta del espacio y descartar los datos asintóticos.

Límite

Existen múltiples bordes competidores (visual/Gromov, horofunción, Martin, compactificación por extremos); cada uno requiere un contexto y una relación de equivalencia específicos y puede discrepar en topología, cardinalidad o rasgos dinámicos. La propiedad de properness, la geodeticidad y la hiperbólica influyen en qué construcción es apropiada.

Tensión semántica

Hay tensión entre los extremos topológicos gruesos y los bordes métricos/geométricos: los extremos ignoran la asintótica métrica fina mientras que los bordes visuales u horofuncionales son sensibles a la métrica; elegir el borde equivocado para un problema mezcla fenómenos asintóticos distintos.

Síntesis

Un borde en el infinito es una frontera ideal añadida cuyos puntos son clases de equivalencia de comportamientos asintóticos (rayos, sucesiones o funciones); la equivalencia y la topología elegidas determinan cómo el borde compactifica el espacio y qué fenómenos a gran escala representa de forma significativa.