Kurs:Maß- und Integrationstheorie (Osnabrück 2022-2023)/Vorlesung 16

p-Integrierbarkeit

Definition

Es sei ${}p\geq 1$ eine reelle Zahl und ${}(X,{\mathcal {A}},\mu )$ ein Maßraum. Eine messbare Funktion

$f\colon X\longrightarrow {\mathbb {K} }$

heißt ${}p$-integrierbar, wenn ${}\int _{X}\vert {f}\vert ^{p}d\mu$ endlich ist.

Der Menge aller ${}p$-integrierbaren Funktionen wird mit

${}{\mathcal {L}}^{p}(X)={\mathcal {L}}^{p}(X,{\mathcal {A}},\mu )\,$

bezeichnet, es handelt sich um einen ${}{\mathbb {K} }$-Vektorraum.

Beispiel

Wir betrachten die natürlichen Zahlen ${}\mathbb {N}$ als Maßraum mit dem Zählmaß. Die Funktionen

$f\colon \mathbb {N} \longrightarrow {\mathbb {K} }$

sind einfach die ${}{\mathbb {K} }$-wertigen Folgen, diese sind automatisch messbar. Die ${}p$- Integierbarkeit ist in diesem Fall einfach die ${}p$-Summierbarkeit, es geht also um diejenigen Folgen ${}f$, für die

${}\Vert {f}\Vert _{p}=\sum _{n\in \mathbb {N} }\vert {f_{n}}\vert ^{p}<\infty \,$

gilt. Die ${}f_{n}$ sind von daher eher als Reihenglieder denn als Folgenglieder anzusehen. Für ${}p=1$ handelt es sich um die absolute Konvergenz der Reihe bzw. schlicht um die Summierbarkeit, für ${}p=2$ spricht man von quadratsummierbaren Folgen. Die harmonische Reihe ist nicht summierbar, aber ${}2$-summierbar und sogar ${}p$-summierbar für jedes ${}p>1$.

Lemma

Es sei ${}p\geq 1$ eine reelle Zahl und ${}(X,{\mathcal {A}},\mu )$ ein Maßraum.

Dann ist die Menge ${}{\mathcal {L}}^{p}(X)$ der ${}p$- integrierbaren Funktionen ein ${}{\mathbb {C} }$- Vektorraum.

Beweis

Siehe Aufgabe 16.1.

$\Box$

Definition

Es sei ${}p\geq 1$ eine reelle Zahl und ${}(X,{\mathcal {A}},\mu )$ ein Maßraum. Zu einer ${}p$- integrierbaren Funktion nennt man

${}\Vert {f}\Vert _{p}:={\left(\int _{X}\vert {f}\vert ^{p}d\mu \right)}^{1/p}\,$

die ${}p$-Norm von ${}f$.

Bemerkung  

Häufig möchte man auch für ${}p=\infty$ zu Lemma 16.3 entsprechende Funktionenräume mit einer entsprechenden Halbnorm zur Verfügung haben. Zu einer messbaren Funktion ${}f\colon X\rightarrow \mathbb {R}$ auf einem Maßraum ${}(X,{\mathcal {A}},\mu )$ setzt man

${}\Vert {f}\Vert _{\infty }:=\inf {\left(b,\,\mu (f^{-1}(\mathbb {R} _{>b}))=0\right)}\,.$

Diese Zahl (die eventuell ${}\infty$ sein kann) nennt man auch das wesentliche Supremum von ${}f$. Die entscheidende Eigenschaft ist, dass ${}f$ zwar auch Werte oberhalb dieses wesentlichen Supremums annehmen kann, aber nur auf einer Nullmenge. Man nennt ${}f$ wesentlich beschränkt, wenn ihr wesentliches Supremum eine reelle Zahl ist. Mit ${}{\mathcal {L}}^{\infty }$ bezeichnet man den Vektorraum der wesentlich beschränkten Funktionen auf ${}X$, auf diesem ist ${}\Vert {-}\Vert$ eine Halbnorm.

Lemma

Es sei ${}(X,{\mathcal {A}},\mu )$ ein Maßraum. Dann sind für eine messbare Funktion ${}f\colon X\rightarrow {\mathbb {K} }$ folgende Aussagen äquivalent.

1. Es ist ${}f=0$ fast überall.
2. Es gibt ein ${}p\geq 1$ mit

   ${}\int _{X}\vert {f}\vert ^{p}d\mu =0\,.$

3. Für alle ${}p\geq 1$ ist

   ${}\int _{X}\vert {f}\vert ^{p}d\mu =0\,.$

Beweis

Siehe Aufgabe 16.2.

$\Box$

Wir werden zeigen, dass die ${}p$-Norm eine Halbnorm auf ${}{\mathcal {L}}^{p}$ ist und daher nach Lemma 15.11 auf einem geeigneten Restklassenraum eine Norm ist. Die folgende Aussage heißt Höldersche Abschätzung oder Höldersche Ungleichung.

Lemma

Es seien ${}p,q\geq 1$ reelle Zahlen mit

${}{\frac {1}{p}}+{\frac {1}{q}}=1\,$

und es sei ${}(X,{\mathcal {A}},\mu )$ ein Maßraum. Es seien

$f,g\colon X\longrightarrow \mathbb {R} _{\geq 0}$

messbare Funktionen, die ${}p$- bzw. ${}q$-integrierbar seien.

Dann gilt

${}\int _{X}fgd\mu =\Vert {fg}\Vert _{1}\leq \Vert {f}\Vert _{p}\cdot \Vert {g}\Vert _{q}\,.$

Beweis

Bei ${}\Vert {f}\Vert _{p}=0$ ist die Aussage nach Lemma 16.6 klar, wir können also von ${}\Vert {f}\Vert _{p},\Vert {g}\Vert _{p}>0$ ausgehen. Zu ${}x\in X$ wenden wir auf ${}A={\frac {\vert {f(x)}\vert }{\Vert {f}\Vert _{p}}}$ und ${}B={\frac {\vert {g(x)}\vert }{\Vert {g}\Vert _{q}}}$ die Abschätzung

${}AB\leq {\frac {A^{p}}{p}}+{\frac {B^{q}}{q}}\,$

(siehe Aufgabe 20.25 (Analysis (Osnabrück 2021-2023))) an und erhalten

${}{\begin{aligned}{\frac {1}{\Vert {f}\Vert _{p}\cdot \Vert {g}\Vert _{q}}}\int _{X}\vert {fg}\vert d\mu &=\int _{X}{\frac {\vert {f}\vert }{\Vert {f}\Vert _{p}}}\cdot {\frac {\vert {g}\vert }{\Vert {g}\Vert _{q}}}d\mu \\&\leq \int _{X}{\frac {\vert {f}\vert ^{p}}{p\Vert {f}\Vert _{p}^{p}}}+{\frac {\vert {g}\vert ^{q}}{q\Vert {g}\Vert _{q}^{q}}}d\mu \\&={\frac {1}{p\Vert {f}\Vert _{p}^{p}}}\int _{X}\vert {f}\vert ^{p}d\mu +{\frac {1}{q\Vert {g}\Vert _{q}^{q}}}\int _{X}\vert {g}\vert ^{q}d\mu \\&={\frac {1}{p}}+{\frac {1}{q}}\\&=1.\end{aligned}}$

Multiplikation mit dem Vorfaktor ergibt die Behauptung.

$\Box$

Lemma

Es sei ${}p\geq 1$ eine reelle Zahl und es sei ${}(X,{\mathcal {A}},\mu )$ ein Maßraum. Es seien

$f,g\colon X\longrightarrow \mathbb {R}$

${}p$- integrierbare Funktionen.

Dann gilt

${}\Vert {f+g}\Vert _{p}\leq \Vert {f}\Vert _{p}+\Vert {g}\Vert _{p}\,.$

Beweis

Es sei ${}1<p<\infty$, für die anderen Fälle siehe die Aufgaben. Wegen

${}\Vert {f+g}\Vert _{p}\leq \Vert {\vert {f}\vert +\vert {g}\vert }\Vert _{p}\,$

können wir ${}f$ und ${}g$ als reellwertig und nichtnegativ annehmen. Es sei ${}q$ die durch die Bedingung

${}{\frac {1}{p}}+{\frac {1}{q}}=1\,$

bestimmte Zahl, also

${}q={\frac {p}{p-1}}\,.$

Mit Lemma 16.7 folgt

${}{\begin{aligned}\Vert {f+g}\Vert _{p}^{p}&=\int _{X}{\left(f+g\right)}^{p}d\mu \\&=\int _{X}f{\left(f+g\right)}^{p-1}+g{\left(f+g\right)}^{p-1}d\mu \\&=\Vert {f{\left(f+g\right)}^{p-1}}\Vert _{1}+\Vert {g{\left(f+g\right)}^{p-1}}\Vert _{1}\\&\leq \Vert {f}\Vert _{p}\cdot \Vert {{\left(f+g\right)}^{p-1}}\Vert _{q}+\Vert {g}\Vert _{p}\cdot \Vert {{\left(f+g\right)}^{p-1}}\Vert _{q}\\&\leq {\left(\Vert {f}\Vert _{p}+\Vert {g}\Vert _{p}\right)}\Vert {{\left(f+g\right)}^{p-1}}\Vert _{q}\\&={\left(\Vert {f}\Vert _{p}+\Vert {g}\Vert _{p}\right)}{\left(\int _{X}{\left(f+g\right)}^{(p-1)q}d\mu \right)}^{1/q}\\&={\left(\Vert {f}\Vert _{p}+\Vert {g}\Vert _{p}\right)}{\left(\int _{X}{\left(f+g\right)}^{p}d\mu \right)}^{(p-1)/p}\\&={\left(\Vert {f}\Vert _{p}+\Vert {g}\Vert _{p}\right)}\Vert {f+g}\Vert _{p}^{p-1}.\end{aligned}}$

Wir können nun mit ${}\Vert {f+g}\Vert _{p}^{p-1}$ kürzen (wenn diese Zahl gleich ${}0$ ist, stimmt die Aussage sowieso).

$\Box$

Lemma

Es sei ${}(X,{\mathcal {A}},\mu )$ ein Maßraum und ${}p\geq 1$.

Dann ist ${}\Vert {-}\Vert _{p}$ auf dem ${}{\mathbb {K} }$- Vektorraum ${}{\mathcal {L}}^{p}(X)$ der ${}p$- integrierbaren Funktionen eine Halbnorm.

Beweis

Die Dreiecksabschätzung ist Lemma 16.8, die anderen Eigenschaften sind klar.

$\Box$

Zu einem Maßraum ${}X$ betrachten wir

${}{\mathcal {N}}={\left\{f:X\rightarrow {\mathbb {K} }{\text{ messbar}}\mid f=0{\text{ fast überall }}\right\}}\,.$

Dies ist ein ${}{\mathbb {K} }$- Vektorraum, der aus allen messbaren Funktionen besteht, für die die Menge ${}{\left\{x\in X\mid f(x)\neq 0\right\}}$ eine Nullmenge ist. Nach Lemma 16.6 stimmt dieser Raum mit dem Raum aller Funktionen überein, für die die ${}p$-Norm gleich ${}0$ ist. Daher liegt für jede reelle Zahl ${}p\geq 1$ die Unterraumbeziehung

${}{\mathcal {N}}\subseteq {\mathcal {L}}^{p}\,$

vor, und ${}{\mathcal {N}}$ entspricht für jeden ${}{\mathcal {L}}^{p}$ dem Untervektorraum ${}{\mathcal {Z}}$ aus Lemma 15.11.

Definition

Zu einem Maßraum ${}(X,{\mathcal {A}},\mu )$ und einer reellen Zahl ${}p\geq 1$ definiert man die ${}L^{p}$-Räume durch

${}L^{p}(X):={\mathcal {L}}^{p}(X)/{\mathcal {N}}\,.$

Beispiel

Wir betrachten die natürlichen Zahlen ${}\mathbb {N}$ als Maßraum mit dem Zählmaß, siehe Beispiel 16.2. Dabei ist die Nullfolge die einzige Folge, deren Träger das Maß ${}0$ besitzt, d.h. es ist ${}{\mathcal {N}}=0$ und es erübrigt sich der Übergang von ${}{\mathcal {L}}^{p}(X)$ nach ${}L^{p}(X)$.

Lemma

Zu einem Maßraum ${}(X,{\mathcal {A}},\mu )$ und ${}p\geq 1$

ist der Lebesgueraum ${}L^{p}(X,\mu )$ durch

${}\Vert {f}\Vert _{p}:={\left(\int _{X}\vert {f}\vert ^{p}d\mu \right)}^{1/p}\,$

ein normierter ${}{\mathbb {K} }$- Vektorraum.

Beweis

Nach Lemma 16.3 ist ${}{\mathcal {L}}^{p}(X)$ ein ${}{\mathbb {K} }$- Vektorraum, auf dem ${}\Vert {-}\Vert _{p}$ nach Lemma 16.8 eine Halbnorm ist. Nach Lemma 16.6 besteht ${}{\mathcal {N}}$ genau aus den Funktionen, deren Norm gleich ${}0$ ist. Deshalb folgt die Aussage aus Lemma 15.11.

$\Box$

Wegen der Identifizierung von Funktionen, die sich nur in einer Nullmenge unterscheiden, kann man bei Funktionsklassen nicht unmittelbar von punktweiser Konvergenz sprechen. Man kann allerdings davon sprechen, dass fast überall punktweise Konvergenz vorliegt. Die folgende Aussage sichert, dass dies auch auf ${}L^{p}(X)$ eine wohldefinierte Eigenschaft ist.

Lemma

Es sei ${}(X,{\mathcal {A}},\mu )$ ein Maßraum und ${}p\geq 1$. Es seien ${}f,g$ messbare Funktionen und seien ${}f_{n}$ und ${}g_{n}$ Folgen von messbaren Funktionen auf ${}X$. Es sei ${}f=g$ fast überall und es sei ${}f_{n}=g_{n}$ fast überall.

Dann konvergiert ${}f_{n}$ fast überall gegen ${}f$ genau dann, wenn ${}g_{n}$ fast überall gegen ${}g$ konvergiert.

Beweis

Siehe Aufgabe 16.9.

$\Box$

Entsprechend kann man ähnliche Sprechweisen über messbare Funktionen auf ${}X$ auf Funktionsklassen in ${}L^{p}(X)$ übertragen.

Lemma

Es sei ${}(X,{\mathcal {A}},\mu )$ ein ${}\sigma$- endlicher Maßraum und ${}p\geq 1$. Es sei ${}{\left(f_{n}\right)}_{n\in \mathbb {N} }$ eine Folge von messbaren Funktionen auf ${}X$, die fast überall gegen die messbare Funktion ${}f$ konvergiere. Es gebe ein reellwertiges ${}g\in L^{p}(X)$, das fast überall für alle ${}\vert {f_{n}}\vert$ eine obere Schranke sei.

Dann konvergiert ${}f_{n}$ auch in ${}L^{p}(X)$ gegen ${}f$.

Beweis

Die Bedingung ${}\vert {f_{n}}\vert \leq g$ sichert einerseits, dass die ${}f_{n}$ zu ${}L^{p}(X)$ gehören, und andererseits, dass auch ${}\vert {f}\vert \leq g$ fast überall gilt, weshalb wiederum ${}f$ zu ${}L^{p}(X)$ gehört. Es konvergiert ${}\vert {f-f_{n}}\vert$ und damit auch ${}\vert {f-f_{n}}\vert ^{p}$ fast überall gegen ${}0$. Wegen

${}\vert {f-f_{n}}\vert ^{p}\leq (2g)^{p}=2^{p}g^{p}\,$

und wegen ${}g\in L^{p}(X)$ können wir auf die Folge ${}\vert {f-f_{n}}\vert ^{p}$ den Satz von der majorisierten Konvergenz anwenden und erhalten ${}\Vert {f-f_{n}}\Vert _{p}\rightarrow 0$, also konvergiert ${}f_{n}$ in der ${}p$-Norm gegen ${}f$.

$\Box$

Lemma

Es sei ${}(X,{\mathcal {A}},\mu )$ ein ${}\sigma$- endlicher Maßraum und ${}p\geq 1$. Es sei ${}g_{n}$ eine Folge von Funktionen in ${}{\mathcal {L}}^{p}(X)$ derart, dass die reelle Reihe ${}\sum _{n=0}^{\infty }\Vert {g_{n}}\Vert _{p}$ konvergiert.

Dann konvergiert die Funktionenreihe ${}\sum _{n=0}^{\infty }g_{n}$ fast überall und auch bezüglich der ${}p$-Norm gegen eine Funktion ${}g\in {\mathcal {L}}^{p}(X)$.

Beweis

Es sei ${}b=\sum _{n=0}^{\infty }\Vert {g_{n}}\Vert _{p}$. Wir betrachten die Partialsummen

${}h_{m}=\sum _{n=0}^{m}\vert {g_{n}}\vert \,$

und die Grenzfunktion

${}h=\lim _{m\rightarrow \infty }h_{m}=\sum _{n=0}^{\infty }\vert {g_{n}}\vert \,,$

die auch den Wert ${}\infty$ annehmen kann. Daher ist auch

${}h^{p}=\lim _{m\rightarrow \infty }h_{m}^{p}\,$

und nach dem Satz von der monotonen Konvergenz ist

${}\int _{X}h^{p}d\mu =\lim _{m\rightarrow \infty }\int _{X}h_{m}^{p}d\mu \,.$

Für Potenzieren mit dem Exponenten ${}1/p$ und erhalten

${}\Vert {h}\Vert _{p}=\lim _{m\rightarrow \infty }\Vert {h_{m}}\Vert _{p}=\lim _{m\rightarrow \infty }\Vert {\sum _{n=0}^{m}\vert {g_{n}}\vert }\Vert _{p}\,.$

Wegen

${}\Vert {\sum _{n=0}^{m}\vert {g_{n}}\vert }\Vert _{p}\leq \sum _{n=0}^{m}\Vert {g_{n}}\Vert _{p}\leq b\,$

für alle ${}m$ ist dies beschränkt. Es folgt ${}h\in {\mathcal {L}}^{p}$ und insbesondere ist ${}h^{p}$ integrierbar. Dies bedeutet, dass ${}h$ allenfalls auf einer Nullmenge den Wert ${}\infty$ annimmt. Die Funktionenreihe ${}\sum _{n=0}^{\infty }\vert {g_{n}}\vert$ ist also außerhalb einer Nullmenge punktweise konvergent und daher ist nach Lemma 16.14 auch die Funktionenreihe ${}\sum _{n=0}^{\infty }g_{n}$ außerhalb einer Nullmenge punktweise konvergent gegen eine Funktion ${}g$. Mit Lemma 16.14 folgt, dass auch Konvergenz bezüglich der ${}p$-Norm vorliegt.

$\Box$

Die folgende Aussage heißt Vollständigkeitssatz von Fischer-Riesz.

Satz

Es sei ${}(X,{\mathcal {A}},\mu )$ ein ${}\sigma$- endlicher Maßraum.

Dann ist der Lebesgueraum ${}L^{p}(X)$ der ${}p$- integrierbaren Funktionen vollständig.

Beweis

Es sei ${}{\left(f_{n}\right)}_{n\in \mathbb {N} }$ eine Folge von (Äquivalenzklassen von) ${}p$-integrierbaren Funktionen auf ${}X$, die bezüglich der ${}p$-Norm ${}\Vert {-}\Vert _{p}$ eine Cauchy-Folge bilden. Da wir zu einer Teilfolge übergehen können, können wir (nach neuer Indizierung) annehmen, dass

${}\Vert {f_{n+1}-f_{n}}\Vert _{p}\leq {\frac {1}{2^{n}}}\,$

ist. Wir setzen ${}g_{n}=f_{n+1}-f_{n}$, und es gilt

${}\sum _{n=0}^{\infty }\Vert {g_{n}}\Vert _{p}\leq \sum _{n=0}^{\infty }{\frac {1}{2^{n}}}\leq 2\,.$

Nach Lemma 16.15 konvergiert die Reihe ${}\sum _{n=0}^{\infty }g_{n}$ fast überall und bezüglich der ${}p$-Norm gegen eine Funktion ${}g\in {\mathcal {L}}^{p}(X)$. Daher konvergiert die Folge

${}f_{n}=f_{0}+\sum _{i=0}^{n-1}(f_{i+1}-f_{i})=f_{0}+\sum _{i=0}^{n-1}g_{i}\,$

gegen ${}f_{0}+g$ in den beiden beschriebenen Sinnen.

$\Box$

Diese Aussage besagt also, dass ein Lebesgueraum ein Banachraum ist.

<< | Kurs:Maß- und Integrationstheorie (Osnabrück 2022-2023) | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)