可测函数

第四章 可测函数（总授课时数 14学时）
由于建立积分的需要，我们还必须引进一类重要的函数——Lebesgue 可测函数，并讨 论其性质和结构.
§1 可测函数及其性质
教学目的 本节将给出可测函数的定义并讨论其基本性质
教学要点 可测函数有若干等价的定义. 它是一类范围广泛的函数, 并且有很好
的运算封闭性. 可测函数可以用简单函数逼近, 这是可测函数的构造性特征.
本节难点 可测函数与简单函数的关系. 授课时数 4学时
——————————————————————————————
1可测函数定义
定义：设()f x 是可测集E 上的实函数(可取±∞)，若[],f a a R E >∀∈可测，则称()f x 是E 上的可测函数.
2可测函数的性质
性质1 零集上的任何函数都是可测函数。

注：称外测度为0的集合为零集；零集的子集，有限并，可数并仍为零集 性质2 简单函数是可测函数
若1n
i i E E ==⋃ (i E 可测且两两不交），()f x 在每个i E 上取常值i c ，则称()f x 是E 上的
简单函数；
1()()i n
i E i f x c x χ==∑ 其中1()0i i
E i x E x x E E χ∈⎧=⎨∈-⎩
注：Dirichlet 函数是简单函数
性质3 可测集E 上的连续函数()f x 必为可测函数 设()f x 为E 上有限实函数，称()f x 在0x E ∈处连续
00(,)((),)0,0,()x f x f O E O δεεδ∀>∃>⋂⊂若使得
对比：设()f x 为(),a b 上有限实函数，0()(,)f x x a b ∈在处连续
0lim ()()x x f x f x →=若
000,0,|||()()|x x f x f x εδδε∀>∃>-<-<即当时，有 00(,)((),)0,0,()x f x x O f x O δεεδ∀>∃>∈∈即当时，有 00(,)((),)0,0,()x f x f O O δεεδ∀>∃>⊂即使得
()f x 在0[,]x a b ∈处连续(对闭区间端点则用左或右连续)
证明：任取[]x E f a ∈>, 则()f x a >,由连续性假设知， 对(),0,x f x a εδ=-∃>使得
(,)((),)()(,)x x f x f O E O a δε⋂⊂⊂+∞
即(,)[]x x f a O E E δ>⋂⊂.令[]
(,)x f a x x E G O δ>∈=⋃则G 为开集，当然为可测集，
且另外
[]
[]
(,)(,)[]()()x x f a f a x x f a x E x E G E O E O E E δδ>>>∈∈⋂=⋃⋂=⋃⋂⊂
所以
[]
[](,)()x f a f a x x E E O E G E δ>>∈⊂⋃⋂=⋂，
故[]f a E G E >=⋂为可测集
性质4 R 中的可测子集E 上的单调函数()f x 必为可测函数。

证明：不妨设f 单调增，对任意a R ∈令inf{|()}a I x f x a =>. 由f 单调增知下面的集合为可测集
[][,){|()}
(,){|()}
a a f a a a E I I x f x a E E I I x f x a >⋂+∞∈>⎧=⎨
⋂+∞∉>⎩当当
⒊可测函数的等价描述
⒈定义：设()f x 是可测集E 上的实函数，则()f x 在E 上可测
（即（1）[],f a a R E >∀∈可测）
[](2),f a a R E ≥⇔∀∈可测 [](3),f a a R E <⇔∀∈可测 [](4),f a a R E ≤⇔∀∈可测
[](5),,,a f b a b R a b E ≤<⇔∀∈<可测（充分性要求|()|f x <+∞）
证明：利用（1）与（4），（2）与（3）互为余集，以及
[]11[]
f a n f a n
E E
∞
>=≥+=⋃， [][][]1
()f a a f a n f n E E E ∞
≥≤<+=+∞==⋃⋃，
[]11
[]f a n f a n
E E
∞
≥=>-=⋂， [][][]a f b f a f b E E E ≤<≥<=⋂
对前面等式的说明
[]1
1
1
1
[]
[]
()f a n n f a f a n
n
E E
E
∞
∞
≥==>-≥-=⋂=⋂，
1111
[,)(,)([,))n n a a a n n ∞
∞==+∞=⋂-+∞=⋂-+∞
1111
(,)[,)((,))n n a a a n n
∞∞==+∞=⋃++∞=⋃++∞，
[]1
1
1
1
[]
[]
()f a n n f a f a n
n
E E
E
∞
∞
>==≥+>+=⋃=⋃
⒋ 可测函数的性质
⑴ 可测函数关于子集、并集的性质
若()f x 是E 上的可测函数, 11,E E E ⊂可测，则()f x 限制在1E 上也是可测函数； 反之，若1n n E E ∞
==⋃ , ()f x 限制在n E 上是可测函数，则()f x 在E 上也是可测函数。

1[][]1[][]1
f a f a f a n f a n E E E E E ∞
>>>>==⋂=⋃
注：在一零测度集上改变函数的取值不影响函数的可测性
即： 设()()f x g x = ..a e （almost everywhere ）于E ，()f x 在E 上可测，
则()g x 在E 上也可测
若[]()
0f g m E ≠=,则称()()f x g x =在E 上几乎处处成立,记作()()f x g x = ..a e 于E .
证明：令[][]12,f g f g E E E E ≠===，则10mE =，从而()g x 在1E 上可测， 另外()f x 在2E 上可测，从而()g x 在2E 上也可测 ，进一步()g x 在1
2E E E =上也
可测.
注：用到了可测函数关于子集、并集的性质 ⑵ 可测函数类关于四则运算封闭
若(),()f x g x 是E 上的可测函数,则()(),f x g x +()(),f x g x -()(),f x g x ⋅
()/()f x g x 仍为E 上的可测函数.
证明：只要证[][],f g a f a g a R E E +>>-∀∈=可测，任取[]f a g x E >-∈，则()()f x a g x >- 从而
,r Q ∃∈使()(),f x r a g x >>-即[][]()f r g a r r Q
x E E >>-∈∈⋃⋂
从而
[][][]()f a g f r g a r r Q
E E E >->>-∈⊂⋃⋂，
反之
[][][]()f r g a r f a g r Q
E E E >>->-∈⋃⋂⊂
也成立，从而[][][]()f a g f r g a r r Q
E E E >->>-∈=⋃⋂可测
类似可证：设()(),f x g x 是E 上可测函数，则[]f g E >为可测集. 若()(),f x g x 是E 上的可测函数,则()()f x g x ⋅仍为E 上的可测函数. 证明：首先()2
f
x 在E 上可测，因为对任意a R ∈
2[]
[[0
f a f f E
a E E E a ><⎧⎪=⎨⋃≥⎪⎩
再利用()()()()()()()()2214f x g x f x g x f x g x ⎡
⎤=
+--⎣
⎦即可 作业：若()(),f x g x 是E 上的可测函数,则()()f x g x -, ()()/f x g x 为E 上的可测函数
⑶可测函数类关于确界运算和极限运算封闭.
若()n f x 是E 上的可测函数,则下列函数仍为E 上的可测函数.
()sup{()}
()inf{()}n n x f x x f x λμ==
limsup ()inf sup{()}n m n
n m n
f x f x →∞
≥= liminf ()supinf{()}n m n m n
n
f x f x →∞
≥=
[][]
[][]1
1
n n a f a a f a n n E E E E λμ∞
∞
≤≤≥≥===⋂=⋂
推论：可测函数列的极限函数仍为可测函数（连续函数列的极限函数不一定为连续函
数）。

对上式的说明：
()inf{()}n x f x μ=，[][]1
n a f a n E E μ∞
≥≥==⋂
比较：
[]1
11
1
[]
[]f a n n f a f a n
n
E E
E
∞
∞
≥==>-≥-=⋂=⋂ 例：1R 上的可微函数()f x 的导函数()'f x 是可测函数 证明：由于
1
()()
()()'()lim lim 1x o n f x f x f x x f x n f x x
n
∆→→+∞+-+∆-==∆ 从而()'f x 是一列连续函数（当然是可测函数）的极限，故()'f x 是可测函数.利用了可测函数列的极限函数仍为可测函数.
例 设{}n f 是可测函数列，则它的收敛点全体和发散点全体是可测集.
证明：发散点全体为[lim lim ]n n n n E f f →∞
→∞
≠；收敛点全体为[lim lim ]n n n n E f f →∞
→∞
=再利用
lim n n f →∞
和lim n n f →∞
是可测函数即可
注意：函数列收敛与函数列收敛于f 之间的不同
⒌ 可测函数与简单函数的关系
可测函数()f x 总可表示成一列简单函数的极限
若()f x 是E 上的可测函数,则()f x 总可表示成一列简单函数{()}n x ϕ的极限
()lim ()n n f x x ϕ→∞
=，而且还可办到12|()||()|x x ϕϕ≤
≤
122[]0,1,2,,21
2[]
()n k k n
n n
k
f k n n f n x E x n x E ϕ+≤<=⋅-≥∈⎧⎪=⎨
∈⎪⎩
注：当()f x 是有界函数时，上述收敛可做到一致收敛
——————————————————————————————
作业：P98 3, 4, 6
练习题
1 任何点集E 上的常值函数(),f x c x E =∈是可测函数，对吗？
2 已知“若()f x 在E 上可测，则1
,[]a R E f a ∀∈=可测”，反之，若1
,[]a R E f a ∀∈=可
测，能断定()f x 在E 上可测吗？
3 从函数2
()f x 或()f x 可测能否推出()f x 在E 上可测？ 4 由()()f x g x ±可否推出()f x 、()g x 都可测？ 5 能否断定“零集上任何函数均可测”？
§2 叶果洛夫定理
教学目的 1、深刻理解“几乎处处收敛”，“近一致收敛”（由叶果洛夫定理结论引出）
等概念，弄清它们之间的区别与联系.
2、理解叶果洛夫定理，了解定理的证明.
教学要点“几乎处处收敛”，“近一致收敛”的概念及叶果洛夫定理的内容. 本节难点 叶果洛夫定理的证明. 授课时数 3学时
——————————————————————————————
在数学分析中，我们已经知道，即使函数列在每一点收敛，也不能保证一致收敛，因此，对可能在某个零测度集上不收敛的函数列而言，更谈不上一致收敛.
例：函数列(),1,2,
n n f x x n ==在(0,1)上处处收敛到()0f x =,但不一致收敛，究
其原因是自变量越靠近0 越收敛速度慢，只有更慢没有最慢，从而不可能一致收敛。

但去掉一小测度集合()1,1δ-,在留下的集合上一致收敛。

著名的俄国数学家叶果落夫（ЕгОРОВ）任何可测函数都有类似结果，即有下述定理成立.
引理：设mE <+∞，n f ，f 在E 上几乎处处有限且可测，若..n f f a e →于E ，则
0,ε∀> 有[||]lim ()0n f f N n N
m E ε∞
-≥→∞
=⋃=
证明：由于*
[||][||]1
()n f f n E E E ∞
=+∞=+∞==⋃⋃为零测度集，故不妨令,n f f 在E 上处处有限，
从而有：
1
[][||]
11..0()0n n k n f f f
f k N n N
f f a e E mE m E ∞∞∞
→-≥===→⇔=⇔⋃⋂⋃=于
1[||]11
()0
()n k
f
f N n N
m E k
∞∞
-
≥==⇔⋂⋃=∀ [||]1()0
()n f f N n N
m E εε∞∞
-≥==⇔⋂⋃=∀
从而当mE <+∞时，0ε∀>有
[||][||][||]1lim ()(lim )()0n n n f f f f f f N n N
N n N
N n N
m E m E m E εεε∞
∞
∞
∞
-≥-≥-≥→∞
=→∞
===⋃=⋃=⋂⋃=（）
定理1 (ЕгОРОВ) 设mE <+∞，,n f f 在E 上几乎处处有限且可测，若..n f f a e →于
E ，则..n f f a u →于E （即：可测函数列的收敛 “基本上”是一致收敛）
..n f f a e →于E ，即 []0n f f mE →= 即：去掉某个零测度集，在留下的集合上处处
收敛
..n f f a u E →于即：去掉某个小（任意小）测度集，在留下的集合上一致收敛
证明：由引理知0ε∀>有[||]lim ()0n f f N n N
m E ε∞
-≥→∞
=⋃=，从而有
10,0,0,k N k δδ∀>∀>∃> 1[||]()2
n k k k f f n N m E δδ∞-≥=⋃<
令1[||]1()n k
k
f
f k n N e E δ∞∞
-
≥===⋃⋃，则e 可测，e E ⊂，
1[||]
1
1
()2
n
k
k
k
f
f k n N k me m E δδ
δ∞∞
∞
-≥===≤∑⋃<∑=
而
1
[||]
1(
)n k
c
f f k n N k
E E e E e E
δ
δ∞
∞
-<===-=⋂=
故1k k N n N x E k
δδδ∀∃∀≥∀∈，，，，有
1|()()|n f x f x k
-<
即{()}n f x 在E δ上一致收敛到()f x
注：叶果洛夫定理的逆定理成立，无论mE <+∞或mE =+∞，即：若..n f f a u →于E ，
则..n f f a e →于E 证明：由条件知1
n
∀
,存在可测集n E E ⊂，使 1
()n m E E n
-<，
且()n f x 在n E 上一致收敛于()f x ，
当然()n f x 在n E 上点点收敛于()f x ，令1n n E E ∞
='=⋃，则
1
()()0()n m E E m E E n n
'-≤-<
→→∞， 从而
()0m E E '-=
另外显然()n f x 在1n n E E ∞
='=⋃上点点收敛于()f x
所以()n f x 在E 上..a e 收敛于()f x .
注: 叶果洛夫定理中条件mE <+∞不可少. 例 1(0,]
()0(,)
n x n f x x n ∈⎧=⎨
∈+∞⎩在R +上处处收敛于()f x =1 ,但()n f x 不几乎一致收敛于
()f x 于R +.
几乎一致收敛:去掉某个小（任意小）测度集，在留下的集合上一致收敛
0,δ∀>∃可测子集,,0,0,e E me N εδδε⊂<∀>∃>,,n N x E e εδ∀≥∀∈-
有
|()()|n f x f x ε-<
不几乎一致收敛：去掉任意小（适当小）测度集，在留下的集合上任不一致收敛
0,δ∃>任意可测子集,,0,0,e E me N δε⊂<∃>∀>,,n N x E e ∃≥∃∈-
有
|()()|n f x f x ε-≥
1,2δ∃=
任意可测子集1
,,,0,2
e R me N δε+⊂<∃=∀>,n N N ∃=≥ ()(,1),x R e n n +∃∈-⋂+使得
|()()|1n f x f x ε-=≥
注：叶果洛夫定理中的结论me δ<不能加强到0me =.
设()(),0,1n n f x x x =∈,则()n f x 处处收敛于f(x)=0，但()n f x 不一致收敛于()f x ，即使去掉任意一零测度集，在留下的集合上()n f x 仍不一致收敛于()f x .
说明：去掉任意一个零测度集e ，留下的集合()0,1e -仍然以1为聚点从而可找到E e -中一点列{}n x , 使得()n
n x 收敛到1，故：1
,0,,,2
n N n N N x E e ε∃=
∀>∃=≥∃∈-有|()()|()n n n n f x f x x ε-=≥
从而E e -上()n f x 不一致收敛于()f x .
——————————————————————————————
作业：P99 7
练习题
1 叶果洛夫定理的条件“mE <+∞”是否可以取消？
2 叶果洛夫定理的结论能否改为“,0e E me ∃⊂=，使()n f x 在E e -上一致收敛于
()f x ”？
3 叶果洛夫定理的逆定理是否成立？
§3 可测函数的构造
教学目的 本节将考察欧氏空间上的可测函数和连续函数关系. 本节将证明重要的Lusin 定理, 它表明Lebesgue 可测函数可以用性质较好连续函数逼近.这个结果在有些情况下是很有用的.
本节要点 一方面, L 可测集上的连续函数是可测的, 另一方面, Lusin 定理表明，
Lebesgue 可测函数可以用连续函数逼近. Lusin 定理有两个等价形式. 另外, 作为准 备定理Tietze 扩张定理本身也是一个很有用的结果.
本节难点 Lusin 定理的证明. 授课时数 3学时
——————————————————————————————
可测集E 上的连续函数定为可测函数，但可测函数不一定连续.
本节讨论可测函数和连续函数之间的关系，从而揭示可测函数的结构.
我们已经知道可测函数Dirichlit 函数在[0,1]上处处间断，这是否意味着这样的函数与连续不沾边呢？否！事实上，它是在充分接近于定义域的范围内相对连续的。

这就是著名的鲁津（лузин）定理
鲁津（лузин）定理：设()f x 为E 上几乎处处有限的可测函数，则
0,ε∀>∃闭集F E ⊂使得()m E F ε-<且()f x 在F 上连续.（去掉一小测度集，在留
下的集合上成为连续函数）
即：可测函数“基本上”是连续函数.
证明：由于[]||0mE f =+∞= ，故不妨令()f x 为有限函数 (1) 当()f x 为简单函数时， 令
1
()()i n
i E i f x c x χ==∑ （其中1
,n
i i i E E E ==⋃可测且两两不交）
0,ε∀>对每个i E ，作i E 中的闭子集i F ，使
()(1,2,,)i i m E F i n n
ε
-<
=
当i x E ∈时，()i f x c =，所以()f x 在i F 上连续， 而i F 为两两不交闭集，故()f x 在1n
i i F F ==⋃ 上连续
显然F 为闭集，且有
1
1
()()n n
i i i i m E F m E F n
ε
ε==-≤-<=∑∑
(2)当()f x 为有界可测函数时，
存在简单函数列{}()n x ϕ 在E 上一致收敛于()f x ，利用(1)的结果知
0,ε∀>及每个(n x ϕ)，存在闭集n F E ⊂，使
()2
n n
m E F ε
-<
且()n x ϕ在n F 上连续. 令1n n F F ∞
==⋂，则F E ⊂且
1
1()()2
n n n n m E F m E F ε
ε∞∞
==-≤-<=∑∑
由{}()n x ϕ在F 连续及一致收敛于()f x ，易知()f x 在闭集F 上连续. (3)当()f x 为一般可测函数时，作变换
()()
()(())1|()|
1|()|
f x
g x g x f x f x g x =
=
+-
则()g x 为有界可测函数，应用(2)即得我们的结果.
（连续函数类关于四则运算封闭） 注：对()f x 在F 连续的说明：
若()f x 在i F 上连续，而i F 为两两不交闭集，则()f x 在1n
i i F F ==⋃上连续
证明：任取1
n
i i x F F =∈=⋃则存在0i ，使得0i x F ∈，0()i f x c =，
又i F 为两两不交闭集，从而x 在开集0
()c i i i F ≠⋃中
所以存在0δ∃>, 使得
(,)()c i i i O x F δ≠⊂⋃
从而
01
(,)(,)()(,)n
i i i O x F O x F O x F δδδ=⋂=⋂⋃=⋂
故对任意(,)x O x F δ∈，有|(')()|0f x f x -=，故f 连续
条件i F 为两两不交闭集必不可少，如：
1()0x Q
D x x R Q ∈⎧=⎨
∈-⎩
函数在每一块上为常值，故在每一块上都连续，但函数在R 上处处不连续.
说明：取闭集的原因在于闭集的余集为开集，开集中的点为内点，从而可取i x F ∈足够小的邻域不含其他i F 中的点.
注 鲁津定理推论：若()f x 为E R ⊂上几乎处处有限的可测函数，则
0,F E ε∀>∃⊂闭集， 及R 上的连续函数()g x 使得在F 上()()g x f x =且
()m E F ε-<（对n 维空间也成立）
（在某个小测度集上改变取值并补充定义变成连续函数）
鲁津定理（限制定义域）（即：去掉某个小测度集，在留下的集合上连续）
鲁津定理的第二形式：若()f x 在E 上的几乎处处有限的可测函数，则对0δ∀>，存在闭
集F E ⊂及整个直线上的连续函数()g x （F 及()g x 依赖于δ）使在F 上()()g x f x =，
且()m E F δ-<
证明略
其实，以上两定理结果也是可测函数的本质特征，即具有上述结果的函数一定是可测函数，证明留作习题。

可测函数在一个充分接近定义域的闭集上连续这一本质特征明示我们： 尽管可测函数的范围比连续函数的范围广得多，但通过牛顿——莱布尼兹公式计算积分仍为主渠道。

——————————————————————————————
作业：P99 8
练习题
1 鲁津定理结论中的δ能否取为0，即结论是否能表述为：“∃闭集F E ⊂，使
()0m E F -=，且f 在F 上连续.”？
2 当mE =+∞时鲁津定理是否依然成立？
3 鲁津定理的逆定理是否成立？ 鲁津定理能否改为：“f 为E 上几乎处处有限的可测函数，则0δ∀>，存在闭集F E ⊂，使()m E F δ-<，且f 在F 上可表为多项式”？ 4试作[0,1]E =上的可测函数()f x ，使对任何连续函数()g x 都有[]0mE f g ≠≠，此结果与鲁津定理有无矛盾？
§4 依测度收敛
教学目的 可测函数列可以定义各种收敛性. 本节讨论几乎处处收敛,依测度收敛和几乎
一致收敛. 几种收敛性之间存在一些蕴涵关系. 通过本节的学习, 可以使学生对可测函数列的几种收敛性和相互关系有一个较全面的了解.
教学要点 本节引进的几种收敛是伴随测度的建立而产生的新的收敛性.特别是依测度收
敛是一种全新的收敛, 与熟知的处处收敛有很大的差异. Egorov 定理和Riesz 定理等揭示了这几种收敛之间的关系. Riesz 定理在几乎处处收敛和较难处理的依测度收敛之间架起了一座桥梁.
本节难点依测度收敛的概念及各种收敛之间的关系. 授课时数 4学时
——————————————————————————————
改造积分定义的目的一是为了扩展可积范围，二是为了使得操作更方便。

对(R )积分而言，积分与极限交换顺序需要验证一个较为苛刻的条件：“()n f x 在E 上一致收敛于
()f x ”，将“一致收敛”削弱为“处处收敛”甚至“几乎处处收敛”是一种思路，在此介
绍另一种削弱“一致收敛”条件的方法。

从集合论的角度讲：“()n f x 在E 上一致收敛于()f x ”是指0σ∀>，00N ∃>，当
0n N >时，[]|()()|n E f x f x σ-≥=∅，之所以我们认为“一致收敛”条件苛刻，就在于
它要求[]|()()|n E f x f x σ-≥从某项以后永远为空集。

能否改成允许不空，甚至允许为正测度集，但必须满足
[]|()()|0()n mE f x f x n σ-≥→→∞
呢？ 这就导致了一个新的收敛概念的产生.
一、依测度收敛
1定义：{()}n f x 是q E R ⊂上的一列..a e 有限的可测函数.若有E 上..a e 有限的可测函数()f x 满足下列关系：
对0,σ∀>有[||]lim 0n f f n mE σ-≥→∞
=，则称函数列{()}n f x 依测度收敛于()f x .度量收敛到
()f x ，记为：n f f ⇒.
()N ε-语言：,0,(,)0,N εσεσ∀>∃>当(,)n N εσ≥时，[||]n f f mE σε-≥<.
2．测度收敛的性质（唯一性和四则运算）
定理1 令mE <+∞，n f f ⇒于E ， n g g ⇒于E ，则 (1) 若又有n f h ⇒于E , 则()()f x h x = a.e.于E .
(2)n n f g f g +⇒+于E (3)n n f g f g ⋅⇒⋅于E (4)||||n f f ⇒于E
注：(1),(2),(4)当mE =+∞时,也成立；条件mE <+∞对(3)来说不可少. 3．依测度收敛与几乎处处收敛的关系
依测度收敛与处处收敛或几乎处处收敛的概念是有很大区别的. 例1依测度收敛，但处处不收敛的函数列.
12(
,]22()()()k k k
n i i i f x f x x χ
++==处处不收敛
但子列121(0,
]
2()()()k k k
n f x f x x χ
+==
处处收敛于()0,f x =
例2 不依测度测度收敛但收敛的函数列：
1(0,]
()0(,)n x n f x x n ∈⎧=⎨
∈+∞⎩
1,2,3n =
尽管两种收敛区别很大，一种收敛不能包含另一种收敛，但下面定理反映出他们还是有
密切联系的.
定理2（Riesz ）若n f f E ⇒于,则必有{}n f 的子列{}k n f ，使得..k n f f a e →于E 证明：由n f f ⇒于,E 可知,0,,k k k N n N ∀∃>∀≥ 11
[||]
212n k
k f f mE
+-≥
<
从而可取得12k n n n <<<<
，使得11
[||]
21(1,2,3,)2n k k
k f f mE
k +-≥
<
=
故对0ε∀>， 当
1
2
N ε≤时,有 [||]
1[||]
2()()n
k
n k k
f f k N
k N f f m E m E
ε∞
∞
-≥==-≥
⋃≤⋃11[||]
211
()2
2n k k
k N f f k N
k N m E
∞
∞
+-≥
==≤<=∑∑
从而
[||]
lim ()0n
k
f f N k N
m E ε∞
-≥→∞
=⋃= (*)
故..k n f f a e →于E
注：其实从证明中的(*)式我们可看出..k n f f a u →于E .
定理3（Lebesgue ）mE <+∞，n f ，f 在E 上几乎处处有限且可测，若..n f f a e →于E ，则n f f ⇒于E
二、函数列几种收敛之间的关系
先归纳一下几种收敛的定义. 1．函数列的几种收敛定义 ⑴点点收敛: 记作n f f →于E
,0,0,,x x x E N n N εεε∀∈∀>∃>∀≥有|()()|n f x f x ε-<
⑵一致收敛:
0,0,,,N n N x E εεε∀>∃>∀≥∀∈有|()()|n f x f x ε-<
注：近似地说一致收敛是函数列收敛慢的程度能有个控制.
近似地说一致连续是函数图象陡的程度能有个控制
例：函数列(),1,2,
n n f x x n ==在(0,1)上处处收敛到()0f x =,但不一致收敛，但去
掉一小测度集合(1-δ,1),在留下的集合上一致收敛
⑶几乎处处收敛: 记作..n f f a e →于E （almost everywhere ） 即：去掉某个零测度集，在留下的集合上处处收敛
⑷几乎一致收敛:记作..n f f a u →于E (almost uniformly) 即：去掉某个小（任意小）测度集，在留下的集合上一致收敛.
0,δ∀>存在可测子集,,e E me δ⊂<使得n f 在E E e δ=-上一致收敛于f
0,δ∀>存在可测子集,,e E me δ⊂<0,0,,,N n N x E e εδεδε∀>∃>∀≥∀∈-有
|()()|n f x f x ε-<
（5）依测度收敛: n f f ⇒于E
0,σ∀>有[||]lim 0n f f n mE σ-≥→∞
=
2 数列几种收敛之间的关系
——————————————————————————————
作业：P99 9， 10， 11， 12
练习题
1 勒贝格定理中的条件mE <+∞能否改为mE =+∞？
2 在数学分析里，函数列的极限具有唯一性，那么对于..n f f a e E →于及n f f E ⇒于又无类似的结果？
3 几乎处处有限的可测函数列{()}n f x 依测度收敛的充要条件是：,0,(,)0,N εσεσ∀>∃>当,n N m N ≥≥时，[||]n m f f mE σε-≥<
n f f E ⇒于..n f f a u E
→于..n f f a e E
→于 子列 R i e s z 定理
叶果洛夫定理 mE <+∞
叶果洛夫
逆定理
Lebesgue 定理
mE <+∞
子列。