Wesentliches Supremum

Der Begriff des wesentlichen Supremums oder essentiellen Supremums wird in der Mathematik bei der Einführung der $L^{p}$-Räume für den Fall $p=\infty$ als Erweiterung des Supremum-Begriffs benötigt. Da bei der Konstruktion dieser Funktionenräume Funktionen, die sich nur auf Nullmengen voneinander unterscheiden, als identisch betrachtet werden, kann man nur eingeschränkt von Funktionswerten in einzelnen Punkten sprechen. Der Begriff der beschränkten Funktion muss dementsprechend angepasst werden.

Definition

Seien $(\Omega ,{\mathcal {L}},\mu )$ ein Maßraum und $X$ ein Banachraum. Eine messbare Funktion $f\colon \Omega \rightarrow X$ heißt wesentlich beschränkt, wenn es eine Zahl $M\in \mathbb {R}$ gibt, so dass

$\mu (\{x\in \Omega \ |\ \|f(x)\|_{X}>M\})=0$

ist, das heißt, es gibt eine Modifikation von $f$ auf einer Nullmenge, so dass die entstehende Funktion im klassischen Sinne beschränkt ist. Jedes solche $M$ wird eine wesentliche Schranke genannt. Als wesentliches Supremum, in Zeichen $\mathrm {ess} \sup \|f\|_{X}$, bezeichnet man

$\mathrm {ess} \sup \|f\|_{X}=\inf\{M\geq 0\ |\ M\ {\text{ist wesentliche Schranke}}\}$

oder auch (für $A\subset \Omega$)

$\mathrm {ess} \sup _{x\in A}\|f(x)\|_{X}=\inf _{N\subset A,\mu (N)=0}\sup _{x\in A\setminus N}\|f(x)\|_{X}$.

Einige Autoren bezeichnen das wesentliche Supremum auch mit $\mathrm {vrai} \max \|f\|_{X}$ oder $\operatorname {wes} \sup ||f||_{X}$.

Für eine stetige oder abschnittsweise stetige Funktion ergibt sich die Identität zum klassischen Supremum, falls $\mu$ das Lebesgue-Maß ist.

L^∞-Raum

Mit ${\mathcal {L}}^{\infty }(\Omega ,X)$ wird die Menge aller wesentlich beschränkten Funktionen bezeichnet. Es sei mit ${\mathcal {N}}\subset {\mathcal {L}}^{\infty }(\Omega ,X)$ die Menge der wesentlich beschränkten Funktionen mit Schranke 0 bezeichnet. Dann ist $L^{\infty }(\Omega ,X):={\mathcal {L}}^{\infty }(\Omega ,X)/{\mathcal {N}}$ die Menge der Äquivalenzklassen von Funktionen, die sich nur auf einer Nullmenge unterscheiden.

$L^{\infty }(\Omega ,X)$ ist ein linearer Raum mit Norm

$\|[f]\|_{L^{\infty }}=\mathrm {ess} \sup \|f\|_{X},\ f\in [f]$.

Diese Norm ist unabhängig von der Wahl des Repräsentanten $f$ in der Äquivalenzklasse $[f]$. Mit dieser Norm wird $L^{\infty }(\Omega ,X)$ zu einem Banachraum. In der mathematischen Literatur verzichtet man auf die eckigen Klammern, die für die Äquivalenzklasse von $f$ stehen. In der Regel schreibt man einfach $f$ und weist den Leser darauf hin, dass die auftretenden Gleichungen nur bis auf Nullmengen zu verstehen sind.

Beispiel

Betrachtet man die Dirichletsche Sprungfunktion auf $\mathbb {R}$ versehen mit dem Lebesgue-Maß, so ist das Supremum $1$. Da die Menge der rationalen Zahlen aber eine Lebesgue-Nullmenge ist, ist das wesentliche Supremum $0$.

Literatur

• Jürgen Elstrodt: Maß- und Integrationstheorie. 6., korrigierte Auflage. Springer, Berlin u. a. 2009, ISBN 978-3-540-89727-9, S. 223.
• Wladimir I. Smirnow: Lehrbuch der höheren Mathematik (= Hochschulbücher für Mathematik. Bd. 6). Band 5. 11. Auflage. Deutscher Verlag der Wissenschaften, Berlin 1991, ISBN 3-817-11303-X, S. 232, Nr. 6.