当样本空间是有限或可数时，西格玛代数应该包含什么？

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

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

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

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

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

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

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

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

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

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