Definition
Die Randmenge ∂A einer Teilmenge A eines topologischen Raums X ist die Menge der Punkte, deren jede Umgebung sowohl A als auch dessen Komplement trifft; äquivalent: ∂A = cl(A) \ int(A).

Prinzip

Prinzip
Erfasst die Schnittstelle zwischen einer Menge und ihrem Komplement; Randpunkte sind weder innerlich zu A noch innerlich zum Komplement, und der Randoperator liefert abgeschlossene Mengen und verhält sich kontrolliert unter Vereinigung und Durchschnitt.

Demonstration

Demonstration
In R ist der Rand des offenen Intervalls (0,1) gleich {0,1}; für A = Q ⊆ R ist der Rand ganz R, da jedes Intervall sowohl rationale als auch irrationale Punkte enthält.

Fehlanwendung

Fehlanwendung
Den Rand mit dem Abschluss oder der Ableitungsmenge zu verwechseln, ist irreführend: ∂A muss nicht mit A' übereinstimmen, und cl(A) kann isolierte Punkte enthalten, die keine Randpunkte sind, falls sie innerlich zu cl(A) sind.

Konsequenz

Konsequenz
Richtige Anwendung charakterisiert Trennungseigenschaften, definiert nirgends dichte (nowhere dense) und magere Mengen und impliziert, dass ∂A abgeschlossen ist und genau dann leer ist, wenn A clopen ist.

Umkehrung

Umkehrung
Die Umkehrperspektive fokussiert das Innere: int(A) ist das Komplement in A der Punkte aus ∂A; Komplementbildung vertauscht Rand und Rand des Komplements, denn ∂(X \ A) = ∂A.

Abgrenzung

Abgrenzung
In beliebigen topologischen Räumen definiert; in trivialen Topologien können Ränder mit dem ganzen Raum zusammenfallen oder leer sein; der Begriff ist nicht auf metrische Räume beschränkt, sondern rein topologisch.

Semantische Spannung

Semantische Spannung
Spannung besteht zwischen Rand, Abschluss und Ableitung: Abschluss fügt Häufungs- und Originalpunkte hinzu, Ableitung erfasst nur Akkumulation, während der Rand die gegenseitige Adjazenz zum Komplement verzeichnet; konzeptionell verschieden, gelegentlich identisch.

Synthese

Synthese
Der Rand von A ist die abgeschlossene Schnittstelle zwischen A und seinem Komplement, darstellbar als cl(A) \ int(A), und grundlegend für Randphänomene, Trennung und Dichtebegriffe in der Topologie.