Zum Inhalt springen

Buchanfang Maßtheorie by Richard4321/ Sigma-Algebren – Serlo „Mathe für Nicht-Freaks“

Aus Wikibooks
To-Do:
  • Formatierung: Keine GROSSCHREIBUNG
  • Mehr Struktur: siehe epsilon-delta-Kriterium
  • wie kommt man auf den Beweis: bitte kompletten Wege beschreiben, wenn Lösungsweg ungleich Beweis siehe x² stetig bei epsilon delta Kriterium
  • komplexe Liste, geordnete Liste
  • Übergänge Definition, Satz, Beispiel
  • Überschrift Übungsaufgaben
  • mehr Text als Beschreibung
  • Paragraphen sind länger als ein Satz
  • Pro Satz oft eine Überschrift
  • Farben


In der Maßtheorie wollen wir Mengen eine Länge, eine Fläche oder ein Volumen zuordnen. Unser Ziel ist, später die "guten" Mengen durch abzählbar viele Intervalle, Rechtecke oder Quader "minimal" zu überdecken und damit die Länge, die Fläche oder das Volumen der "guten" Menge zu bestimmen.

Wir hatten in den letzten Kapiteln die endlichen disjunkten Vereinigungen der Rechtecke betrachtet: diese bilden einen Ring (mit sind auch ). Ihnen konnten wir eindeutig eine Fläche zuordnen. Wenn ihre abzählbare Vereinigung wieder die Form einer endlichen disjunkten Vereinigung von Rechtecken hat und ihre Fläche die abzählbare Summe der Einzelflächen ist, in mathematischer Schreibweise

dann nannten wir die Mengenfunktion sigma-additiv. Wir haben gezeigt, dass die Sigma-Additivität (fast) gleich bedeutend ist zur Stetigkeit von oben oder von unten der Flächenfunktion.

Jetzt endlich definieren wir die Mengensysteme der "guten" Mengen, denen die Flächenfunktion eindeutig ein Fläche zuordnen kann: Sigma-Algebren. Jene Mengen, die sich durch abzählbar viele Intervalle oder Rechtecke "gut" und "minimal" überdecken lassen.

Wenn wir "gute" Mengen gegeben haben, denen wir ein Volumen zuordnen können, so soll ihre höchstens abzählbare Vereinigung wieder eine "gute" Menge sein und auch ihr Komplement soll eine "gute" Menge sein. Die Grundmenge soll immer eine "gute" Menge sein. Diese Forderungen erscheinen selbstverständlich, dennoch sind Sigma-Algebren vielfältig, was wir uns in mehreren Übungsaufgaben bewusst machen wollen.

Im Folgenden definieren wir uns die von einem beliebigen Mengensystem erzeugte Sigma-Algebra. Insbesondere die von den Intervallen oder Rechtecken erzeugte Sigma-Algebra. Das ist entscheidend, da Sigma-Algebren nicht anschaulich sind. Man führt deshalb Beweise auf dem sehr anschaulichen Erzeugendensystem und zeigt, dass die Eigenschaft eine Sigma-Algebra erfüllt. Damit gilt die Eigenschaft für die vom Erzeugendensystem erzeugte Sigma-Algebra. Das benötigen wir insbesondere, um die Messbarkeit von Funktionen nachzuprüfen, aber auch für viele nachfolgende Übungsaufgaben (siehe unten).

Die sigma-additive Flächenfunktion lässt sich später eindeutig auf die von dem Ring der endlichen vielen disjunkten Rechtecke erzeugte Sigma-Algebra fortsetzen. Deshalb benötigen wir die erzeugte Sigma-Algebra.

Definition (Sigma-Algebra)

Das Mengensystem heißt Sigma-Algebra genau dann wenn

  1. Die Grundmenge ist in :
  2. Komplemente sind wieder in : Aus folgt
  3. Abzählbare Vereinigungen sind wieder in :

Aus folgt

Wir hatten für Ringe eine Anschauung als die Menge der endlichen disjunkten Vereinigung von Rechtecken. Für Sigma-Algebren gibt es keine analoge Anschauung: die von den Rechtecken erzeugte Sigma-Algebra ist viel größer als der Ring , sie umfasst zum Beispiel Kreise und unendlich große Mengen.

Satz

  1. Die Potenzmenge von , , ist eine Sigma-Algebra. Das benötigen wir, damit die erzeugte Sigma-Algebra existiert.
  2. Die leere Menge ist in der Sigma-Algebra:
  3. Beliebige abzählbare Schnitte sind in der Sigma-Algebra:

Aus folgt

Beweis

1.):

Wir rechnen einfach die Eigenschaften der Sigma-Algebra nach. Da die Potenzmenge alle Teilmengen umfasst, sind die Eigenschaften automatisch erfüllt.

2.) und 3.):

Man erhält die Aussagen durch Komplementbildung, gegenüber der die Sigma-Algebra abgeschlossen ist:

Aufgabe (Besondere Mengen in Sigma-Algebren)

Sei eine Sigmaalgebra über dem Raum und . Sei die Menge der , die in unendlich vielen der enthalten sind und die Menge der , die in fast allen enthalten ist.

a) Sind dann auch ?

b) Zeige

Wie kommt man auf den Beweis? (Besondere Mengen in Sigma-Algebren)

a) Stelle durch Komplemente, Vereinigungen und Schnitte der dar.

b) Argumentiere mit der Anschauung.

Lösung (Besondere Mengen in Sigma-Algebren)

a) Für gilt: für alle gibt es ein sodass

Das schreiben wir in Mengenschreibweise zu

Somit gilt

Für gilt: es gibt ein sodass für alle gilt

Das schreiben wir in Mengenschreibweise zu

Somit gilt

Und da die Sigma-Algebra abgeschlossen ist unter endlichen und abzählbaren Vereinigungen und Schnitten, sind !

b) in unendlich vielen der . Da und nur je zwei Mengen sind, muss in unendlich vielen oder in unendlich vielen liegen, d.h.

in unendlich vielen oder in unendlich vielen . Insbesondere folgt in unendlich vielen , d.h.

Aufgabe (Eine einfache Sigma-Algebra)

Zeige dass über eine Sigma-Algebra gegeben wird durch

Ganz analog geht das über jeder anderen Grundmenge.

Lösung (Eine einfache Sigma-Algebra)

, da abzählbar ist, nämlich Null Elemente hat.

Sei . Dann ist nach Definition oder abzählbar. Betrachte . Dann ist abzählbar oder abzählbar und somit .

Seien .

1. Fall: Alle sind abzählbar. Dann ist auch abzählbar und somit in .

2. Fall: Ein ist abzählbar. Dann ist

und somit ist abzählbar und ein Element von .


Aufgabe (Mögliche Sigma-Algebren)

Bestimme alle Sigma-Algebren der Menge .

Wie kommt man auf den Beweis? (Mögliche Sigma-Algebren)

Überlege, welche Mengen in JEDER Sigma-Algebra sind und dann nimm einzelne Mengen schrittweise hinzu, um komplexere Sigma-Algebren zu konstruieren.

Lösung (Mögliche Sigma-Algebren)

Die leere Menge und die gesamte Menge sind in jeder Sigma-Algebra.

Dann nehmen wir die Menge hinzu, und schauen, welche Sigmaalgebra sich ergibt. Analog ergibt sich für und eine andere Sigma-Algebra.

Dann nehmen wir zwei der Einpunktmengen hinzu und betrachten die erzeugte Sigmaalgebra.

Analog nehmen wir drei Einpunktmengen hinzu.

Nun schauen wir noch, ob sich aus den Zweipunktmengen und Dreipunktmengen mit dem selben Verfahren verschiedene Sigma-Algebren ergeben.

Die einfachste Sigma-Algebra ist

Wegen der Komplementbildung ergeben sich mit den Einpunktmengen 4 neue Sigma-ALgebren

Mit Komplementbildung und Vereinigung ergeben sich mit zwei Einpunktmengen 6 neue Sigmaalgebren

Mit drei Einpunktmengen ist durch das Komplement auch die vierte Einpunktmenge enthalten, das ergibt die Potenzmenge

Mit einer Zweipunktmenge erhalten wir duch Komplementbildung 3 neue Sigma-Algebren

Mit zwei komplementären Zweipunktmengen erhalten wir dasselbe.

Für erhalten wir durch Schnittbildung und Vereinigung

und weiter durch Komplementbildung

und weiter durch Vereinigung

und weiter durch Komplementbildung und darauffolgende Vereinigung

Das ist wieder die Potenzmenge.

Aus der einelementigen und der zweielementigen Menge ergibt sich durch Komplementbildung

und wieder mit Vereinigung und Komplementbildung die Sigma-Algebra

Diese hatten wir schon oben bestimmt. Es ist die von und erzeugte.

Aus der einelementigen und der disjunkten zweielementigen Menge ergibt sich durch Komplementbildung

und wieder mit Vereinigung und Komplementbildung die Sigma-Algebra

Diese hatten wir schon oben bestimmt. Es ist die von und erzeugte.

Aus dreielementigen Mengen entstehen durch Komplementbildung dieselben Sigma-Algebren wie aus einelementigen Mengen, und diese haben wir oben schon bestimmt.

Jetzt haben wir alle gesuchten Sigma-Algebren gefunden.

Wir suchen gleich eine kleinste Sigma-Algebra. Dafür benötigen wir folgenden Satz.

Satz (Der Schnitt von Sigma-Algebren)

Seien Sigma-Algebren. Dann ist der Schnitt

wieder eine Sigma-Algebra.

Beweis (Der Schnitt von Sigma-Algebren)

Seien abzählbare viele Mengen aus dem Schnitt der Sigma-Algebren vorgegeben:

.

Da der Schnitt ist, sind die in allen enthalten.

Da alle Sigma-Algebren sind, gilt nach der Definition der Sigma-Algebren

Da der Schnitt ist, gilt es auch für

Definition (Die erzeugte Sigma-Algebra)

Sei ein beliebiges (!) Mengensystem und seien alle Sigma-Algebren über , die enthalten. Dann heißt

die von erzeugte Sigma-Algebra. Sie ist die kleinste Sigma-Algebra über , die enthält. Es gilt

Beweis

Wir haben gerade gezeigt, dass eine Sigma-Algebra ist. Diese enthält automatisch . Damit ist der Schnitt nicht leer:

.

Wir haben im vorherigen Satz gezeigt, dass der Schnitt von Sigma-Algebren wieder eine Sigma-Algebra ist. Zudem enthalten alle Sigma-Algebren, über die geschnitten wird, . Damit ist eine Sigma-Algebra, die enthält und sie ist somit eine (und durch den Schnitt die kleinste) der . Es folgt

Da der Schnitt aller Sigma-Algebren ist, die enthalten, enthält er bestimmt , d.h.

Da die kleinste Sigma-Algebra ist, die enthält, insbesondere über geschnitten wird, folgt

Als Erzeugendensystem wählen wir später unseren Ring und betrachten .

Aufgabe (Einfache erzeugte Sigma-Algebren)

a) Bestimme die von den Einpunkt-Mengen in erzeugte Sigma-Algebra.

b) Bestimme die von den endlichen Mengen in erzeugte Sigma-Algebra.

c) Bestime

Wie kommt man auf den Beweis? (Einfache erzeugte Sigma-Algebren)

Überlege: Welche Mengen müssen automatisch in der erzeugten Sigma-Algebra sein? Schaue dann nach, welche Sigma-Algebren wir schon konstruiert haben.

Lösung (Einfache erzeugte Sigma-Algebren)

a) und b) Wegen der abzählbaren Vereinigung, müssen beliebige abzählbare Vereinigungen von Einpunktmengen, d.h. abzählbare Mengen in der Sigma-Agebra sein.

Wegen der Komplementbildung auch ihre Komplemente.

Damit entsteht beidemale die Sigma-Algebra, die wir oben bestimmt haben

Da die angegebenen Mengen auf jeden Fall in der Sigma-Algebra sein müssen, ist es die kleinste, die die Einpunktmengen und die endlichen Mengen enthält.

c) Da mit auch in der erzeugten Sigma-Algebra liegt, gilt


Aufgabe

Sei die Grundmenge und Mengensysteme. Es gelte zudem und . Folgt dann ?

Beweis

Ja, denn:

ist die kleinste Sigma-Algebra, die enthält und nach Konstruktion eines Schnittes in JEDER Sigma-Algebra enthalten, die enthält.

Da nach Voraussetzung in enthalten ist, folgt .

Ganz analog folgt .

Damit sind die beiden Mengen gleich:

Aufgabe (Disjunkte abzählbare Zerlegung der Grundmenge: erzeugte Sigma-Algebren)

Sei abzählbar und . Zeige, dass die von den erzeugte Sigma-Algebra die folgende Gestalt hat

wobei für gesetzt wird

Wie kommt man auf den Beweis? (Disjunkte abzählbare Zerlegung der Grundmenge: erzeugte Sigma-Algebren)

Rechne für die rechte Seite die Eigenschaften einer Sigma-Algebra nach.

Überlege: Welche Mengen müssen automatisch in der erzeugten Sigma-Algebra sein und folgere, dass es die kleinste ist.

Lösung (Disjunkte abzählbare Zerlegung der Grundmenge: erzeugte Sigma-Algebren)

, indem man setzt .

Sei . Dann ist

da .

Seien . Dann gilt

Damit ist die rechte Seite eine Sigma-Algebra.

Da wegen der abzählbaren Vereinigung die Mengen der rechten Seite auf jeden Fall in der Sigma-Algebra sein müssen, ist es die kleinste und somit die von den erzeugte.

Aufgabe (Erzeugte Sigma-Algebren)

Sei und das Erzeugendensystem . Ist in ? Wie sieht die erzeugte Sigma-Algebra aus?

Wie kommt man auf den Beweis? (Erzeugte Sigma-Algebren)

Schreibe als disjunkte abzählbare Vereinigung und verwende die vorherige Aufgabe an.

Lösung (Erzeugte Sigma-Algebren)

Wegen ist die Menge in .

Es gilt . Die von diesen disjunkten Mengen erzeugte Sigma-Algebra haben wir in der vorherigen Aufgabe bestimmt, es ist

Wegen gilt

Wegen

gilt

Mit obiger Übungsaufgabe folgt

Aufgabe (Vereinigung von Sigma-Algebren)

Seien Erzeugendensyteme.

a) Bestimme

b) Ist eine Sigma-Algebra?

Wie kommt man auf den Beweis? (Vereinigung von Sigma-Algebren)

a) Abzählbare Vereinigungen und Komplement nutzen.

b) Konstruiere eine Menge, die auf unendlich viele der zugreift und damit nicht in einem der liegen kann.

Lösung (Vereinigung von Sigma-Algebren)

a) Setze

die endlichen Mengen oder ihr Komplement. Das ist eine Sigma-Algebra: und somit

Sei Teilmenge von . Dann ist oder Teilmenge von und somit

Seien .

1. Fall: alle . Dann gilt

2. Fall: es gibt ein mit . Dann ist

enthält . Wegen der abzählbaren Vereinigung liegen Teilmengen von und ihre Komplemente in . Damit ist die kleinste Sigma-Algebra, die enthält.

b) Wähle . Dann ist . Beide Mengen sind unendlich und daher in KEINER der . Damit auch nicht in der Vereinigung der (die abzählbare Vereinigung heißt ja "es gibt ein ").

Wäre eine Sigma-Algebra, so enthielte sie alle für und damit auch die abzählbaren Vereinigungen .

Bei der Stetigkeit hatten wir gesehen, dass stetige Funktionen offenen Mengen im Bild offene Mengen im Urbild zuordnen. Offene Mengen sind die Mengen einer Topologie. Erfreulicherweise ist es egal, ob wir als Erzeugendensystem der Sigma-Algebra über die offenen Mengen oder die Intervalle wählen: es kommt dasselbe heraus, obwohl die Begriffsbildung völlig unterschiedlich ist. Das ist uns einen längeren Beweis wert.

Definition (Die Borelsche Sigma-Algebra)

Die Sigma-Algebra, die von den offenen Mengen in erzeugt wird,

heißt Borelsche Sigma-Algebra.

Satz

Die von den Rechtecken, von den endlichen disjunkten Vereinigungen von Rechtecken, von den offenen oder von den abgeschlossenen Mengen erzeugte Sigma-Algebra, ist immer dieselbe:

Beweis

1.):

Da die offenen Mengen genau das Komplement der abgeschlossenen Mengen sind

und da die Sigma-Algebra gegenüber Komplementen abgeschlossen ist

folgt

2.):

: Da sich das halbseitig offene, halbseitig abgeschlossene Rechteck darstellen lässt duch einen abzählbaren Schnitt von offenen Rechtecken, in Vektorschreibweise:

sind diese in der entsprechenden Sigma-Algebra der offenen Mengen

Da die von erzeugte Sigma-Algebra die kleinste Sigma-Algebra ist, die enthält, folgt

: Sei offen. Wir müssen darstellen als abzählbare (!) Vereinigung von linksseitig offenen, rechtsseitig abgeschlossenen Rechtecken. Dann ist in der Sigma-Algebra enthalten und da beliebig gewählt war, gilt

Da eine Sigma-Algebra ist, die alle offenen enthält und die kleinste solche ist, folgt

Nun zur Konstruktion: Da offen ist, kann man nach Definition um jeden Punkt eine kleine Kugel legen, die ganz in enthalten ist (der Radius der Kugel ist natürlich sehr klein am Rand von )

Wähle den Radius der Kugel jeweils maximal.

Füge in jede Kugel ein allseitig offenes Rechteck ein mit maximaler Größe, d.h. wähle maximal mit

Wir benutzen nun, dass abzählbar ist. Insbesondere ist dann abzählbar und die folgende abzählbare Vereinigung in enthalten

Unser erstes Ziel ist ein Gleichheitszeichen, das heißt wir müssen die andere Inklusion zeigen.

Alle sind automatisch in der linken Vereinigung.

Zeige also für die irrationalen Zahlen in , dass sie in der linken Vereinigung liegen.

Sei dazu beliebig. Da offen, gibt es nach Definition eine kleine Kugel , die wieder ganz in liegt:

Wähle ein , sodass das ganze allseitig offene Rechteck in ist, d.h. es gilt

Wir benutzen nun, dass dicht in ist, d.h. für jedes gibt es unendlich viele , die beliebig dicht an liegen.

Wir wählen zu ein (und damit auch ), das in allen Komponenten von einen Abstand kleiner von hat:

Aus der Sicht von gilt dann in Vektorschreibweise


Da maximal war, folgt

und da beliebig war folgt insgesamt

Die andere Inklusion hatten wir schon gezeigt, sodass Gleichheit gilt

Jetzt benötigen wir anstelle der allseitig offenen (verallgemeinerten) Quader die linksseitig offenen und rechtsseitig abgeschlossenen (verallgemeinerten) Quader . Jeder allseitig offene (verallgemeinerte) Quader lässt sich aber als abzählbare (!) Vereinigung von linksseitig offenen und rechtsseitig abgeschlossenen (verallgemeinerten) Quadern darstellen, die auf der rechten Seite um ein bisschen kleiner sind:

Eingesetzt in obige Gleichheit folgt

Links steht eine abzählbare Vereinigung von abzählbaren Vereinigungen und das ist wieder eine abzählbare Vereinigung! Damit haben wir eine abzählbare Darstellung für durch linksseitig offene und rechtsseitig abgeschlossene (verallgemeinerte) Quader gefunden und es folgt, da beliebig war

Da eine Sigma-Algebra ist, die alle offenen enthält und die kleinste solche ist, folgt

Die andere Inklusion hatten wir schon gezeigt, d.h. es gilt Gleichheit

3.):

: Da die endlichen disjunkten Vereinigungen (veralggemeinerter) Quader insbesondere die einzelnen (verallgemeinerten) Quader enthalten gilt

Da eine Sigma-Algebra ist, die enthält und da die kleinste solche ist, folgt

: Die kleinste abzählbare Algebra enthält insbesondere alle endlichen disjunkten Vereinigungen von , d.h.

Da die von erzeugte Sigma-Algebra die kleinste ist, die enthält gilt

Aufgabe

Ist die folgende Menge Element von ?

Wie kommt man auf den Beweis?

Ist die Menge abgeschlossen oder offen?

Lösung

Die Menge ist abgeschlossen: Sei eine beliebige Folge in mit einem Grenzwert. Da bei der Grenzwertbildung Kleinergleich-Zeichen (aber nicht Kleiner-Zeichen!) erhalten bleiben, liegt der Grenzwert der Folge wieder in . Da die konvergente Folge beliebig gewählt war, ist abgeschlossen.