概率公理与容斥原理
🏠 第16章概念导航
核心问题
从三条公理出发,能推出全章所有等式与不等式。 本页把这条推导链完整摆出来,目的是:以后见到任何概率恒等式,都知道它是从哪一条来的,而不是当成第 27 条要背的公式。
核心定义 / 定理 / 结论
三条公理
由公理直接推出的六条
减法公式
无条件成立。 只有写成 时才需要 。
容斥原理
两个:
符号规律:交的个数每加一个,符号翻一次。
四个量的守恒律
记
“和固定,
上下界(都是最优界)
| 目标 | 下界 | 上界 |
|---|---|---|
邦费罗尼的一行推导:
一条乘积恒等式
由守恒律代入即可(见 1000 基础 1-9)。取等条件:
典型题型
- 容斥求”至少一个”(三事件时先夹
) - 给定
求 或 的取值范围 - 证明不等式链(邦费罗尼—单调性—布尔三段)
- 判断哪个概率不等式恒成立(一律化成非负乘积)
图示 / 直觉
把
- 加法公式:两块面积相加时重叠部分算了两次,减掉一次;
- 邦费罗尼下界:两块面积和为
,画布只有 1,溢出的 必须落在重叠里; - 布尔上界:并集面积不可能超过两块之和;
- 守恒律
:把重叠部分从”算两次”改成”算一次 + 单独记账”。
四块表(见 样本空间与事件代数)把这些全部统一:
只要知道两个格子,整张表就定了(因为行和列和分别是
常见误用
1. 减法公式写成
除非
2. 三事件容斥漏掉 ,或符号写反
口诀:单数个交取正、双数个交取负(
3. 缺 就以为条件不够
若任一两两交的概率为 0,则由
4. 上界忘了截断
5. 把”独立”当成能让不等式取等
与旧知识的连接
高数:可列可加性对应级数求和;单调性对应测度的单调收敛。几何概型里的”面积”就是勒贝格测度的特例,算面积用二重积分(见 高数第14章 二重积分)。
组合数学:容斥原理与”筛法”是同一件事。集合版的
线性代数:四块表的”交叉差”
题型训练
- 概率的加减法公式与上下界(7 题)——本页的主战场
- 事件关系的翻译与等价判定(7 题)——公理的集合侧
- 伯努利概型与重复独立试验(7 题)——补事件技巧的集中使用