实变函数与高等概率论--如何理解生成的σ代数

如何理解生成的σ代数？

现代概率论是基于σ代数讨论的, 因为它本身具有概率测度也就是P(x)所必须的性质, 但在面对一个集合时, 其本身并不一定是一个σ代数, 所以需要用一种比较方便的概念来确保σ代数这一基本条件.

先考虑一下泛函分析中的闭包概念, 比如有理数可以近似无理数, 但在有理数里面没有无理数, 也就是说有理数域中的点列可以逼近一个不在自己里面的结果, 再比如[0,1)中的实数可以通过点列{1-1/n}来逼近到1, 而显然{1-1/n}完全属于[0,1), 而逼近的结果1∉[0,1), 从而我们希望极限的结果也在这个领域里面(希望各种运算封闭是很自然的事情), 最简单的方法就是在原来的基础之上把极限运算的结果全部放进去, 那么得到的新的整体自然关于极限运算封闭, 也就是得到一个闭集.

(闭包). eg.有理数Q的闭包=Q本身+Q中所有点列能收敛到的极限的结果=有理数+无理数=实数R

在高等概率论中, 我们希望集合运算的结果也类似泛函中的闭集一样, 集合的"各种运算"不能跑到运算本身的领域的外面(也就是运算结果不能不属于自身), 所以要对自身领域进行扩充, 扩充的方式也是一样, 在原来自身的基础之上+从自身出发进行"各种运算"所得到的结果=我们需要的运算不会跑出去的新的整体. 而这里的"各种运算"不只是简单的单调集合的极限运算, 还有别的如下图:

而这8条规则所服务的就是σ代数, 这时候回过头来考虑σ代数的定义就很清楚了:

那么下面就是最后一个问题–生成σ代数, 也就是σ(X)