Ü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 Prüfenliste 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 Integrale
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-Prüfenliste
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-Prüfenliste
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.
Übungsset
Übungsfragen zu Lebesgue Integration Basics mit sofortiger Punktzahl
Beantworte alle 10 Fragen unten und erhalte danach deine Punktzahl sowie eine Fehlerübersicht, damit du genau weißt, was du verbessern kannst.
0/10beantwortet
Frage 1Nicht beantwortet
Was ist das Lebesgue-Integral der Indikatorfunktion \(1_A\)?
Richtige Antwort: C. Das Maß von \(A\)
Erklärung: Das Integral einer Indikatorfunktion ist das Maß der Menge.
Frage 2Nicht beantwortet
Wenn eine Menge Maß null hat, was ist \(\int 1_A\)?
Richtige Antwort: B. \(0\)
Erklärung: Das Integral von \(1_A\) ist gleich dem Maß von \(A\).
Frage 3Nicht beantwortet
Wenn man eine messbare Funktion auf einer Nullmenge ändert, ändert sich ihr Lebesgue-Integral:
Richtige Antwort: C. Überhaupt nicht
Erklärung: Die Lebesgue-Integration ignoriert Änderungen auf Mengen vom Maß null.
Frage 4Nicht beantwortet
Was bedeutet "fast überall"?
Richtige Antwort: C. Außer auf einer Menge vom Maß null
Erklärung: Eine Eigenschaft gilt fast überall, wenn sie nur auf einer Menge vom Maß null scheitert.
Frage 5Nicht beantwortet
Das Integral einer nichtnegativen messbaren Funktion ist immer:
Richtige Antwort: B. Nichtnegativ, möglicherweise unendlich
Erklärung: Es kann nicht negativ sein, kann aber unendlich sein.
Frage 6Nicht beantwortet
Welcher Satz gilt für eine wachsende Folge \(0\le f_n\uparrow f\)?
Richtige Antwort: B. Satz von der monotonen Konvergenz
Erklärung: Der Satz von der monotonen Konvergenz behandelt wachsende nichtnegative Folgen.
Frage 7Nicht beantwortet
Welcher Satz benutzt eine dominierende integrierbare Funktion, um einen Grenzwert unter das Integral zu ziehen?
Richtige Antwort: D. Satz von der dominierten Konvergenz
Erklärung: Der Satz von der dominierten Konvergenz benutzt eine integrierbare Schranke.
Frage 8Nicht beantwortet
Wenn \(f=0\) fast überall ist, dann ist \(\int |f|\):
Richtige Antwort: A. \(0\)
Erklärung: Eine fast überall verschwindende Funktion hat Integral null für ihren Betrag.
Frage 9Nicht beantwortet
Eine einfache Funktion nimmt:
Richtige Antwort: A. Endlich viele Werte an
Erklärung: Einfache Funktionen nehmen nur endlich viele Werte an und sind Bausteine des Integrale.
Frage 10Nicht beantwortet
Das Lebesgue-Integral eignet sich besonders gut für:
Richtige Antwort: C. Grenzwerte messbarer Funktionen
Erklärung: Seine Konvergenzsätze erleichtern das Integrieren von Grenzwerten von Funktionen.
