Wahrscheinlichkeitsraum

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Laplace-Raum)
Zur Navigation springen Zur Suche springen

Ein Wahrscheinlichkeitsraum, kurz W-Raum, ist ein grundlegender Begriff aus dem mathematischen Teilgebiet der Wahrscheinlichkeitstheorie. Es handelt sich um ein mathematisches Modell zur Beschreibung von Zufallsexperimenten. Hierbei werden die verschiedenen möglichen Ausgänge des Experiments zu einer Menge zusammengefasst. Teilmengen dieser Ergebnismenge können dann unter bestimmten Voraussetzungen Zahlen zwischen 0 und 1 zugeordnet werden, die als Wahrscheinlichkeiten interpretiert werden.

Der Begriff des Wahrscheinlichkeitsraums wurde in den 1930er Jahren durch den russischen Mathematiker Andrei Kolmogorow eingeführt, dem damit die Axiomatisierung der Wahrscheinlichkeitsrechnung gelang (siehe auch: Kolmogorow-Axiome).

Die Grundidee ist folgende: wir wählen eine Grundmenge, zum Beispiel . Mit Hilfe der Elemente in bilden wir nun eine komplexere Menge , welche enthält, aber noch weitere Mengen, zum Beispiel . Als letztes definieren wir eine Funktion , welche jeder Menge in eine Wahrscheinlichkeit zuordnet, d. h. .

Formale Definition

[Bearbeiten | Quelltext bearbeiten]

Ein Wahrscheinlichkeitsraum ist ein Maßraum , dessen Maß ein Wahrscheinlichkeitsmaß ist.

Im Einzelnen bedeutet das:

  • ist eine beliebige nichtleere Menge, genannt die Ergebnismenge. Ihre Elemente heißen Ergebnisse.
  • ist eine σ-Algebra über der Grundmenge , also eine Menge bestehend aus Teilmengen von , die enthält und abgeschlossen gegenüber der Bildung von Komplementen und abzählbaren Vereinigungen ist. Die Elemente von heißen Ereignisse. Die σ-Algebra selbst wird auch Ereignissystem oder Ereignisalgebra genannt.
  • ist ein Wahrscheinlichkeitsmaß, das heißt eine Mengenfunktion, die den Ereignissen Zahlen zuordnet, derart dass ist, für paarweise disjunkte (d. h. sich gegenseitig ausschließende) Ereignisse gilt (3. Kolmogorow-Axiom) und ist (2. Kolmogorow-Axiom).

Der Messraum wird auch Ereignisraum genannt. Ein Wahrscheinlichkeitsraum ist also ein Ereignisraum, auf dem zusätzlich ein Wahrscheinlichkeitsmaß gegeben ist.

Konkretisierung der Definition und Beispiel

[Bearbeiten | Quelltext bearbeiten]
Modellierung eines Glücksrads durch einen Wahrscheinlichkeitsraum: Die Menge der möglichen Ergebnisse ist hier . Allen Teilmengen von werden ihre Wahrscheinlichkeiten als Anteil des Winkels ihres Sektors am Vollkreis des Rades zugeordnet.

Konkret bedeutet die Definition, dass durch dieses Modell Wahrscheinlichkeit als rein axiomatisch begründetes Konstrukt (also nicht empirisch bestimmt, wie von Mises es versuchte, und auch nicht subjektiv empfunden) messbar gemacht wird. Tragend ist hier unter anderem der Gedanke, die Menge aller möglichen Ausgänge des Zufallsexperiments als sich gegenseitig ausschließende Ergebnisse zu konstruieren. Am Beispiel des Glücksrades wird dies deutlich: Beim Drehen kann das Rad nur in einer einzigen Winkelstellung zu einer gedachten Null-Position stehen bleiben. In der Folge kann dem aber auch nur eine einzige der drei aufgemalten Zahlen 1, 2, 3 zugeordnet werden, das Rad kann nicht im Sektor 1 und gleichzeitig im Sektor 2 stehen bleiben. Ein Mechanismus verhindert, dass es genau auf der Grenze der beiden stehen bleibt. Damit ist das gleichzeitige Eintreffen zweier Elementarereignisse ausgeschlossen, sie sind disjunkt.

Der Wahrscheinlichkeitsraum ist hier das Tripel mit der Ergebnismenge , dem Ereignissystem und den Zuordnungnen und von Wahrscheinlichkeiten zu den Elementarereignissen und . Aus der Additivität der Wahrscheinlichkeit für disjunkte Ereignisse ergibt sich beispielsweise

Klassen von Wahrscheinlichkeitsräumen

[Bearbeiten | Quelltext bearbeiten]

Diskrete Wahrscheinlichkeitsräume

[Bearbeiten | Quelltext bearbeiten]

Ein Wahrscheinlichkeitsraum heißt ein diskreter Wahrscheinlichkeitsraum, wenn die Ergebnismenge endlich oder abzählbar unendlich ist und die σ-Algebra die Potenzmenge ist, also .[1] Bei manchen Autoren wird bei Einführungen in die Thematik auf die Angabe der σ-Algebra verzichtet und stillschweigend von der Potenzmenge ausgegangen. Dann wird nur das Tupel als diskreter Wahrscheinlichkeitsraum bezeichnet.[2]

Etwas allgemeiner wird ein Wahrscheinlichkeitsraum mit beliebiger Grundmenge diskreter Wahrscheinlichkeitsraum genannt, wenn es ein endliches oder abzählbar unendliches Ereignis mit gibt ( ist dann ein fast sicheres Ereignis). heißt dann diskretes Wahrscheinlichkeitsmaß und heißt Träger von .[3]

Endliche Wahrscheinlichkeitsräume

[Bearbeiten | Quelltext bearbeiten]

Ein endlicher Wahrscheinlichkeitsraum ist ein Wahrscheinlichkeitsraum, dessen Grundmenge endlich ist und dessen σ-Algebra die Potenzmenge ist. Jeder endliche Wahrscheinlichkeitsraum ist ein diskreter Wahrscheinlichkeitsraum, dementsprechend wird auch hier teils auf die Angabe der σ-Algebra verzichtet.

Ist speziell , versehen mit der Bernoulli-Verteilung, also , so spricht man von einem Bernoulli-Raum.[4]

Symmetrische Wahrscheinlichkeitsräume

[Bearbeiten | Quelltext bearbeiten]

Ein symmetrischer Wahrscheinlichkeitsraum,[5] auch Laplacescher Wahrscheinlichkeitsraum oder einfach Laplace-Raum[6] genannt (nach Pierre-Simon Laplace), besteht aus einer endlichen Grundmenge . Als σ-Algebra dient die Potenzmenge und die Wahrscheinlichkeitsverteilung wird durch eine Wahrscheinlichkeitsfunktion definiert als

.

Dies entspricht genau der diskreten Gleichverteilung. Symmetrische Wahrscheinlichkeitsräume sind immer endliche und damit auch diskrete Wahrscheinlichkeitsräume. Demnach wird auch hier gelegentlich auf die Angabe der σ-Algebra verzichtet.

Vollständige Wahrscheinlichkeitsräume

[Bearbeiten | Quelltext bearbeiten]

Ein Wahrscheinlichkeitsraum heißt vollständig (oder ein vollständiger Wahrscheinlichkeitsraum), wenn er, aufgefasst als Maßraum, ein vollständiger Maßraum ist.[7] Der Wahrscheinlichkeitsraum ist vollständig, wenn für jedes Ereignis , das die Wahrscheinlichkeit Null hat, alle Teilmengen von Ereignisse sind, also in enthalten sind.

Atomlose Wahrscheinlichkeitsräume

[Bearbeiten | Quelltext bearbeiten]

Ein Ereignis heißt Atom des Wahrscheinlichkeitsraums , falls gilt und falls für jedes Ereignis mit entweder oder gilt. Ein Wahrscheinlichkeitsraum heißt atomlos, wenn kein Ereignis ein Atom ist.[8]

Atomlose Wahrscheinlichkeitsräume sind von Interesse, da sie reelle Zufallsvariablen mit stetiger Verteilungsfunktion zulassen.[9] Insbesondere existiert eine Zufallsvariable mit einer stetigen Gleichverteilung auf dem Intervall .[10]

Weitere Klassen

[Bearbeiten | Quelltext bearbeiten]

Des Weiteren existieren noch

Diskreter Wahrscheinlichkeitsraum

[Bearbeiten | Quelltext bearbeiten]

Ein Beispiel eines diskreten Wahrscheinlichkeitsraumes ist

  • die Ergebnismenge der natürlichen Zahlen . Dann ist jede natürliche Zahl ein Ergebnis.
  • Als Ereignissystem wählt man dann wie immer bei höchstens abzählbar unendlichen Mengen die Potenzmenge . Dann sind alle Teilmengen der natürlichen Zahlen Ereignisse.
  • Als Wahrscheinlichkeitsmaß kann man beispielsweise die Poisson-Verteilung wählen. Sie weist jeder Menge die Wahrscheinlichkeit für einen positiven Parameter zu.

Dann ist ein diskreter Wahrscheinlichkeitsraum.

Reeller Wahrscheinlichkeitsraum

[Bearbeiten | Quelltext bearbeiten]

Ein Beispiel eines reellen Wahrscheinlichkeitsraumes ist

  • die Ergebnismenge der nicht-negativen reellen Zahlen . Dann ist jede nicht-negative reelle Zahl ein Ergebnis.
  • Als Ereignissystem die Borelsche σ-Algebra auf den reellen Zahlen, eingeschränkt auf die nicht-negativen reellen Zahlen . Dann sind zum Beispiel alle abgeschlossenen, alle halboffenen und alle offenen Intervalle und deren Vereinigungen, Schnitte und Komplemente Ereignisse.
  • Als Wahrscheinlichkeitsmaß zum Beispiel die Exponentialverteilung. Sie weist jeder Menge in der Borelschen σ-Algebra die Wahrscheinlichkeit
für einen Parameter zu.

Dann ist ein Wahrscheinlichkeitsraum.

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. Klaus D. Schmidt: Maß und Wahrscheinlichkeit. 2., durchgesehene Auflage. Springer, Berlin / Heidelberg 2011, ISBN 978-3-642-21025-9, S. 196, doi:10.1007/978-3-642-21026-6.
  2. Ulrich Krengel: Einführung in die Wahrscheinlichkeitstheorie und Statistik. Für Studium, Berufspraxis und Lehramt. 8. Auflage. Vieweg, Wiesbaden 2005, ISBN 3-8348-0063-5, S. 3, doi:10.1007/978-3-663-09885-0.
  3. David Meintrup, Stefan Schäffler: Stochastik. Theorie und Anwendungen. Springer-Verlag, Berlin Heidelberg New York 2005, ISBN 978-3-540-21676-6, Def. 6.3, S. 63, doi:10.1007/b137972.
  4. Ehrhard Behrends: Elementare Stochastik. Ein Lernbuch – von Studierenden mitentwickelt. Springer Spektrum, Wiesbaden 2013, ISBN 978-3-8348-1939-0, S. 40, doi:10.1007/978-3-8348-2331-1.
  5. Schmidt: Maß- und Wahrscheinlichkeit. 2011, S. 198.
  6. Georgii: Stochastik. 2009, S. 27.
  7. P. H. Müller (Hrsg.): Lexikon der Stochastik – Wahrscheinlichkeitsrechnung und mathematische Statistik. 5. Auflage. Akademie-Verlag, Berlin 1991, ISBN 978-3-05-500608-1, Wahrscheinlichkeitsraum, S. 492.
  8. Hans Föllmer, Alexander Schied: Stochastic Finance – An Introduction in Discrete Time. 4. überarbeitete und erweiterte Auflage. De Gruyter, Berlin / Boston 2016, ISBN 978-3-11-046344-6, S. 30, 547, doi:10.1515/9783110463453.
  9. Hans Föllmer, Alexander Schied: Stochastic Finance – An Introduction in Discrete Time. 4. überarbeitete und erweiterte Auflage. De Gruyter, Berlin / Boston 2016, ISBN 978-3-11-046344-6, Prop. A 31, S. 547, doi:10.1515/9783110463453.
  10. Hans Föllmer, Alexander Schied: Stochastic Finance – An Introduction in Discrete Time. 4. überarbeitete und erweiterte Auflage. De Gruyter, Berlin / Boston 2016, ISBN 978-3-11-046344-6, Lemma A 32, S. 548, doi:10.1515/9783110463453.