Die Menge der Punkte x in einem messbaren Raum, sodass jede Umgebung von x eine Schnittmenge mit sowohl der messbaren Menge als auch deren Komplement positiver Maß hat, betrachtet modulo Nullmengen; äquivalent der Ort, an dem die punktweise Dichte der Menge weder 0 noch 1 ist.

Prinzip

Modulo Nullmengen definiert, erfasst der maßtheoretische (essentielle) Rand die für Maß und Integration relevante Schnittstelle: Punkte von intermediärer Dichte (weder volles Inneres noch volles Äußeres) und damit den natürlichen Ort für Perimeter- und Variationsmaße.

Demonstration

Für eine messbare Teilmenge A ⊂ R^n mit Lebesgue-Maß liegt x im essentiellen Rand ∂^*A genau dann, wenn limsup_{r→0} |A∩B_r(x)|/|B_r(x)| > 0 und limsup_{r→0} |(R^n\A)∩B_r(x)|/|B_r(x)| > 0. Beispiel: Eine Kugel, aus der eine abzählbar dichte Menge entfernt wurde, hat einen großen topologischen Rand, während der essentielle Rand (bis auf Nullmengen) der übliche Kugelrand ist.

Fehlanwendung

Den essentiellen Rand mit dem topologischen Rand verwechseln. Eine Menge kann einen großen topologischen Rand haben, während ihr essentieller Rand klein oder leer ist, wenn die topologischen Randpunkte Maßnull haben; die Verwendung des topologischen Rands in maßtheoretischen Aussagen führt zu Fehlern in Perimeter- und Spurformeln.

Konsequenz

Der essentielle Rand ist das geeignete Objekt in Variationsrechnung, geometrischer Maßtheorie und BV-Theorie: Er tritt in Definitionen des Perimeters, in Gauß–Green-Formeln und bei Spuren von Sobolev-/BV-Funktionen auf und ist stabil unter Änderungen auf Nullmengen.

Umkehrung

Maßtheoretisches Inneres oder Äußeres, wo die Dichte jeweils 1 bzw. 0 ist; im Gegensatz zum topologischen Inneren/Äußeren, das Maß-Null-Unterschiede ignoriert.

Abgrenzung

Erfordert ein umgebendes Maß (z. B. Lebesgue-Maß) und ist nur modulo Nullmengen sinnvoll; erfasst keine rein topologischen Merkmale unabhängig vom Maß und unterscheidet sich von dem reduzierten Rand, der zusätzliche Rectifizierbarkeits- und Normaleigenschaften fordert.

Semantische Spannung

Essentieller Rand versus topologischer Rand und versus reduzierter Rand: Der essentielle Rand ist maßtheoretisch intrinsisch und grob; der topologische Rand ist rein topologisch; der reduzierte Rand verfeinert den essentiellen Rand durch Hinzufügen einer approximativen Normale und Rectifizierbarkeit.

Synthese

Der maßtheoretische (essentielle) Rand ist die Menge der Punkte mittlerer Dichte, die die Schnittstelle einer messbaren Menge für integrative und variationelle Zwecke repräsentiert; modulo Nullmengen definiert, ist er die natürliche Grenze für Perimeter-, BV- und maßtheoretische Analysen.