由于\mathcal{A} 对于可数不交并封闭,且有 B_n\in \mathcal{A},\forall n ,因此有 \bigcup_{n=1}^\infty B_n=\bigcup_{n=1}^\infty A_n\in \mathcal{A} ;因此 \mathcal{A} 对可数并封闭,可知它是一个 \sigma -algebra。 Dynkin定理 前面我们讲到过结论: \lambda -system + 有限交封闭...
测度论研究的是测度空间，其中测度定义在一个 sigma-algebra 之上，但是我们有时候不一定能一下子得到整个 sigma-algebra 我们的想法是从一些集合构成的集类出发，再通过某些运算生成一个 sigma-algebra . Dynkin system 是从一种很容易满足的集类——我们称之为 pi system，仅仅满足对交集运算封闭——...