有关一维不可测集完备性的探究.docVIP

有关一维不可测集完备性的探究 摘要： Lebesgue测度理论的诞生使分析学进入了一个新的时代.在实变函数教材中Lebesgue积分并没有讨论一维不可测集的理论,下文将从教材上的一个例子入手,仔细分析一维不可测集的构造,证明例子里蕴涵的命题和定理,进而运用拓扑学的知识,定义一个一维不可测集上的一个诱导拓扑,最终证明一维不可测集在此诱导拓扑的完备性. 关键词：一维不可测集;拓扑结构;完备性 1 一维不可测集的构造 1.1 勒贝格测度的平移不变性 对任何一个实数,作 的映射：,它是直线上的一个平移.一个集合,经过平移后所得到的集合记为或记为. 定理1.1.1（勒贝格测度的平移不变性）若则,且. 由定理可知集经过平移后,它的测度是不变的,并且可测集经过平移之后仍为可测集,这就是勒贝格测度的平移不变性. 1.2 一维不可测集的构造 一维不可测集的构造需要掌握以下几点： 1.分类：将区间作一个分类,分类原则：对,为有理数. 命题1.2.1 为有理数是一个等价的关系. 证明: (1) 是有理数,满足自反性. (2)若是有理数,则肯定有为有理数,满足对称性. (3)若为有理数,且为有理数,则,根据有理数相加这有理数则,肯定也是有理数,故满足传递性. 综合（1）（2）（3）可说明这种分类方法是一个等价的.证毕. 接下来讨论按照以上等价关系可以将分为多少类,每一类的元素个数是多少. 命题1.2.2 每个类的势为,分类的个数为. 证明： （反证法） 已知有理数的势在上为,而实数在上势为. 既然这是分类,则每个类都有一个代表元素,可以看到,有理数本身便是一个类,可以用代表元表示,这是因为这些类就是按相减是有理数构造的.也可以这样理解,任意找一个代表元,让它加上一个有理数,那么所得到的数必在同一类里.所以任何一个类的势必大于等于.已知,类的势为,因为每个有理数加上无理数都为无理数. 在认可连续统假设的前提下,说明每个类的势不可能大于.如果,存在一个类的势大于,那么这个类的势必为,也就是说与之间不存在任何数.不妨设存在一个类.它的势为,.这时对于类来说,必定有非有理数使得, 这时, 就不在类里了,这与每个类的构造是矛盾的. 所以每个类的势必为. 下面用同样的方法来分析类的个数只能为. 假若类的个数小于,那它们的个数最大也只能是,那么,可数个可数集的并是可数集,用式子表示是这样的,而这些类并起来就是.这与区间的势为矛盾.所以类的个数如果小于就会出现更大的矛盾. 如果类的个数大于,则最小为,那么个可数集的并的势为,用式子表示为,与区间的势为矛盾,如果势更大则会出现更大的矛盾. 所以类的个数的势只能是.即所分的类的个数.证毕. 2.选择公理：将上面分的每个类中取一个元素就会组成一个集合（可这样做的根本原因在于选择公理成立）并记这个集合为. 3.平移不变性：这是Lebesgue测度的一个特性,在本节开头已经说明过了.它的意思是测度平移后不变. 对集合作平移.选择任一区间,则这个区间的有理数列为现在构建一维不可测集: ①先平移,总会与重合,若长度大于则有包含,反之有 包含,设平移的长度为. ②平移后,则也相应平移,这时与的交不为空集,并将这个交集记为,将作加 的平移得到,再将所得的所有的集合作并,得集合. ③则会有下列式子成立： 如果是一个可测集, 的测度若为0,由可数可加性可得：的外测度为0,而的外测度不为0.则会出现正数小于0,矛盾. 的测度若不为0,那必为一数,即使这个数很小,那么进行可数次加,就会得到的测度为,这会出现无穷小于正数,矛盾. ④则这时是一维不可测集. 4．也是一维不可测集. 引理1.2.1 外测度只要具有可加性就一定具有可数可加性 证明： 对于两集合,有,都有 由数学归纳法可得对于有限个不相交的集合……有 进而有对的一串可数的不相交的集合…………有 令可有 相反的不等式是外测度的第三个性质. 从而有 则有外测度只要具有可加性就一定具有可数可加性.证毕. 定理1.2.1 是一维不可测集. 证明： （反证法）设若为可测集,则由与可测集定义的等价的卡拉泰奥多里条件知：对集合有 现在只要找到两个集合使上式不成立就可以了.不妨取 则是个不可测集.然后取 （）则同样是一个不可测集. 并且.肯定有 如果不成立的话,由引理1.2.1可知集合满足可数可加性,这与是不可测集是矛盾的.（因为不可测集不可能满足可数可加性） 于是就是要找的集合.这样就与定义矛盾了. 所以是一维不可测集.证毕. 结论： 一维不可测集出现的根本原因是有些集合不满足外测度的可数可加性.同时以上构成的一维不可测集一定会包含一个可测集. 2 一维不可测集上的拓扑结构 下面着手去寻找一维不可测集的拓扑结构,因