Lebesgue-Integral

Das Lebesgue-Integral ist eine Verallgemeinerung des Riemannschen Integrals. Genauer lässt sich zeigen, dass jede Riemann-integrierbare Funktion insbesondere auch Lebesgue-integrierbar ist. Die Umkehrung gilt im Allgemeinen nicht.

So wie ein Riemann-Integral durch die Konvergenz des Flächeninhaltes einer Folge von Treppenfunktionen definiert ist, so ist das Lebesgue-Integral durch die Konvergenz einer Folge von halbstetigen Funktionen definiert.

Das Lebesgue-Integral ist nach Henri Léon Lebesgue benannt.

Definition

Sei (Ω, ∑, µ) ein Maßraum. Eine positive Treppenfunktion

$f=\sum _{i=1}^{n}\alpha _{i}1_{A_{i}}$

wird auch einfache Funktion oder Elementarfunktion genannt, wobei 1_Ai die charakteristische Funktion, α_i eine positive, reelle Zahl und A_i messbare Mengen sind.

Das Integral für einfache Funktionen wird mittels

$\int _{\Omega }fd\mu =\sum _{i=1}^{n}\alpha _{i}\mu (A_{i})$

definiert.

Eine positive Funktion $f:(\Omega ,\Sigma ,\mu )\rightarrow ({\overline {\mathbb {R} }},B)$, B Borelsche σ-Algebra, ist genau dann messbar, wenn es eine Folge f_n von einfachen Funktionen gibt, die gegen f konvergiert. Das Integral einer positiven, messbaren Funktion definieren wir als

$\int _{\Omega }fd\mu =\lim _{n\rightarrow \infty }\int _{\Omega }f_{n}d\mu ,$

wobei f_n einfach sind und gegen f konvergieren.

Der Positivteil f⁺ einer Funktion f ist definiert als

$f^{+}=\max(f,0).$

Der Negativteil f^- wird entsprechend durch f^-=(-f)⁺ definiert.

Gilt $\int _{\Omega }f^{+}d\mu <\infty$ oder $\int _{\Omega }f^{-}d\mu <\infty$, so nennen wir f quasiintegrierbar und definieren

$\int _{\Omega }fd\mu =\int _{\Omega }f^{+}d\mu -\int _{\Omega }f^{-}d\mu .$

Gilt $\int _{\Omega }f^{+}d\mu <\infty$ und $\int _{\Omega }f^{-}d\mu <\infty$ wird f integrierbar oder genauer µ-integrierbar genannt. Dies ist genau dann der Fall, falls $\int _{\Omega }|f|d\mu <\infty$.

Zusammenfassend gilt also: Eine postive Treppenfunktion nennt man integriebar, falls die "Gesamtfläche" unter der Kurve $\sum _{i=1}^{n}\alpha _{i}\mu (A_{i})$ endlich ist. Das Integral ist dann gerade die Summe. Für eine postive, messbare Funktion ist das Integral definiert als der Grenzwert vom Integral von postiven Treppenfunktionen. Für beliebige messbare Funktionen ist das Integral definiert als das Integral des Postivteils minus dem Integral des Negativteils. In beiden Fällen nennt man eine Funktion integrierbar, falls das Integral endlich ist.

Lemma

Das Integral ist linear.

Das Integral ist monoton, d.h. sind f, g zwei messbare Funktionen mit $f\leq g$, so gilt $\int _{\Omega }fd\mu \leq \int _{\Omega }gd\mu$. Die Ungleichung gilt sogar, falls $f\leq g$ bis auf eine Nullmenge gilt.

Ist eine Funktion Riemann-integrierbar, so ist sie auch Lebesgue-integrierbar und die Integralwerte stimmen überein. Die Umkehrung gilt, falls die Menge der Unstetigkeitsstellen eine Lebesgue-Nullmenge ist.

Eine uneigentlich Riemann-integrierbare Funktion muss jedoch nicht Lebesgue-integrierbar sein. Ist jedoch f auf jedem kompakten Teilintervall eines reellem Interval Riemann-integrierbar, so ist f genau dann Lebesgue-integrierbar, falls |f| Riemann-integrierbar ist.

Satz

Satz von der monotonen Konvergenz (Beppo Levi, 1906)

Ist $(f_{n}:(\Omega ,\Sigma ,\mu )\rightarrow ({\overline {\mathbb {R} }},B))$ eine monoton wachsende Folge von positiven, messbaren Funktionen, so gilt

$\int _{\Omega }\sup _{n\in \mathbb {N} }f_{n}d\mu =\lim _{n\rightarrow \infty }\int _{\Omega }f_{n}d\mu$.

Satz von der majorisierten (dominierten) Konvergenz (Henri Léon Lebesgue, 1910)

Seien $f,f_{n},g:(\Omega ,\Sigma ,\mu )\rightarrow ({\overline {\mathbb {R} }},B),n\in \mathbb {N}$ messbare Funktionen mit $f_{n}\rightarrow f$ µ fast überall (d.h. bis auf eine Nullmenge) und g integrierbar. Gilt $|f_{n}|\leq g$ für alle n, so ist f integrierbar und es gilt

$\lim _{n\rightarrow \infty }\int _{\Omega }f_{n}d\mu =\int _{\Omega }fd\mu$

und

$\lim _{n\rightarrow \infty }\int _{\Omega }|f-f_{n}|d\mu =0.$

Beispiele

Ein Beispiel einer uneigentlich Riemann-integrierbaren Funktion, die nicht Lebesgue-integrierbar ist: Ist nämlich f eine Treppenfunktion mit den Flächen 1, 1/2, 1/3 usw., dann ist f uneigentlich Riemann-integrierbar. Denn das Integral entspricht gerade der alternierenden harmonischen Reihe. Da f aber Lebesgue-integriebar genannt wird, falls $\int _{\mathbb {R} ^{+}}|f|d\lambda <\infty$ gilt, existiert das Integral nicht, da die harmonische Reihe divergent ist.

Ein Beispiel für eine Lebesgue-integrierbare Funktion, die nicht Riemann-integrierbar ist, ist die Dirichlet-Funktion: Wir definieren f als

$f:[0,1]\rightarrow [0,1]$

$x\mapsto {\begin{cases}1&,x\in \mathbb {Q} \\0&,{\mbox{sonst}}.\end{cases}}$

f ist nicht Riemann-integrierbar, da die Obersumme 1 ist und die Untersumme 0. Da die Menge der rationalen Zahlen aber eine Lebesgue-Nullmenge ist, ist die Funktion fast überall 0 und das Lebesgue-Integral existiert und ist 0.

Siehe auch: L^p-Raum