Wahrscheinlichkeitsraum – Wikipedia
In der Wahrscheinlichkeitstheorie a Wahrscheinlichkeitsraum oder ein Wahrscheinlichkeit dreifach
ist ein mathematisches Konstrukt, das ein formales Modell eines zufälligen Prozesses oder “Experiments” liefert. Zum Beispiel kann man einen Wahrscheinlichkeitsraum definieren, der das Werfen eines Würfels modelliert.
Ein Wahrscheinlichkeitsraum besteht aus drei Elementen:[1][2]
- EIN Probenraum, Dies ist die Menge aller möglichen Ergebnisse.
- Ein VeranstaltungsflächeDies ist eine Reihe von Ereignissen Ein Ereignis ist eine Reihe von Ergebnissen im Probenraum.
- EIN Wahrscheinlichkeitsfunktion, die jedem Ereignis im Ereignisraum eine Wahrscheinlichkeit zuweist, die eine Zahl zwischen 0 und 1 ist.
Um ein vernünftiges Wahrscheinlichkeitsmodell bereitzustellen, müssen diese Elemente eine Reihe von Axiomen erfüllen, die im Artikel beschrieben werden.
Im Beispiel des Wurfs eines Standardwürfels würden wir den Probenraum annehmen
. Für den Ereignisraum könnten wir einfach die Menge aller Teilmengen des Beispielraums verwenden, die dann einfache Ereignisse wie z
(“der Würfel landet auf 5”) sowie komplexe Ereignisse wie
(“Der Würfel landet auf einer geraden Zahl”). Schließlich würden wir für die Wahrscheinlichkeitsfunktion jedes Ereignis auf die Anzahl der Ergebnisse in diesem Ereignis geteilt durch 6 abbilden – so zum Beispiel
würde zugeordnet werden
, und
würde zugeordnet werden
.
Wenn ein Experiment durchgeführt wird, stellen wir uns vor, dass “Natur” ein einzelnes Ergebnis “auswählt”,
aus dem Probenraum
. Alle Ereignisse im Veranstaltungsraum
die das ausgewählte Ergebnis enthalten
sollen “aufgetreten sein”. Diese “Auswahl” erfolgt so, dass bei mehrmaliger Wiederholung des Experiments die Anzahl der Vorkommen jedes Ereignisses als Bruchteil der Gesamtzahl der Experimente zu der Wahrscheinlichkeit tendiert, die diesem Ereignis durch die Wahrscheinlichkeitsfunktion zugewiesen wird
.
Der russische Mathematiker Andrey Kolmogorov führte in den 1930er Jahren den Begriff des Wahrscheinlichkeitsraums zusammen mit anderen Axiomen der Wahrscheinlichkeit ein. In der modernen Wahrscheinlichkeitstheorie gibt es eine Reihe alternativer Ansätze zur Axiomatisierung – zum Beispiel die Algebra von Zufallsvariablen.
Einführung[edit]
Ein Wahrscheinlichkeitsraum ist ein mathematisches Triplett
das präsentiert ein Modell für eine bestimmte Klasse von realen Situationen. Wie bei anderen Modellen definiert der Autor letztendlich, welche Elemente
,
, und
wird beinhalten.
- Der Probenraum ist die Menge aller möglichen Ergebnisse. Ein Ergebnis ist das Ergebnis einer einzelnen Ausführung des Modells. Ergebnisse können Naturzustände, Möglichkeiten, experimentelle Ergebnisse und dergleichen sein. Jede Instanz der realen Situation (oder der Ablauf des Experiments) muss genau ein Ergebnis liefern. Wenn sich die Ergebnisse verschiedener Versuchsläufe in irgendeiner wichtigen Weise unterscheiden, handelt es sich um unterschiedliche Ergebnisse. Welche Unterschiede wichtig sind, hängt von der Art der Analyse ab, die wir durchführen möchten. Dies führt zu unterschiedlichen Auswahlmöglichkeiten des Probenraums.
- Die σ-Algebra ist eine Sammlung aller Ereignisse, die wir berücksichtigen möchten. Diese Sammlung kann jedes der Elementarereignisse enthalten oder nicht. Hier ist ein “Ereignis” eine Menge von null oder mehr Ergebnissen, dh eine Teilmenge des Probenraums. Es wird angenommen, dass ein Ereignis während eines Experiments “passiert” ist, wenn dessen Ergebnis ein Element des Ereignisses ist. Da dasselbe Ergebnis Mitglied vieler Ereignisse sein kann, ist es möglich, dass viele Ereignisse bei einem einzigen Ergebnis stattgefunden haben. Wenn der Versuch beispielsweise darin besteht, zwei Würfel zu werfen, kann die Menge aller Ergebnisse mit einer Summe von 7 Pips ein Ereignis darstellen, während Ergebnisse mit einer ungeraden Anzahl von Pips ein anderes Ereignis darstellen können. Wenn das Ergebnis das Element des Elementarereignisses von zwei Pips auf dem ersten Würfel und fünf auf dem zweiten Würfel ist, dann sollen beide Ereignisse, “7 Pips” und “ungerade Anzahl von Pips”, stattgefunden haben.
- Das Wahrscheinlichkeitsmaß ist eine Funktion, die die Wahrscheinlichkeit eines Ereignisses zurückgibt. Eine Wahrscheinlichkeit ist eine reelle Zahl zwischen Null (unmögliche Ereignisse haben eine Wahrscheinlichkeit von Null, obwohl Ereignisse mit einer Wahrscheinlichkeit von Null nicht unbedingt unmöglich sind) und Eins (das Ereignis tritt fast sicher mit fast vollständiger Sicherheit ein). So ist eine Funktion . Die Wahrscheinlichkeitsmaßfunktion muss zwei einfache Anforderungen erfüllen: Erstens muss die Wahrscheinlichkeit einer zählbaren Vereinigung sich gegenseitig ausschließender Ereignisse gleich der zählbaren Summe der Wahrscheinlichkeiten jedes dieser Ereignisse sein. Zum Beispiel die Wahrscheinlichkeit der Vereinigung der sich gegenseitig ausschließenden Ereignisse und im zufälligen Experiment eines Münzwurfs, ist die Summe der Wahrscheinlichkeit für und die Wahrscheinlichkeit für , . Zweitens die Wahrscheinlichkeit des Probenraums muss gleich 1 sein (was die Tatsache berücksichtigt, dass bei einer Ausführung des Modells ein gewisses Ergebnis erzielt werden muss). Im vorherigen Beispiel die Wahrscheinlichkeit der Menge der Ergebnisse muss gleich eins sein, da es völlig sicher ist, dass das Ergebnis entweder sein wird oder (das Modell vernachlässigt jede andere Möglichkeit) in einem einzigen Münzwurf.
Nicht jede Teilmenge des Probenraums
muss unbedingt als Ereignis betrachtet werden: Einige der Teilmengen sind einfach nicht von Interesse, andere können nicht “gemessen” werden. Dies ist in einem Fall wie einem Münzwurf nicht so offensichtlich. In einem anderen Beispiel könnte man Speerwurflängen betrachten, bei denen die Ereignisse typischerweise Intervalle wie “zwischen 60 und 65 Metern” und Vereinigungen solcher Intervalle sind, aber keine Sätze wie die “irrationalen Zahlen zwischen 60 und 65 Metern”.
Definition[edit]
Kurz gesagt, ein Wahrscheinlichkeitsraum ist ein Messraum, so dass das Maß des gesamten Raums gleich eins ist.
Die erweiterte Definition lautet wie folgt: Ein Wahrscheinlichkeitsraum ist ein Tripel
bestehend aus:
- der Probenraum – eine beliebige nicht leere Menge,
- die σ-Algebra (auch σ-Feld genannt) – eine Menge von Teilmengen von , Ereignisse genannt, so dass:
- enthält den Probenraum: ,
- wird unter Ergänzungen geschlossen: wenn dann auch ,
- ist unter zählbaren Gewerkschaften geschlossen: wenn zum dann auch
- Die Konsequenz aus den beiden vorhergehenden Eigenschaften und dem Gesetz von De Morgan ist die folgende wird auch unter zählbaren Kreuzungen geschlossen: wenn zum dann auch
- das Wahrscheinlichkeitsmaß – eine Funktion an so dass:
- P. ist zählbar additiv (auch σ-additiv genannt): wenn ist also eine zählbare Sammlung von paarweise disjunkten Mengen
- Das Maß des gesamten Probenraums ist gleich eins: .
Diskreter Fall[edit]
Die diskrete Wahrscheinlichkeitstheorie benötigt nur höchstens zählbare Probenräume
. Wahrscheinlichkeiten können Punkten von zugeordnet werden
durch die Wahrscheinlichkeitsmassenfunktion
so dass
. Alle Teilmengen von
kann als Ereignisse behandelt werden (also
ist die Leistung eingestellt). Das Wahrscheinlichkeitsmaß hat die einfache Form
{ displaystyle
{ displaystyle { mathcal {F}} = 2 ^ { Omega}}
{ displaystyle { mathcal {F}} subseteq 2 ^ { Omega}}
{ displaystyle Omega = B_ {1} cup B_ {2} cup dots}
{ displaystyle A in { mathcal {F}}}
{ displaystyle A = B_ {k_ {1}} cup B_ {k_ {2}} cup dots}
{ displaystyle A = B_ {k_ {1}} cup B_ {k_ {2}} cup dots}
{ displaystyle p ( omega) = 0}
{ displaystyle omega}
Omega[edit]
kann sicher aus dem Probenraum ausgeschlossen werden. Allgemeiner FallWenn Ω dennoch unzählig ist, kann dies passierenp(( ω) ≠ 0 für einige ω ;; eine solche
ω[edit]
werden Atome genannt. Sie sind höchstens eine zählbare (möglicherweise leere) Menge, deren Wahrscheinlichkeit die Summe der Wahrscheinlichkeiten aller Atome ist. Wenn diese Summe gleich 1 ist, können alle anderen Punkte sicher aus dem Probenraum ausgeschlossen werden, was uns zum diskreten Fall zurückführt. Wenn andernfalls die Summe der Wahrscheinlichkeiten aller Atome zwischen 0 und 1 liegt, zerfällt der Wahrscheinlichkeitsraum in einen diskreten (atomaren) Teil (möglicherweise leer) und einen nichtatomaren Teil. Nichtatomarer FallWennp(( ω) = 0 für alle
{ displaystyle scriptstyle { mathcal {F}}}
{ displaystyle scriptstyle { mathcal {F}}}
scriptstyle { mathcal {F}}[edit]
werden als messbar bezeichnet. Im Allgemeinen sind sie viel komplizierter als Generatorsätze, aber viel besser als nicht messbare Sätze.
{ displaystyle ( Omega, ; { mathcal {F}}, ; P)}
{ displaystyle B , in , { mathcal {F}}}
{ displaystyle P (B) , = ; 0}
{ displaystyle A ; subset ; B}
{ displaystyle A ; in ; { mathcal {F}}}
{ displaystyle A ; in ; { mathcal {F}}}[edit]
. Oft beschränkt sich das Studium von Wahrscheinlichkeitsräumen auf vollständige Wahrscheinlichkeitsräume.[edit]
Beispiele[edit]
Diskrete Beispiele
{ displaystyle Omega = {{ text {H}}, { text {T}} }}
{ displaystyle { mathcal {F}} = 2 ^ { Omega}}
{ displaystyle 2 ^ {2} = 4}
{ displaystyle {{ text {H}} }}
{ displaystyle {{ text {T}} }}
{ displaystyle {}}
{ displaystyle {{ text {H}}, { text {T}} }}
{ displaystyle { mathcal {F}} = { {}, {{ text {H}} }, {{ text {T}} }, {{ text {H} }, { text {T}} } }}
{ displaystyle P ( {}) = 0}
{ displaystyle P ( {{ text {H}} }) = 0,5}
{ displaystyle P ( {{ text {T}} }) = 0,5}
{ displaystyle P ( {{ text {H}}, { text {T}} }) = 1}
{ displaystyle P ( {{ text {H}}, { text {T}} }) = 1}[edit]
.
{ displaystyle scriptstyle { mathcal {F}}} scriptstyle { mathcal {F}} = 2Ω von 2
8= 256 Ereignisse, wobei jedes der Ereignisse eine Teilmenge von Ω ist. Alice kennt nur das Ergebnis des zweiten Wurfs. Somit wird ihre unvollständige Information durch die Partition Ω = A beschrieben1 ⊔ A. 2= {HHH, HHT, THH, THT} ⊔ {HTH, HTT, TTH, TTT}, wobei ⊔ das ist
{ displaystyle scriptstyle { mathcal {F}}} scriptstyle { mathcal {F}}Alice= {{}, A.1, EIN2 , Ω}. Bryan kennt nur die Gesamtzahl der Schwänze. Seine Partition besteht aus vier Teilen: Ω = B.0 ⊔ B.1 ⊔ B.2 ⊔ B.
{ displaystyle scriptstyle { mathcal {F}}} scriptstyle { mathcal {F}}Bryan enthält 2
4
{ displaystyle scriptstyle { mathcal {F}}} scriptstyle { mathcal {F}}
{ displaystyle scriptstyle { mathcal {F}}} scriptstyle { mathcal {F}}
{ displaystyle scriptstyle { mathcal {F}}} scriptstyle { mathcal {F}}
{ displaystyle scriptstyle { mathcal {F}}} scriptstyle { mathcal {F}}Alice;; beide sind Sub-σ-Algebren von 2
Ω[edit]
. Beispiel 3 Wenn 100 Wähler zufällig aus allen Wählern in Kalifornien gezogen und gefragt werden sollen, wen sie für den Gouverneur stimmen sollen, wäre die Menge aller Sequenzen von 100 kalifornischen Wählern der Stichprobenraum Ω. Wir gehen davon aus, dass ersatzlose Stichproben verwendet werden: nur Sequenzen von 100
anders
{ displaystyle scriptstyle { mathcal {F}}} scriptstyle { mathcal {F}}
Alicedas enthält: (1) die Menge aller Sequenzen in Ω, bei denen mindestens 60 Personen für Schwarzenegger stimmen; (2) die Menge aller Sequenzen, in denen weniger als 60 für Schwarzenegger stimmen; (3) der gesamte Probenraum Ω; und (4) die leere Menge ∅. Bryan kennt die genaue Anzahl der Wähler, die für Schwarzenegger stimmen werden. Seine unvollständige Information wird durch die entsprechende Partition Ω = B beschrieben0 ⊔ B.1 … ⊔ B.
{ displaystyle scriptstyle { mathcal {F}}} scriptstyle { mathcal {F}}Bryan besteht aus 2
101
{ displaystyle scriptstyle { mathcal {F}}} scriptstyle { mathcal {F}}
{ displaystyle scriptstyle { mathcal {F}}} scriptstyle { mathcal {F}}Bryan . Bryans σ-Algebra ist wiederum eine Teilmenge der viel größeren σ-Algebra 2 mit „vollständiger Information“ Ωbestehend aus2n((n−1) … ( n −99) Ereignisse, wo
n[edit]
ist die Anzahl aller potenziellen Wähler in Kalifornien.[edit]
Nichtatomare Beispiele [0,1]Beispiel 4
{ displaystyle scriptstyle { mathcal {F}}} scriptstyle { mathcal {F}} ist die σ-Algebra von Borel-Mengen auf Ω, und [0,1]P.
ist die Lebesgue-Maßnahme auf.In diesem Fall die offenen Intervalle des Formulars (ein, b ), wobei 0 < ein < b<1, könnte als Generatorsatz genommen werden. Jedem solchen Satz kann die Wahrscheinlichkeit von zugeschrieben werdenP.((ein,b )) = ( b– – [0,1]ein
), die das Lebesgue-Maß am generiert[edit]
und die Borel-σ-Algebra auf Ω.Beispiel 5Eine faire Münze wird endlos geworfen. Hier kann man Ω = {0,1} nehmen∞, die Menge aller unendlichen Folgen der Zahlen 0 und 1. Zylindersätze {(x 1,x 2, …) ∈ Ω: x 1=ein 1, …, x n=ein n } kann als Generatorsatz verwendet werden. Jeder dieser Sätze beschreibt ein Ereignis, bei dem der erstenWürfe haben zu einer festen Reihenfolge geführt (ein 1, …,einn), und der Rest der Sequenz kann beliebig sein. Jedes solche Ereignis kann natürlich mit einer Wahrscheinlichkeit von 2 angegeben werden– –
n.Diese beiden nichtatomaren Beispiele sind eng miteinander verbunden: eine Sequenz (x1,x2 , …) ∈ {0,1}∞führt zur Nummer 2−1 x1+ 2−2 x [0,1]2+ … ∈ . Dies ist keine Eins-zu-Eins-Entsprechung zwischen {0,1} [0,1] ∞
und[edit]
jedoch: Es ist ein Isomorphismus-Modulo-Nullpunkt, der es ermöglicht, die beiden Wahrscheinlichkeitsräume als zwei Formen desselben Wahrscheinlichkeitsraums zu behandeln. Tatsächlich sind alle nicht pathologischen nichtatomaren Wahrscheinlichkeitsräume in diesem Sinne gleich. Sie sind sogenannte Standardwahrscheinlichkeitsräume. Grundlegende Anwendungen von Wahrscheinlichkeitsräumen sind unempfindlich gegenüber Standardität. Eine nicht diskrete Konditionierung ist jedoch in Standardwahrscheinlichkeitsräumen einfach und natürlich, da sie sonst dunkel wird.[edit]
Verwandte konzepte
Wahrscheinlichkeitsverteilung[edit]
Jede Wahrscheinlichkeitsverteilung definiert ein Wahrscheinlichkeitsmaß. Zufällige Variablen Eine Zufallsvariable X.ist eine messbare Funktion X. : Ω → S. vom Probenraum Ω zu einem anderen messbaren Raum S.nannte die
Zustandsraum . Wenn EIN⊂S. , die Notation Pr ( X.∈ EIN) ist eine häufig verwendete Abkürzung fürP. ({ ω∈ Ω:X.(( ω) ∈
EIN[edit]
}).
{ displaystyle scriptstyle { mathcal {F}}}
{ displaystyle scriptstyle { mathcal {F}}} scriptstyle { mathcal {F}} = 2
{ displaystyle scriptstyle { mathcal {F}}}
scriptstyle { mathcal {F}}
{ displaystyle scriptstyle { mathcal {F}}} scriptstyle { mathcal {F}} = 2 Ω Wir haben Probleme, unser Wahrscheinlichkeitsmaß zu definieren
{ displaystyle scriptstyle { mathcal {F}}}
{ displaystyle scriptstyle { mathcal {F}}}
scriptstyle { mathcal {F}}[edit]
Zum Beispiel die Borel-Algebra von Ω, die kleinste σ-Algebra, die alle offenen Mengen messbar macht. Bedingte Wahrscheinlichkeit Kolmogorovs Definition von Wahrscheinlichkeitsräumen führt zum natürlichen Konzept der bedingten Wahrscheinlichkeit. Jeder Satz EINmit einer Wahrscheinlichkeit ungleich Null (d. h.P.((
{ Anzeigestil P (B | A) = {P (B Kappe A) über P (A)}} P (B | A) = {P (B Kappe A) über P (A)} auf dem Raum. Dies wird normalerweise als „Wahrscheinlichkeit von B.gegeben
EIN ”. Für jede Veranstaltung B.so dassP.(( B. )> 0 die Funktion Q.definiert vonQ.(( EIN) =P.((EIN| B. ) für alle Veranstaltungen
EIN[edit]
ist selbst ein Wahrscheinlichkeitsmaß. Unabhängigkeit Zwei Ereignisse, EIN und B.sollen unabhängig sein, wennP.((EIN∩B.) =P.((EIN)P.((
B. ). Zwei Zufallsvariablen, X.und Y. , gelten als unabhängig, wenn ein Ereignis im Sinne von definiert ist X.ist unabhängig von Ereignissen, die in Bezug auf definiert sind Y. . Formal erzeugen sie unabhängige σ-Algebren, wobei zwei σ-Algebren Gund H. , die Teilmengen von sind F. sollen unabhängig sein, wenn irgendein Element von Gist unabhängig von jedem Element von
H.[edit]
. Gegenseitige Ausschließlichkeit Zwei Ereignisse, EIN und B. sollen sich gegenseitig ausschließen oder
disjunkt Wenn das Auftreten des einen das Nicht-Auftreten des anderen impliziert, dh ihr Schnittpunkt ist leer. Dies ist eine stärkere Bedingung als die Wahrscheinlichkeit, dass ihr Schnittpunkt Null ist. Wenn EIN und B.sind also disjunkte EreignisseP.((EIN∪ B.) =P.(( EIN) +P.(( B. ). Dies erstreckt sich auf eine (endliche oder zählbar unendliche) Folge von Ereignissen. Die Wahrscheinlichkeit der Vereinigung einer unzähligen Menge von Ereignissen ist jedoch nicht die Summe ihrer Wahrscheinlichkeiten. Zum Beispiel wenn Z.ist also eine normalverteilte ZufallsvariableP.((Z.= x) ist 0 für jede x, aberP.((Z.∈
R. ) = 1.Das EreignisEIN ∩B. wird bezeichnet als ” EINund B.Und das EreignisEIN ∪B. wie ” EINoder
B.[edit]
”.[edit]
- Siehe auch Verweise
- ^ Loève, Michel. Probability Theory, Band 1. New York: D. Van Nostrand Company, 1955.
^[edit]
-
- Stroock, DW (1999). Wahrscheinlichkeitstheorie: eine analytische Sicht. Cambridge University Press. LiteraturverzeichnisDie erste große Abhandlung, die Kalkül mit Wahrscheinlichkeitstheorie mischt, ursprünglich auf Französisch:
-
- Théorie Analytique des Probabilités.Die moderne messungstheoretische Grundlage der Wahrscheinlichkeitstheorie; die deutsche Originalversion (
-
- Grundbegriffe der Wahrscheinlichkeitrechnung
- Grundlagen der Wahrscheinlichkeitstheorie basierend auf nicht standardmäßigen Analysen. Herunterladbar. http://www.math.princeton.edu/~nelson/books.htmlPatrick Billingsley:
- Wahrscheinlichkeit und Maß John Wiley und Söhne, New York, Toronto, London, 1979.
-
- Henk Tijms (2004)
- Wahrscheinlichkeit verstehen Eine lebendige Einführung in die Wahrscheinlichkeitstheorie für den Anfänger Cambridge Univ. Drücken Sie.
-
- David Williams (1991)
Wahrscheinlichkeit mit Martingalen[edit]
Eine Einführung in die messungstheoretische Wahrscheinlichkeit, Cambridge Univ. Drücken Sie.
Externe Links
Recent Comments