互斥与独立:两件容易混成一件的事

互斥说的是「不能同时发生」,独立说的是「一个发生不影响另一个的概率」。两个概率都非零时,互斥恰恰意味着不独立——它们是相反的,不是相近的。

6 分钟

这一片为什么存在

掷一枚骰子,A =「点数是 3」,B =「点数是 5」。有人这样算:这两件事互不干扰,所以 P(A 且 B) = 1/6 × 1/6 = 1/36。可一枚骰子怎么可能同时是 3 又是 5?正确答案必须是 0。1/36 不是小数点点错了,是从第一步就把两句完全不同的话当成了同一句。

内容

「互斥」是一句关于场地的话,「独立」是一句关于信息的话。

互斥说的是:把所有可能的结果摊在桌面上,A 占一块地,B 占另一块地,这两块地不重叠。它只关心「有没有重叠」,是静态的、几何式的描述。

独立说的是:如果我偷偷告诉你 A 发生了,你对 B 的赔率要不要改?不用改,就是独立。它关心的是「一条消息值不值钱」,是动态的描述。

现在把这两句话摆到一起。假设 A 和 B 互斥,而且两个概率都不是 0。我告诉你「A 发生了」——你立刻知道 B 一定没发生,B 的概率从原来的正数直接掉到 0。这条消息不是「不影响」B,而是把 B 一击毙命。

所以互斥不是独立的近亲,它是独立的反面:在概率都非零的前提下,互斥意味着两件事之间有最强的负关联,一个发生就把另一个彻底排除掉。

反过来看独立也一样别扭。如果 A、B 独立且概率都非零,那么 P(A∩B)=P(A)P(B)>0,说明它们同时发生的可能性实实在在存在。独立事件不但能同时发生,而且必须能同时发生。「独立」从来不是「井水不犯河水,各走各的路」;恰恰相反,它们必须在某处交汇,而且交汇的那块面积得刚好等于两块面积的乘积。

设 Ω 是样本空间,A、B ⊆ Ω 是两个事件,P 是定义在其上的概率。

互斥(mutually exclusive):A∩B=∅,因而 P(A∩B)=0。这是关于集合本身的条件。

独立(independent):P(A∩B)=P(A)·P(B)。这是关于三个数之间的一个等式,跟集合长成什么形状无关。

同时要求这两条,就得到 P(A)·P(B)=0,于是 P(A)=0 或 P(B)=0。

结论:只要 P(A)>0 且 P(B)>0,互斥与独立就不能共存。互斥 ⟹ 不独立;独立 ⟹ 不互斥。

换成条件概率再看一遍。当 P(A)>0 时,独立等价于 P(B|A)=P(B),而互斥直接给出 P(B|A)=0。两者要相等,只能是 P(B)=0。

跟着做一遍

一副去掉大小王的 52 张扑克牌,洗匀后抽一张。记 A =「抽到红桃」,B =「抽到黑桃」,C =「抽到 K」。请对 (A,B) 和 (A,C) 两组分别回答:互斥吗?独立吗?先自己动笔算,再往下看。

  1. 先算三个单独的概率:P(A)=13/52=1/4,P(B)=13/52=1/4,P(C)=4/52=1/13。
  2. 第一组 A 与 B:一张牌不可能既是红桃又是黑桃,所以 A∩B=∅,P(A∩B)=0。
  3. 再用乘积检验:P(A)·P(B)=1/4×1/4=1/16,不等于 0。结论是 A 与 B 互斥,但不独立。
  4. 顺手验一下直觉:已知抽到红桃后 P(B|A)=0,比原来的 1/4 掉得不能再狠——这正是「影响最大」,不是「互不影响」。
  5. 第二组 A 与 C:红桃 K 只有一张,所以 P(A∩C)=1/52。
  6. 乘积检验:P(A)·P(C)=1/4×1/13=1/52,两边严格相等。结论是 A 与 C 独立。
  7. 同时注意 P(A∩C)=1/52≠0,所以 A 与 C 并不互斥——独立的两件事反而必须能一起发生。
  8. 最后把四格表补齐:互斥且不独立(A,B)、独立且不互斥(A,C)、既不互斥也不独立(如「红桃」与「红色」)、互斥且独立(只有某一方概率为 0 时才出现,比如把 B 换成「抽到一张点数为 20 的牌」)。

结果

在这副牌上,「互斥」和「独立」从来没有同时成立过:A、B 因为互斥所以不独立,A、C 因为独立所以不互斥。四格表里「互斥且独立」那一格,只剩下概率为 0 的退化情形,正常的、有血有肉的事件永远进不去。

它在树上的位置

概念不是一篇一篇平铺的。下面两组是这一片真实的上下游:它靠着什么,又撑起了什么。

它靠着

它撑起

图上还没有概念把它列为先修。

读完之后

这一页是产品里的一天。产品是那棵树:你学到哪、哪块在衰减、明天该学什么。一篇读物回答不了这三个问题,树才回答。

看看那是什么意思