实变函数知识点总结.pdf

《实变函数知识点总结.pdf》由会员分享，可在线阅读，更多相关《实变函数知识点总结.pdf（35页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、第一章第一章 集集 合合 1 集合的运算 1 集合的运算 一、集合的概念 一、集合的概念 定义 1 设有两个集合 A，B。若定义 1 设有两个集合 A，B。若xA，必有，必有xB，则称A是B的子集或B包含A，记为，则称A是B的子集或B包含A，记为ABBA或。若。若AB，且存在，且存在xB满足满足xA，则称 A 是 B 的真子集。若，则称 A 是 B 的真子集。若ABBA且，则称 A 与 B 相等或相同。定义 2 设，则称 A 与 B 相等或相同。定义 2 设是一个非空集合，对于每个是一个非空集合，对于每个，指定一个集合，指定一个集合A，于是得到许多集合，它们的总体称为集合族，记为，于是得到许多

2、集合，它们的总体称为集合族，记为|A或或A。二、集合的运算 二、集合的运算 定义 3 设 A，B 是两个集合。（1）称集合定义 3 设 A，B 是两个集合。（1）称集合|ABx xAxB=或为 A 与 B 的并集，即由 A 与 B 的全部元素构成的集合；（2）称集合为 A 与 B 的并集，即由 A 与 B 的全部元素构成的集合；（2）称集合|ABx xAxB=且为 A 与 B 的交集，即由 A 与 B 的公共元素构成的集合；为 A 与 B 的交集，即由 A 与 B 的公共元素构成的集合；定理 1定理 1（1）交换律 （1）交换律 ABBA=，ABBA=；（2）结合律 （2）结合律 ()()AB

3、CABC=,()()ABCABC=;（3）分配律;（3）分配律()()()ABCABAC=()()()ABCABAC=。更一般地有（4）。更一般地有（4）()()ABAB=；（5）；（5）()()ABAB=；（6）设；（6）设 nA和和 nB为两集列，有为两集列，有()111nnnnnnnABAB=。定义 4 设 A，B 是两个集合，称集合。定义 4 设 A，B 是两个集合，称集合|A Bx xA xB=且是 A 和 B 的差集，即在集合中而不在集合 B 中的一切元素构成的集合。如果是 A 和 B 的差集，即在集合中而不在集合 B 中的一切元素构成的集合。如果BA，则称，则称A B为 B 相对

4、于 A 的补集或余集。为 B 相对于 A 的补集或余集。定理 2定理 2 （1）（1）(),ccccccAAX AAAA XX=；（2）（2）AB=cAB；（3）若；（3）若AB，则，则ccAB；（4）若；（4）若AB=，则，则cAB；（5）；（5）()()()()(),A BCA CB CA B CA B C=。定理 3定理 3 （D Morgan 法则）（D Morgan 法则）（1）（1）()XAXA=；（2）；（2）()XAXA=；特别的，若 X 为全集，有（3）；特别的，若 X 为全集，有（3）()ccAA=；（4）；（4）()ccAA=。定义 5 设 X 与 Y 是两个集合，称集合

5、。定义 5 设 X 与 Y 是两个集合，称集合(),|,XYx yxX yY=是 X 与 Y 的直积集，简称 X 与 Y 的直积，其中是 X 与 Y 的直积集，简称 X 与 Y 的直积，其中()()1122,x yx y=是指是指12xx=且且12yy=。三、集合列的极限集 三、集合列的极限集 定义 6 设定义 6 设kA是一列集合，分别称集合 是一列集合，分别称集合 lim|kkAx=k存在无穷多个k，使xA lim|kkAx=k只有有限个k，使xA 是集合列是集合列kA的上极限集与下极限集。的上极限集与下极限集。注解注解：limkkxA 存在存在kA的子集列的子集列ikA，使使ikxA，1

6、,2i=?；limkkxA 存在存在0N，当，当kN时，时，kxA；11limlimkkkkkkkkAAAA=定理 4定理 4 设集列 设集列kA，则（1），则（1）1limkkknknAA=；（2）（2）1limkknknkAA=。注解注解：()limlimkkkkEAEA =()limlimkkkkEAEA=定理 5定理 5（1）若（1）若kA是单调递增集列，则是单调递增集列，则1limkkkkAA=（2）若（2）若kA是单调递减集列，则是单调递减集列，则1limkkkkAA=四、集类 四、集类 定义 8 设 X 为一个集合，定义 8 设 X 为一个集合，是 X 上的一个非空集类，如果对任

7、何是 X 上的一个非空集类，如果对任何12,E E，都有，都有 1212,EEEE，则称，则称为 X 上的一个环。如果还有为 X 上的一个环。如果还有X，则称，则称为 X 上的一个代数或域。如果对任何一列为 X 上的一个代数或域。如果对任何一列kE，均有，均有121,kkEEE=，则称，则称为 X 上的为 X 上的环，如果还有环，如果还有X，则称则称为 X 上的一个为 X 上的一个代数或代数或域。域。定理 6 定理 6 若若为环，则 为环，则（1）（1）（2）任意（2）任意12,E E，有，有12EE（3）若（3）若()是 X 上的环（或代数），则是 X 上的环（或代数），则是 X 上的环（或

8、代数）。是 X 上的环（或代数）。定理 7定理 7 设设为为环，则 环，则（1）（1）为环；（2）对任意为环；（2）对任意,1,2,nEn=?有有1nnE=；（3）对任意；（3）对任意,1,2,nEn=?有有lim,limnnnnEE；（4）；（4）()为 X 上为 X 上环（环（代数），则代数），则是 X 上是 X 上环（环（代数）。代数）。定理 8定理 8 设设A是由 X 的某些子集构成的集类，则存在唯一的环（或代数，是由 X 的某些子集构成的集类，则存在唯一的环（或代数，环，环，代数）代数），使，使（1）（1）A；（2）任何包含；（2）任何包含A的环（或代数，或的环（或代数，或环或环或代

9、数）代数）*，必有，必有*。定义 9 定理 8 中的环（或代数，或。定义 9 定理 8 中的环（或代数，或环或环或代数）代数）称为称为由集类由集类A所张成的 环所张成的 环（或代数，或（或代数，或环或环或代数），并用代数），并用()A（或（或()A或或()A或 或()A）来表示。例题：设 X 为一非空集合，）来表示。例题：设 X 为一非空集合，A A为 X 的单点集全体所成的集类，则由 为 X 的单点集全体所成的集类，则由 集类集类A A所张成的环所张成的环()A=|B B是X的有限子集 若 X 为有限集，若 X 为有限集，()A也是代数、也是代数、环、环、代数 代数 若若|nXa nN=，则

10、，则()A=|B B是X的有限子集()A=()A=2A=|BBX 2 2 集合的势 集合的势 一、映射 一、映射 定义 1 有关映射的一些概念（舍）见教材 P9。定义 1 有关映射的一些概念（舍）见教材 P9。定理 1 定理 1 设设:T XY为映射，则 为映射，则（1）（1）()()1212;AAXAT A当时，有T（2）（2）()()(),;TAT AAX=（3）（3）()()(),;TAT AAX （4）（4）()()11212;BBYBTB-1当时，有T（5）（5）()()()11,;TBTBBY=（6）（6）()()()11,;TBTBBY=（7）（7）()()()11ccTBTB=

11、由此看出由此看出原像集的性质保持原像集的性质保持比比像集的性质保持要好像集的性质保持要好 注解注解：、（3）中如：一个映射 f 把 X 全部映射成一个值，就可以造成左边为：、（3）中如：一个映射 f 把 X 全部映射成一个值，就可以造成左边为空集即可；、空集即可；、()()()()T AAT AA=-1-1一般T，当T为单射时,有T、()()11()()TBBTBB=一般T，当T为满射时,有T 定义 2 复合映射概念（舍）见教材 P10 定义 2 复合映射概念（舍）见教材 P10 二、集合的势 二、集合的势 定义 3 设 A 和 B 为两集合，若存在从 A 到 B 的一一映射，则称定义 3 设

12、 A 和 B 为两集合，若存在从 A 到 B 的一一映射，则称集合 A 与对等集合 A 与对等，记为 AB，记为 AB 注解注解：、对等关系是等价关系、设：、对等关系是等价关系、设|,|AB，其中其中A两两互不相交，两两互不相交，B两两互不相交。若对任意的两两互不相交。若对任意的，有，有A B，则，则A B 定义 4 如果集合 A 与 B 对等，则称 A 与 B 有相同的势或基数，记为定义 4 如果集合 A 与 B 对等，则称 A 与 B 有相同的势或基数，记为AB=（其中（其中A表示 A 的势或基数）定义 5 设集合 A 与 B，记表示 A 的势或基数）定义 5 设集合 A 与 B，记,AB

13、=，如果 A，如果 A 1BB，则称，则称不大于不大于，记为，记为AB=，如果如果且，则，则小于小于，记为，记为AB=，使，使(),B xG，则称 G 为，则称 G 为nR中开集。中开集。定理 1定理 1 nR中开集构成的集族中开集构成的集族满足下述三条性质：满足下述三条性质：（1）（1）,;nR（2）（2）;1212若G,G，则GG（3）（3）,;G 若G则 称 称为为nR上的一个拓扑，上的一个拓扑，(),nR为拓扑空间。为拓扑空间。注解注解：无穷多个开集的交集不一定为开集，例如：无穷多个开集的交集不一定为开集，例如 111,0nnn=为闭集 为闭集 定义 7（1）设定义 7（1）设nxR，

14、若 G 为，若 G 为nR中的开集且中的开集且xG，则称 G 为 x 的一个领域（2）设，则称 G 为 x 的一个领域（2）设nER，如果存在 x 的一个领域 G，使得，如果存在 x 的一个领域 G，使得GE，则称 x 为 E 的内点。（3）设，则称 x 为 E 的内点。（3）设nER，nxR，如果对 x 任意领域既含有 E 的点，又含有，如果对 x 任意领域既含有 E 的点，又含有cE的点，则称 x 为 E 的边界点。常用结论的点，则称 x 为 E 的边界点。常用结论：、：、();cEE=、0;EE、()00.ncREEE=定理 2定理 2 设设nER，则，则（1）（1）0E为开集；（2）为

15、开集；（2）0EEE=为开集 三、三、nR中闭集 中闭集 定义 8 设定义 8 设()(),1,2,knxxRk=?，若，若()()()lim,lim0kkkkd xxxx=则称点列 则称点列()kx收敛于 X，记为收敛于 X，记为()limkkxx=两条收敛判定准则 两条收敛判定准则：（1）：（1）()()lim.kkkxxxG=对x的任何领域G，存在N0，当kN时，（2）（2）()()lim1,2,lim.kkiikkxxinxx=?对每个有 定义 9 设定义 9 设nER，nxR，如果对 X 的任意领域 G，必有，如果对 X 的任意领域 G，必有(),GxE 则 称 X 为 E 的聚点或

16、极限点，聚点全体称为导集，记为则 称 X 为 E 的聚点或极限点，聚点全体称为导集，记为E；称；称EEE=为 E 的闭包。相反，如果存在某个领域为 E 的闭包。相反，如果存在某个领域0G，使，使 0GEx=，则称 X 为 E 的孤立点。，则称 X 为 E 的孤立点。常用结论常用结论：、孤立点集为至多可数集；、有限集为孤立点集，但可数集不一定为孤立点集，如 Q。、内点一定是聚点，但聚点不一定是内点；孤立点一定是边界点，但边界点不一定是孤立点。：、孤立点集为至多可数集；、有限集为孤立点集，但可数集不一定为孤立点集，如 Q。、内点一定是聚点，但聚点不一定是内点；孤立点一定是边界点，但边界点不一定是孤

17、立点。定理 3定理 3 设设nER，nxR，则以下为聚点等价性定义：，则以下为聚点等价性定义：()()()()()()()()20,;3,lim;4.kkkxEBxxEExxxxGE =1为的 聚 点；任 意存 在中 互 异 点 列对的 任 意 领 域，它 必 含 有的 无 穷 多 个 点 定理 4定理 4 设 E 是设 E 是nR中的有界无限点集，则 E 中至少有一个聚点。中的有界无限点集，则 E 中至少有一个聚点。定理 5定理 5 设设k1,2,nERk=?，,则,则()()111111111,.2,.mmmmkkkkkkkkkkkkkkkkEEEEEEEE=定义 10 设 定义 10 设

18、nFR，若若FcnFRn为中的开集，则称 为R 中的闭集。定理 6定理 6 设设|ncFRF=为开集为所有闭集构成的闭集族，则为所有闭集构成的闭集族，则具有下列性具有下列性质：质：()()()()121212,;3.nRFFFFFF ，；若则若，则 注解注解：无穷多个闭集的并集不一定为闭集，例如：无穷多个闭集的并集不一定为闭集，例如11,1(0,1nn=左开右闭集 左开右闭集 定理 7定理 7 nER设，则下列叙述等价：()()()()()()234,1,2,lim,kkkEEEEExE kxxxE=?1为闭集；设若则。定理 8定理 8(有限覆盖定理)(有限覆盖定理)F设F是有界闭集，是一族领

19、域，覆盖了F,则在 中必有有限个领域覆盖。拓广:(Lindelof 定理)拓广:(Lindelof 定理)nEREE设，为的一个开覆盖，则在 中有至多可数个开集覆盖。定义 11定义 11()()()()()123EEEEEEEEE=若，则 闭集 前面已证明；若，则称 为自密集；若，则称 为完备集 或完全集。注解注解：可数集为闭集；设 E 为非空点集，若 E 的任意子集都为闭集，则 E 不一定是有限集，如自然数集。有限个完全集的并集仍为完全集：可数集为闭集；设 E 为非空点集，若 E 的任意子集都为闭集，则 E 不一定是有限集，如自然数集。有限个完全集的并集仍为完全集111mmmkkkkkkEE

20、E=有限个完全集的交集不一定为完全集，如 有限个完全集的交集不一定为完全集，如,a bb cb=若 E 为非空完全集，则 若 E 为非空完全集，则Ec=定义 12定义 12 ()()12nncnEREREER=如果，则称 为中的稠密集；如果在每个非空开集中存在非空开子集完全含于中，则称 为中的疏朗集。常用结论常用结论：集合 E 为稠密集的充要条件：任意非空开集 G,必有：集合 E 为稠密集的充要条件：任意非空开集 G,必有GE 。集合 E 为疏朗闭集的充要条件：E 的余集为稠密开集。疏朗集的余集为稠密集，但反之不成立，如有理数集与无理数集。有理数集和无理数集均为 R 中的稠密集；自然数集和有限

21、集均为 R 中的疏朗集。集合 E 为疏朗闭集的充要条件：E 的余集为稠密开集。疏朗集的余集为稠密集，但反之不成立，如有理数集与无理数集。有理数集和无理数集均为 R 中的稠密集；自然数集和有限集均为 R 中的疏朗集。重要例子：（Cantor 集）重要例子：（Cantor 集）将【0，1】每次挖掉剩余闭区间的中间三分之一长的开区间后，剩下的部将【0，1】每次挖掉剩余闭区间的中间三分之一长的开区间后，剩下的部分 分 111222122112122111,0,1.nnnnnnnnnnnnknnknFFFFIIIIIIPFI=?设第 次剩余部分为，记，挖去的开区间列为作点集 性质：P 为非空有界闭集；性

22、质：P 为非空有界闭集；P 为完全集；P 为完全集；P 为疏朗集；P 为疏朗集；Pc=四、四、nR中的 Borel 集。中的 Borel 集。定义 13 至多可数个开集的交集为定义 13 至多可数个开集的交集为G型集；至多可数个闭集的并集为型集；至多可数个闭集的并集为F型集。常用结论型集。常用结论：开集为：开集为G型集，闭集为型集，闭集为F型集；集合 E 为型集；集合 E 为G型集充要条件：E 的余集为型集充要条件：E 的余集为F型集；至多可数个型集；至多可数个G型集的交仍为型集的交仍为G型集；至多可数个型集；至多可数个F型集的并仍为型集的并仍为F 型集。任一至多可数集 E 为型集。任一至多可

23、数集 E 为F型集，特别的 有理数集和有理点集为型集，特别的 有理数集和有理点集为F型集；无理数集和无理点集为型集；无理数集和无理点集为G型集 定义 14 由型集 定义 14 由nR中一切开集构成开集族中一切开集构成开集族生成生成代数称为 Borel 代数，简记代数称为 Borel 代数，简记 中元素成为 Borel 集。常用结论中元素成为 Borel 集。常用结论：开集、闭集、：开集、闭集、G型集与型集与F型集皆为 Borel 集；Borel 集的余集为 Borel 集；Borel 集的并、交、上（下）极限皆为 Borel 集。型集皆为 Borel 集；Borel 集的余集为 Borel 集

24、；Borel 集的并、交、上（下）极限皆为 Borel 集。五、开集的构造 定理 9五、开集的构造 定理 9（nR开集的构造）（详细原理见教材 P31）开集的构造）（详细原理见教材 P31）()()()()()()()()11,22nRGaa bbRnG+中非空开集 是至多可数个互不相交的开区间 的并集，反之亦真；中非空开集 是至多可数个互不相交的半开半闭区间的闭集。六、点集间的距离六、点集间的距离 定义 15 设 定义 15 设12,nxRE E为为nR非空集合，称非空集合，称()()11,inf,|d x Ed x yyE=为点 X 到集合为点 X 到集合1E的距离。称的距离。称()()1

25、212,inf,|,d E Ed x yxE yE=为集合 为集合1E到集合到集合2E的距离。常用结论的距离。常用结论：()()()()()()12121,0,2,03,0,xEd x EExEd x EEEd E E=反之不成立；若 为闭集，则；反之不成立。引理 设 E 为非空集合，则函数 引理 设 E 为非空集合，则函数()(),fxd x E=在在nR上一致连续 上一致连续 推论 1 函数推论 1 函数()()0,fxdx x=在在nR上一致连续。上一致连续。定理 10定理 10 设 F 为设 F 为nR中非空闭集，中非空闭集，nxR，则存在，则存在yF，使得，使得()(),d x Fd

26、 x y=定理 11定理 11 设设12,F F为为nR中非空闭集，且其中至少有一个集合是有界的，则存在 中非空闭集，且其中至少有一个集合是有界的，则存在 12,xFyF，使得，使得()()12,d F Fd x y=注解 注解：定理 11 中“至少有一个集合是有界集”不能缺少，如：定理 11 中“至少有一个集合是有界集”不能缺少，如()1212121,0|,|0,ExxRRExxxRRx=定理 12定理 12（隔离性定理）若（隔离性定理）若12,FF为为nR中非空闭集，且中非空闭集，且12FF=，则存在，则存在nR 中开集中开集12,GG，使得，使得112212,GF GFGG=且。例：若

27、F 为 例：若 F 为nR中闭集，则 F 为中闭集，则 F 为G型集；若 G 为型集；若 G 为nR中开集，则 G 为中开集，则 G 为F型集型集定理 13定理 13（连续延拓）若 F 是（连续延拓）若 F 是nR闭集，闭集，()f x在 F 上的连续函数在 F 上的连续函数()()fxM xF 则存在则存在nR上连续函数上连续函数()()()()(),ngxfxxFgxMxR=4 集合与函数 4 集合与函数 一、特征函数 一、特征函数 定义 1 X 是非空集合，定义 1 X 是非空集合，AX，称，称()1,0,AxAxxA=为集合 A 特征函数 注解为集合 A 特征函数 注解：显然：显然()

28、()()ABxxxXAB=定理 1 定理 1()()()()()()()()()()()()()()()()()()()()()()()()()()()()()()()limlim11;023,451;6max,min;7lim,lim;8 limkkkkkkAAABABABABABABA BABAAAAkAAAAkkkAXxAxABxxxXxxxxABxxxxxxxxxxAxxxx=+=；特 别 的时；设是 任 一 集 列，则 ()()()()()limlimlimkkkkkAkAAkAxxXxxxX =存 在任 意存 在，且 极 限 二、集合与函数 二、集合与函数 归纳的一些重要集合等价式

29、：（仅列举部分）归纳的一些重要集合等价式：（仅列举部分）()()()()()()()()()()()()()()()()()()111|0|;2E,limlim|;3|.nnnnnnkkknfxERExfxExfxnfxfxfxfxfxExfxExfxfxERfxEExfxcExfxccR=+=1 设定 义 在的 实 值 函 数，则定 义 在，则设定 义 在 开 集的 实 值 函 数，则在上 连 续与开 集 定义 2 定义 2()()()()()()()()()()()00000000000000,lim,lim sup,0,EnEEfxERxEfxBxEB xxxfxfxxxBxfxxx+=

30、，则，则()*mABm Am B=+（隔离）（隔离）注解：、任何可数点集的外测度为零；、若注解：、任何可数点集的外测度为零；、若*0m A=，则对任意，则对任意nER，总有，总有()*mEAm E=；、零测集的任意子集仍为零测集；至多可数个零测集的并集仍为零测集；、对任何区间、零测集的任意子集仍为零测集；至多可数个零测集的并集仍为零测集；、对任何区间nIR，总有，总有*m II=；常用结论常用结论：1、若 E 有界，则：1、若 E 有界，则*m E，则对所有，则对所有*0m E，存在，存在1EE，使，使*1m E=（推广的介值性定理）。（推广的介值性定理）。2 可测集 外测度是否是通常意义下的

31、“体积”的拓广，需满足完全可加性，而对外测度而言，只有当2 可测集 外测度是否是通常意义下的“体积”的拓广，需满足完全可加性，而对外测度而言，只有当(),0d A B 时，才有时，才有()*mABm Am B=+，仅当，仅当AB=时，可能有 时，可能有(),0d A B=，完全可加性不一定成立，所以需改进。，完全可加性不一定成立，所以需改进。一、可测集的定义及等价条件 一、可测集的定义及等价条件 定义 1 设定义 1 设nER，如果对任意，如果对任意nTR，总有，总有()()*cm Tm TEm TE=+，则称 E 为 Lebesgue 可测集，或称 E 是可测的，此时，E 的外测度，则称 E

32、 为 Lebesgue 可测集，或称 E 是可测的，此时，E 的外测度*m E称为 E 的 Lebesgue 测度，记为称为 E 的 Lebesgue 测度，记为mE。注解注解：与外测度不同的是，并非每个集合都是可测的。：与外测度不同的是，并非每个集合都是可测的。定理 1 定理 1 设设nER，则下列三种说法是等价的：，则下列三种说法是等价的：（1）E 是可测集；（2）（1）E 是可测集；（2）cE是可测集；（3）对任意是可测集；（3）对任意,cAE BE，总有，总有()*mABm Am B=+注解注解：由（3）零测集为可测集，再由（2）推出：由（3）零测集为可测集，再由（2）推出nR可测。可

33、测。二、可测集的基本性质 定理 2 二、可测集的基本性质 定理 2（1）（1）12121212,E EEEEEEE可测均可测；（2）（2）()11,mmiiiiiEEE=?i=1,2,m 可测可测，并且当，并且当iE两两不交时，两两不交时，11mmiiiiEm E=m，（对于可数个可测集列也同样成立）。，（对于可数个可测集列也同样成立）。注解注解：（1）定理 2 中（2）说明了测度具有完全可加性；（2）：（1）定理 2 中（2）说明了测度具有完全可加性；（2）lim,limnnnnEE 可 测。由于由于11lim,limnknknknnnknnEEEE=。（3）（3）综上所述，可测集对集合的至

34、多可数并、交、差（余）及极限运算是封闭的，若综上所述，可测集对集合的至多可数并、交、差（余）及极限运算是封闭的，若表示表示nR中中可测集全体可测集全体，则显然，则显然是一个是一个域。域。（4）（4）2c=三、单调可测集列的性质 定 理3三、单调可测集列的性质 定 理3设设()nE?n=1,2,为 单 调 上 升 的 可 测 集 列，记为 单 调 上 升 的 可 测 集 列，记1lim,limnnnnnnSEEmEmS=则。即。即极限集测度=测度极极限集测度=测度极限限。定 理4定 理4设设()nE?n=1,2,为 单 调 下 降 的 可 测 集 列，记为 单 调 下 降 的 可 测 集 列，记

35、001lim,limnnnnnnnnEEEEmEEmE=若存在某个,使+则,注解注解：、定理 4 中条件“：、定理 4 中条件“00nnEE若存在某个,使+”不能去掉，否则结论不一定成立，如取不能去掉，否则结论不一定成立，如取()(),nEn=+?n=1,2,，1lim0nnnnmEmEmEm=+=。、由 定 理 3 有、由 定 理 3 有1limnknknnEE=，kknE=中 单 调 上 升，有中 单 调 上 升，有limlimnknknnmEmE=；、由定理 4 有，、由定理 4 有，1li mnknnknEE=中中kknE=单调下降，若存在单调下降，若存在00,kkk nk nEE=+

36、使m，则，则()limlimnknnknmEmE=考 虑 到考 虑 到nkknEE=，则 有，则 有nkknmEmE=两 边 取 极 限 有，两 边 取 极 限 有，()limlimnnnnmEmE 、()limlimlimlimnnnnnnnnmEmEmEmE 从而设从而设nE为可测集，且为可测集，且limnnEE=，若，若nE有界，则有界，则limnnmEmE=对任意可测集 A、B，有对任意可测集 A、B，有（1）若（1）若(),BAmB+则mA=m AB（2）若（2）若(),mBmB+则mA-m AB（3）若（3）若(),BAmBmB，存在开集 G，使，存在开集 G，使EG，且，且()m

37、 GE，存在闭集，使，存在闭集，使FE，且，且()m EF；（3）存在；（3）存在F型集，使型集，使FE，且，且(),0mFmE m E F=。注解注解：、：、()EFEF=、以上两个定理表明，只要有了全部的、以上两个定理表明，只要有了全部的G和和F和和全部的零测集全部的零测集，一切可测集都可以通过，一切可测集都可以通过G型集与一零测集的差集型集与一零测集的差集或或F型集与一零测型集与一零测集的并集集的并集获得。获得。定理 7定理 7 设 A、B 分别为设 A、B 分别为pR和和qR中的可测集，若中的可测集，若EAB=，则 E 为，则 E 为pqR+中的中的可测集，且可测集，且mEmAmB=注

38、解注解：定理证明中所用到的结论：定理证明中所用到的结论：nR开集的构造：开集的构造：nR()2n 中非空开集 G 是可数个互不相交的半开半闭区间的并集；中非空开集 G 是可数个互不相交的半开半闭区间的并集；E 是可测集，则存在一列单调递减的开集列E 是可测集，则存在一列单调递减的开集列nG，使得，使得nEG，且，且10nnmGE=；或或存在一列单调递增的闭集列存在一列单调递增的闭集列 nF，使得，使得nFE，且，且10nnm EF=。（见教材 P64 课后习题 20、21 题）（见教材 P64 课后习题 20、21 题）当可测集 A、B 无界时，A、B 分别都可以表示成一列互不相交的有界可测集

39、的并集，即当可测集 A、B 无界时，A、B 分别都可以表示成一列互不相交的有界可测集的并集，即11,ijijAABB=，其中，其中,ijAB都是有界可测集。都是有界可测集。思路：由定理 5（3）存在思路：由定理 5（3）存在G集集12,G G，使，使121,AG BGmAmG=且 ()()212,0,0mBmG m GAm GB=*12,AGA BGB=记()()()()*12EABGGABABAB=第三章第三章 可测函数可测函数 1 可测函数的定义及简单性质 一、可测函数的定义及等价定义 1、简单函数 1 可测函数的定义及简单性质 一、可测函数的定义及等价定义 1、简单函数 定义 1 设 E

40、 为可测函数，定义 1 设 E 为可测函数，()f x为定义在 E 上的函数，如果 （1）为定义在 E 上的函数，如果 （1）1miiEE=，其中，其中iE为两两不交的可测集；（2）在每个为两两不交的可测集；（2）在每个iE上，上，()if xc=，即 ，即 ()11,mmc xEf xcxE=?亦即，亦即，()()1imiEifxcx=则则()f x称为 E 上的简单函数。注解称为 E 上的简单函数。注解：、可测集 E 上的两个简单函数的和、差、积仍为 E 上的简单函数；若 ：、可测集 E 上的两个简单函数的和、差、积仍为 E 上的简单函数；若 ()0g x 时，时，()()f xg x也是

41、 E 上的简单函数。、复合函数中内函数为简单函数，则复合函数为简单函数。定义 2 设也是 E 上的简单函数。、复合函数中内函数为简单函数，则复合函数为简单函数。定义 2 设()f x为 E 上非负实函数，集合为 E 上非负实函数，集合()()1,|,0nx yxEyf xR+称为 称为 ()f x在 E 上的下方图形，记为在 E 上的下方图形，记为(),G E f。注解：。注解：(),G E f为可测集，且为可测集，且()1,miiimG E fc mE=。2、非负可测函数 定义 3 设 E 为可测集，。2、非负可测函数 定义 3 设 E 为可测集，()f x为定义在 E 上非负函数，如果存在

42、一列单调递增的非负简单函数为定义在 E 上非负函数，如果存在一列单调递增的非负简单函数()mx，即，即()()10nxx?，使，使()()limmmf xx=，则称，则称()f x为 E 上的非负可测函数或称为 E 上的非负可测函数或称()f x在 E 上非负可测。下面定理刻画了非负可测函数的特性：在 E 上非负可测。下面定理刻画了非负可测函数的特性：定理 1定理 1 设设()f x为可测集 E 上的非负函数，则为可测集 E 上的非负函数，则()f x在 E 上非负可测充要条件：在 E 上非负可测充要条件：对任意实数 a，对任意实数 a，()|E x fxa都是都是nR中可测集。中可测集。3、

43、一般可测函数 定义 4 设 3、一般可测函数 定义 4 设()f x是定义在可测集 E 上实函数，如果对任意实数 a，是定义在可测集 E 上实函数，如果对任意实数 a，()|E x fxa或或()|E x fxa或或()|E x fxa 可测；而 可测；而(),|rQ E x fxr=可测得不出可测得不出()f x可测，设 A 不可测集，可测，设 A 不可测集，(),0,1 x xAf xx xA=，()|E x fxr=为单点集或空集，而有 为单点集或空集，而有()|0E x fxA=为不可测集。为不可测集。推论推论：若：若()f x在可测集 E 上为可测函数，则 （1）在可测集 E 上为可

44、测函数，则 （1）()()()|,|,|E x fxE x fxE xfx=+=+均可测；（2）对任意实数均可测；（2）对任意实数()(),|ab E x afxbE x fxa=和均可测。二、可测函数的简单性质 定义 6 设均可测。二、可测函数的简单性质 定义 6 设()x是一个与集合 E 中的点 x 有关的命题，如果存在是一个与集合 E 中的点 x 有关的命题，如果存在FE，使，使0mF=且且()x在在E F上恒成立，则称上恒成立，则称()x在 E 上几乎处处成立，记为 在 E 上几乎处处成立，记为 ().xaeE成立于。例如：对于【0，1】上的蒂尼克雷函数，即在有理点处取 1 在无理点处

45、取 0.由于有理点集为零测集，所以。例如：对于【0，1】上的蒂尼克雷函数，即在有理点处取 1 在无理点处取 0.由于有理点集为零测集，所以().0,1D xae=0,于。设。设()(),nfxf x均为可测集 E 上的实函数，若 均为可测集 E 上的实函数，若 ()()|0nmE x fxfx=不收敛于，则称，则称()nfx几乎处处收敛于几乎处处收敛于()f x。设。设()f x为定义在可测集 E 上实函数，若为定义在可测集 E 上实函数，若()|0mE xfx=+=，则称，则称()f x在 E 上几乎处处有限。在 E 上几乎处处有限。注解注解:()f x在 E 上几乎处处有限，则在 E 上几

46、乎处处有限，则()f x在 E 上可测充要条件：对任意实数在 E 上可测充要条件：对任意实数a，b，a，b，()|E x afxb为可测集。证明：（必要性）根据上述推论已得证。（充分性）为可测集。证明：（必要性）根据上述推论已得证。（充分性）()()()|a|E x fxE x afxE x fx=+=+，而，而()()1|1nE x af xE x anf xan+=+=+且根据上述推论知且根据上述推论知()|E x fx=+为可测集，从而为可测集，从而()|aE x fx 可测。可测。(),|ab E x afxb 使 为不可测集取取()11,xEf xxE E+=则 则 (),|ab E

47、 x afxb 与只相差一零测集）注解：此定理表明任意改变注解：此定理表明任意改变()f x在一个零测集上的函数值不改变在一个零测集上的函数值不改变()f x的可测性。的可测性。定理 4定理 4（1）若（1）若()f x在 E 上可测，在 E 上可测，0E为 E 的可测子集，则为 E 的可测子集，则()f x在在0E上可测；上可测；（2）若 （2）若()f x在可测集在可测集()1,2mEm=?上可测，则上可测，则()f x在在1mmEE+=上可测。上可测。引理引理 设 设()()f xx，g在 E 上可测，则在 E 上可测，则()()|E x fxxg是可测集 证明：全体有理数集是可测集 证

48、明：全体有理数集12,r r?，有分解 ，有分解 ()()()()1|mmmE x f xxE x f xrE x g xr+=g。定理 5定理 5 若若()()f xx，g在 E 上可测，则下列函数（假定它们都在 E 上有定义或几在 E 上可测，则下列函数（假定它们都在 E 上有定义或几乎处处有定义）均在 E 上可测：乎处处有定义）均在 E 上可测：()()()()()()()()()()()()11;2;3;4;5cf xf xg xf xf x g xf x+。设设()f x定义在 E 上，令定义在 E 上，令()()()()max,0,max,0fxf xfxf x+=，分别称为，分别

49、称为()f x的正部和负部。有的正部和负部。有()()()()()(),fxfxfxfxfxfx+=+。定理 6定理 6 设设()f x定义在可测集 E 上，则定义在可测集 E 上，则()f x在 E 上可测的充要条件：在 E 上可测的充要条件：()(),fxfx+均在 E 上可测。均在 E 上可测。定理 7定理 7 若若()mfx是上可测函数列，则 是上可测函数列，则()()()()()()()()()()()()111sup,infE2lim suplim,lim inflimEmmmmkmkmmmmk mmk mh xfxl xfxxfxfxxfxfx=在 上可测；在 上可测。证明：（1

50、）。证明：（1）()()()()11|;|mmmmE x h xaE x fxaE x l xaE x fxa=。（2）。（2）()()()()11inf sup,sup infkkmk mk mmxfxxfx=。注解:特别的，若。注解:特别的，若()limmmfx存在，或几乎处处存在，则存在，或几乎处处存在，则()limmmfx在 E 上可测。若在 E 上可测。若()f x在(a,b)上可导，则在(a,b)上可导，则()fx在(a,b)上可测。证明：因为在(a,b)上可测。证明：因为()()()1lim,nfxn fxf xxa bn=+，而 ，而 ()1n fxf xn+在(a,b)上连续