sungmoo 发表于 2010-1-4 00:39 
撒哈拉的伐木工 发表于 2010-1-4 00:23
(2)随机变量就是赋值,跟概率空间毫无关系,但满足集合论抽象的客观现象赋值,强调一下,赋值是随意的,好比效用函数,准确值没有意义,能比较大小就行,一个意思。
(1)“随机变量与概率空间毫无关系”,也许老兄又自有所指(比如“满足集合论抽象的客观现象赋值”——也许这指可测性?),但本人不推荐这种说法。(也许不同教材对“随机变量”以及“随机元”有不同的定义,两者或者同义,或者不同)就本人的了解,随机变量是定义在概率空间上的,并且函数值是有限的。
(2)随机变量的赋值虽有“任意性”,但也不是“无条件任意的”,至少它须是(Borel)可测函数。
嗯,小说明一下,可测函数基于选择性公理,如果承认选择性公理,就会构造出不可测集(100年来也就一个人构造出了不可测集,lebesgue,其他人的构造本质与lebesgue当初方法无异)。如果不承认选择性公理,世上是没有不可测集的。所以一般已经不讨论概率空间的可测性了,都是可测的。至于完备和不完备的概念,也是基于零测集,而零测的拓扑观点,就是一个compact吧,扯远了,那个实际意义不大,可以视作没用。
集合论的赋值就是要避免“罗素悖论”那种情况,这种情况除了抽象意义的,我没见过现实生活中存在过。所以我才说随机变量与概率空间无关,也说了任意性赋值。这些都经得起最严格的推敲的。如果有疑惑,前一部分可以看halmos的《简单集合论》前两章,后一部分可以看江泽坚老先生的《实变函数论》在讲豪斯多夫测度时候给出的结论,以及shierpinski(好像这么拼写的...)的另一个不可测集的描述。直接看结论就可以了,不用看证明。我保证这个结论是测度学已经公认的。