Kann eine hintere Wahrscheinlichkeit> 1 sein?

18

In Bayes Formel:

P(x|a)=P(a|x)P(x)P(a)

Kann die hintere Wahrscheinlichkeit 1 überschreiten?P(x|a)

Ich denke, es ist möglich, wenn zum Beispiel angenommen wird, dass und undP ( a ) < P ( x ) < 1 P ( a ) / P ( x ) < P ( a | x ) < 10<P(a)<1P(a)<P(x)<1P(a)/P(x)<P(a|x)<1 . Aber da bin ich mir nicht sicher, denn was würde es bedeuten, wenn eine Wahrscheinlichkeit größer als eins wäre?

Thomas Moore
quelle
6
Man sollte die Notation genau definieren. Es ist unklar, was darstellt. Wenn P ( ) (a) eine Wahrscheinlichkeitsverteilung ist (in diesem Fall sind a und x Mengen) oder (b) eine Massenfunktion in einem diskreten Raum, dann sind die Antworten, die Sie bereits haben, im Wesentlichen korrekt. Wenn unter P ( ) eine Dichtefunktion verstanden wird, ist es nicht wahr, dass P ( x a ) 1 ist . Der Grund für das Nitpicken ist, dass alle drei Arten von Funktionen die Bayes-Regel erfüllen. Die Notation P ( )P()P()axP()P(xa)1P() normalerweise für eine Distribution gedacht, aber die Verwendung von Kleinbuchstaben für Argumente deutet auf eine Dichte hin.
Kerl
2
so dass die hintere Wahrscheinlichkeit1nicht überschreiten kann. (Die hintere Dichte ist eine andere Sache - viele kontinuierliche Verteilungen habenfür einige WerteDichten über1)P(xa)=P(x,a)P(a)P(a)P(a)=111
Henry
Wenn der berechnete hintere Wert einen überschreitet, haben Sie irgendwo einen Fehler gemacht.
Emil M Friedman
2
@EmilMFriedman, Ihre Antwort ist mehrdeutig (und aus diesem Grund möglicherweise schädlich), da sie nicht angibt, ob es sich um eine "berechnete hintere" Wahrscheinlichkeit oder Dichte handelt.
whuber
Die Einheitsbarriere in der Wahrscheinlichkeit kann und wurde durchbrochen. Siehe meinen Beitrag unter stats.stackexchange.com/questions/4220/… .
Mark L. Stone

Antworten:

8

Die angenommenen Bedingungen gelten nicht - es kann niemals wahr sein, dass durch die Definition der bedingten Wahrscheinlichkeit :P(a)/P(x)<P(a|x)

P(a|x)=P(ax)/P(x)P(a)/P(x)

khol
quelle
28

Nein, es ist nicht möglich, dass die hintere Wahrscheinlichkeit eine überschreitet. Das wäre ein Verstoß gegen das normative Axiom der Wahrscheinlichkeitstheorie. Nach den Regeln der bedingten Wahrscheinlichkeit müssen Sie haben:

P(a|x)=P(a,x)P(x)P(a)P(x).

Dies bedeutet, dass Sie die angegebenen Ungleichungsbedingungen nicht haben können. (Übrigens ist dies eine gute Frage: Es ist gut, dass Sie die Wahrscheinlichkeitsgesetze auf der Suche nach Problemen untersuchen. Dies zeigt, dass Sie diese Fragen mit größerer Genauigkeit untersuchen als die meisten Studenten.)

Ein zusätzlicher Punkt: Es lohnt sich, einen zusätzlichen Punkt zu dieser Situation zu machen, bei dem es um die logische Priorität verschiedener Wahrscheinlichkeitsmerkmale geht. Denken Sie daran, dass die Wahrscheinlichkeitstheorie mit einer Reihe von Axiomen beginnt , die charakterisieren, was ein Wahrscheinlichkeitsmaß tatsächlich ist. Aus diesen Axiomen können wir "Wahrscheinlichkeitsregeln" ableiten, die aus den Axiomen abgeleitete Sätze sind. Diese Wahrscheinlichkeitsregeln müssen mit den Axiomen übereinstimmen, um gültig zu sein. Wenn Sie jemals feststellen würden, dass eine Wahrscheinlichkeitsregel zu einem Widerspruch mit einem der Axiome führt (z. B. wenn die Wahrscheinlichkeit des Probenraums größer als eins ist), würde dies das Axiom nicht verfälschen - es würde die Wahrscheinlichkeitsregel verfälschen . Selbst wenn dies der Fall wäre, könnte dies die Bayes-Regel seinzu einer hinteren Wahrscheinlichkeit von mehr als eins führen (nicht), dies würde nicht bedeuten, dass Sie eine hintere Wahrscheinlichkeit von mehr als eins haben können; es würde einfach bedeuten, dass die Bayes-Regel keine gültige Wahrscheinlichkeitsregel ist.

Setzen Sie Monica wieder ein
quelle
1
Sollte der letzte Zähler P (x) sein?
BallpointBen
Zeigt immer noch P (a) für mich
BallpointBen
1
Es soll P (a) im Zähler sein. Die Ungleichung zeigt dem OP, dass er nicht P (a | x)> P (a) / P (x) haben kann, wie er es in seiner Frage spezifiziert hat.
Setzen Sie Monica
9

Die Bayes-Formel kann keine Werte fürP(BA)angeben, die1überschreiten. Eine intuitive Art und Weisedies zu sehen istauszudrückenP(A)über die Totale Wahrscheinlichkeit als P(A)=P(A|B)P(B)+P(A|Bc)P(Bc)gebendass P(BP(BA)=P(AB)P(B)P(A)P(BA)1P(A)

P(A)=P(AB)P(B)+P(ABc)P(Bc)
, die zeigtdass der Zähler nur einer der Terme in der Summe in dem Nenner ist, und so der Anteil nicht überschreitet1Wert .
P(BA)=P(AB)P(B)P(A)=P(AB)P(B)P(AB)P(B)+P(ABc)P(Bc)
1
Dilip Sarwate
quelle
+1 das ist der einfachste Beweis für mich.
Mehrdad
@Mehrdad Danke. Die anderen Antworten beweisen im Wesentlichen, dass eine bedingte Wahrscheinlichkeit 1 nicht überschreiten kann, indem P ( A B ) P ( B ) = P \ A B ) P ( A ) nicht überschreiten kann, weil A B A und so muss es sein, dass P \ A B ) P ( A )P(BEIN)1P(EINB)P(B)=P\EINB)P(EIN)EINBEINP\AB)P(A)und haben per se wenig Beziehung zur Bayes-Formel (wie sie in der Statistik verwendet wird, um hintere Wahrscheinlichkeiten von früheren Wahrscheinlichkeiten abzuleiten).
Dilip Sarwate