Rand im Unendlichen
Definition
Der Rand im Unendlichen eines nichtkompakten metrischen oder geometrischen Raumes ist eine beigefügte Menge idealer Punkte, die asymptotische Äquivalenzklassen divergierender Folgen, geodätischer Strahlen oder Horofunktionsgrenzwerte repräsentieren; er liefert eine Kompaktifizierung, die Richtungen oder Grenzverhalten auf großer Skala erfasst, bestimmt durch eine gewählte Äquivalenzrelation.