Lebesgue-integrierbar

Das Lebesgue-Integral (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. Häufig wird mit "Lebesgue-Integral" auch speziell das Integral bezüglich des Lebesgue-Maßes bezeichnet.

Illustration der Grenzwertbildung beim Riemann-Integral (blau) und beim Lebesgue-Integral (rot)

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 sog. einfachen Funktionen definiert. Anschaulich gesprochen bedeutet dies: Das Riemann-Integral (blau) wird durch senkrechte Flächenstreifen, das Lebesgue-Integral (rot) dagegen durch waagerechte Streifen angenähert (siehe die zugehörige Illustration).

Geschichtliches zum Lebesgue-Integral

Die Begründung der Differential- und Integralrechnung beginnt bereits im 17. Jahrhundert mit Isaac Newton und Gottfried Wilhelm Leibniz (1687 erscheint Newtons „Philosophiae Naturalis Principia Mathematica“). Sie stellt einen Meilenstein in der Wissenschaftsgeschichte dar, besaß man doch nun zum ersten mal ein mathematisches Konzept zur Beschreibung kontinuierlicher, dynamischer Prozesse in der Natur und – dadurch motiviert – zur Berechnung krummlinig berandeter Flächen. Es sollten aber noch viele Jahrzehnte vergehen, bis die Integralrechnung gegen Mitte des 19. Jahrhunderts durch Augustin Louis Cauchy und Bernhard Riemann auf ein solides theoretisches Fundament gestellt wurde.

Die Verallgemeinerung des so genannten Riemann-Integrals auf höherdimensionale Räume, zum Beispiel zur Berechnung der Volumina beliebiger Körper im Raum, erwies sich jedoch als schwierig. Die Entwicklung eines moderneren und leistungsfähigeren Integralbegriffes ist untrennbar mit der Entwicklung der Maßtheorie verknüpft. Tatsächlich begannen die Mathematiker erst reichlich spät systematisch zu untersuchen, wie sich beliebigen Teilmengen des $\mathbb R^n$ in sinnvoller Weise ein Volumen zuordnen lässt. Unverzichtbare Voraussetzung für diese Arbeiten war die strenge axiomatische Begründung der reellen Zahlen durch Richard Dedekind und Georg Cantor und die Begründung der Mengenlehre durch Cantor, Ende des 19. Jahrhunderts.

Erste Antworten auf die Frage nach dem Volumen beliebiger Teilmengen des $\mathbb R^n$ gaben zum Beispiel Giuseppe Peano und Marie Ennemond Camille Jordan. Eine befriedigende Lösung dieses Problems gelingt aber erst Émile Borel und Henri Lebesgue durch die Konstruktion des Lebesgue-Maßes. 1902 formuliert Lebesgue in seiner Pariser Thèse zum ersten Mal das moderne Maßproblem und weist explizit darauf hin, es nicht in voller Allgemeinheit lösen zu können, sondern nur für eine ganz bestimmte Klasse von Mengen, die er messbare Mengen nennt. Tatsächlich sollte sich herausstellen, dass das Maßproblem nicht allgemein lösbar ist, d. h. tatsächlich Mengen existieren, denen man kein sinnvolles Maß zuordnen kann (siehe Satz von Vitali, Banach-Tarski-Paradoxon). Durch die Konstruktion des Lebesgue-Maßes stand nun der Weg für einen neuen, verallgemeinerbaren Integralbegriff offen. Die erste Definition des Lebesgue-Integrals gibt denn auch Henri Lebesgue in seiner Thèse gleich selbst. Weitere bedeutende Definitionen des Lebesgue-Integrals stammen wenig später von Frigyes Riesz (1910) und William Henry Young (1905). Die nachfolgend vorgestellte Definition, die mittlerweile in der Fachliteratur am üblichsten ist, folgt der Konstruktion Youngs.

Heutzutage ist das Lebesgue-Integral der Integralbegriff der modernen Mathematik. Seine Verallgemeinerbarkeit und seine – aus mathematischer Sicht – schönen Eigenschaften machen ihn auch zu einem unverzichtbaren Werkzeug in der Funktionalanalysis, der Physik und der Wahrscheinlichkeitstheorie.

Zur Konstruktion des Lebesgue-Integrals

Maßraum und messbare Funktionen

Das Lebesgue-Integral wird auf einem Maßraum definiert. Vereinfacht gesagt ist ein Maßraum eine Menge Ω mit einer zusätzlichen Struktur, die es erlaubt, bestimmten Teilmengen ein Maß zuzuordnen, z. B. ihre geometrische Länge (bzw. ihr Volumen). Das Maß, das letzteres leistet, heißt Lebesgue-Maß. Eine Menge $A \in \mathcal P(\Omega)$, der man ein Maß zuordnen kann heißt messbar. Dabei bezeichnet $\mathcal P(\Omega)$ die Potenzmenge von Ω. Ist A eine messbare Menge, so bezeichnet man mit $\mathcal\mu(A)$ das Maß von A. Für das Lebesgue-Maß schreibt man stattdessen üblicherweise $\mathcal\lambda(A)$ .

Integration einfacher Funktionen

So wie das Riemann-Integral mittels Approximation durch Treppenfunktionen konstruiert wird, konstruiert man das Lebesgue-Integral mit Hilfe sogenannter einfacher Funktionen. Eine einfache Funktion, auch Elementarfunktion genannt, ist eine nicht-negative messbare Funktion, die nur endlich viele Funktionswerte α_i annimmt. Somit lässt sich jede einfache Funktion Φ schreiben als

$\phi=\sum_{i=1}^n\alpha_i \chi_{A_i}$

Dabei ist $\chi_{A_i}$ die charakteristische Funktion, α_i eine positive, reelle Zahl und A_i die (messbare) Menge, auf der die Funktion den Wert α_i annimmt.

Nun lässt sich auf sehr natürliche Weise das Integral einer einfachen Funktion definieren:

$\int_\Omega \phi\ \mathrm{d}\mu=\sum_{i=1}^n\alpha_i\mu(A_i)$

Das Integral von Φ über Ω ist also einfach die Summe der Produkte aus Funktionswert von Φ und Maß der Menge, auf der die Funktion den jeweiligen Wert annimmt.

Integration nicht-negativer Funktionen und Integrierbarkeit

Nun definiert man zunächst das Integral für nicht-negative Funktionen, d. h. für Funktionen, die keine negativen Werte annehmen. Voraussetzung für die Integrierbarkeit einer Funktion ist ihre Messbarkeit.

Eine nicht-negative Funktion $f:(\Omega,\Sigma,\mu)\rightarrow(\overline\mathbb R, B)$, B Borelsche σ-Algebra, ist genau dann messbar, wenn es eine Folge $\ (f_n)_{n\in\mathbb{N}} \$ von einfachen Funktionen gibt, die punktweise und monoton wachsend gegen f konvergiert. Man definiert nun das Integral einer nicht-negativen, messbaren Funktion durch

$\int_\Omega f \mathrm d\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.

Häufig findet man in der Literatur auch folgende äquivalente Definition:

$\int_\Omega f \mathrm d\mu=\sup\left\lbrace \int_\Omega \phi \, \mathrm d\mu \, \vert \, \phi \ \text{einfach}, 0<\phi<f \right\rbrace$

Man definiert also das Integral einer nicht-negativen messbaren Funktion, indem man die Funktion „von unten“ beliebig genau durch einfache Funktionen approximiert. Man kann nun einfach das Integral einer beliebigen messbaren Funktion definieren, indem man jeweils ihren positiven und negativen Anteil integriert und voneinander abzieht. Das hat aber nur dann einen Sinn, wenn die Werte dieser beiden Integrale endlich sind.

Der Positivteil $\ f^+ \$ einer Funktion f ist definiert als $f^+ = \max \{ f \, , \, 0 \}$.

Der Negativteil $\ f^- \$ wird entsprechend durch $f^- = \max \{-f \, , \, 0\}$ definiert.

Eine Funktion heißt (Lebesgue-)integrierbar, oder genauer µ-integrierbar, oder integrierbar bezüglich des Maßes µ, wenn

$\int_\Omega f^+\ \mathrm d\mu<\infty \$ und $\int_\Omega f^-\ \mathrm d\mu<\infty \$ gilt.

Dies ist äquivalent zu :$\int_\Omega |f| \mathrm d\mu<\infty \$.

In diesem Falle heißt

$\int_\Omega f\ \mathrm d\mu = \int_\Omega f^+\ \mathrm d\mu-\int_\Omega f^-\mathrm d \mu \$.

das Integral von f über Ω. Für messbare $A\subseteq\Omega$ ist dann $\int_A f \mathrm d\mu=\int_\Omega f \cdot \chi_A\ \mathrm d\mu$ das Integral von f über A.

Wichtige Eigenschaften des Lebesgue-Integrals

Das Integral ist linear, d. h. für integrierbare Funktionen $\ f \$ und $\ g \$ und beliebige $\alpha , \beta \in \mathbb R$ ist auch $\ \alpha f + \beta g \$ integrierbar und es gilt:

$\int_ \Omega \alpha f + \beta g \, \mathrm d\mu = \alpha \cdot \int_\Omega f \mathrm d\mu + \beta \cdot \int_\Omega g \, \mathrm d\mu$

Das Integral ist monoton, d. h. sind $\ f \$ und $\ g \$ zwei messbare Funktionen mit $f\leq g$, so gilt $\int_\Omega f\ \mathrm d\mu\leq \int_\Omega g\ \mathrm{d}\mu$.

Ist $A \in \mathcal P(\Omega)$ messbar mit $\ \mu(A)=0 \$, so gilt $\ \int_ A f \mathrm d\mu = 0 \$

Konvergenzsätze

Einer der wichtigsten Vorzüge des Lebesgue-Integrals sind die aus mathematischer Sicht sehr schönen Konvergenzsätze. Dies betrifft die Vertauschbarkeit von Grenzwert und Integral bei Funktionenfolgen der Form $\ (f_n)_{n\in\mathbb{N}} \$. Die wichtigsten Konvergenzsätze sind:

Satz von der monotonen Konvergenz (Beppo Levi, 1906)

Ist $f_n:(\Omega,\Sigma,\mu)\rightarrow(\overline\mathbb R,B), n\in\mathbb N$ eine monoton wachsende Folge von nichtnegativen, messbaren Funktionen, so gilt:

$\int_\Omega \sup_{n\in\mathbb{N}} f_n\ \mathrm{d}\mu = \lim_{n\rightarrow\infty}\int_\Omega f_n\ \mathrm{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),

$\forall n\in\mathbb{N}: |f_n|\leq g$ μ-fast überall und

g integrierbar.

Dann folgt:

f integrierbar,

$\lim_{n\rightarrow\infty}\int_\Omega f_n\ \mathrm{d}\mu=\int_\Omega f\ \mathrm{d}\mu$ und

$\lim_{n\rightarrow\infty}\int_\Omega |f-f_n|\ \mathrm{d}\mu=0.$

Lemma von Fatou (Pierre Fatou)

Seien $f_n:(\Omega,\Sigma,\mu)\rightarrow(\overline\mathbb R,B), n\in\mathbb N$ messbare, nichtnegative Funktionen. Es gilt dann:

$\int_\Omega \liminf_{n\rightarrow\infty} f_n \ \mathrm{d}\mu \le \liminf_{n\rightarrow\infty} \int_\Omega f_n \ \mathrm{d}\mu$

Nullmengen und fast-überall bestehende Eigenschaften

Eine Menge $N \subset \Omega$, die das Maß 0 besitzt, heißt Nullmenge. Im Falle des Lebesgue-Maßes auch speziell Lebesgue-Nullmenge. Ist also $N \subset \Omega$ mit $\ \mu(N)=0 \$ und f eine integrierbare Funktion, so gilt:

$\int_\Omega f \, \mathrm d\mu = \int_{\Omega \setminus N}f\, \mathrm d\mu + \int_N f \, \mathrm d\mu = \int_{\Omega \setminus N}f \, \mathrm d\mu$

da das Integral über die Nullmenge N den Wert 0 annimmt. ($\Omega\backslash N$ bezeichnet die Menge Ω ohne die Menge N)

Folglich ändert sich der Wert des Integrals nicht, wenn man die Funktion f auf einer Nullmenge ändert. Besitzt eine Funktion eine Eigenschaft (Stetigkeit, punktweise Konvergenz etc.) auf dem gesamten Definitionsbereich mit Ausnahme einer Menge vom Maß 0, so sagt man, diese Eigenschaft bestehe fast-überall. In der Lebesgue'schen Integrationstheorie ist es folglich oft sinnvoll, zwei Funktionen die fast-überall übereinstimmen, auch als gleich anzusehen - man fasst sie zu einer Äquivalenzklasse zusammen (siehe hierzu auch Lp-Raum).

Es ist sogar oft so, dass man Funktionen, die nur fast überall definiert sind (z. B. der punktweise Limes einer Funktionenfolge, die nur fast überall konvergiert), als Funktionen auf dem ganzen Raum auffasst und ohne Bedenken $\int_\Omega f\,d\mu$ schreibt, auch wenn f gar nicht auf ganz Ω definiert ist. Dieses Vorgehen ist dadurch gerechtfertigt, dass jede Fortsetzung von f sich nur auf einer Nullmenge N von f unterscheidet und somit das Integral der Fortsetzung über ganz Ω den gleichen Wert hat wie das Integral über $\Omega\backslash N$.

Diese Konvention erlaubt es, viele Sätze einfacher zu formulieren, z. B. könnte man den Satz von der majorisierten Konvergenz (siehe oben) auch so aufschreiben:

Seien $f_n,g: \Omega\rightarrow\overline{\mathbb{R}}$ messbar, g integrierbar, f_n sei fast überall konvergent und jedes | f_n | sei fast überall beschränkt durch g. Dann ist jedes f_n und der Limes integrierbar und es gilt: $\int_\Omega \lim_{n\rightarrow\infty} f_n\,\mathrm d\mu=\lim_{n\rightarrow\infty}\int_\Omega f_n\,\mathrm d\mu$

Man muss beachten, dass eine Nullmenge nur im Sinne des Maßes vernachlässigbar „klein“ ist. Sie kann aber auch durchaus unendlich viele Elemente enthalten. So ist zum Beispiel die Menge $\mathbb Q \subset \mathbb R$, also die Menge der rationalen Zahlen als Teilmenge der reellen Zahlen eine Lebesgue-Nullmenge. Die Dirichlet-Funktion

$f(x)=\begin{cases}1 & , x\in\mathbb{Q}\\ 0 & , \mbox{sonst}.\end{cases}$

ist also im oben genannten Sinne gleich der Funktion, die konstant den Wert Null annimmt (Null-Funktion), obwohl es keine noch so kleine Umgebung gibt, in der ihre Werte übereinstimmen.

Schreibweisen

Für das Lebesgue-Integral werden zahlreiche Schreibweisen verwendet: Im Folgenden sei $A\subseteq\Omega$ eine messbare Menge. Will man bei der Integration die Integrationsvariable x angeben, so schreibt man $\int_A f(x)\,\mathrm{d}\mu(x)$ oder $\int_A f(x)\,\mathrm{d}\mu(dx)$ oder auch $\int_A \mu(\mathrm{d}x)\,f(x)$.

Ist μ das Lebesgue-Maß, so schreibt man statt dμ(x) einfach dx, im eindimensionalen Fall $\Omega=\mathbb R$ schreibt man $\int_a^b f(x)\,\mathrm{d}x$ für das Integral über das Intervall [a,b] oder ]a,b[.

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

Ist das Maß μ im Fall $\Omega=\mathbb R$ durch eine kumulative Funktion F definiert, so schreibt man auch $\int_A f(x) \,\mathrm{d}F(x)$ oder $\int_A f \,\mathrm{d}F$ (Stieltjes-Integral).

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

Riemann- und Lebesgue-Integral

Im Fall $\Omega = \mathbb R$ mit dem Lebesgue-Maß gilt: Ist eine Funktion auf einem kompakten Intervall Riemann-integrierbar, so ist sie auch Lebesgue-integrierbar und die Werte beider Integrale stimmen überein. Hingegen ist nicht jede Lebesgue-integrierbare Funktion auch Riemann-integrierbar. Sicher gilt dies aber dann, wenn die Menge der Unstetigkeitsstellen eine Lebesgue-Nullmenge ist (d. h. das Maß 0 hat).

Hingegen muss eine uneigentlich Riemann-integrierbare Funktion nicht als Ganzes Lebesgue-integrierbar sein, der entsprechende Grenzwert von Lebesgue-Integralen existiert jedoch nach den obigen Bemerkungen und liefert denselben Wert wie für die Riemann-Integrale. Ist jedoch | f | uneigentlich Riemann-integrierbar, dann ist f sogar als Ganzes Lebesgue-integrierbar.

Man kann leicht ein Beispiel einer uneigentlich Riemann-integrierbaren Funktion angeben, 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. Damit f aber Lebesgue-integrierbar ist, müsste notwendig $\int_{\mathbb{R}^+}|f|\mathrm d\lambda<\infty$ gelten, dies ist aber nicht der Fall, da die harmonische Reihe divergent ist. Folglich existiert das entsprechende Lebesgue-Integral nicht. Die Situation ist im folgenden Bild wiedergegeben:

Wichtiger ist der umgekehrte Fall einer Lebesgue-integrierbaren Funktion, die nicht Riemann-integrierbar ist.

Das bekannteste Beispiel dafür ist die Dirichlet-Funktion:

$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 es mehr als endlich viele Punkte gibt wo die Obersumme (=1) ungleich der Untersumme (=0) ist. Da aber $\mathbb Q\,,$ die Menge der rationalen Zahlen, in der Menge der reellen Zahlen eine Lebesgue-Nullmenge ist, ist die Funktion fast überall 0. Also existiert das Lebesgue-Integral und besitzt den Wert 0.

Der wesentliche Unterschied im Vorgehen bei der Integration nach Riemann bzw. Lebesgue besteht darin, dass beim Riemann-Integral der Definitionsbereich (Abszisse) beim Lebesgue-Integral jedoch die Bildmenge (Ordinate) der Funktion unterteilt wird. An obigen Beispielen lässt sich bereits erkennen, dass sich dieser Unterschied durchaus als entscheidend herausstellen kann. Das gilt, wie hier nicht weiter gezeigt werden soll, vor allem dann, wenn eine Funktion wie im vorigen Beispiel nur „fast überall“ definiert ist, und bei Fragen der Grenzwertbildung und Vervollständigung.

Henri Lebesgue über den Vergleich zwischen Riemann- und Lebesgue-Integral

"Man kann sagen, dass man sich bei dem Vorgehen von Riemann verhält wie ein Kaufmann ohne System, der Geldstücke und Banknoten zählt in der Reihenfolge, wie er sie in die Hand bekommt; während wir vorgehen wie ein umsichtiger Kaufmann, der sagt:

Ich habe m(E₁) Münzen zu einer Krone, macht 1∙m(E₁)

ich habe m(E₂) Münzen zu zwei Kronen, macht 2∙m(E₂)

ich habe m(E₃) Münzen zu fünf Kronen, macht 5∙m(E₃)

usw., ich habe also insgesamt S=1∙m(E₁)+ 2∙m(E₂) + 5∙m(E₃) + ...

Die beiden Verfahren führen sicher den Kaufmann zum gleichen Resultat, weil er – wie reich er auch sei – nur eine endliche Zahl von Banknoten zu zählen hat; aber für uns, die wir unendlich viele Indivisiblen zu addieren haben, ist der Unterschied zwischen beiden Vorgehensweisen wesentlich."

(H. Lebesgue, 1926; zitiert nach J.Elstrodt)

Literatur

Jürgen Elstrodt: Maß- und Integrationstheorie. 2. Auflage. Springer, Heidelberg 1999, ISBN 3-540-65420-8, IV. Das Lebesgue-Integral, S. 118-160. 

Walter Rudin: Analysis. dt. Ausgabe. 2. Auflage. Oldenbourg, München/ Wien 2002, ISBN 3-486-25810-9, 11 Die Lebesguesche Theorie, S. 353 - 392.