Satz von Andersen-Jessen

Der Satz von Andersen-Jessen ist ein mathematischer Satz aus der Wahrscheinlichkeitstheorie, der sich mit der Existenz von Produktmaßen von beliebig vielen Wahrscheinlichkeitsmaßen beschäftigt. Im Gegensatz zu vielen anderen Existenzaussagen wie dem Satz von Ionescu-Tulcea und dem Erweiterungssatz von Kolmogorov lässt er auch Produkte von überabzählbar vielen Messräumen zu und stellt keine weiteren Forderungen an die Struktur dieser Räume. Damit liefert der Satz beispielsweise die Existenz von überabzählbaren Familien unabhängiger Zufallsvariablen und von überabzählbaren Produktmodellen. Der Satz ist nach den dänischen Mathematikern Erik Sparre Andersen und Børge Jessen benannt.

AussageBearbeiten

Gegeben seien eine nichtleere Indexmenge   sowie Messräume   und darauf definierte Wahrscheinlichkeitsmaße   für alle  . Bezeichne mit   die Menge aller endlichen Teilmengen von   und für   das Produkt der Messräume als

 .

Des Weiteren sei

 

die Projektion auf die Komponenten aus   und   das Bildmaß eines Wahrscheinlichkeitsmaßes   unter der Projektion auf die Komponenten (äquivalent ist   die Verteilung von  ).

Der Satz besagt nun[1], dass es genau ein Wahrscheinlichkeitsmaß   auf   gibt, so dass für alle   immer

 

gilt. Die Projektionen auf endlich viele Komponenten stimmen also immer mit dem endlichen Produktmaß überein.

GeschichteBearbeiten

Aussagen zur Existenz von unendlichen Produktmaßen wurden bereits früh bewiesen, hierin weichen die Maßtheorie und die Wahrscheinlichkeitstheorie voneinander ab. Einer der zentralen Sätze zu diesem Thema ist der Erweiterungssatz von Kolmogorov, der aber zuvor schon von Percy John Daniell in einer nicht-stochastischen Formulierung bewiesen wurde. Dieser Satz liefert die Existenz eines Wahrscheinlichkeitsmaßes aber nur unter der Voraussetzung, dass die beteiligten Messräume eine gewisse Struktur tragen, sie müssen borelsch sein. Dafür können die Projektionen der Wahrscheinlichkeitsmaße aber auch voneinander abhängig sein, was diesen Satz insbesondere für die Theorie der stochastischen Prozesse interessant macht.

Fordert man nur, dass die einzelnen Wahrscheinlichkeitsmaße unabhängig sind, so lässt sich die Existenz eines Maßes auf dem Produktraum für beliebige Messräume zeigen. Erste Arbeiten zu diesem Thema gehen auf Antoni Łomnicki und Stanisław Marcin Ulam sowie John von Neumann zurück.

Eine natürliche Frage ist nun, ob sich die beiden Aussagen kombinieren lassen, also ob ein Maß auf dem Produktraum existiert, dessen Projektionen auf die Komponenten nicht notwendigerweise unabhängig sind und ohne dass man noch zusätzliche Struktur auf den Messräumen fordert. Die Leistung von Erik Sparre Andersen und Børge Jessen ist, dass sie 1948 mit einem Gegenbeispiel zeigten, dass dies unmöglich ist.[2][3]

EinzelnachweiseBearbeiten

  1. Schmidt: Maß und Wahrscheinlichkeit. 2011, S. 210.
  2. Børge Jessen - Christian Berg Website des Electronic Journal for History of Probability and Statistics. Abgerufen am 15. November 2015
  3. On the introduction of product measures on infinite sets - Erik Sparre Andersen, Børge Jessen (Memento des Originals vom 17. November 2015 im Internet Archive)  Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.@1@2Vorlage:Webachiv/IABot/www.sdu.dk Online-Version der Veröffentlichung von 1948 auf der Homepage der Syddansk Universitet. Abgerufen am 15. November 2015

LiteraturBearbeiten