MathLabs
定理已证明

加法法则(两个事件的容斥定理)

命题陈述

在有限样本空间中,对任意两个事件 A,B⊆ΩA, B \subseteq \Omega,有 P(A∪B)=P(A)+P(B)−P(A∩B)P(A \cup B) = P(A) + P(B) - P(A \cap B)。

为什么成立?

简单地把 P(A)P(A) 与 P(B)P(B) 相加,会把同时属于两个事件的每个结果计两次——一次在 P(A)P(A) 中,一次在 P(B)P(B) 中——因此必须恰好减去一次重叠部分 P(A∩B)P(A \cap B) 以修正计数。

证明思路

第一步(把并集分成互不相交的部分):把 A∪BA \cup B 拆成三个两两不相交的部分:A∖BA \setminus B(AA 中独有的结果),A∩BA \cap B(A∩BA \cap B 中共有的结果),以及 B∖AB \setminus A(BB 中独有的结果)。 A∪BA \cup B 中的每个结果都恰好落入这三个部分中的一个。

第二步(用不相交集合的加法原理数并集):由于这三部分两两不相交,结果的个数满足 ∣A∪B∣=∣A∖B∣+∣A∩B∣+∣B∖A∣|A \cup B| = |A \setminus B| + |A \cap B| + |B \setminus A|。

第三步(用同样的三部分表示 ∣A∣|A| 与 ∣B∣|B|):同样地,∣A∣=∣A∖B∣+∣A∩B∣|A| = |A \setminus B| + |A \cap B|(按 AA 是否与 BB 重叠来拆分)以及 ∣B∣=∣B∖A∣+∣A∩B∣|B| = |B \setminus A| + |A \cap B|(用同样的方式拆分 BB)。把这两个等式相加,得到 ∣A∣+∣B∣=∣A∖B∣+∣B∖A∣+2∣A∩B∣|A| + |B| = |A \setminus B| + |B \setminus A| + 2|A \cap B|。

第四步(合并并除以 ∣Ω∣|\Omega|):比较第二步和第三步,得到 ∣A∣+∣B∣−∣A∩B∣=∣A∖B∣+∣B∖A∣+∣A∩B∣=∣A∪B∣|A| + |B| - |A \cap B| = |A \setminus B| + |B \setminus A| + |A \cap B| = |A \cup B|。两边同除以 ∣Ω∣|\Omega|,并对每一项应用古典概率公式 P(A)=∣A∣∣Ω∣P(A) = \frac{|A|}{|\Omega|},恰好得到 P(A∪B)=P(A)+P(B)−P(A∩B)P(A \cup B) = P(A) + P(B) - P(A \cap B)。

用到此定理的主题

分步证明

该定理暂无分步证明。

参考文献

  1. Sheldon Ross (2019). A First Course in Probability
  2. Joseph K. Blitzstein, Jessica Hwang (2019). Introduction to Probability