Was sind Wahrscheinlichkeitsaxiome?

Eine Strategie in der Mathematik besteht darin, mit einigen Aussagen zu beginnen und dann aus diesen Aussagen mehr Mathematik aufzubauen. Die Anfangsaussagen werden als Axiome bezeichnet. Ein Axiom ist typischerweise etwas, das mathematisch selbstverständlich ist. Aus einer relativ kurzen Liste von Axiomen wird deduktive Logik verwendet, um andere Aussagen zu beweisen, die als Theoreme oder Sätze bezeichnet werden.

Der als Wahrscheinlichkeit bekannte Bereich der Mathematik ist nicht anders. Die Wahrscheinlichkeit kann auf drei Axiome reduziert werden. Dies wurde zuerst vom Mathematiker Andrei Kolmogorov getan. Die Handvoll Axiome, die der Wahrscheinlichkeit zugrunde liegen, können verwendet werden, um alle abzuleiten Sorten von Ergebnissen. Aber was sind diese Wahrscheinlichkeitsaxiome?

Um die Axiome für die Wahrscheinlichkeit zu verstehen, müssen wir zunächst einige grundlegende Definitionen diskutieren. Wir nehmen an, dass wir eine Reihe von Ergebnissen haben, die als Probenraum bezeichnet werden

Wir gehen auch davon aus, dass es eine Möglichkeit gibt, einem Ereignis eine Wahrscheinlichkeit zuzuweisen E.. Dies kann als eine Funktion betrachtet werden, die einen Satz für eine Eingabe hat, und a reelle Zahl als Ausgabe. Die Wahrscheinlichkeit der VeranstaltungE. wird mit bezeichnet P.(E.).

Das erste Axiom der Wahrscheinlichkeit ist, dass die Wahrscheinlichkeit eines Ereignisses eine nichtnegative reelle Zahl ist. Dies bedeutet, dass die kleinste Wahrscheinlichkeit, die eine Wahrscheinlichkeit jemals sein kann, Null ist und dass sie nicht unendlich sein kann. Die Zahlen, die wir verwenden können, sind reelle Zahlen. Dies bezieht sich sowohl auf rationale Zahlen, auch als Brüche bezeichnet, als auch auf irrationale Zahlen, die nicht als Brüche geschrieben werden können.

Eine Sache zu beachten ist, dass dieses Axiom nichts darüber aussagt, wie groß die Wahrscheinlichkeit eines Ereignisses sein kann. Das Axiom schließt die Möglichkeit negativer Wahrscheinlichkeiten aus. Es spiegelt die Vorstellung wider, dass die kleinste Wahrscheinlichkeit, die für unmögliche Ereignisse reserviert ist, Null ist.

Das zweite Wahrscheinlichkeitsaxiom ist, dass die Wahrscheinlichkeit des gesamten Probenraums eins ist. Symbolisch schreiben wir P.(S.) = 1. In diesem Axiom impliziert ist die Vorstellung, dass der Probenraum alles ist, was für unser Wahrscheinlichkeitsexperiment möglich ist, und dass es keine Ereignisse außerhalb des Probenraums gibt.

Dieses Axiom selbst legt keine Obergrenze für die Wahrscheinlichkeiten von Ereignissen fest, die nicht den gesamten Probenraum ausmachen. Es spiegelt wider, dass etwas mit absoluter Sicherheit eine Wahrscheinlichkeit von 100% hat.

Das dritte Wahrscheinlichkeitsaxiom befasst sich mit sich gegenseitig ausschließenden Ereignissen. Wenn E.₁ und E.₂ sind sich gegenseitig ausschließenDies bedeutet, dass sie einen leeren Schnittpunkt haben und wir dann U verwenden, um die Vereinigung zu bezeichnen P.(E.₁ U. E.₂ ) = P.(E.₁) + P.(E.₂).

Das Axiom deckt die Situation tatsächlich mit mehreren (sogar zählbar unendlichen) Ereignissen ab, von denen sich jedes Paar gegenseitig ausschließt. Solange dies geschieht, wird die Wahrscheinlichkeit der Vereinigung der Ereignisse ist die gleiche wie die Summe der Wahrscheinlichkeiten:

P.(E.₁ U. E.₂ U... U. E._n ) = P.(E.₁) + P.(E.₂) +... + E._n

Obwohl dieses dritte Axiom möglicherweise nicht so nützlich erscheint, werden wir sehen, dass es in Kombination mit den beiden anderen Axiomen tatsächlich ziemlich mächtig ist.

Die drei Axiome legen eine Obergrenze für die Wahrscheinlichkeit eines Ereignisses fest. Wir bezeichnen die Ergänzung der Veranstaltung E. durch E.^C.. Aus der Mengenlehre E. und E.^C. haben eine leere Kreuzung und schließen sich gegenseitig aus. Außerdem E. U. E.^C. = S.den gesamten Probenraum.

Diese Tatsachen, kombiniert mit den Axiomen, geben uns:

1 = P.(S.) = P.(E. U. E.^C.) = P.(E.) + P.(E.^C.) .

Wir ordnen die obige Gleichung neu und sehen das P.(E.) = 1 - P.(E.^C.). Da wir wissen, dass Wahrscheinlichkeiten nicht negativ sein müssen, haben wir jetzt, dass eine Obergrenze für die Wahrscheinlichkeit eines Ereignisses 1 ist.

Durch erneutes Anordnen der Formel haben wir P.(E.^C.) = 1 - P.(E.). Wir können aus dieser Formel auch ableiten, dass die Wahrscheinlichkeit, dass ein Ereignis nicht auftritt, eins minus der Wahrscheinlichkeit ist, dass es auftritt.

Die obige Gleichung bietet uns auch eine Möglichkeit, die Wahrscheinlichkeit des unmöglichen Ereignisses zu berechnen, das durch die leere Menge bezeichnet wird. Um dies zu sehen, erinnern Sie sich daran, dass die leere Menge in diesem Fall das Komplement der universellen Menge ist S.^C.. Da 1 = P.(S.) + P.(S.^C.) = 1 + P.(S.^C.), durch Algebra haben wir P.(S.^C.) = 0.

Das Obige sind nur einige Beispiele für Eigenschaften, die direkt aus den Axiomen bewiesen werden können. Es gibt viel mehr Ergebnisse in der Wahrscheinlichkeit. Alle diese Sätze sind jedoch logische Erweiterungen der drei Wahrscheinlichkeitsaxiome.