Der Maßeindeutigkeitssatz, innerhalb des entsprechenden Kontextes auch einfach nur Eindeutigkeitssatz genannt, ist eine mathematische Aussage aus den mathematischen Teilgebieten der Maßtheorie und der Stochastik. Er beschäftigt sich mit der Frage, wann ein abstrahierter Volumenbegriff, also ein Maß oder spezieller ein Wahrscheinlichkeitsmaß bereits eindeutig bestimmt ist.

Aus dem Maßeindeutigkeitssatz leiten sich direkt einige speziellere Sätze wie der Korrespondenzsatz ab. Ebenso wichtig sind die strukturellen Implikationen des Maßeindeutigkeitssatzes, da sie maßgeblich beeinflussen, welche Mengensysteme zur Konstruktion von Maßen in Frage kommen, wenn diese eindeutig bestimmt sein sollen.

Je nach Anwendungsgebiet wird der Satz leicht unterschiedlich formuliert. Dabei wird in der Maßtheorie die allgemeinere Fassung für σ-endliche Maße aufgeführt, in der Wahrscheinlichkeitstheorie meist der Spezialfall für Wahrscheinlichkeitsmaße.

Maßtheoretische Version

Bearbeiten

Gegeben sei eine Menge   sowie eine σ-Algebra   mit Erzeuger  . Es gilt also

 .

Des Weiteren seien zwei Maße   und   auf   gegeben. Dann gilt:[1]

Ist   durchschnittsstabil, existieren Mengen   aus  , so dass
 
und ist
  für alle  
sowie
  für alle  ,
so ist  .

Wahrscheinlichkeitstheoretische Version

Bearbeiten

Gegeben sei eine Menge   sowie eine σ-Algebra   mit Erzeuger  . Es gilt also

 .

Des Weiteren seien zwei Wahrscheinlichkeitsmaße   und   auf   gegeben. Dann gilt:[2]

Ist   durchschnittsstabil und gilt für alle   immer
 ,
so ist  .

Implikationen

Bearbeiten

Eine Implikation des Eindeutigkeitssatzes ist, bei Definition von Mengenfunktionen wie Inhalten und Prämaßen schnittstabile Mengensysteme als Definitionsbereich zu wählen. Dies garantiert, dass falls die Mengenfunktion zu einem Maß auf einer entsprechenden das Mengensystem enthaltenden σ-Algebra fortgesetzt werden kann, diese Fortsetzung auch eindeutig ist. Typische Beispiele für solche Mengensysteme sind Halbringe.

Zwei weitere Folgerungen aus dem Eindeutigkeitssatz sind die Eindeutigkeit des (endlichen) Produktmaßes sowie der für die Stochastik wichtige Korrespondenzsatz, der die Beziehung zwischen Wahrscheinlichkeitsmaßen auf   und Verteilungsfunktionen beleuchtet.

Beweisskizze

Bearbeiten

Die wahrscheinlichkeitstheoretische Version lässt sich nach dem Beweisprinzip der guten Mengen wie folgt zeigen: Zuerst betrachtet man das Mengensystem

 

derjenigen Mengen, auf denen die Wahrscheinlichkeitsmaße übereinstimmen. Dieses Mengensystem ist ein Dynkin-System, denn

  • die Stabilität bezüglich abzählbar vieler disjunkter Vereinigungen folgt aus der σ-Additivität der Wahrscheinlichkeitsmaße
  • die Menge   ist enthalten, da immer   gilt
  • die Stabilität bezüglich Differenzbildung folgt aus der Subtraktivität der Wahrscheinlichkeitsmaße.

Nach Voraussetzung gilt

 .

Betrachtet man nun das von   erzeugte Dynkin-System  , so gilt aufgrund dessen Minimalität

 

Da aber   schnittstabil ist, gilt laut dem Dynkinschen π-λ-Satz

 .

Somit ist

 .

Gleichzeitig gilt aber per Definition von   immer

 ,

woraus dann wegen   und   sofort

 

folgt. Die beiden Wahrscheinlichkeitsmaße stimmen also auf der gesamten σ-Algebra überein.

Der Beweis der maßtheoretischen Version folgt im Wesentlichen derselben Idee, verwendet aber noch ein Ausschöpfungsargument in Kombination mit der σ-Stetigkeit der Maße, um die Übereinstimmung auf allen Mengen zu zeigen.[3]

Literatur

Bearbeiten

Einzelnachweise

Bearbeiten
  1. Meintrup, Schäffler: Stochastik. 2005, S. 23.
  2. Georgii: Stochastik. 2009, S. 16.
  3. Klenke: Wahrscheinlichkeitstheorie. 2013, S. 19–20.