集合上的西格玛代数的正式定义是什么？

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

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

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

适用条件：每个 $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}$ 旨在成为概率空间中的可测集合/事件的集合。

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

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