设 Ω 为样本空间,B1,B2,⋯,Bn 为一组事件,若满足:
- BiBj=∅(i=j),即两两互斥
- ⋃i=1nBi=Ω
- P(Bi)>0(i=1,2,⋯,n)
则称 B1,B2,⋯,Bn 为样本空间 Ω 的一个分割(或完备事件组)。
设 B1,B2,⋯,Bn 为样本空间 Ω 的一个分割,则对任意事件 A,有
P(A)=∑i=1nP(Bi)P(A∣Bi)
证明:
A=AΩ=A(⋃i=1nBi)=⋃i=1nABi
由于 B1,B2,⋯,Bn 两两互斥,故 AB1,AB2,⋯,ABn 也两两互斥,由概率的有限可加性:
P(A)=∑i=1nP(ABi)=∑i=1nP(Bi)P(A∣Bi)
全概率公式的核心思想是化整为零:将复杂事件 A 的概率分解为在各种”原因” Bi 下条件概率的加权平均,权重即为各”原因”的概率 P(Bi)。
例题:某工厂有甲、乙、丙三条生产线生产同一种产品,产量分别占总产量的 25%、35%、40%,且各条生产线的次品率分别为 5%、4%、2%。现从总产品中任取一件,求取到次品的概率。
解:设 A 为”取到次品”,B1,B2,B3 分别为”取到甲、乙、丙生产线的产品”,则
P(A)=P(B1)P(A∣B1)+P(B2)P(A∣B2)+P(B3)P(A∣B3)
=0.25×0.05+0.35×0.04+0.40×0.02=0.0125+0.014+0.008=0.0345
设 B1,B2,⋯,Bn 为样本空间 Ω 的一个分割,A 为任意事件且 P(A)>0,则
P(Bk∣A)=∑i=1nP(Bi)P(A∣Bi)P(Bk)P(A∣Bk),k=1,2,⋯,n
证明:由条件概率定义和乘法公式:
P(Bk∣A)=P(A)P(BkA)=P(A)P(Bk)P(A∣Bk)
分母用全概率公式展开即得。
贝叶斯公式体现了由果溯因的思想:
- P(Bk):先验概率——在观察到结果 A 之前,原因 Bk 的概率
- P(A∣Bk):似然函数——在原因 Bk 下,结果 A 出现的概率
- P(Bk∣A):后验概率——观察到结果 A 之后,原因 Bk 的概率
贝叶斯公式描述了从先验概率到后验概率的更新过程:
后验概率=全概率(归一化常数)先验概率×似然函数
当 n=2 时,B 和 Bˉ 构成 Ω 的分割:
P(B∣A)=P(B)P(A∣B)+P(Bˉ)P(A∣Bˉ)P(B)P(A∣B)
问题:某种疾病的患病率为 0.1%,现有一种检测方法,其灵敏度为 99%(即患者中 99% 检测为阳性),特异度为 95%(即非患者中 95% 检测为阴性)。现某人检测为阳性,求其确实患病的概率。
解:设 D 为”患病”,Dˉ 为”未患病”,+ 为”检测阳性”。
已知:P(D)=0.001,P(+∣D)=0.99,P(−∣Dˉ)=0.95
P(D∣+)=P(D)P(+∣D)+P(Dˉ)P(+∣Dˉ)P(D)P(+∣D)
=0.001×0.99+0.999×0.050.001×0.99=0.00099+0.049950.00099=0.050940.00099≈0.0194
虽然检测方法的灵敏度和特异度都很高,但由于患病率极低,阳性结果中真正患病的概率仅约 1.94%。
问题:在通信系统中,发送端以概率 0.6 发送信号 0,以概率 0.4 发送信号 1。由于信道噪声,发送 0 时接收为 1 的概率为 0.2,发送 1 时接收为 0 的概率为 0.1。若接收端收到信号 1,求发送端确实发送了 1 的概率。
解:设 S0,S1 分别表示发送 0 和 1,R0,R1 分别表示接收 0 和 1。
P(S1∣R1)=P(S0)P(R1∣S0)+P(S1)P(R1∣S1)P(S1)P(R1∣S1)
=0.6×0.2+0.4×0.90.4×0.9=0.12+0.360.36=0.480.36=0.75
问题:某商店从甲、乙两厂采购同种商品,甲厂占 60%,乙厂占 40%。甲厂次品率为 2%,乙厂次品率为 1%。现发现一件次品,求该次品来自甲厂的概率。
解:
P(甲∣次品)=0.6×0.02+0.4×0.010.6×0.02=0.012+0.0040.012=0.0160.012=0.75
若连续获得多个观察结果 A1,A2,⋯,Am,则后验概率可以序贯更新:
P(Bk∣A1A2⋯Am)=∑i=1nP(Bi)P(A1A2⋯Am∣Bi)P(Bk)P(A1A2⋯Am∣Bk)
若 A1,A2,⋯,Am 在给定 Bk 的条件下条件独立,则
P(A1A2⋯Am∣Bk)=∏j=1mP(Aj∣Bk)
贝叶斯公式是贝叶斯决策论的基础。在统计决策中,选择使后验期望损失最小的行动。
- 频率学派:概率是长期频率的极限,参数是固定但未知的常数
- 贝叶斯学派:概率是主观信念的度量,参数是随机变量,有先验分布
贝叶斯公式是贝叶斯统计推断的核心工具,它将先验信息与样本信息结合,得到后验分布。