Mathe für Nicht-Freaks: Konstruktion von Maßen

{{#invoke:Mathe für Nicht-Freaks/Seite|oben}}

Wir kennen jetzt die Grundbegriffe der Maßtheorie und wissen unter anderem, was ein Maß auf einer $\sigma$-Algebra ist. Unser nächstes großes Ziel ist es, den Existenz- und Eindeutigkeitssatz für Maßfortsetzungen zu beweisen. Dieser Artikel fasst die drei wichtigsten Fragen zusammen, die wir noch klären müssen, und gibt einen Überblick über das Vorgehen bei der Konstruktion von Maßen.

Problem

Oft ist man in der Situation, ein Maß über einer gewissen Grundmenge definieren zu wollen, das möglichst vielen Teilmengen dieser Grundmenge ein Maß zuordnet und evtl. weitere Eigenschaften erfüllt.

• 
  Ein Wahrscheinlichkeitsmaß $\mu$ ordnet Mengen von Ereignisses $A,B$ ihre Wahrscheinlichkeit $0\le \mu (A),\mu (B)\le 1$ zu. Hier: 2-maliges Werfen eines Würfels.
• 
  Intervalle in $ℝ$ sollten als Maß $\lambda (A)$ ihre Länge zugeordnet bekommen. Diese ist translationsinvariant.

Noch wissen wir nicht, ob es das Maß mit den gewünschten Eigenschaften gibt und auf welcher (möglichst großen) $\sigma$-Algebra es definiert werden kann. Es ist auch unklar, wie wir vorgehen müssen, um ein solches Maß zu finden. Deshalb müssen wir uns mit den folgenden Fragen auseinandersetzen:

• Welche $\sigma$-Algebra können wir als Definitionsbereich für das gesuchte Maß wählen? Auf der einen Seite wollen wir möglichst viele Mengen messen können, also eine große $\sigma$-Algebra haben. Auf der anderen Seite haben wir mit dem Beispiel von Banach-Tarski schon gesehen, dass eine zu große $\sigma$-Algebra als Definitionsbereich sogar die Existenz des Maßes gefährdet.
• Wie können wir bei der Konstruktion des Maßes sicherstellen, dass es tatsächlich die gewünschten Eigenschaften hat und gleichzeitig $\sigma$-additiv ist? Sind die gewünschten Eigenschaften überhaupt vereinbar mit der $\sigma$-Additivität, gibt es also ein Maß mit diesen Eigenschaften?
• Oft sind $\sigma$-Algebren sehr groß, sogar überabzählbar. Es ist nicht sofort klar, wie man überhaupt das Maß definieren und dabei die Werte auf dem gesamten Definitionsbereich vorschreiben kann. Wie kann eine Abbildungsvorschrift für das Maß aussehen, um es dadurch eindeutig festzulegen?

Lösung

Wir sind nicht zu gierig und betrachten zunächst ein kleineres Mengensystem $𝒞\subseteq 𝒫(\mathrm{\Omega })$ von Teilmengen von $\mathrm{\Omega }$. Insbesondere muss $𝒞$ noch keine $\sigma$-Algebra sein. Auf diesem kleineren Mengensystem versuchen wir das Ziel zu erreichen, d.h. eine $\sigma$-additive Mengenfunktion auf $𝒞$ zu finden, das die gewünschten Eigenschaften erfüllt. Es darf einerseits $𝒞$ nicht zu groß sein, damit es nicht zu schwierig ist, eine solche Mengenfunktion zu finden. Andererseits muss $𝒞$ umfassend genug sein, um alle wichtigen Informationen über das gesuchte Maß zu enthalten. Es scheint sinnvoll, $𝒞$ als ein Mengensystem von "atomaren" Teilmengen zu definieren, welche die Besonderheiten des gesuchten Maßes enthalten und als Bausteine für viele verschiedene Mengen dienen können.

Danach setzen wir die auf $𝒞$ definierte Mengenfunktion fort, um um ein Maß auf einer $\sigma$-Algebra zu erhalten. Die Frage nach der Existenz eines Maßes auf einer $\sigma$-Algebra wird so zur Frage nach der Existenz einer Fortsetzung einer $\sigma$-additiven Mengenfunktion von einem kleineren Mengensystem aus. Die folgenden Punkte sind noch zu untersuchen:

• Auf welche $\sigma$-Algebra können wir ausgehend von $𝒞$ fortsetzen? Das schauen wir uns im Artikel zu erzeugten $\sigma$-Algebren an.
• Existiert überhaupt eine solche Fortsetzung über $𝒞$ hinaus? Das schauen wir uns im Artikel zur Existenz einer Fortsetzung an.
• Ist die Fortsetzung, und damit das gesuchte Maß, durch die Werte auf $𝒞$ schon eindeutig bestimmt? Das schauen wir uns im Artikel zur Eindeutigkeit einer Fortsetzung an.

{{#invoke:Mathe für Nicht-Freaks/Seite|unten}}