Für eine messbare Funktion f auf einem Maßraum ist das wesentliche Supremum die kleinste erweiterte reelle Zahl M, so dass f(x) ≤ M für fast alle x gilt (d. h. bis auf eine Menge vom Maß Null). Es ignoriert Ausnahmen auf Nullmengen und liefert eine fast‑überall obere Schranke statt eines punktweisen Maximums.

Prinzip

Ordnung fast überall: Schranken werden bis auf Nullmengen betrachtet. Das wesentliche Supremum wählt die minimale erweiterte reelle Zahl, die die Funktion außerhalb vernachlässigbarer Mengen überdeckt.

Demonstration

Sei f überall 0 mit Ausnahme eines einzelnen Punkts, an dem f den Wert 100 annimmt. Auf einem Standard‑Maßraum, in dem Singletons Maß Null haben, ist das wesentliche Supremum von f gleich 0, denn der Ausreißer liegt auf einer Nullmenge; das punktweise Supremum wäre 100.

Fehlanwendung

Das wesentliche Supremum mit dem punktweisen Supremum verwechseln und isolierte Spitzen auf Nullmengen zur Begründung großer a.e.-Schranken heranziehen; oder das Konzept auf nicht‑messbare Funktionen ohne Maßangabe anwenden.

Konsequenz

Ermöglicht eine robuste a.e.-Beschränkung, steuert L^∞‑Normen, unterstützt Ungleichheiten fast überall und ist stabil unter Änderungen auf Nullmengen.

Umkehrung

Das klassische (punktweise) Supremum ignoriert Nullmengen nicht und kann daher größere Werte annehmen, wenn Ausreißer vorhanden sind.

Abgrenzung

Definiert nur für messbare Funktionen auf einem Maßraum mit festgelegtem Maß; es ist eine erweiterte reelle Zahl (gegebenenfalls ±∞). Es gilt nicht für rein topologische Supremumsbegriffe oder für nicht messbare Fälle.

Semantische Spannung

Spannung zwischen wesentlichem und punktweisem Supremum: das eine ist gegenüber Nullmengen indifferent, das andere nicht; ohne Angabe des Maßkontexts entsteht Mehrdeutigkeit.

Synthese

Das wesentliche Supremum ist die kleinste erweiterte reelle a.e.-Oberschranke einer messbaren Funktion: ein maßtheoretisch angepasstes Supremumsbegriff, der vernachlässigbare Ausnahmen ignoriert.