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.
Aussage
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.
Geschichte
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]
Einzelnachweise
- ↑ Schmidt: Maß und Wahrscheinlichkeit. 2011, S. 210.
- ↑ Børge Jessen - Christian Berg Website des Electronic Journal for History of Probability and Statistics. Abgerufen am 15. November 2015
- ↑ 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. Online-Version der Veröffentlichung von 1948 auf der Homepage der Syddansk Universitet. Abgerufen am 15. November 2015
Literatur
- Klaus D. Schmidt: Maß und Wahrscheinlichkeit. 2., durchgesehene Auflage. Springer-Verlag, Heidelberg Dordrecht London New York 2011, ISBN 978-3-642-21025-9, S. 209–217, doi:10.1007/978-3-642-21026-6.