关系代数至少选修两门课_2.1 代数和sigma-代数

令

为一个集合。

Definition 2.1 一个代数 (algebra)

是

的子集构成的集合，满足以下三条件：

(1)

(2)

(3)

是

(

) 如果还满足以下条件：

(4)

我们把

称为可测空间 (measurable space). 集合

是可测的 (measurable) 如果

Example 2.3 令

，令

则

是

Lemma 2.7 若

是一个