实变函数教案ch0附录介绍.docVIP

第十章 　附　 录 §10.1. R中Lebesgue测度的平移不变性及不可测集 定义1．设，．称 为E关于y的平移． 引理1．设，则 成立： 1 ； 2 ； 3 ．，10题 证略 定理1. 测度的平移不变性 　 若E可测，则也可测，且 ． 证：， 11题知，E可测可测．Zermelo选择公理．对于集族，若每个，则 ，可选取元素 ． Lebesgue不可测集的构造： ，记 ． 结论： i 且 ． ii 当 ． 当 ，可取 ，则 ． 矛盾． ． 对上的集族，每个非空，可取，得集合． 下证F是不可测集． 为此，记 ，． iii 若 则 ． 假设 满足 ． 从而 ，且不为0，． 于是，，这样，包含两个不同的点和，与F的取法矛盾． iv ． 显然，． ，设 ，则 ． 由于 ． 从而 ． 有了以上准备，易证明F的不可测性．反证法．假设F可测，则也可测，且．但 互不相交，故 ， 即 ． 是常数，这不可能成立．所以，F 不可测．§10.2 有界变差函数与绝对连续函数 定义10.2.1. 实函数， 的分划， 记 ， 称 为 f 在分划下对应的变差． 若 ，则称为上的有界变差函数，记 ； 称 为在上的全变差； 称 ， 为的全变差函数． 定义10.2.2. 实函数．若对于上任意有限个互不相交的开区间，当 时，有 ，称为上的绝对连续函数 或