Un extremo de Freudenthal de un espacio no compacto es una clase de equivalencia de rayos propios (o, equivalentemente, de sucesiones anidadas de componentes no acotadas de complementos de conjuntos compactos) que representa una 'dirección hacia el infinito' distinta; los extremos registran cómo se descompone el espacio fuera de cada conjunto compacto.

Principio

Clasificar las distintas maneras de escapar al infinito estabilizando las componentes del complemento de subconjuntos compactos crecientes: dos rayos definen el mismo extremo cuando, más allá de cualquier compacto, acaban estando en la misma componente no acotada del complemento.

Demostración

La recta real R tiene dos extremos de Freudenthal correspondientes a +∞ y −∞ porque el complemento de un gran intervalo compacto tiene dos componentes no acotadas. El espacio euclidiano R^2 tiene un solo extremo puesto que al quitar cualquier compacto queda exactamente una componente no acotada. Un árbol infinito puede tener infinidad (incluso no numerable) de extremos correspondientes a rayos simples infinitos distintos.

Aplicación incorrecta

Confundir extremos con puntos de un borde en el infinito construido a partir de equivalencias geodésicas (borde visual) o suponer que los extremos son siempre puntos de compactificación; los extremos son invariantes topológicos de escala gruesa y no son en todo caso puntos ideales métricos canónicos.

Consecuencia

Los extremos capturan la topología a gran escala, invariante por homotopía propia: distinguen tipos no compactos, alimentan teoremas de descomposición y controlan fenómenos como extremos de grupos o comportamiento de funciones en el infinito.

Inversión

Los espacios compactos no tienen extremos de Freudenthal; colapsar todos los extremos equivale a pasar a una compactificación por un punto cuando ésta es Hausdorff, pero en general los extremos proporcionan un invariante más fino que un único punto añadido.

Límite

Normalmente se definen para espacios conexos, localmente compactos, σ-compactos y Hausdorff (o para complejos CW); en espacios salvajes o no localmente compactos la construcción estándar de Freudenthal puede fallar o producir clases de equivalencia contraintuitivas.

Tensión semántica

Existe tensión entre los extremos de Freudenthal y otras nociones asintóticas (borde visual/Gromov, borde de horofunciones, extremos de grupos): coinciden en muchos contextos groseros pero difieren en la sensibilidad a la geometría frente a la mera topología.

Síntesis

Un extremo de Freudenthal es una clase de equivalencia de rayos propios que detecta un patrón persistente de componentes no acotadas fuera de compactos; es un invariante topológico que codifica direcciones distintas hacia el infinito y organiza la estructura a gran escala de los espacios no compactos.