为什么我们要求概率空间中的事件集合是一个西格玛代数？

有限并集是不够的，因为概率中的许多自然事件涉及无限多个结果。西格玛代数必须在可数并集下封闭，以确保由收集无限多个单独结果形成的事件保持可测。

适用条件：样本空间可能是可数无穷的。；感兴趣的事件可能需要组合无限多个结果。

西格玛代数在可数交集下是封闭的，因为任何可数交集都可以使用德摩根定律用补集和可数并集来重写。由于西格玛代数已经在补集和可数并集下封闭，它也必须在可数交集下封闭。

适用条件：每个 $A_k \in \mathcal{F}$。；$\mathcal{F}$ 在补集和可数并集下封闭。

区间 $I \subseteq \mathbb{R}$ 上的博雷尔西格玛代数被定义为包含所有包含在 $I$ 中的开区间 $(a,b)$ 的最小西格玛代数。它被记为 $\mathcal{B}(I)$。

适用条件：$I$ 是实线 $\mathbb{R}$ 上的一个区间。；生成集是 $(a,b) \subseteq I$ 的开区间。

当样本空间 $\Omega$ 是有限或可数时，合适的西格玛代数通常应该包含所有单点集，即对于每个 $x \in \Omega$ 形式为 $\{x\}$ 的集合。这允许为所有单独的结果分配概率。

适用条件：$\Omega$ 是有限或可数的。；目标是为单独的结果分配概率。

博雷尔西格玛代数是连续概率中的标准选择，因为在 $\mathcal{B}([0,1])$ 上存在唯一的概率测度，它为每个半开区间 $(a,b]$ 分配其精确长度 $b-a$。这个被称为勒贝格测度的测度对应于均匀分布，并避免了幂集的不可测问题。

适用条件：上下文是连续环境。；测度定义在 $\mathcal{B}([0,1])$ 上。；端点条件是 $0 \leq a \leq b \leq 1$。