← 概率与统计 · 从样本空间到用样本估计总体 / 事件的关系与运算、相互独立性 待审核 2 / 10
event algebra · 互斥 vs 相互独立

事件的关系与运算、相互独立性

事件是样本空间 Ω\Omega 的子集,于是集合之间的关系运算可以原样搬到事件上:ABA\cup B(并,两者至少一个发生)、ABA\cap B(交,两者同时发生)、ABA-B(差,A 发生而 B 不发生)、Ā(对立,A 不发生)。两个特殊关系值得单列:互斥AB=A\cap B = \emptyset,二者不可能同时发生;对立更强,要求互斥之外还铺满整个样本空间 AB=ΩA\cup B = \Omega。而相互独立是另一回事——它谈的不是集合形状,而是概率是否满足 P(AB)=P(A)P(B)P(A\cap B) = P(A)\cdot P(B)。仍用两枚可区分骰子的 6×6=36{6 \times 6 = 36} 格样本空间来观察这些概念。

1 · 事件的关系与运算

A ∪ B · A ∩ B · A − B · Ā

任选事件 AB,格阵按归属着色:仅属 A、仅属 B、同属两者各用一种底色;再选一种运算,其结果集被高亮。因 36 个样本点等可能,任一事件的概率都是它占的格数除以 36。观察四个概率之间的容斥关系 P(AB)=P(A)+P(B)P(AB)P(A\cup B) = P(A) + P(B) - P(A\cap B):并集不能把交集重复计两次,故要减去一份 P(AB)P(A\cap B)

互斥与对立不是一回事:互斥只要求 AB=A\cap B = \emptyset,两个事件之外还可以有别的结果(例如「和为 7」与「和为 8」互斥,但并集远不是 Ω\Omega);对立在互斥之上还要 AB=ΩA\cup B = \Omega,此时 B = Ā,二者恰好把样本空间一分为二,从而 P(A) + P(B) = 1

2 · 相互独立性

P(A ∩ B) = P(A) · P(B)

独立性刻画「一个事件是否发生,不改变另一个发生的概率」。判据是乘法式 P(AB)=P(A)P(B)P(A\cap B) = P(A)\cdot P(B):相等则相互独立,不等则不独立。这与集合形状无关,只看概率是否恰好相乘。下面预置了两对独立事件(第一枚为偶数 × 第二枚为偶数、第一枚是 6 × 和为 7)与一对互斥却不独立的事件(和 ≤ 4 × 和 ≥ 10),切换观察 P(AB)P(A\cap B)P(A)P(B)P(A)\cdot P(B) 是否吻合。

互斥 ≠ 独立,两者几乎相反:若 AB 互斥,则 AB=A\cap B = \emptysetP(AB)=0P(A\cap B) = 0;只要 P(A) > 0P(B) > 0,就有 P(A)P(B)>00=P(AB)P(A)\cdot P(B) > 0 \ne 0 = P(A\cap B),故两个概率非零的互斥事件必不独立。直觉上也是如此——已知 A 发生,B 便绝不可能发生,这恰是最强的相互影响。事件与样本空间的基本约定见 随机事件、样本空间与古典概型