Teorema de Bayes: $$ P (A | B) = \ frac {P (B | A) P (A)} {P (B)}. $$
Claramente, se requiere$P(B)>0$. Sin embargo, $$ P (B | A): = \ frac {P (B \ cap A)} {P (A)}, $$ así que si$P(A)=0$ tendríamos $$ P (A | B) = \ frac {\ frac {P (B \ cap A)} {0} 0} {P (B)}, $$ que no está definido.
Entonces, aunque normalmente veo el teorema de Bayes escrito con la condición$P(B)>0$, parece que también necesitamos$P(A)>0$. ¿Me estoy perdiendo de algo?