实变3-2.pptVIP

第二节 可测集 1）.两个公理. [1]长度公里：设直线上的一些点集构成集族u，E∈ u,都存在对应实数m，使得： 1).（非负性） 2).(正则性） 3).（有限可加性） 2）.Lebesgue外测度局限性 2.可测集的定义 例1：外侧度为零的集合E必为可测集。 例2.设 3.Lebesgue可测的等价条件及性质。 例3：设[0,1]中可测集A1,A2 , … ,An 满足条件 则 必有正测度。 定理4. 单调可测集列的性质（测度下连续性、上连续性） * * 第三章 测度论 1.引言 [2]测度公理. 设直线上的一些点集构成集族u，E∈ u,都存在对应实数m，使得： 1).（非负性） 2).(正则性） 3).（可数可加性） 其次，考虑能否对外侧度的定义域作限制，使得外侧度在 限制后范围内满足测度公里（可数可加性等）。 首先，若将外侧度作为测度的定义，则Rn中所有子集均有测度， 但是，外侧度仅具有次可数可加性： 再次，现对外侧度的定义域作限制，限制后的定义域（集族 ） 满足以下条件：可数并封闭（有限并也封闭）、作差封闭、 包含Rn。且满足可数可加性。 即定义域作限制为一个满足可数可加性的 代数。 注：限制后的定义域中含有所有区间， Rn是可数个半开半闭区间 的并。 引理1 设 则 （1） （1）的等价条件为： 若 ，则对任何开区间 ，应成立 对任何集合 最后，外侧度的定义域作限制后，显然满足以下结果。 应成立 证明：充分性显然成立。(取T=I) 必要性， ， 为 T为任意点集,下证左大于等于右边， 且 由于， ， 由外测度定义知： （2） 所以由外测度的单调性和次可数可加性，有： 从而， 是任意的，有 而另一方面，右边大于等于左边显然成立。 注：外侧度的定义域限制为：一个满足可数可加性的 则必有（2）式成立，反之定义域限制为满足（2）式的集族， 则也是一个满足可数可加性的 。（本节及下节说明。） 注：1）卡拉西奥多里（1873—1950）希腊数学家， 其对实变函数论、变分法和点集测度论作出了重要贡献 。 2）Lebesgue开始是利用外测度与内测度相等定义可测集， 但此法处理问题不方便，故我们采用上述方法（其实两者等价）。 E Ec T∩E T∩Ec （Caratheodory条件） ，则称E为Lebesgue可测集， 此时E的外测度称为E的测度，记作 即E为可测集。 即： 例3.设 证明：(必要性)令 定理1.集合E可测（即 ） (充分性） ，由Caratheodory条件，有 则， 即可测集类关于差，余，有限交和可数交， 有限并和可数并，以及极限运算封闭； 定理2.若A,B,Ai 可测，则下述集合也可测 易知 由可测集的定义： 证明：1)E可测当且仅当EC可测。 E可测当且仅当EC可测。 2）若 ， 都可测，则 可测。 且当 时，有： 证明：可测性。即对任何T, 。（1） 因为 E1 可测，所以对任何 。（2） 又因为 E2可测，比较（1）及（2）所以令 有： ， 将（3）式代入（2）式得： （3） 而， （4） （5） 故，将（5）式代入（4）式得（1）式成立。 且当 时，有： 由可测的等价条件知： 。 也可测。 3）若 可测已证明，则易知 最后， 4）若{A i }为两两不交的可测集列,则 若 A,B可测， 则有可减性： 定理3. (a) 若An是递增的可测集列，则 (b) 若An 是递减的可测集列且 注：若 An是递减集列， 若 An是递增集列， * * *