概率的公理化定义

设 $\Omega$ 为一个样本空间，$\mathcal{F}$ 为 $\Omega$ 的某些子集组成的一个事件域。如果对任一事件 $A\in \mathcal{F}$,定义在 $\mathcal{F}$ 上的一个实值函数 $P(A)$ 满足：

1. 非负性公理 若 $A\in \mathcal{F}$，则 $P(A)⩾0$
2. 正则性公理 $P(\Omega )=1$
3. 可列可加性公理 若 $A_1,A_2,\cdots A_n,\cdots$ 互不相容，则

$$P\left(\underset{i=1}{\overset{\infty }{\cup }}{A}_i\right)=\sum _{i=1}^{\infty }P(A_i)$$

则称 $P(A)$ 为事件 $A$ 的概率，称三元素 $(\Omega ,\mathcal{F},P)$ 为概率空间