我们怎么知道西格玛代数在可数交集下是封闭的？

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

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

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

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

要求事件集合 $\mathcal{F}$ 是一个西格玛代数，确保了应用常规集合运算（如取补集和可数并集）永远不会产生 $\mathcal{F}$ 之外的集合。这保证了如果我们能测量某些事件，我们也能测量逻辑上相关的事件，如它们的否定或组合。

适用条件：$\mathcal{F}$ 旨在成为概率空间中的可测集合/事件的集合。

当样本空间 $\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$。