(完整版)实变函数与泛函分析第4章
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
本节难点依测度收敛的概念及各种收敛之间的关系.
改造积分定义的目的一是为了扩展可积范围，二是为了使得操作更方便。对( )积分而言，积分与极限交换顺序需要验证一个较为苛刻的条件：“ 在 上一致收敛于 ”，将“一致收敛”削弱为“处处收敛”甚至“几乎处处收敛”是一种思路，在此介绍另一种削弱“一致收敛”条件的方法。
鲁津定理的第二形式：若 在 上的几乎处处有限的可测函数，则对 ，存在闭集 及整个直线上的连续函数 （ 及 依赖于 ）使在 上 ，且
证明略
其实，以上两定理结果也是可测函数的本质特征，即具有上述结果的函数一定是可测函数，证明留作习题。
可测函数在一个充分接近定义域的闭集上连续这一本质特征明示我们：
尽管可测函数的范围比连续函数的范围广得多，但通过牛顿——莱布尼兹公式计算积分仍为主渠道。
本节难点叶果洛夫定理的证明.
在数学分析中，我们已经知道，即使函数列在每一点收敛，也不能保证一致收敛，因此，对可能在某个零测度集上不收敛的函数列而言，更谈不上一致收敛.
例：函数列 在(0,1)上处处收敛到 ,但不一致收敛，究其原因是自变量越靠近0越收敛速度慢，只有更慢没有最慢，从而不可能一致收敛。但去掉一小测度集合 ,在留下的集合上一致收敛。著名的俄国数学家叶果落夫（ЕгОРОВ）任何可测函数都有类似结果，即有下述定理成立
去掉某个小（任意小）测度集，在留下的集合上一致收敛
证明：由引理知 有 ，从而有
令 ，则 可测，
而
故 有
即 在 上一致收敛到
注：叶果洛夫定理的逆定理成立，无论 或 ，即：若 于 则 于
证明：由条件知 ,存在可测集 ，使
，
且 在 上一致收敛于 ，
当然 在 上点点收敛于 ，令 ，则
，
从而
另外显然 在 上点点收敛于
近似地说一致连续是函数图象陡的程度能有个控制
例：函数列 在(0,1)上处处收敛到 ,但不一致收敛，但去掉一小测度集合(1-δ,1),在留下的集合上一致收敛
⑶几乎处处收敛:记作 于 （almost everywhere）
即：去掉某个零测度集，在留下的集合上处处收敛
说明：取闭集的原因在于闭集的余集为开集，开集中的点为内点，从而可取 足够小的邻域不含其他 中的点.
注鲁津定理推论：若 为 上几乎处处有限的可测函数，则
及 上的连续函数 使得在 上 且 （对 维空间也成立）
（在某个小测度集上改变取值并补充定义变成连续函数）
鲁津定理（限制定义域）（即：去掉某个小测度集，在留下的集合上连续）
若 是 上的可测函数,则 仍为 上的可测函数.
证明：首先 在 上可测，因为对任意
再利用 即可
作业：若 是 上的可测函数,则 , 为 上的可测函数
⑶可测函数类关于确界运算和极限运算封闭.
若若 是 上的可测函数,则下列函数仍为 上的可测函数.
推论：可测函数列的极限函数仍为可测函数（连续函数列的极限函数不一定为连续函数）。
而 为两两不交闭集，故 在 上连续
显然 为闭集，且有
(2)当 为有界可测函数时，
存在简单函数列 在 上一致收敛于 ，利用(1)的结果知
及每个 ，存在闭集 ，使
且 在 上连续.
令 ，则 且
由 在 连续及一致收敛于 ，易知 在闭集 上连续.
(3)当 为一般可测函数时，作变换
则 为有界可测函数，应用(2)即得我们的结果.
练习题
1鲁津定理结论中的 能否取为0，即结论是否能表述为：“ 闭集 ，使 ，且 在 上连续.”？
2当 时鲁津定理是否依然成立？
3鲁津定理的逆定理是否成立？鲁津定理能否改为：“ 为 上几乎处处有限的可测函数，则 ，存在闭集 ，使 ，且 在 上可表为多项式”？
4试作 上的可测函数 ，使对任何连续函数 都有 ，此结果与鲁津定理有无矛盾？
设 ,则 处处收敛于f(x)=0，但 不一致收敛于 ，即使去掉任意一零测度集，在留下的集合上 仍不一致收敛于 .
说明：去掉任意一个零测度集 ，留下的集合 仍然以1为聚点从而可找到 中一点列 ,使得 收敛到1，故： 有
从而 上 不一致收敛于 .
练习题
1叶果洛夫定理的条件“ ”是否可以取消？
2叶果洛夫定理的结论能否改为“ ，使 在 上一致收敛于 ”？
若 是 上的可测函数, 可测，则 限制在 上也是可测函数；
反之，若 , 限制在 上是可测函数，则 在 上也是可测函数。
注：在一零测度集上改变函数的取值不影响函数的可测性
即：设 （almost everywhere）于 ， 在 上可测，
则 在 上也可测
若 ,则称 在 上几乎处处成立,记作 于 .
证明：令 ，则 ，从而 在 上可测，
引理：设 ， ， 在 上几乎处处有限且可测，若 于 则 有
证明：由于 为零测度集，故不妨令 在 上处处有限，
从而有：
从而当 时， 有
定理1(ЕгОРОВ)设 ， 在 上几乎处处有限且可测，若 于 ，则 于 （即：可测函数列的收敛“基本上”是一致收敛）
于 ，即 即：去掉某个零测度集，在留下的集合上处处收敛
另外 在 上可测，从而 在 上也可测，进一步 在 上也可测.
注：用到了可测函数关于子集、并集的性质
⑵可测函数类关于四则运算封闭
若 是 上的可测函数,则
仍为 上的可测函数.
证明：只要证 可测，任取 ，则
从而
使 即
从而
，
反之
也成立，从而 可测
类似可证：设 是 上可测函数，则 为可测集.
类似可证：设 是 上可测函数，则 为可测集.
第四章可测函数
由于建立积分的需要，我们还必须引进一类重要的函数——Lebesgue可测函数，并讨
论其性质和结构.
§1可测函数及其性质
教学目的本节将给出可测函数的定义并讨论其基本性质
教学要点可测函数有若干等价的定义.它是一类范围广泛的函数,并且有很好
的运算封闭性.可测函数可以用简单函数逼近,这是可测函数的构造性特征.
对上式的说明：
，
比较：
例： 上的可微函数 的导函数 是可测函数
证明：由于
从而 是一列连续函数（当然是可测函数）的极限，故 是可测函数.利用了可测函数列的极限函数仍为可测函数.
例设 是可测函数列，则它的收敛点全体和发散点全体是可测集.
证明：发散点全体为 ；收敛点全体为 再利用 和 是可测函数即可
注意：函数列收敛与函数列收敛于 之间的不同
其中
注：Dirichlet函数是简单函数
性质3可测集 上的连续函数 必为可测函数ቤተ መጻሕፍቲ ባይዱ
设 为 上有限实函数，称 在 处连续
对比：设 为 上有限实函数，
在 处连续(对闭区间端点则用左或右连续)
证明：任取 ,则 ,由连续性假设知，
对 使得
即 .令 则G为开集，当然为可测集，
且另外
所以
，
故 为可测集
性质4 中的可测子集 上的单调函数 必为可测函数。
例1依测度收敛，但处处不收敛的函数列.
处处不收敛
但子列 处处收敛于
例2不依测度测度收敛但收敛的函数列：
尽管两种收敛区别很大，一种收敛不能包含另一种收敛，但下面定理反映出他们还是有
密切联系的.
定理2（Riesz）若 ,则必有 的子列 ，使得 于
证明：由 于 可知
从而可取得 ，使得
故对 ，当 时,有
从而
3从函数 或 可测能否推出 在 上可测？
4由 可否推出 、 都可测？
5能否断定“零集上任何函数均可测”？
§2叶果洛夫定理
教学目的1、深刻理解“几乎处处收敛”，“近一致收敛”（由叶果洛夫定理结论引出）
等概念，弄清它们之间的区别与联系.
2、理解叶果洛夫定理，了解定理的证明.
教学要点“几乎处处收敛”，“近一致收敛”的概念及叶果洛夫定理的内容.
本节难点可测函数与简单函数的关系.
1可测函数定义
定义：设 是可测集 上的实函数(可取 )，若 可测，则称 是 上的可测函数.
2可测函数的性质
性质1零集上的任何函数都是可测函数。
注：称外测度为0的集合为零集；零集的子集，有限并，可数并仍为零集
性质2简单函数是可测函数
若 ( 可测且两两不交）， 在每个 上取常值 ，则称 是 上的简单函数；
3叶果洛夫定理的逆定理是否成立？
§3可测函数的构造
教学目的本节将考察欧氏空间上的可测函数和连续函数关系.本节将证明重要的Lusin定理,它表明Lebesgue可测函数可以用性质较好连续函数逼近.这个结果在有些情况下是很有用的.
本节要点一方面, 可测集上的连续函数是可测的,另一方面,Lusin定理表明，Lebesgue可测函数可以用连续函数逼近.Lusin定理有两个等价形式.另外,作为准
鲁津（лузин）定理：设 为 上几乎处处有限的可测函数，则
闭集 使得 且 在 上连续.（去掉一小测度集，在留下的集合上成为连续函数）
即：可测函数“基本上”是连续函数.
证明：由于 ，故不妨令 为有限函数
(1)当 为简单函数时，
令
（其中 可测且两两不交）
对每个 ，作 中的闭子集 ，使
当 时， ，所以 在 上连续，
证明：不妨设 单调增，对任意 令 .由 单调增知下面的集合为可测集
⒊可测函数的等价描述
⒈定义：设 是可测集 上的实函数，则 在 上可测
（即（1） 可测）
可测
可测
可测
可测（充分性要求 ）
证明：利用（1）与（4），（2）与（3）互为余集，以及
， ，
，
对前面等式的说明
，
，
⒋可测函数的性质
⑴可测函数关于子集、并集的性质
从集合论的角度讲：“ 在 上一致收敛于 ”是指 ， ，当 时， ，之所以我们认为“一致收敛”条件苛刻，就在于它要求 从某项以后永远为空集。能否改成允许不空，甚至允许为正测度集，但必须满足
呢？这就导致了一个新的收敛概念的产生.
一、依测度收敛
1定义： 是 上的一列 有限的可测函数.若有 上 有限的可测函数 满足下列关系：
所以 在 上 收敛于 .
注:叶果洛夫定理中条件 不可少.
例 在 上处处收敛于 =1 ,但 不几乎一致收敛于 于 .
几乎一致收敛:去掉某个小（任意小）测度集，在留下的集合上一致收敛
可测子集
有
不几乎一致收敛：去掉任意小（适当小）测度集，在留下的集合上任不一致收敛
任意可测子集
有
任意可测子集
使得
注：叶果洛夫定理中的结论 不能加强到 .
(*)
故 于
注：其实从证明中的(*)式我们可看出 于 .
定理3（Lebesgue） ， ， 在 上几乎处处有限且可测，若 于 ，则 于
二、函数列几种收敛之间的关系
先归纳一下几种收敛的定义.
1．函数列的几种收敛定义
⑴点点收敛:记作 于
有
⑵一致收敛:
有
注：近似地说一致收敛是函数列收敛慢的程度能有个控制.
§4依测度收敛
教学目的可测函数列可以定义各种收敛性.本节讨论几乎处处收敛,依测度收敛和几乎一致收敛.几种收敛性之间存在一些蕴涵关系.通过本节的学习,可以使学生对可测函数列的几种收敛性和相互关系有一个较全面的了解.
教学要点本节引进的几种收敛是伴随测度的建立而产生的新的收敛性.特别是依测度收敛是一种全新的收敛,与熟知的处处收敛有很大的差异.Egorov定理和Riesz定理等揭示了这几种收敛之间的关系.Riesz定理在几乎处处收敛和较难处理的依测度收敛之间架起了一座桥梁.
对 有 ，则称函数列 依测度收敛于 .度量收敛到 ，记为： .
语言： 当 时， .
2．测度收敛的性质（唯一性和四则运算）
定理1令 ， 于 ， 于 ，则
(1)若又有 于 ,则 a.e.于 .
于
于
于
注：(1),(2),(4)当 时,也成立；条件 对(3)来说不可少.
3．依测度收敛与几乎处处收敛的关系
依测度收敛与处处收敛或几乎处处收敛的概念是有很大区别的.
（连续函数类关于四则运算封闭）
注：对 在 连续的说明：
若 在 上连续，而 为两两不交闭集，则 在 上连续
证明：任取 则存在 ，使得 ， ，
又 为两两不交闭集，从而 在开集 中
所以存在 ,使得
从而
故对任意 ，有 ，故 连续
条件 为两两不交闭集必不可少，如：
函数在每一块上为常值，故在每一块上都连续，但函数在R上处处不连续.
⒌可测函数与简单函数的关系
可测函数 总可表示成一列简单函数的极限
若 是 上的可测函数,则 总可表示成一列简单函数 的极限
，而且还可办到
注：当 是有界函数时，上述收敛可做到一致收敛
练习题
1任何点集 上的常值函数 是可测函数，对吗？
2已知“若 在 上可测，则 可测”，反之，若 可测，能断定 在 上可测吗？
备定理Tietze扩张定理本身也是一个很有用的结果.
本节难点Lusin定理的证明.
可测集 上的连续函数定为可测函数，但可测函数不一定连续.
本节讨论可测函数和连续函数之间的关系，从而揭示可测函数的结构.
我们已经知道可测函数Dirichlit函数在 上处处间断，这是否意味着这样的函数与连续不沾边呢？否！事实上，它是在充分接近于定义域的范围内相对连续的。这就是著名的鲁津（лузин）定理
改造积分定义的目的一是为了扩展可积范围，二是为了使得操作更方便。对( )积分而言，积分与极限交换顺序需要验证一个较为苛刻的条件：“ 在 上一致收敛于 ”，将“一致收敛”削弱为“处处收敛”甚至“几乎处处收敛”是一种思路，在此介绍另一种削弱“一致收敛”条件的方法。
鲁津定理的第二形式：若 在 上的几乎处处有限的可测函数，则对 ，存在闭集 及整个直线上的连续函数 （ 及 依赖于 ）使在 上 ，且
证明略
其实，以上两定理结果也是可测函数的本质特征，即具有上述结果的函数一定是可测函数，证明留作习题。
可测函数在一个充分接近定义域的闭集上连续这一本质特征明示我们：
尽管可测函数的范围比连续函数的范围广得多，但通过牛顿——莱布尼兹公式计算积分仍为主渠道。
本节难点叶果洛夫定理的证明.
在数学分析中，我们已经知道，即使函数列在每一点收敛，也不能保证一致收敛，因此，对可能在某个零测度集上不收敛的函数列而言，更谈不上一致收敛.
例：函数列 在(0,1)上处处收敛到 ,但不一致收敛，究其原因是自变量越靠近0越收敛速度慢，只有更慢没有最慢，从而不可能一致收敛。但去掉一小测度集合 ,在留下的集合上一致收敛。著名的俄国数学家叶果落夫（ЕгОРОВ）任何可测函数都有类似结果，即有下述定理成立
去掉某个小（任意小）测度集，在留下的集合上一致收敛
证明：由引理知 有 ，从而有
令 ，则 可测，
而
故 有
即 在 上一致收敛到
注：叶果洛夫定理的逆定理成立，无论 或 ，即：若 于 则 于
证明：由条件知 ,存在可测集 ，使
，
且 在 上一致收敛于 ，
当然 在 上点点收敛于 ，令 ，则
，
从而
另外显然 在 上点点收敛于
近似地说一致连续是函数图象陡的程度能有个控制
例：函数列 在(0,1)上处处收敛到 ,但不一致收敛，但去掉一小测度集合(1-δ,1),在留下的集合上一致收敛
⑶几乎处处收敛:记作 于 （almost everywhere）
即：去掉某个零测度集，在留下的集合上处处收敛
说明：取闭集的原因在于闭集的余集为开集，开集中的点为内点，从而可取 足够小的邻域不含其他 中的点.
注鲁津定理推论：若 为 上几乎处处有限的可测函数，则
及 上的连续函数 使得在 上 且 （对 维空间也成立）
（在某个小测度集上改变取值并补充定义变成连续函数）
鲁津定理（限制定义域）（即：去掉某个小测度集，在留下的集合上连续）
若 是 上的可测函数,则 仍为 上的可测函数.
证明：首先 在 上可测，因为对任意
再利用 即可
作业：若 是 上的可测函数,则 , 为 上的可测函数
⑶可测函数类关于确界运算和极限运算封闭.
若若 是 上的可测函数,则下列函数仍为 上的可测函数.
推论：可测函数列的极限函数仍为可测函数（连续函数列的极限函数不一定为连续函数）。
而 为两两不交闭集，故 在 上连续
显然 为闭集，且有
(2)当 为有界可测函数时，
存在简单函数列 在 上一致收敛于 ，利用(1)的结果知
及每个 ，存在闭集 ，使
且 在 上连续.
令 ，则 且
由 在 连续及一致收敛于 ，易知 在闭集 上连续.
(3)当 为一般可测函数时，作变换
则 为有界可测函数，应用(2)即得我们的结果.
练习题
1鲁津定理结论中的 能否取为0，即结论是否能表述为：“ 闭集 ，使 ，且 在 上连续.”？
2当 时鲁津定理是否依然成立？
3鲁津定理的逆定理是否成立？鲁津定理能否改为：“ 为 上几乎处处有限的可测函数，则 ，存在闭集 ，使 ，且 在 上可表为多项式”？
4试作 上的可测函数 ，使对任何连续函数 都有 ，此结果与鲁津定理有无矛盾？
设 ,则 处处收敛于f(x)=0，但 不一致收敛于 ，即使去掉任意一零测度集，在留下的集合上 仍不一致收敛于 .
说明：去掉任意一个零测度集 ，留下的集合 仍然以1为聚点从而可找到 中一点列 ,使得 收敛到1，故： 有
从而 上 不一致收敛于 .
练习题
1叶果洛夫定理的条件“ ”是否可以取消？
2叶果洛夫定理的结论能否改为“ ，使 在 上一致收敛于 ”？
若 是 上的可测函数, 可测，则 限制在 上也是可测函数；
反之，若 , 限制在 上是可测函数，则 在 上也是可测函数。
注：在一零测度集上改变函数的取值不影响函数的可测性
即：设 （almost everywhere）于 ， 在 上可测，
则 在 上也可测
若 ,则称 在 上几乎处处成立,记作 于 .
证明：令 ，则 ，从而 在 上可测，
引理：设 ， ， 在 上几乎处处有限且可测，若 于 则 有
证明：由于 为零测度集，故不妨令 在 上处处有限，
从而有：
从而当 时， 有
定理1(ЕгОРОВ)设 ， 在 上几乎处处有限且可测，若 于 ，则 于 （即：可测函数列的收敛“基本上”是一致收敛）
于 ，即 即：去掉某个零测度集，在留下的集合上处处收敛
另外 在 上可测，从而 在 上也可测，进一步 在 上也可测.
注：用到了可测函数关于子集、并集的性质
⑵可测函数类关于四则运算封闭
若 是 上的可测函数,则
仍为 上的可测函数.
证明：只要证 可测，任取 ，则
从而
使 即
从而
，
反之
也成立，从而 可测
类似可证：设 是 上可测函数，则 为可测集.
类似可证：设 是 上可测函数，则 为可测集.
第四章可测函数
由于建立积分的需要，我们还必须引进一类重要的函数——Lebesgue可测函数，并讨
论其性质和结构.
§1可测函数及其性质
教学目的本节将给出可测函数的定义并讨论其基本性质
教学要点可测函数有若干等价的定义.它是一类范围广泛的函数,并且有很好
的运算封闭性.可测函数可以用简单函数逼近,这是可测函数的构造性特征.
对上式的说明：
，
比较：
例： 上的可微函数 的导函数 是可测函数
证明：由于
从而 是一列连续函数（当然是可测函数）的极限，故 是可测函数.利用了可测函数列的极限函数仍为可测函数.
例设 是可测函数列，则它的收敛点全体和发散点全体是可测集.
证明：发散点全体为 ；收敛点全体为 再利用 和 是可测函数即可
注意：函数列收敛与函数列收敛于 之间的不同
其中
注：Dirichlet函数是简单函数
性质3可测集 上的连续函数 必为可测函数ቤተ መጻሕፍቲ ባይዱ
设 为 上有限实函数，称 在 处连续
对比：设 为 上有限实函数，
在 处连续(对闭区间端点则用左或右连续)
证明：任取 ,则 ,由连续性假设知，
对 使得
即 .令 则G为开集，当然为可测集，
且另外
所以
，
故 为可测集
性质4 中的可测子集 上的单调函数 必为可测函数。
例1依测度收敛，但处处不收敛的函数列.
处处不收敛
但子列 处处收敛于
例2不依测度测度收敛但收敛的函数列：
尽管两种收敛区别很大，一种收敛不能包含另一种收敛，但下面定理反映出他们还是有
密切联系的.
定理2（Riesz）若 ,则必有 的子列 ，使得 于
证明：由 于 可知
从而可取得 ，使得
故对 ，当 时,有
从而
3从函数 或 可测能否推出 在 上可测？
4由 可否推出 、 都可测？
5能否断定“零集上任何函数均可测”？
§2叶果洛夫定理
教学目的1、深刻理解“几乎处处收敛”，“近一致收敛”（由叶果洛夫定理结论引出）
等概念，弄清它们之间的区别与联系.
2、理解叶果洛夫定理，了解定理的证明.
教学要点“几乎处处收敛”，“近一致收敛”的概念及叶果洛夫定理的内容.
本节难点可测函数与简单函数的关系.
1可测函数定义
定义：设 是可测集 上的实函数(可取 )，若 可测，则称 是 上的可测函数.
2可测函数的性质
性质1零集上的任何函数都是可测函数。
注：称外测度为0的集合为零集；零集的子集，有限并，可数并仍为零集
性质2简单函数是可测函数
若 ( 可测且两两不交）， 在每个 上取常值 ，则称 是 上的简单函数；
3叶果洛夫定理的逆定理是否成立？
§3可测函数的构造
教学目的本节将考察欧氏空间上的可测函数和连续函数关系.本节将证明重要的Lusin定理,它表明Lebesgue可测函数可以用性质较好连续函数逼近.这个结果在有些情况下是很有用的.
本节要点一方面, 可测集上的连续函数是可测的,另一方面,Lusin定理表明，Lebesgue可测函数可以用连续函数逼近.Lusin定理有两个等价形式.另外,作为准
鲁津（лузин）定理：设 为 上几乎处处有限的可测函数，则
闭集 使得 且 在 上连续.（去掉一小测度集，在留下的集合上成为连续函数）
即：可测函数“基本上”是连续函数.
证明：由于 ，故不妨令 为有限函数
(1)当 为简单函数时，
令
（其中 可测且两两不交）
对每个 ，作 中的闭子集 ，使
当 时， ，所以 在 上连续，
证明：不妨设 单调增，对任意 令 .由 单调增知下面的集合为可测集
⒊可测函数的等价描述
⒈定义：设 是可测集 上的实函数，则 在 上可测
（即（1） 可测）
可测
可测
可测
可测（充分性要求 ）
证明：利用（1）与（4），（2）与（3）互为余集，以及
， ，
，
对前面等式的说明
，
，
⒋可测函数的性质
⑴可测函数关于子集、并集的性质
从集合论的角度讲：“ 在 上一致收敛于 ”是指 ， ，当 时， ，之所以我们认为“一致收敛”条件苛刻，就在于它要求 从某项以后永远为空集。能否改成允许不空，甚至允许为正测度集，但必须满足
呢？这就导致了一个新的收敛概念的产生.
一、依测度收敛
1定义： 是 上的一列 有限的可测函数.若有 上 有限的可测函数 满足下列关系：
所以 在 上 收敛于 .
注:叶果洛夫定理中条件 不可少.
例 在 上处处收敛于 =1 ,但 不几乎一致收敛于 于 .
几乎一致收敛:去掉某个小（任意小）测度集，在留下的集合上一致收敛
可测子集
有
不几乎一致收敛：去掉任意小（适当小）测度集，在留下的集合上任不一致收敛
任意可测子集
有
任意可测子集
使得
注：叶果洛夫定理中的结论 不能加强到 .
(*)
故 于
注：其实从证明中的(*)式我们可看出 于 .
定理3（Lebesgue） ， ， 在 上几乎处处有限且可测，若 于 ，则 于
二、函数列几种收敛之间的关系
先归纳一下几种收敛的定义.
1．函数列的几种收敛定义
⑴点点收敛:记作 于
有
⑵一致收敛:
有
注：近似地说一致收敛是函数列收敛慢的程度能有个控制.
§4依测度收敛
教学目的可测函数列可以定义各种收敛性.本节讨论几乎处处收敛,依测度收敛和几乎一致收敛.几种收敛性之间存在一些蕴涵关系.通过本节的学习,可以使学生对可测函数列的几种收敛性和相互关系有一个较全面的了解.
教学要点本节引进的几种收敛是伴随测度的建立而产生的新的收敛性.特别是依测度收敛是一种全新的收敛,与熟知的处处收敛有很大的差异.Egorov定理和Riesz定理等揭示了这几种收敛之间的关系.Riesz定理在几乎处处收敛和较难处理的依测度收敛之间架起了一座桥梁.
对 有 ，则称函数列 依测度收敛于 .度量收敛到 ，记为： .
语言： 当 时， .
2．测度收敛的性质（唯一性和四则运算）
定理1令 ， 于 ， 于 ，则
(1)若又有 于 ,则 a.e.于 .
于
于
于
注：(1),(2),(4)当 时,也成立；条件 对(3)来说不可少.
3．依测度收敛与几乎处处收敛的关系
依测度收敛与处处收敛或几乎处处收敛的概念是有很大区别的.
（连续函数类关于四则运算封闭）
注：对 在 连续的说明：
若 在 上连续，而 为两两不交闭集，则 在 上连续
证明：任取 则存在 ，使得 ， ，
又 为两两不交闭集，从而 在开集 中
所以存在 ,使得
从而
故对任意 ，有 ，故 连续
条件 为两两不交闭集必不可少，如：
函数在每一块上为常值，故在每一块上都连续，但函数在R上处处不连续.
⒌可测函数与简单函数的关系
可测函数 总可表示成一列简单函数的极限
若 是 上的可测函数,则 总可表示成一列简单函数 的极限
，而且还可办到
注：当 是有界函数时，上述收敛可做到一致收敛
练习题
1任何点集 上的常值函数 是可测函数，对吗？
2已知“若 在 上可测，则 可测”，反之，若 可测，能断定 在 上可测吗？
备定理Tietze扩张定理本身也是一个很有用的结果.
本节难点Lusin定理的证明.
可测集 上的连续函数定为可测函数，但可测函数不一定连续.
本节讨论可测函数和连续函数之间的关系，从而揭示可测函数的结构.
我们已经知道可测函数Dirichlit函数在 上处处间断，这是否意味着这样的函数与连续不沾边呢？否！事实上，它是在充分接近于定义域的范围内相对连续的。这就是著名的鲁津（лузин）定理