《实变函数》第三章 测度论.doc

《《实变函数》第三章 测度论.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第三章测度论（总授课时数14学时）教学目的引进外测度定义，研究其性质，由此过渡到可测集本章要点要引导学生注意外测度与测度之间的重要差别，测度概念抽象，要与具体点集诸如面积体积等概念进行比较.§1、外测度教学目的1、掌握外测度的定义及其基本性质.2、理解区间及有理点集的外测度及其证明方法.本节要点外测度的定义及其基本性质.本节难点外测度的定义.授课时数4学时——————————————————————————————一、引言(1)Riemann积分回顾（分割定义域），，积分与分割、介点集的取法无关。几何意义（非负函数）：函数图象下方图形的面积。（2）新的积分（Le

2、besgue积分,从分割值域入手）记，，则问题：如何把长度,面积,体积概念推广?达布上和与下和上积分（外包）（达布上和的极限）下积分（内填）达布下和的极限二、Lebesgue外测度(外包)1．定义：设，称非负广义实数为开区间}为的Lebesgue外测度。下确界：（1）是数集的下界，即，（2）是数集的最大下界，即使得为开区间}开区间列使得且即：用一开区间列“近似”替换集合例1设是中的全体有理数，试证明的外测度为0.证明：由于为可数集，故不妨令作开区间则且，从而，再由的任意性知思考：１.设是平面上的有理点全体，则的外测度为0提示：找一列包含有理点集的开区间2.平面上

3、的轴的外测度为0提示：找一列包含轴的开区间3.对Lebesgue外测度，我们用可数个开区间覆盖中的有理数全体，是否这可数个开区间也覆盖（除可数个点外）.注：对可数个开区间不一定有从左到右的一个排列（如Cantor集的余集的构成区间）2．Lebesgue外测度的性质（1）非负性：，当为空集时，（2）单调性：若则证明:能覆盖的开区间列也一定能覆盖，从而能覆盖的开区间列比能覆盖的开区间列要少，相应的下确界反而大。（3）次可数可加性证明：对任意的,由外测度的定义知，对每个都有一列开区间（即用一开区间列近似替换）使得且从而，且可见由的任意性，即得注：（1）一般证明都是从大

4、的一边开始，因为外测度的定义用的是下确界（2）外测度的次可数可加性的等号即使不交也可能不成立（反例要用不可测集），但有:若则当区间的直径很小时候，区间不可能同时含有，中的点从而把区间列分成两部分，一部分含有中的点，一部分含有中的点.例2对任意区间，有.思考：书本中的证明用有限开覆盖定理的目的何在？此例说明Lebesgue外测度某种程度是区间长度概念的推广例3Cantor集的外测度为0.证明：令第次等分后留下的闭区间为从而注：称外测度为0的集合为零集；零集的子集，有限并，可数并仍为零集.——————————————————————————————作业：P751,2

5、练习题1如果将外测度的定义改为“有界集的外测度是包含的闭集的测度的下确界.”是否合理？2设，问在什么条件下有3对于有界集，是否必有？4设是直线上的一有界集，，则对任意小于的正数，恒有子集，使§2可测集合教学目的1、深刻理解可测集的定义，学会用Caratheodory条件验证集合的可测性.2、掌握并能运用可测集的性质.本节要点学会用Caratheodory条件验证集合的可测性.本节难点用Caratheodory条件验证集合的可测性.授课时数4学时——————————————————————————————Lebesgue外测度(外包)且为开区间}开区间列使得且即：

6、用一开区间列“近似”替换集合次可数可加性(即使两两不交)一、可测集的定义若有（Caratheodory条件），则称为Lebesgue可测集，此时的外测度称为的测度，记作.注：Lebesgue开始也是利用外测度与内测度相等定义可测集，但此方法对处理问题很不方便，故我们采用上述方法.例1：零集必为可测集证明：，有从而即为可测集。二、Lebesgue可测集的性质（1）集合可测（即证明：(充分性），(必要性)令（2）若可测，则下述集合也可测即可测集类关于差，余，有限交和可数交，有限并和可数并，以及极限运算封闭；若则，有注:上式由前面可测集的等价刻画立刻可得若两两不交，则

7、（测度的可数可加性）若可测，则有可减性证明：由可测集的定义：有易知可测若可测已证明，则易知，也可测。若当为两两不交时，可测已证明，则通过令可把一般情形转化为两两不交的情形，通过取余即可证明下面证明若可测，则可测证明：，有（可测）（可测）从而下面证明若两两不交，则证明：有从而（*）另外显然有从而可测，并用代入（*）式，即得结论例2：设中可测集满足条件，则必有正测度。证明：单调可测集列的性质(1)若是递增的可测集列，则(2)若是递减的可测集列且，注：（1）左边的极限是集列极限，而右边的极限是数列极限，(2)中的条件不可少，如注：（2）若是递减集列，若是递增集列，若可

8、测，，则————————