Pourquoi P (A, B | C) / P (B | C) = P (A | B, C)?

16

Je comprends P(AB)/P(B)=P(A|B) . Le conditionnel est l'intersection de A et B divisée par toute l'aire de B.

Mais pourquoi P(UNEB|C)/P(B|C)=P(UNE|BC) ?

Pouvez-vous donner une certaine intuition?

Cela ne devrait-il pas être: P(UNEBC)/P(B,C)=P(UNE|BC) ?

ihadanny
la source
2
Peut-être est-il plus facile à comprendre sous la forme multiplicative: P(UNE,BC)=P(UNEB,C)P(BC) ?
Hagen von Eitzen

Réponses:

37

Tout résultat de probabilité qui est vrai pour une probabilité inconditionnelle reste vrai si tout est conditionné par un événement.

Vous savez que par définition, et donc si nous conditionnons tout surC, nous obtenons que P(A(BC))=P((AB)C)

(1)P(UNEB)=P(UNEB)P(B)
C exactement comme vous le dit votre intuition. Mais, vous pouvez définirD=BC et commencer par la définition deP(A(BC))=P(AD)comme dans(1)P(A(BC)))=P(AD)=P(
(2)P(A(BC))=P((AB)C)P(BC)
D=BCP(A(BC))=P(AD)(1) puis multipliez et divisez parP(C))à droite de(3)pour écrire le résultat final sous la forme(2)comme dans la réponse de Taylor.
(3)P(A(BC))=P(AD)=P(AD)P()=P(UNE(BC))P(BC)=P(UNEBC)P(BC)
P(C))(3)(2)
Dilip Sarwate
la source
20

Dessinez simplement le diagramme de Venn. On a alors et la relation suit en divisant la première expression par la seconde.

Pr[UNEBC]="1""C",Pr[BC]="1"+"2""C",Pr[UNEBC]="1""1"+"2",

entrez la description de l'image ici

heropup
la source
18

P(UNE,B|C)P(B|C)=P(UNE,B,C)P(C)P(C)P(B,C)=P(UNE,B,C)P(B,C)=P(UNE|B,C)
Taylor
la source
9
-1 Bien que tout à fait correcte, la question demandait une certaine intuition, elle n'en contient pas.
Jack Aidley
P(UNE,B)
2
cela signifie P (A et B) :: la probabilité conjointe,
nyxee
@ Xi'an Je pense que c'était la notation originale
Taylor
4

Mon intuition est la suivante ...

CCC

CXP^(X)

P^(UNE|B)=P^(UNEB)P^(B).

CP^(X)P(X|C)

Vous pouvez immédiatement réécrire le RHS, après la découverte supérieure:

P(UNEBC)P(BC).

Mais ... Qu'est-ce que le LHS? Eh bien, quelle est la probabilité deUNE quand B est donné lorsque Cest (aussi) donné? Précisément

P(UNEBC),
d'où la formule.
Antoine
la source