实函授课件(测度) 幻灯片.pptVIP

第三章 测度论 复习提问: 1、勒贝格测度公理是：R1 的点集E的测度m，m(E)满足那三条性质？ 设E为Rn中任一点集，对于每一列覆盖E的开区间∪Ii E,作出它的体积总和μ=∑|Ii| , (μ可以是+∞.)所有一切的μ组成下方有界的数集，它的下确界称为E的L外测度,并记为 m*E,有 m*E = 3、外测度的基本性质 定理1 （P55）集E ，有 （1）非负性：m*E≥0, m*( ) = 0 ; （2）单调性： 若E1∈ E2 , 则 m* E1≤m*E 2 ; （3）次可加性： 4、几个例子 例1 设E为[0 ，1 ] 中的全体有理数， 则m *E = 0 . 例2 可数点集的外测度为0。 证明 （1）已知单点集的外测度为0。 (2) 设A是可数点集， 且A = {a1, a2…a n …} = ∪{a n } 由外测度性质，得 0≤m*A = m*(∪{a n }) ≤ ∑m*{a n } = 0 所以，m* A = 0. 证毕。 例3 Cantor集合外测度为0。 证明 设C是Cantor集，P是[0，1 ]上C的余集，即是构造C时每次去掉的开区间，有 P = [ 0，1]\C 第二节 可测集 （P57） 一、可测集定义的说明 Lebesgue当初首先引入外测度m* 与内测度 m* ,然后通过条件m* A = m* A 定义可测集，这沿循了面积计算的外切多边形与内接多边形的思想，是直观上最容易被接受的方法，但循此方法建立的理论并不是最简洁的，而且缺少推广的价值。因而被Caratheodory(卡拉泰奥多里) 的导入法所取代。Caratheodory 给出的可测条件为： m*T = m * (T ∩ E ) + m *(T ∩ CT) （P59—（3）） 称E可测，把m*E称为E的测度，记为mE。 这一定义初看起来是不自然的，但事实证明它是迄今为止最简捷的可测集的导入法，在学习讨论可测集相关性质等问题时，常用此进行定理的证明。 在L积分理论问题中，很少需要去准确算出某个集合的测度，更重要的问题往往是判定某个集合是否为零测度集合。 1、关于“卡拉泰奥多里”定义 外测度 m*: (1) Rn 中任意集合E都有外测度 m*E； （2）m*E仅成立次可加性，不成立测度公理要求的可数可加性。 —P57，有互不相交的Ei, 使 m*（∪Ei）＜∑（m* Ei） 即：Rn 上集合E的外测度 m*E 不能代替测度 m E.  研究的问题： Rn 中哪些类集合外测度 m* 满足测度 m 的可数可加性？即成立 m*（∪Ei）= ∑（m* Ei）（P58—（1）） 若E ∈μ, 由Rn、任意开区间I∈μ, 及运算的封闭性有 ：(I ∩ E ) ∈μ, (I ∩ CE) ∈μ 又 (I ∩ E ) ∩(I ∩ CE) = Φ, I = (I ∩ E ) ∪ (I ∩ CE) 由（1）式，成立： m*I = m * (I ∩ E ) + m *(I ∩ CT) （P58—（2）） b、反之，由上述推证过程知，如果存在某个开区间I，使（2）式不成立，则E不应该属于μ. 由上面a.、b论述，对于Rn 中点集E是否满足测度 m 的可数可加性，我们可以用（2）式是否成立来判断。 C、更一般地，可以证明，（2）式中的区间I换成任意点集T，结论成立，P59—引理，即Rn 中点集E是否满足测度 m 的可数可加性，可以用（3）式——(卡拉泰奥多里条件)是否成立来判断。 m*T = m * (T ∩ E ) + m *(T ∩ CT) (任意T) （P59—（3）） ?一 、可测集的定义（P60） 定义1 设E是Rn给定点集，如果对任一点集T，有 m*T = m*(T∩E ) + m*(T∩CE) 则称E是L可测集，这时E的L外测度又称为E的L测度，记为mE。 注1????定义1 给出的可测集定义，不区分E的有界、无界，也不讨论E的内、外测度，只要对任意点集T等式成立，则E是L可测集。有的实变函数教材取此定义作为E可测的充要条件。在对可测集性质与结构的论证中，更多地使用该定义。 注2??定义1 给出的可测集定义，与Lebesgue首先引入外测度m* 与内测度 m* ,然后通过条件m* A = m* A 定义可测集是等价的。 （P