4.实数集的测度问题.docxVIP

实数集的测度问题

即使观念世界是不能用逻辑的工具从经验推导出来的，而在某种意义上是思维的自由创造，但这个观念世界还是一点也离不开我们的经验本性而独立，正像衣服不能离开人体的形状而独立一样.他强烈反对那些先验论哲学家，他们把基本概念从经验领域里排除出去，而放到虚无缥缈的先验的顶峰上去.他并不认为思辨比经验高超，并明确指出：“一个希望受到应有的信任的理论，必须建立在有普遍意义的事实之上.

不可测集给标准实数理论带来的麻烦相当大，因为它的存在以至于数学家要给出一系列相当深奥的定理，而现代的积分理论要求被积函数最起码是可测函数，如果函数不可测，也就不可积，为证明函数的可积性证明各种定理.

在各个实变函数教材中这不可测集是这样定义的，首先将[0,1]区间中的所有实数进行分类，凡是两个实数相差一个有理数，就是一类，这样的类集有无限多个，而且相互之间并不重合，且覆盖了[0,1]区间所有的数.根据选择公理，每一个这样的非空集必然可以取出一个元素作为这个集合的代表，所有的代表都来参加一个代表大会，这个代表大会组成的集合，就是我们将要证明其为不可测的集合，称其为F.为证明这一点，先将区间[-1,1]中的所有有理数排成一列为{r1,r2,r3,…}，因为有理数是可数集，这总是可以做到的，而如果将代表大会F中的所有元素统统加上r1后构成一个新的集合F1，也就是将原来代表各个类的所有代表统统开除后用比各个代