Übungsquiz zu Grundlagen der Lebesgue-Integration mit interaktiver Schritt-für-Schritt-Lektion
Nutze das Quiz weiter unten auf der Seite, um Grundlagen der Lebesgue-Integration zu üben: messbare Mengen, Indikatorfunktionen \(1_A\), Nullmengen und Aussagen, die fast überall gelten, einfache Funktionen \(\sum a_i1_{A_i}\), nichtnegative Integrale, Monotonie, \(L^1\)-Integrierbarkeit über \(\int |f|<\infty\), den Satz von der monotonen Konvergenz, das Fatou-Lemma, dominierte Konvergenz und häufige Fallen mit unendlichem Maß oder Änderungen auf Nullmengen. Wenn du etwas auffrischen möchtest, öffne die Lektion. Dort findest du leicht nachvollziehbare Beispiele und kurze Kontrollfragen.
Beantworte die Fragensammlung und prüfe deine Fehler am Ende.
So funktioniert diese Übung zu den Grundlagen der Lebesgue-Integration
1. Bearbeite das Übungsset: Beantworte Fragen zu Indikatoren, Nullmengen, einfachen Funktionen, Integrierbarkeit und Konvergenzsätzen.
2. Öffne die Lektion: Wiederhole Definitionen, Satzvoraussetzungen und kurze Beispiele, bevor du es erneut versuchst.
3. Erneut versuchen: Kehre zum Fragenset zurück und übersetze jede Aufgabe in eine Maßberechnung, eine Aussage fast überall oder eine Checkliste für Konvergenzsätze.
Was du in der Lektion zu den Grundlagen der Lebesgue-Integration lernst
Indikatoren und Nullmengen
Indikatorregel: \(\int 1_A\,d\mu=\mu(A)\).
Nullmengen: Das Ändern von Werten auf einer Nullmenge ändert das Integral nicht.
Fast überall: Eine Eigenschaft darf auf einer Nullmenge scheitern und trotzdem fast überall gelten.
Einfache Funktionen und \(L^1\)
Einfache Funktionen: endliche Summen \(\sum a_i1_{A_i}\) über messbare Mengen.
Nichtnegatives Integral: von unten durch einfache Funktionen approximieren.
Integrierbar: \(f\in L^1\) bedeutet \(\int |f|\,d\mu<\infty\); in \(L^1\) werden Funktionen, die fast überall gleich sind, als dieselbe Klasse betrachtet.
Lektion zu den Grundlagen der Lebesgue-Integration
1 / 8
Lektionsüberblick
Ziel: Baue dir einen verlässlichen ersten Werkzeugkasten für die Lebesgue-Integration auf: Integrale von Indikatoren und einfachen Funktionen berechnen, Nullmengen und Gleichheit fast überall korrekt nutzen, nichtnegative Integrale von endlichen \(L^1\)-Integralen unterscheiden, Monotonie und absolute Integrierbarkeit anwenden und zwischen monotoner Konvergenz, dem Fatou-Lemma und dominierter Konvergenz wählen, indem du zuerst die Voraussetzungen prüfst.
Erfolgskriterien
Berechne \(\int 1_A\,d\mu=\mu(A)\) und \(\int c\,1_A\,d\mu=c\mu(A)\).
Nutze abzählbare Additivität für disjunkte messbare Mengen, Mengenmonotonie \(A\subset B\Rightarrow\mu(A)\le\mu(B)\) und abzählbare Nullmengen.
Erkläre, dass eine Eigenschaft fast überall gilt, wenn sie nur auf einer Nullmenge scheitert.
Integriere eine nichtnegative einfache Funktion \(\sum a_i1_{A_i}\) als \(\sum a_i\mu(A_i)\) über disjunkte messbare Teilmengen.
Wisse, dass das nichtnegative Integral \(+\infty\) sein darf und dass aus \(\int f=0\) zusammen mit \(f\ge0\) folgt, dass \(f=0\) fast überall.
Verwende \(f\in L^1\) als Kurzschreibweise für \(\int |f|\,d\mu<\infty\), und \(f_n\to f\) in \(L^1\) für \(\int |f_n-f|\,d\mu\to0\).
Wende \(L^1\)-Fakten an: Funktionen sind fast überall endlich, Summen bleiben integrierbar, \(|\int f|\le\int |f|\), und fast überall gleiche Funktionen stellen dasselbe \(L^1\)-Element dar.
Nutze monotone Konvergenz für \(0\le f_n\uparrow f\).
Nutze das Fatou-Lemma und den Satz von der dominierten Konvergenz mit der richtigen Ungleichung und den richtigen Voraussetzungen.
Wichtige Begriffe
Indikator: \(1_A(x)=1\) auf \(A\) und \(0\) außerhalb von \(A\).
Nullmenge: eine messbare Menge \(N\) mit \(\mu(N)=0\).
Fast überall: gilt außerhalb einer Nullmenge.
Einfache Funktion: eine messbare Funktion mit endlichem Wertebereich, meist geschrieben als \(\sum a_i1_{A_i}\).
Nichtnegatives Integral: das Supremum der Integrale einfacher Funktionen unterhalb von \(f\).
\(L^1\): der Raum integrierbarer Funktionen mit \(\int |f|<\infty\).
Schneller Vorabcheck
Vorabcheck: Was ist \(\int 1_A\,d\mu\)?
Hinweis: Der Indikator zählt Maß, nicht Randpunkte oder einen Maximalwert.
Indikatoren verbinden Mengenmaß und Integral
Lernziel: Behandle \(1_A\) als die grundlegende Brücke zwischen Maß und Integral und nutze Nullmengen, ohne punktweise Ausnahmen zu überschätzen.
Kernidee
Für jede messbare Menge \(A\) ist das Lebesgue-Integral ihres Indikators ihr Maß: \[\int 1_A\,d\mu=\mu(A).\] Wenn \(c\ge0\), dann gilt \(\int c\,1_A\,d\mu=c\mu(A)\). Wenn \(A\) und \(B\) disjunkt sind, gilt \(1_A+1_B=1_{A\cup B}\), also spiegelt Integration abzählbare Additivität wider. Wenn \(A\subset B\), dann ist \(1_A\le1_B\), also \(\mu(A)\le\mu(B)\).
Beispiele
Auf \(\mathbb{R}\) mit dem Längenmaß gilt \(\int 1_{[1,3]}\,dx=2\).
Einelementige Mengen haben Maß \(0\), also \(\int 1_{\{0\}}\,dx=0\).
Die rationalen Zahlen in \([0,1]\) sind abzählbar und daher eine Nullmenge.
\(\int 1_{\mathbb{R}}\,dx=+\infty\) auf der ganzen reellen Achse.
Fast überall
Eine Aussage gilt fast überall, wenn die Menge, auf der sie scheitert, Maß \(0\) hat. Integrale nichtnegativer messbarer Funktionen und \(L^1\)-Funktionen ändern sich nicht, wenn die Funktion auf einer Nullmenge verändert wird.
Ausgearbeitetes Beispiel
Beispiel: Was ist \(\int_0^1 1_{\mathbb{Q}}(x)\,dx\)?
Innerhalb von \([0,1]\) sind die rationalen Zahlen abzählbar und haben Lebesgue-Maß \(0\). Daher ist \(1_{\mathbb{Q}}\) gleich \(0\) fast überall auf \([0,1]\), und das Integral ist \(0\).
Aufgabe
Aufgabe: Wenn eine Eigenschaft nur auf den rationalen Zahlen in \([0,1]\) scheitert, gilt sie dann fast überall?
Hinweis: Eine abzählbare Menge hat Lebesgue-Maß \(0\).
Einfache Funktionen sind die Bausteine des Integrals
Lernziel: Berechne Integrale einfacher Funktionen und erkenne, warum nichtnegative Integrale durch Approximation von unten aufgebaut werden.
Kernidee
Eine nichtnegative einfache Funktion hat die Form \(s=\sum_{i=1}^m a_i1_{A_i}\), wobei \(a_i\ge0\) und die messbaren Mengen \(A_i\) disjunkt gewählt werden können. Ihr Integral ist \[\int s\,d\mu=\sum_{i=1}^m a_i\,\mu(A_i).\] Für eine nichtnegative messbare Funktion \(f\) definiert man \(\int f\) als Supremum von \(\int s\) über einfache \(0\le s\le f\).
Konstruktionsschritte
Zerlege den Grundraum in messbare Niveaumengen.
Nutze auf jeder Niveaumenge einen konstanten Wert.
Multipliziere jeden Wert mit dem Maß der Menge, auf der er angenommen wird.
Addiere die Beiträge; bei nichtnegativen Funktionen darf das Ergebnis \(+\infty\) sein.
Ausgearbeitetes Beispiel
Beispiel: Sei \(A\cap B=\emptyset\), \(\mu(A)=2\), \(\mu(B)=5\) und \(s=3\,1_A+1_B\). Finde \(\int s\,d\mu\).
Nutze die Regel für einfache Funktionen: \[\int s\,d\mu=3\mu(A)+1\mu(B)=3\cdot2+5=11.\]
Aufgabe
Aufgabe: Wenn \(A\cap B=\emptyset\), \(\mu(A)=3\), \(\mu(B)=1\) und \(s=2\,1_A+5\,1_B\), was ist \(\int s\,d\mu\)?
Hinweis: Multipliziere jeden konstanten Wert mit dem Maß der Menge, auf der er vorkommt, und addiere dann.
Endliche \(L^1\)-Integrale beruhen auf absoluter Integrierbarkeit
Lernziel: Unterscheide nichtnegative erweiterte Integrale von endlichen Integralen vorzeichenbehafteter Funktionen und nutze Monotonie sicher.
Kernidee
Für eine reellwertige messbare Funktion schreibe \(f=f^+-f^-\), wobei \(f^+=\max(f,0)\) und \(f^-=\max(-f,0)\). Das Integral \(\int f\) ist endlich, wenn \(\int |f|\,d\mu<\infty\). Genau das bedeutet \(f\in L^1\). Absolute Integrierbarkeit verhindert den undefinierten Ausdruck \(+\infty-\infty\).
Merksätze
Wenn \(f\ge0\), dann gilt \(\int f\ge0\), möglicherweise \(+\infty\).
Wenn \(f\ge0\) und \(\int f\,d\mu=0\), dann ist \(f=0\) fast überall.
Wenn \(0\le f\le g\) fast überall gilt, dann gilt \(\int f\le\int g\).
Wenn \(|f|\le g\) und \(g\in L^1\), dann ist \(f\in L^1\).
Wenn \(f\in L^1\), dann ist \(f\) fast überall endlich und \(|\int f\,d\mu|\le\int |f|\,d\mu<\infty\).
Wenn \(f,g\in L^1\), dann ist \(f+g\in L^1\).
Wenn \(f=0\) fast überall, dann gilt \(\int |f|=0\).
Wenn \(f=g\) fast überall und beide integrierbar sind, dann gilt \(\int f=\int g\); in \(L^1\) stellen sie dasselbe Element dar.
\(f_n\to f\) in \(L^1\) bedeutet \(\int |f_n-f|\,d\mu\to0\).
Ausgearbeitetes Beispiel
Beispiel: Angenommen, \(|f|\le 2\,1_{[0,3]}\) auf \(\mathbb{R}\). Warum ist \(f\in L^1\)?
Die dominierende Funktion hat ein endliches Integral: \(\int 2\,1_{[0,3]}\,dx=2\cdot3=6\). Da \(|f|\le 2\,1_{[0,3]}\), liefert Monotonie \(\int |f|\le6\), also ist \(f\) integrierbar.
Aufgabe
Aufgabe: Wenn \(0\le f\le g\) fast überall gilt, was folgt für die nichtnegativen Integrale?
Hinweis: Das Lebesgue-Integral erhält die Ordnung für nichtnegative messbare Funktionen.
Bei wachsenden nichtnegativen Folgen darfst du Grenzwert und Integral vertauschen
Lernziel: Erkenne den Satz von der monotonen Konvergenz und nutze ihn, ohne eine zusätzliche dominierende Funktion zu verlangen.
Kernidee
Wenn \(0\le f_1\le f_2\le\cdots\) und \(f_n(x)\uparrow f(x)\) punktweise, dann gilt \[\lim_{n\to\infty}\int f_n\,d\mu=\int f\,d\mu.\] Der Wert darf \(+\infty\) sein. Nichtnegativität und monotones Wachstum sind die entscheidenden Voraussetzungen.
Satz-Checkliste
Jedes \(f_n\) ist messbar und nichtnegativ.
Die Folge wächst punktweise: \(f_n\le f_{n+1}\).
Der punktweise Grenzwert ist \(f=\sup_n f_n\).
Es wird keine integrierbare dominierende Funktion verlangt.
Die Schlussfolgerung ist Konvergenz der Integrale gegen das Integral des Grenzwerts.
Ausgearbeitetes Beispiel
Beispiel: Sei \(f_n=1_{[0,1-1/n]}\) auf \([0,1]\). Finde \(\lim_n\int f_n\,dx\).
Die Mengen \([0,1-1/n]\) wachsen gegen \([0,1)\). Also gilt \(f_n\uparrow 1_{[0,1)}\). Mit monotoner Konvergenz folgt \[\lim_n\int f_n\,dx=\int 1_{[0,1)}\,dx=1.\]
Aufgabe
Aufgabe: Für \(f_n=1_{[0,1-1/n]}\) auf \([0,1]\): Wogegen konvergieren die Integrale?
Hinweis: Die Grenzmenge hat Länge \(1\), obwohl ein Randpunkt fehlt.
Fatou liefert auch unter schwachen Voraussetzungen eine einseitige Ungleichung
Lernziel: Merke dir die Richtung des Fatou-Lemmas und wann keine Gleichheit zu erwarten ist.
Kernidee
Für nichtnegative messbare Funktionen \(f_n\) sagt das Fatou-Lemma \[\int \liminf_{n\to\infty} f_n\,d\mu\le \liminf_{n\to\infty}\int f_n\,d\mu.\] Es ist eine Aussage über untere Halbstetigkeit: Masse kann im Grenzwert verschwinden, aber das Integral des unteren Grenzwerts kann den unteren Grenzwert der Integrale nicht überschreiten.
Aussage
Nutze es, wenn du nichtnegative Funktionen hast, aber kein monotones Wachstum.
Es liefert eine Ungleichung, keine automatische Gleichheit.
Es beweist oft untere Schranken für Grenzintegrale.
Ein häufiger Fehler ist das Umdrehen der Ungleichung.
Ausgearbeitetes Beispiel
Beispiel: Sei \(f_n=n\,1_{(0,1/n)}\) auf \([0,1]\). Was zeigt Fatou?
Für jedes n gilt \(\int_0^1 f_n\,dx=1\). Für jedes feste \(x\in[0,1]\) gilt \(f_n(x)\to0\); anschaulich bleibt an keinem Punkt Masse zurück, also ist \(\liminf f_n=0\). Fatou liefert \(0=\int0\le\liminf\int f_n=1\). Gleichheit ist nicht erzwungen.
Aufgabe
Aufgabe: Welche Ungleichung ist das Fatou-Lemma für nichtnegative \(f_n\)?
Hinweis: Das Integral des liminf steht auf der kleineren Seite.
Eine integrierbare Majorante erlaubt den Grenzübergang unter dem Integral
Lernziel: Wende dominierte Konvergenz an, indem du Konvergenz fast überall und eine integrierbare Majorante prüfst.
Kernidee
Wenn \(f_n\to f\) fast überall und es eine einzige Majorante \(g\in L^1\) gibt, sodass \(|f_n|\le g\) für alle \(n\), dann gilt \(f\in L^1\), \(\int |f_n-f|\,d\mu\to0\) und \(\int f_n\,d\mu\to\int f\,d\mu\). Dasselbe \(g\) muss für die ganze Folge funktionieren.
Satz-Checkliste
Messbarkeit der beteiligten Funktionen.
Punktweise Konvergenz oder Konvergenz fast überall \(f_n\to f\).
Eine einzige Majorante mit \(|f_n|\le g\) für jedes \(n\).
Die Majorante ist integrierbar: \(g\in L^1\).
Schlussfolgerung: Konvergenz in \(L^1\) und Konvergenz der Integrale.
Ausgearbeitetes Beispiel
Beispiel: Nutze auf \([0,1]\) dominierte Konvergenz für \(f_n(x)=x^n\).
Es gilt \(0\le x^n\le1\), und \(1\in L^1([0,1])\). Außerdem gilt \(x^n\to0\) für \(0\le x<1\) und \(x^n\to1\) bei \(x=1\), einer Ausnahme auf einer Nullmenge. Dominierte Konvergenz liefert \(\int_0^1 x^n\,dx\to0\). Tatsächlich ist \(\int_0^1x^n\,dx=1/(n+1)\).
Aufgabe
Aufgabe: Was ist die entscheidende Zusatzvoraussetzung bei dominierter Konvergenz?
Hinweis: Punktweise Konvergenz braucht eine integrierbare Majorante, die die ganze Folge kontrolliert.
Die meisten Fehler ignorieren Nullmengen, Unendlichkeit oder Satzvoraussetzungen
Lernziel: Schließe mit den Unterscheidungen ab, die deinen grundlegenden Lebesgue-Werkzeugkasten zuverlässig machen.
Häufige Fallen
Änderungen auf Nullmengen: Sie ändern Integrale nichtnegativer oder integrierbarer Funktionen nicht.
Punktweise gegenüber fast überall: Ausnahmen an einzelnen Punkten spielen für Integration meistens keine Rolle.
Unendliches Maß: \(1_{\mathbb{R}}\) liegt nicht in \(L^1(\mathbb{R})\).
Nichtnegatives Integral: Es darf \(+\infty\) sein.
Vorzeichenbehaftetes Integral: Vermeide \(+\infty-\infty\); nutze \(\int |f|<\infty\) für \(L^1\).
Dominierte Konvergenz: braucht eine einzige integrierbare Majorante, nicht nur punktweise Konvergenz.
Fatou: liefert eine einseitige Ungleichung, keine Gleichheit durch Grenzwertdurchgang.
Ausgearbeitetes Beispiel
Beispiel: Warum ist \(1_{\mathbb{Q}\cap[0,1]}\) mit Integral \(0\) integrierbar, während \(1_{\mathbb{R}}\) auf \(\mathbb{R}\) nicht in \(L^1\) liegt?
Die erste Funktion ist auf einem endlichen Intervall fast überall \(0\), also ist ihr Integral \(0\). Die zweite hat \(\int_{\mathbb{R}}1\,dx=\mu(\mathbb{R})=+\infty\), also ist ihr Integral des Betrags nicht endlich und sie liegt nicht in \(L^1(\mathbb{R})\).
Aufgabe
Aufgabe: Wenn \(f=g\) fast überall gilt und beide integrierbar sind, was folgt?
Hinweis: Die Differenz \(f-g\) ist fast überall null.
Abschluss-Wiederholung
\(\int 1_A\,d\mu=\mu(A)\), und \(A\subset B\Rightarrow\mu(A)\le\mu(B)\).
Abzählbare Nullmengen haben Maß \(0\), und eine abzählbare Vereinigung von Nullmengen ist wieder eine Nullmenge.
Gleichheit fast überall reicht für Gleichheit der Integrale im nichtnegativen oder integrierbaren Fall.
Einfache Funktionen integriert man, indem man Wert mal Maß über messbare Stücke summiert.
Das nichtnegative Integral darf \(+\infty\) sein; wenn \(f\ge0\) und \(\int f=0\), dann gilt \(f=0\) fast überall.
\(f\in L^1\) bedeutet \(\int |f|<\infty\); dann ist \(f\) fast überall endlich, \(|\int f|\le\int |f|\), und Summen von \(L^1\)-Funktionen bleiben in \(L^1\).
\(L^1\) identifiziert Funktionen, die fast überall übereinstimmen; \(f_n\to f\) in \(L^1\) bedeutet \(\int |f_n-f|\to0\).
Monotonie: \(0\le f\le g\) fast überall impliziert \(\int f\le\int g\).
Monotone Konvergenz gilt für \(0\le f_n\uparrow f\).
Das Fatou-Lemma liefert \(\int\liminf f_n\le\liminf\int f_n\) für nichtnegative \(f_n\).
Dominierte Konvergenz braucht \(f_n\to f\) fast überall und \(|f_n|\le g\in L^1\).
Nächster Schritt: Schließe diese Lektion und versuche das Quiz erneut. Frage dich bei jeder Aufgabe zuerst, ob sie eine Indikatorrechnung, eine Ausnahme auf einer Nullmenge, eine Summe einfacher Funktionen, \(L^1\)-Integrierbarkeit, monotone Konvergenz, das Fatou-Lemma oder dominierte Konvergenz testet.
