概率公理体系
概述
概率公理体系（Kolmogorov Axioms）由安德烈·柯尔莫哥洛夫于 1933 年在《概率论基础》（62页）中建立，以测度论为数学基础，通过概率空间三元组和六条公理统一了各种概率论基础方案。核心结构是概率空间 $(\Omega, \mathcal{F}, P)$，其中 $\Omega$ 是样本空间，$\mathcal{F}$ 是 $\sigma$-代数（事件域），$P: \mathcal{F} \to [0,1]$ 是概率测度。这是"概率论的宪法"，为 20 世纪概率论的爆发式发展奠定了不可动摇的数学根基。
关键内容
概率空间三元组
$$(\Omega, \mathcal{F}, P)$$
- $\Omega$（样本空间）：所有可能的结果集合
- $\mathcal{F}$（$\sigma$-代数/事件域）：可被赋予概率的事件的集合，满足：$\Omega \in \mathcal{F}$，关于补集和可数并封闭
- $P$（概率测度）：满足三条基本公理的函数
Kolmogorov 三条核心公理
- 非负性：$P(A) \geq 0$ 对所有 $A \in \mathcal{F}$
- 规范性：$P(\Omega) = 1$
- 可数可加性：若 $A_1, A_2, \ldots$ 两两不相交，则 $P(\bigcup_{i=1}^\infty A_i) = \sum_{i=1}^\infty P(A_i)$
可数可加性（$\sigma$-可加性）是与有限可加性的本质区别，由 Borel 先引入测度论，Kolmogorov 将其纳入概率公理。
从公理推导的主要结果
- $P(\varnothing) = 0$
- $P(A^c) = 1 - P(A)$（余事件）
- $P(A \cup B) = P(A) + P(B) - P(A \cap B)$（容斥原理）
- 条件概率：$P(A|B) = P(A \cap B)/P(B)$（$P(B)>0$ 时）
- 独立性：$P(A \cap B) = P(A) \cdot P(B)$
历史意义
| 问题 | 公理化前 | 公理化后 |
|---|---|---|
| 概率的定义 | 多种竞争方案（古典/频率/主观） | 统一的测度论框架 |
| 连续概率空间 | 概念模糊 | $\sigma$-代数 + 测度论 |
| 无穷维随机过程 | 缺乏数学基础 | 概率空间上的随机变量族 |
| 大数定律的证明 | 需要特殊技巧 | 测度论遍历定理 |
公理化使得布朗运动（Wiener, 1923）、随机微分方程（Itô, 1944）、鞅理论（Doob, 1953）等现代随机分析得以严格建立。
来源
- raw/books/概率论/12_kolmogorov_foundations_probability.md
- raw/books/概率论/11_borel_countable_probability.md