M05 · 第 2 章 · 第一编 概率空间

条件概率、独立性与贝叶斯公式

在条件事件概率为正时重新归一化概率空间,推导乘法公式、全概率与 Bayes 公式,并严格区分互斥、事件独立、两两独立、相互独立和条件独立。

报告页面错误
预备知识概率公理与组合概率

本章目标

  1. 在条件事件概率为正时计算条件概率,并解释重新归一化的样本空间。
  2. 使用乘法公式、链式分解和全概率公式组织多阶段概率。
  3. 用 Bayes 公式从正向条件概率计算反向条件概率,并核验分母。
  4. 区分互斥与独立,以及两两独立、相互独立和条件独立。
  5. 通过枚举或概率和为一等独立路径复核条件概率数值。
页面阅读位置0% · 仅保存在此浏览器
章节未开始
本册完成进度0/6 章 · 0%
本页目录

新信息会改变相关结果的相对权重

一批产品来自两座工厂,抽检前只知道各工厂产量;发现产品有缺陷后,来源工厂的可能性会改变。牌堆中第一张牌已经翻开,第二张牌的概率也会改变。条件概率在已知事件发生的前提下删去不相容的样本点,并把剩余概率重新缩放到总和为一;它描述信息变化后的概率空间,不涉及时间方向的改变。

AA 是关心的事件,BB 是已经知道发生的事件。原模型中只有 ABA\cap B 同时符合两项要求,因此新的分子必须是交集概率;剩余样本空间的总概率是 P(B)\mathbb P(B),因此还要用它归一化。这个比值只有在条件事件具有正概率时才有初等意义。

条件概率的分母必须为正

条件事件上的概率

A,BFA,B\in\mathcal FP(B)>0\mathbb P(B)>0,则在事件 BB 已发生的条件下,事件 AA 的条件概率定义为

P(AB)=P(AB)P(B).\mathbb P(A\mid B) =\frac{\mathbb P(A\cap B)}{\mathbb P(B)}.

由定义立即得到 0P(AB)10\le\mathbb P(A\mid B)\le1P(BB)=1\mathbb P(B\mid B)=1。固定条件事件 BB 后,映射 AP(AB)A\mapsto\mathbb P(A\mid B) 对事件交并仍满足概率公理;它是一套新的概率测度,而不是只为某一道题准备的符号技巧。

P(B)=0\mathbb P(B)=0,因为 ABBA\cap B\subseteq B,分子也必为零,分式成为未定义的 0/00/0。连续随机变量中的事件 Y=yY=y 常有零概率,后续章节会在联合密度存在且边缘密度为正的点用条件密度,或使用更一般的正则条件分布;不能把这里的事件比值机械套过去。

乘法公式把条件路径还原为交集

将定义重排得到

P(AB)=P(B)P(AB)=P(A)P(BA),\mathbb P(A\cap B) =\mathbb P(B)\mathbb P(A\mid B) =\mathbb P(A)\mathbb P(B\mid A),

其中相应条件事件的概率必须为正。对多个事件,若每个前缀交集都满足

P(A1Ak1)>0,k=2,,n,\mathbb P(A_1\cap\cdots\cap A_{k-1})>0, \qquad k=2,\ldots,n,

就可依次展开:

P(A1An)=P(A1)P(A2A1)P(AnA1An1).\begin{aligned} \mathbb P(A_1\cap\cdots\cap A_n) ={}&\mathbb P(A_1) \mathbb P(A_2\mid A_1)\\ &\cdots \mathbb P(A_n\mid A_1\cap\cdots\cap A_{n-1}). \end{aligned}

链式分解不要求事件独立。相反,它逐步保留了前面结果对后续概率的影响。这里的正概率条件必须对每个前缀分别成立,只检查第一个事件的概率还不够。若某个前缀交集概率为零,整个总交集概率已经为零,但包含该前缀的普通条件概率比值没有定义,不能仍把上式写成一串数值乘积。只有额外证明独立后,某些条件概率才能化为无条件概率。

不放回抽牌展示概率如何更新

连续抽到两张 A 的乘法分解

从标准五十二张牌中不放回地依次抽两张。令 A1A_1 表示第一张是 A,A2A_2 表示第二张是 A。第一张为 A 的概率是 4/524/52;在此条件下,牌堆剩五十一张且只剩三张 A,所以

P(A2A1)=351.\mathbb P(A_2\mid A_1)=\frac3{51}.

因此

P(A1A2)=452351=12210.004525.\mathbb P(A_1\cap A_2) =\frac4{52}\cdot\frac3{51} =\frac1{221}\approx0.004525.

用无序手牌复核,恰好抽到两张 A 的两张牌组合有 (42)=6\binom42=6 个,总组合数为 (522)=1326\binom{52}2=1326,比值同样是 6/1326=1/2216/1326=1/221。两条计算路径的结果一致。

分区把所有可能来源重新拼回总体

事件 H1,,HmH_1,\ldots,H_m 若两两互斥、并集为 Ω\Omega,便构成一个分区。若每个 P(Hi)>0\mathbb P(H_i)>0,任意事件 DD 都可分解为互斥并集

D=i=1m(DHi).D=\bigcup_{i=1}^m(D\cap H_i).

使用可加性和乘法公式得到全概率公式

P(D)=i=1mP(DHi)P(Hi).\mathbb P(D) =\sum_{i=1}^m\mathbb P(D\mid H_i)\mathbb P(H_i).

它是各来源条件概率的加权平均,权重非负且和为一。因此总体概率必在各条件概率的最小值与最大值之间;若计算越界,应检查分区、权重或小数乘法。

两座工厂的缺陷产品来源

用全概率与 Bayes 公式追踪缺陷来源

工厂 AABB 分别生产总产量的 0.60.60.40.4,两厂产品的缺陷率分别为 0.020.020.050.05。随机抽取一件产品,令 DD 表示产品有缺陷。两厂来源构成分区,因此

P(D)=0.6×0.02+0.4×0.05=0.012+0.020=0.032.\mathbb P(D) =0.6\times0.02+0.4\times0.05 =0.012+0.020=0.032.

缺陷且来自 BB 的联合概率为

P(BD)=0.4×0.05=0.020.\mathbb P(B\cap D)=0.4\times0.05=0.020.

于是

P(BD)=0.0200.032=0.625.\mathbb P(B\mid D) =\frac{0.020}{0.032}=0.625.

作为复核,P(AD)=0.012/0.032=0.375\mathbb P(A\mid D)=0.012/0.032=0.375,两个后验来源概率之和为一。虽然 BB 只占四成产量,但其较高缺陷率使它在已知缺陷的产品中占六成二五。

Bayes 公式反转条件方向

有限分区上的 Bayes 公式

H1,,HmH_1,\ldots,H_m 是满足 P(Hi)>0\mathbb P(H_i)>0 的有限分区,且 P(D)>0\mathbb P(D)>0。则

P(HjD)=P(DHj)P(Hj)i=1mP(DHi)P(Hi).\mathbb P(H_j\mid D) =\frac{\mathbb P(D\mid H_j)\mathbb P(H_j)} {\sum_{i=1}^m\mathbb P(D\mid H_i)\mathbb P(H_i)}.
证明

条件概率定义给出

P(HjD)=P(HjD)P(D).\mathbb P(H_j\mid D) =\frac{\mathbb P(H_j\cap D)}{\mathbb P(D)}.

分子用乘法公式写成 P(DHj)P(Hj)\mathbb P(D\mid H_j)\mathbb P(H_j),分母用全概率公式展开,即得结论。

在有限假设模型中,P(Hj)\mathbb P(H_j) 常称为观察 DD 前的概率,P(DHj)\mathbb P(D\mid H_j) 描述不同假设产生观察的能力,分母负责归一化。公式不会凭空提供这些输入;若来源比例或条件概率不可信,精确的小数运算也不能弥补模型错误。本章只处理已给定事件模型中的概率反向换算,不讨论未知总体参数的估计理论。

同一分区下的全部反向条件概率必须相加为一。事实上,把上式对 jj 求和,分子之和正好等于全概率分母,所以总和为一。实际计算时可以先列出每条路径的联合概率 P(Hj)P(DHj)\mathbb P(H_j)\mathbb P(D\mid H_j),再用这些联合概率之和作共同分母;这种表格或树状组织能避免把条件概率本身误当作联合概率。若证据在所有假设下都不可能发生,则分母为零,公式没有可计算的后验分布。

低基准率会显著影响反向概率

筛查阳性不等于目标事件几乎确定

在一个明确限定的计算模型中,目标状态 HH 的比例为 0.010.01。若状态存在,筛查阳性的概率为 0.950.95;若状态不存在,阳性的概率为 0.050.05。令 ++ 表示阳性,则

P(+)=0.01×0.95+0.99×0.05=0.0095+0.0495=0.059.\mathbb P(+) =0.01\times0.95+0.99\times0.05 =0.0095+0.0495=0.059.

所以

P(H+)=0.00950.059=191180.1610.\mathbb P(H\mid +) =\frac{0.0095}{0.059} =\frac{19}{118}\approx0.1610.

以十万人作频数复核:约一千人具有目标状态,其中九百五十人阳性;九万九千人不具有目标状态,其中四千九百五十人阳性。全部五千九百名阳性者中,九百五十人来自目标状态,比例仍为 950/5900=19/118950/5900=19/118。这里仅核验给定概率模型,不把计算结果当作现实诊断结论。

事件独立意味着交集可以乘开

两个事件的独立性

事件 AABB 独立,当且仅当

P(AB)=P(A)P(B).\mathbb P(A\cap B)=\mathbb P(A)\mathbb P(B).

这个定义即使某个事件概率为零仍然适用。若 P(B)>0\mathbb P(B)>0,它等价于 P(AB)=P(A)\mathbb P(A\mid B)=\mathbb P(A);若 P(A)>0\mathbb P(A)>0,也等价于 P(BA)=P(B)\mathbb P(B\mid A)=\mathbb P(B)。独立是概率测度的性质,不是“事件没有共同样本点”。

独立性还会传递到补事件。若 AABB 独立,则

P(AcB)=P(B)P(AB)=(1P(A))P(B)=P(Ac)P(B).\mathbb P(A^c\cap B) =\mathbb P(B)-\mathbb P(A\cap B) =(1-\mathbb P(A))\mathbb P(B) =\mathbb P(A^c)\mathbb P(B).

因此 AcA^cBB 独立;同理可得到 AABcB^cAcA^cBcB^c 独立。这是一条由定义推出的性质,不能反过来把任意补事件关系当作独立性证据。

互斥则是集合关系 AB=A\cap B=\varnothing。两个正概率事件若互斥,交集概率为零而边缘概率乘积为正,所以它们不独立。掷一枚骰子时,“出现一点”和“出现二点”互斥,却显然会互相排除。

两两独立还不足以保证相互独立

一族事件两两独立,表示任意一对都满足乘法公式。相互独立要求更强:对任意有限子族 Ai1,,AikA_{i_1},\ldots,A_{i_k},都有

P(Ai1Aik)=r=1kP(Air).\mathbb P(A_{i_1}\cap\cdots\cap A_{i_k}) =\prod_{r=1}^k\mathbb P(A_{i_r}).

对三个事件,除三组两两乘法外,还必须检查三重交集。只验证协同出现的两两比例,可能遗漏只在三者同时出现时暴露的约束。

两个公平比特给出经典反例

三个事件两两独立但不相互独立

令两个公平比特 X,YX,Y 独立,四个结果 00,01,10,1100,01,10,11 等可能。定义

A={X=0},B={Y=0},C={X=Y}.A=\{X=0\},\qquad B=\{Y=0\},\qquad C=\{X=Y\}.

三个事件都含两个样本点,所以概率均为 1/21/2。任意两事件的交集都是单点 {00}\{00\},因此

P(AB)=P(AC)=P(BC)=14=1212.\mathbb P(A\cap B) =\mathbb P(A\cap C) =\mathbb P(B\cap C) =\frac14 =\frac12\cdot\frac12.

故它们两两独立。然而三重交集仍为 {00}\{00\},概率是 1/41/4,而三个边缘概率乘积是

P(A)P(B)P(C)=18.\mathbb P(A)\mathbb P(B)\mathbb P(C)=\frac18.

两者不相等,所以三事件不相互独立。这个反例也可从逻辑关系看出:知道 AABB 同时发生后,CC 必然发生。

条件独立只在给定信息后成立

给定事件后的条件独立

P(C)>0\mathbb P(C)>0,事件 AABB 在给定 CC 后条件独立,当且仅当

P(ABC)=P(AC)P(BC).\mathbb P(A\cap B\mid C) =\mathbb P(A\mid C)\mathbb P(B\mid C).

条件独立不推出无条件独立,无条件独立也不保证加入任意条件后仍独立。共同原因被固定后,两个观测可能分解;混合不同原因时,它们又可能因为共享原因而相关。判断时必须写明“给定什么”,不能只写一句“二者条件独立”。

共同状态会制造边缘依赖

给定设备状态独立的两只报警器

设设备异常事件为 SS,且 P(S)=0.1\mathbb P(S)=0.1。给定异常时,两只报警器 A,BA,B 各以 0.80.8 的概率触发且条件独立;给定正常 ScS^c 时,各以 0.10.1 的概率触发且条件独立。于是

P(A)=P(B)=0.1×0.8+0.9×0.1=0.17.\mathbb P(A)=\mathbb P(B) =0.1\times0.8+0.9\times0.1=0.17.

两只同时触发的概率为

P(AB)=0.1×0.82+0.9×0.12=0.064+0.009=0.073.\mathbb P(A\cap B) =0.1\times0.8^2+0.9\times0.1^2 =0.064+0.009=0.073.

若无条件独立,交集应为 0.172=0.02890.17^2=0.0289,与 0.0730.073 不同,所以它们边缘上不独立。另一方面,在 SS 条件下交集概率为 0.64=0.820.64=0.8^2,在 ScS^c 条件下为 0.01=0.120.01=0.1^2,条件独立假设分别通过核验。

反向条件、互斥和独立的常见混淆

常见误区

P(AB)\mathbb P(A\mid B)P(BA)\mathbb P(B\mid A) 只差书写顺序。”两者分母不同。Bayes 公式正是用边缘概率和正向条件概率换算反向条件概率,不能直接交换字母。

常见误区

“事件互斥,所以事件独立。”正概率互斥事件恰好不独立;一个发生后另一个的条件概率降为零。

零概率条件不能代入初等比值

XX[0,1][0,1] 上均匀分布,则每个单点事件 {X=x}\{X=x\} 的概率都是零。表达式 P(A{X=x})/P(X=x)\mathbb P(A\cap\{X=x\})/\mathbb P(X=x) 的分母为零,不能据此定义“给定 X=xX=x”。后续条件密度需要联合分布和正边缘密度,不能由零除法得到。

练习:沿两条路径核验条件化

练习

已知 P(A)=0.50\mathbb P(A)=0.50P(B)=0.40\mathbb P(B)=0.40P(AB)=0.15\mathbb P(A\cap B)=0.15。求 P(AB)\mathbb P(A\mid B)P(BA)\mathbb P(B\mid A),并判断 A,BA,B 是否独立。

查看提示
先检查条件事件 B 的概率为正,再用交集概率除以 P(B)。
查看解答

两项条件事件概率都为正,故

P(AB)=0.150.40=0.375,P(BA)=0.150.50=0.30.\mathbb P(A\mid B)=\frac{0.15}{0.40}=0.375, \qquad \mathbb P(B\mid A)=\frac{0.15}{0.50}=0.30.

若独立,交集应为 0.50×0.40=0.200.50\times0.40=0.20,但实际为 0.150.15,所以不独立。两项反向条件概率不同,也说明不能交换条件方向。

练习

三家供应商的供货比例为 0.5,0.3,0.20.5,0.3,0.2,退货率分别为 0.01,0.03,0.040.01,0.03,0.04。随机一件商品被退货的概率是多少?已知被退货,它来自第二家供应商的概率是多少?

查看提示
三个供应商构成分区;先求退货总体概率,再取第二家供应商对应的联合项。
查看解答

全概率公式给出

P(R)=0.5×0.01+0.3×0.03+0.2×0.04=0.022.\mathbb P(R) =0.5\times0.01+0.3\times0.03+0.2\times0.04 =0.022.

第二家且退货的概率为 0.3×0.03=0.0090.3\times0.03=0.009,所以

P(H2R)=0.0090.022=9220.4091.\mathbb P(H_2\mid R)=\frac{0.009}{0.022}=\frac9{22}\approx0.4091.

其余两家后验为 5/225/228/228/22,三者之和为一。

练习

袋中有五个红球、三个蓝球,不放回抽两次。求两次都是红球、恰有一次红球以及已知第一次为红球时第二次仍为红球的概率。

查看提示
第一次抽到红球后,球的总数与红球数都减少一。
查看解答

两红概率为

5847=514.\frac58\cdot\frac47=\frac5{14}.

恰有一次红球包含红蓝、蓝红两条互斥路径:

5837+3857=3056=1528.\frac58\cdot\frac37+ \frac38\cdot\frac57 =\frac{30}{56}=\frac{15}{28}.

条件概率 P(R2R1)=4/7\mathbb P(R_2\mid R_1)=4/7。两红、恰一红、两蓝的概率分别为 10/28,15/28,3/2810/28,15/28,3/28,总和为一。

练习

掷一枚公平六面骰子。令 A={1,2,3}A=\{1,2,3\}B={1,4}B=\{1,4\}C={1,5,6}C=\{1,5,6\}。判断 A,BA,B 是否独立,并判断 A,CA,C 是否独立。仅凭这两项能否断言 A,B,CA,B,C 相互独立?

查看提示
先写每个事件的样本点,再分别检查两两交集和三重交集。
查看解答

P(A)=1/2\mathbb P(A)=1/2P(B)=1/3\mathbb P(B)=1/3,交集 AB={1}A\cap B=\{1\} 的概率为 1/6=(1/2)(1/3)1/6=(1/2)(1/3),所以 A,BA,B 独立。P(C)=1/2\mathbb P(C)=1/2,但 AC={1}A\cap C=\{1\} 的概率是 1/61/41/6\ne1/4,所以 A,CA,C 不独立。既然两两独立都未满足,更不能相互独立;即使所有两两检查通过,也仍需检查三重交集。

练习

事件 SS 的概率为 0.250.25。给定 SS 时,A,BA,B 条件独立且各以 0.60.6 发生;给定 ScS^c 时,它们条件独立且各以 0.20.2 发生。求 P(A)\mathbb P(A)P(AB)\mathbb P(A\cap B),并判断 A,BA,B 无条件下是否独立。

查看提示
先在两个状态内分别相乘,再用全概率混合;最后与两个边缘概率的乘积比较。
查看解答

边缘概率为

P(A)=P(B)=0.25×0.6+0.75×0.2=0.30.\mathbb P(A)=\mathbb P(B) =0.25\times0.6+0.75\times0.2=0.30.

利用两个状态内的条件独立,

P(AB)=0.25×0.62+0.75×0.22=0.09+0.03=0.12.\mathbb P(A\cap B) =0.25\times0.6^2+0.75\times0.2^2 =0.09+0.03=0.12.

边缘概率乘积为 0.302=0.090.30^2=0.09,不等于 0.120.12,所以 A,BA,B 无条件下不独立。

与随机变量章节的衔接

条件化与贝叶斯公式的核对资源

课程 · 2013

MIT 6.041SC Probabilistic Systems Analysis and Applied Probability

John Tsitsiklis

课程包含讲授、习题、解答和考试,适合系统检验概率计算。

打开官方来源

MIT 6.041SC 的官方课程单元覆盖概率模型、条件化、Bayes 规则、独立性及后续随机变量内容,并提供题目与解答,适合按“联合概率—边缘概率—条件概率”三条路径复核本章计算。

课程 · 2015

MIT 6.042J Mathematics for Computer Science

Albert R. Meyer, Adam Chlipala

用于核对集合与函数语言、有限集合上的证明方法,以及组合计数、条件概率和离散概率的推导。

打开官方来源

MIT 6.042J Mathematics for Computer Science 的官方材料覆盖离散概率、条件概率、独立性与计数模型,为本章有限样本空间反例和练习提供可核对的课程背景。

下一章:把随机结果映射为数值

条件概率仍以事件集合为对象。下一章进入 随机变量与概率分布:把样本点映射为数值,用分布函数统一离散与连续模型,再建立联合、边缘和条件分布。那时“给定随机变量取值”的写法将以联合 PMF 或密度为基础,不会把零概率条件硬塞进初等比值。