划分
设 Ω \Omega Ω 为试验 E E E 的样本空间, A 1 , A 2 , ⋯ , A n A_1, A_2, \cdots, A_n A1,A2,⋯,An 为 E E E 的一组事件,若:
- A i A j = ∅ , i ≠ j , i , j = 1 , 2 , ⋯ , n A_iA_j=\varnothing,i\neq j,\;i,j=1,2,\cdots,n AiAj=∅,i=j,i,j=1,2,⋯,n
- A 1 ∪ A 2 ∪ ⋯ ∪ A n = Ω A_1\cup A_2\cup \cdots\cup A_n=\Omega A1∪A2∪⋯∪An=Ω
则称 A 1 , A 2 , ⋯ , A n A_1, A_2,\cdots ,A_n A1,A2,⋯,An 是 Ω \Omega Ω 的一个划分。
全概率公式
设 Ω \Omega Ω 是试验 E E E 的样本空间, B B B 是 E E E 的事件, A 1 , A 2 , ⋯ A n A_1, A_2, \cdots A_n A1,A2,⋯An 是样本空间 Ω \Omega Ω 的一个划分,则:
P ( B ) = ∑ i = 1 n P ( A i ) P ( B ∣ A i ) (1) P(B)=\sum_{i=1}^nP(A_i)P(B|A_i) \tag{1} P(B)=i=1∑nP(Ai)P(B∣Ai)(1)
( 1 ) (1) (1) 式称为全概率公式。
贝叶斯公式
设 Ω \Omega Ω 是试验 E E E 的样本空间, B B B 是 E E E 的事件, A 1 , A 2 , ⋯ A n A_1, A_2, \cdots A_n A1,A2,⋯An 是样本空间 Ω \Omega Ω 的一个划分,则:
P ( A i ∣ B ) = P ( A i ) P ( B ∣ A i ) ∑ j = 1 n P ( A j ) P ( B ∣ A j ) (2) P(A_i|B)=\frac{P(A_i)P(B|A_i)}{\sum_{j=1}^nP(A_j)P(B|A_j)} \tag{2} P(Ai∣B)=∑j=1nP(Aj)P(B∣Aj)P(Ai)P(B∣Ai)(2)
( 2 ) (2) (2) 式称为贝叶斯公式。