Lebesgue-Integral

Das Lebesgue-Integral (benannt nach Henri Léon Lebesgue) ist der Integralbegriff der modernen Mathematik, der die Berechnung von Integralen in beliebigen Maßräumen ermöglicht. Im Fall der reellen Zahlen mit dem Lebesgue-Maß stellt das Lebesgue-Integral eine echte Verallgemeinerung des Riemann-Integrals dar (jede Riemann-integrierbare Funktion ist Lebesgue-integrierbar, aber nicht umgekehrt).

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. Anschaulich gesprochen: Das Lebesgue-Integral wird durch waagrechte, das Riemann-Integral durch senkrechte Flächen-Streifen angenähert.

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 punktweise und monoton wachsend gegen f konvergiert. Das Integral einer positiven, messbaren Funktion definieren wir als

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

wobei f_n einfach sind und punktweise und monoton wachsend gegen f konvergieren. Der Limes ist von der speziellen Wahl der Folge f_n unabhängig.

Der Positivteil f⁺ einer Funktion f ist definiert als

Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „http://localhost:6011/de.wikipedia.org/v1/“:): {\displaystyle f^+ = \max \{ f,0 \}} .

Der Negativteil $f^{-}$ wird entsprechend durch Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „http://localhost:6011/de.wikipedia.org/v1/“:): {\displaystyle f^- = (-f)^+ = \max \{-f,0\}} definiert.

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

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

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

Zusammenfassend gilt also: Eine positive Treppenfunktion nennt man integrierbar, 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 positive, 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$ und $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.

Für $\Omega =\mathbb {R}$ 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.$

Schreibweisen

Für das Lebesgue-Integral werden zahlreiche Schreibweisen verwendet:

Das Integral über eine Teilmenge $A\in \Sigma$ von $\Omega$ ist definiert als $\int _{A}fd\mu =\int _{\Omega }\mathrm {1} _{A}\,f\,d\mu$. (Das ist das gleiche wie das Integral $\int _{A}f|_{A}\,d\mu '$ im eingeschränkten Maßraum $(A,\Sigma ',\mu ')$, wobei $\Sigma '$ aus den Mengen in $\Sigma$ besteht, die Teilmengen von $A$ sind, und $\mu '=\mu |_{\Sigma '}$.) Wenn keine Menge angegeben ist, ist in der Regel das Integral über den gesamten Raum gemeint: $\int fd\mu =\int _{\Omega }fd\mu$ (nicht zu verwechseln mit dem unbestimmten Integral).

Wenn man eine Integrationsvariable $x$ angeben will, schreibt man Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „http://localhost:6011/de.wikipedia.org/v1/“:): {\displaystyle \int_A f(x)\,d\mu(x)} oder $\int _{A}f(x)\,\mu (dx)$ oder auch $\int _{A}\mu (dx)\,f(x)$. Ist $\mu$ das Lebesgue-Maß, so schreibt man statt $d\mu (x)$ einfach $dx$, im eindimensionalen Fall $\Omega =\mathbb {R}$ schreibt man $\int _{a}^{b}f(x)\,dx$ für das Integral über das Intervall $[a,b]$ oder $]a,b[$.

Wenn das Maß $\mu$ eine Radon-Nikodym-Dichte $h$ bezüglich des Lebesgue-Maßes besitzt, gilt $\int _{A}f(x)\,d\mu (x)=\int _{A}f(x)\,h(x)dx$. In Anwendungsgebieten wird die Schreibweise $\int _{A}f(x)\,h(x)dx$ häufig auch dann verwendet, wenn $\mu$ formal keine Dichte besitzt. Dies ist jedoch nur dann sinnvoll, wenn man $h$ nicht als Funktion, sondern als Distribution auffasst.

Ist das Maß $\mu$ im Fall $\Omega =\mathbb {R}$ durch eine kumulative Funktion $F$ definiert, so schreibt man auch $\int _{A}f(x)\,dF(x)$ oder $\int _{A}f\,dF$ (Stieltjes-Integral).

Ist $\mu$ ein Wahrscheinlichkeitsmaß, so schreibt man auch $E(f)$ für $\int _{\Omega }fd\mu \,$ (Erwartungswert). In der theoretischen Physik wird die Schreibweise $\langle f\rangle$ verwendet, in der Funktionalanalysis manchmal die Schreibweise $\mu (f)$.

Integrierbarkeit, Quasiintegrierbarkeit

Für ein messbares f setzt man $\int _{\Omega }fd\mu =\int _{\Omega }f^{+}d\mu -\int _{\Omega }f^{-}d\mu$. Falls sowohl Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „http://localhost:6011/de.wikipedia.org/v1/“:): {\displaystyle \int_\Omega f^+ d\mu < \infty} als auch Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „http://localhost:6011/de.wikipedia.org/v1/“:): {\displaystyle \int_\Omega f^- d\mu < \infty} , so nennt man f integrierbar bezüglich μ.

Gilt nur eines von beiden, also $\int _{\Omega }f^{+}d\mu <\infty \vee \int _{\Omega }f^{-}d\mu <\infty$, so heißt f quasiintegrierbar bezüglich μ, oder das Integral existiert (Heinz Bauer).

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-integrierbar 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