Zum Inhalt springen

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

Aus Wikibooks

Motivation

[Bearbeiten]

In der Maßtheorie wollen wir Mengen ein Maß zuordnen. Bei Teilmengen aus sind dies Längen, bei Teilmengen aus Flächen, bei Teilmengen aus Volumina und bei Teilmengen aus mit verallgemeinerte Volumina. Dabei ordnen wir nur gewissen „guten“ Mengen ein Maß zu: das sind jene Mengen die wir durch Intervalle oder Rechtecke oder Quader "gut" überdecken können.

Wo stehen wir

[Bearbeiten]

Zuerst haben wir nur sehr primitive geometrische Figuren, wie Intervalle, Rechtecke oder (verallgemeinerte) Quader betrachtet und deren Eigenschaften zum Halbring verallgemeinert (mit sind auch und ist endliche disjunkte Vereinigung von Elementen aus ). Danach haben wir endliche disjunkte Vereinigungen von Halbringelementen eingeführt und zum Ring erklärt (mit sind auch ). Daraufhin haben wir unsere Flächenfunktion verallgemeinert zu einem additiven Inhalt bzw. sigma-additiven Prämaß, zuerst auf dem Halbring, dann auf dem Ring und deren Eigenschaften untersucht. Wir haben dann bewiesen, dass unsere Flächen-/Volumenfunktion ein Prämaß ist. Danach haben wir die Sigma-Algebra der "guten Mengen" eingeführt (dort gilt mit sind auch ) und erzeugte Sigma-Algebren betrachtet. Jetzt betrachten wir einen Spezialfall der erzeugten Sigma-Algebra und zwar die Borelsche Sigma-Algebra, die von den Intervallen/Rechtecken/(verallgemeinerten) Quadern erzeugt wird.

Zur Übersicht der Maßheorie-Herleitung geht es hier Mathe_für_Nicht-Freaks:_Buchanfang_Maßtheorie_by_Richard4321/_Allgemeine_Konstruktion_eines_Maßes

Die Borelsche Sigma-Algebra

[Bearbeiten]

Offene Mengen sind die Mengen einer Topologie (siehe Link zu Analyiss II). Erfreulicherweise ist es egal, ob wir als Erzeugendensystem der Borelschen Sigma-Algebra über die offenen Mengen oder die Intervalle/Rechtecke oder (verallgemeinerten) Quader wählen: es kommt dasselbe heraus. 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. Dafür führen wir eine gesonderte Schreibweise ein

Satz

Die von den Rechtecken, von den endlichen disjunkten Vereinigungen von Rechtecken, von den offenen oder von den abgeschlossenen Mengen im erzeugte Sigma-Algebra, ist immer dieselbe. Verallgemeinert für den :

Beweis

Wir haben die beiden leicht zu beweisenden Aussgaben zuerst genannt:

1.):

Da die offenen Mengen genau das Komplement der abgeschlossenen Mengen sind

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

folgt

2.):

Für die Gleichheit der Mengen müssen wir in beide Richtungen die Enthalten-Relation beweisen.

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

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

: Die andere Enthalten-Relation zeigen wir ganz analog: Die kleinste abzählbare Algebra enthält insbesondere alle endlichen disjunkten Vereinigungen von Elementen in , d.h.

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

Insgesamt ist damit die Gleichheit gezeigt.

3.):

Wir zeigen zuerst die leichter zu beweisenden Enthalgten-Relation :

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

sind die linksseitig offenen, rechtsseitig abgeschlossenen Rechtecke in der entsprechenden Sigma-Algebra der offenen Mengen

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

Als Letztes zeigen wir die schwerer zu beweisenden Enthalten-Relation : 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

und wir sind fertig. Nun zur Konstruktion: Da offen ist, kann man nach Definition der Offenheit um jeden Punkt eine kleine Kugel legen, die ganz in enthalten ist (der Radius der Kugel ist am Rand von natürlich sehr klein ), formal schreiben wir das als

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, in formaler Schreibweise ist das

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

Aufgabe 1

[Bearbeiten]

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.

Damit liegt die Menge nach dem letzten Satz in der Borelschen Sigma-Algebra.