第 14 讲 依测度收敛
DESCRIPTION
第 14 讲 依测度收敛. 目的 :理解依测度收敛概念,掌握 Lebesgue 定理与 Riesz 定理。 重点与难点 : Lebesgue 定理与 Riesz 定理及其证明。. 第 14 讲 依测度收敛. 基本内容 : 一.依测度收敛定义 鲁津定理实际是说,任意可测函数都可以用连续函数在某种意义下逼近。我们可以将定理 2 改述成:若 是 E 上的可测函数,则对任意 ,存在 上的连续函数,使得. 第 14 讲 依测度收敛. 注意到 所以对任意 n ,有 进一步,对任意 ,有 - PowerPoint PPT PresentationTRANSCRIPT
第第 1414 讲 依测度收敛 讲 依测度收敛
基本内容:一.依测度收敛定义 鲁津定理实际是说,任意可测函数都可
以用连续函数在某种意义下逼近。我们可以将定理 2 改述成:若 是 E 上的可测函数,则对任意 ,存在 上的连续函数,使得
)(xf0 1R
。 )}()(|{ xgxfxmE
第第 1414 讲 依测度收敛 讲 依测度收敛
注意到
所以对任意 n ,有进一步,对任意 ,有
取 ,则存在 上的连续函数 ,使
}1
|)()(||{)}()(|{1
n nxgxfxExgxfxE
, }1
|)()(||{ n
xgxfxmE
0
}|)()(||{ xgxfxmE
0n1R ng
第第 1414 讲 依测度收敛 讲 依测度收敛
得 这种收敛性与前面的几乎处处收敛概念 不同的。我们称它为依测度收敛,具体说 来即下面的。定义 2 设 E 是可测集, 都是 E 上几乎处处有限的可测函数,如
。)(0}|)()(||{ nxgxfxmE nn
,,, )( )( )( 21 xfxfxf
第第 1414 讲 依测度收敛讲 依测度收敛
果对于任意 ,都有
则称 在 E 上依测度收敛到 ,记作
下面的定理说明:几乎处处收敛蕴含依测度收敛。
0
0}|)()(||{lim
xfxfxmE nn
)(xfn )(xf
。 ffn
第第 1414 讲 依测度收敛讲 依测度收敛
二. Lebesgue 定理( 1 ) Lebesgue 定理的叙述定理 4 ( lebesgue 定理) 设 E 是测度有
限的可测集, 是 E 上几乎处处有限的可测函数,若
则必有
,,, )( )( )( 21 xfxfxf
, ][..)()( Eeaxfxfn 。 )()( xfxfn
第第 1414 讲 依测度收敛讲 依测度收敛
证明:由叶果洛夫定理,对任意 ,存在E 的可测子集 ,使得 且 在 上一致收敛到 ,于是对任意 ,存在 ,当 时,有
于是 ,任
0
E , )( EEm
)(xfn E )(xf
0 N Nn
)(|)()(| Exxfxfn
EExfxfxE n }|)()(||{
第第 1414 讲 依测度收敛讲 依测度收敛
意 ,从而
由 的任意性立得 。证毕。问题 1: Lebesgue 定理中 E为有限测度集的条件可否去掉?为什么?
Nn
)(}|)()(||{ EEmxfxfxmE n
)()( xfxfn
第第 1414 讲 依测度收敛讲 依测度收敛
问题 2 : Lebesgue 定理的逆是否成立?举例说明。
( 3 )反例 定理 4 的逆一般是不对的,即依测度收
敛不一定意味着几乎处处收敛,下面的例子说明了这一点。
第第 1414 讲 依测度收敛讲 依测度收敛
例 设 ,对任意正整数 k ,将 区间 k 等分,并定义
令
]1,0(E ]10 ( ,
),,2,1(),
1[0
),1
[1)()( ki
ki
ki
x
ki
ki
xxf k
i
)()(),()(,)( )2(23
)2(12
)1(11 xfxxfxfx
第第 1414 讲 依测度收敛讲 依测度收敛
于是 是 E 上的处处有限的可测函数。对任意 ,若 则
显然有 若 ,则当 是第k 次等分 区间后所对应的函
)()(),()(),()( )3(36
)3(25
)3(14 xfxxfxxfx
)}({ xn
0 , 0 , }|)(||{ xxE n
0}|)(||{lim
xxE nn
1
n )1,0[
第第 1414 讲 依测度收敛讲 依测度收敛
数组中第 i 个函数时有 所以 注意到当 时, ,做
这说明 。然而,对任意
),1
[}|)(||{ki
ki
xxE n
。 /1})(||{ kxxmE n
n k
0}|)(||{lim
xxmE nn
0n ),1,0[0 x
第第 1414 讲 依测度收敛讲 依测度收敛
总有无穷多个函数在该点等于 1 ,也有无穷多个函数在该点等于 0 ,所以
在 上处处不收敛于 0 。 虽然几乎处处收敛强于依测度收敛,
但我们可以从依测度收敛的函数序列中找一个几乎处处收敛的子序列。这就是著名的黎斯( Riesz )定理。
)}({ xn
)(xn )1,0[
第第 1414 讲 依测度收敛讲 依测度收敛
三. Riesz 定理( 1 ) Riesz 定理的叙述* 定理 5 ( Riesz 定理)设 是 E
上的可测函数,如果 ,则存在子序列 ,使得
( 2 ) Riesz 定理的证明
),2,1(, nffnffn
}{jn
f 。 ][..)()( Eeaxfxfin
第第 1414 讲 依测度收敛讲 依测度收敛
证明:首先设 。注意到对任何可测 函数序列 ,它不收敛到某个函数 的点集是
因此我们只要找到 的一个子序列
使得
}{ ng g
Nnn
Nk kxgxgxE }
1|)()(||{
11
}{ nf }{jn
f
Nin
Nk kxfxfxEm
j0}]
1|)()(||{[
11
mE
第第 1414 讲 依测度收敛讲 依测度收敛
即可。这等价于说对任意的 k ,有
对每个 k ,由 ,知
故对任意 i 及 k 存在 ,当 时,有
Nin
N kxfxfxEm
j0}
1|)()(||{[
1
ffn
)(0}1
|)()(||{ nk
xfxfxmE n
in inn
in kxfxfxmE
2
1}
1)()(||{
第第 1414 讲 依测度收敛讲 依测度收敛
特别地 由于此处 都是任意的,所以在上述不等
式中可以取 ,即
如果必要,还可以使 满足
in kxfxfxmE
j 2
1}
1)()(||{
ki,
ki
in ixfxfxmE
j 2
1}
1)()(||{
in
innn 21
第第 1414 讲 依测度收敛讲 依测度收敛
于是对任意的 k ,只要 ,就有 ,从而
这说明
ki ki11
in
ii
xfxfxmEj 2
}1
)()(||{
}1
)()(||{k
xfxfxmEjn
in ixfxfxmE
j 2
1}
1)()(||{
Nin k
xfxfxEmj
}]1
|)()(||{[
第第 1414 讲 依测度收敛讲 依测度收敛
因此
进而
}1
|)()(||{k
xfxfxEmjn
Ni
)(,2
11 kNN
Nin
N kxfxfxEm
j0}
1|)()(||{lim
Nin
N kxfxfxEm
j0}
1|)()(||{[
1
第第 1414 讲 依测度收敛讲 依测度收敛
所以下设 ,令
则 是测度有限的可测集,且对任意 。由前面的证明,对 ,存在 的子序列 ,使
][..)()( Eeaxfxfin
mE
},,1,|||)({ 1 nimxxxxI inm
mm IEE
][.. mn Eeafmf
1E }{ nf }{ )1(nf
第第 1414 讲 依测度收敛讲 依测度收敛
,当然在每个上仍有 。同理可从 中取子列 ,使 ,依此类推,由归纳法可作出一串子序列 ,任得对任意 m , 是 的子序列,且 。令
][.. 1)1( Eeaffn ),3,2( mEm
ffn )1( }{ )1(nf
}{ )2(nf ][.. 2
)2( Eeaffn
}{ )(mnf
}{ )(mnf }{ )1( m
nf
][..)(m
mn Eeaff
第第 1414 讲 依测度收敛讲 依测度收敛
则 显然仍是 的子序列。记 则 ,且对任意 ,存在 M ,使得 时, ,于是 ,显然当 时, 是
,,21 )()( )( ixfxf iin j
)}({ xfin
)}({ xfn
, )}()(|{ )(0 xfxfExE mnmm
mmEE 0
0
00 mE 0EEx
Mm 0EEx m
)()()( xfxf mn mi }{
inf
第第 1414 讲 依测度收敛讲 依测度收敛
的子序列,故也有 ,即 。证毕。
问题 3 :一个依测度收敛的函数列是否有唯一的极限?如果极限不唯一,这些极限有什么关系?
)(mnf )()( xfxf
in
][.. Eeaffjn
第第 1414 讲 依测度收敛讲 依测度收敛
定理 6 设 是 E 上的可测函数,若 ,且 ,则
证明:因为
所以对任意正整数 k ,有
ffn ,
)()( xfxfn
)()( xgxfn 。 ].[.)()( Eeaxgxf
|)()(||)()(||)()(| xgxfxfxfxgxf nn
第第 1414 讲 依测度收敛讲 依测度收敛
但因}
21
|)()(||{
}21
|)()(||{
}1
|)()(||{
kxgxfxE
kxgxfxE
kxgxfxE
n
,0}21
|)()(||{lim
}21
|)(||{lim
kxgxfxE
kxfxmE
nn
n
第第 1414 讲 依测度收敛讲 依测度收敛
所以由于
故换言之, ,证毕作业: P78 21 , 22
,0}/1|)()(||{ kxgxfxmE
1},
1)()(||{)}()(|{
k kxgxfxExgxfxE
,0)}()(|{ xgxfxmE
].[.)()( Eeaxgxf
第第 1414 讲 依测度收敛讲 依测度收敛
习题三1 、设 f 是 E 上的可测函数,证明:对任
意实数 a , 是可测集。2 、设 f 是 E 上的函数,证明: f 在 E 上
可测当且仅当对一切有理数 r , 是可测集。
})(|{ axfxE
})(|{ rxfxE
第第 1414 讲 依测度收敛讲 依测度收敛
3 、设 f 是 R1 上的可测函数,证明:对任意常数 a , 仍是 R1 上的可测函数。
4 、设 是 E 上的可测函数,证明: 在 E 上也可测。5 、若 [a,b] 上的函数 在任意线段上可
测,试证它在整个闭区间 [a,b] 上也可测。
)(axf
)(xf ])([ 3xf
)(xf
第第 1414 讲 依测度收敛讲 依测度收敛
6 、设 f 是 R1 上的可测函数,证明: (当 时,规定 )都是 R1 上的可测函数。7 、设 f 是 E 上的可测函数,证明:( i )对 R1 上的任何开集 O , f-1(O) 是可测集;( ii )对 R1 上的任何闭集 F , f-1(F) 是可测集;
)1
(),(),( 32
xfxfxf 0x
0)01
( f
第第 1414 讲 依测度收敛讲 依测度收敛
( iii )对 R1 上的任何 型集或 型集 M ,f-1(M) 是可测集。
8 、设 是 E 上几乎处处有限的非负可测函数,证明对任意 存在闭集
,使 ,而在 F 上, 有界。
G F
fmE ,
,0
EF )( FEm )(xf
第第 1414 讲 依测度收敛讲 依测度收敛
9 、设 是 E 上的非负可测函数序列 . 证明:如果对任意 ,都有
则必有10 、证明:如果 是 Rn 上的连续函数,则
在 Rn 的任何可测子集 E 上都可测。11 、证明:如果 是 Rn 上的可微函数,
}{ nf
0 , |)(||{1
nn xfxmE
。 ].[.0)(lim Eeaxfnn
)(xf
)(xf
)(xf
第第 1414 讲 依测度收敛讲 依测度收敛
证明 都是 Rn 上的可测函数。12 、 设 是 E 上的两个可测函数序列,
且 都是 E 上的有限函数),证明:
( i )对任意实数, 若 ,则还有
),,1( nixf
i
}{},{ nn hf
hfhhff nn ,(,
hafhaf nn ,,
mE
第第 1414 讲 依测度收敛讲 依测度收敛
( ii ) 若 , 且 在 E 上几乎处处不等于 0 ,
则( iii )13 、设 是 E 上的可测函数, ,则当
且 f 是有限函数,对任意 ,
,fhhf nn
hhn ,mE
,fhhf nn
}{ nf mEffn 0P
第第 1414 讲 依测度收敛讲 依测度收敛
有 (i)
(ii) 对 E 上任意可测函数 h,有
14 、设 f 是 [a,b] 上的函数,则 f 可测当且仅当下列几个条件之一成立。
ppn ff ||||
ppn hfhf ||||
第第 1414 讲 依测度收敛讲 依测度收敛
( i )存在多项式序列 ,在 [a,b] 上,
( ii )若 ,存在三角多项式序 列 ,在 上15 、设 f 是 R1 上的可测函数,且在某个点 to处连续,若对任意 有
)}({ xPn
.. eafpn
)2,0(],[ ba
}{ nT ],[ ba ..)()( eaxfxTn
,, 121 Rtt
第第 1414 讲 依测度收敛讲 依测度收敛
证明必有常数 c,使得 。16 、 Egoroff定理中的条件 能否去 掉?17 、设 , 是 E 上几乎处处有限 的可测函数序列,若 ,
)()()( 2121 tftfttf
cttf )(
mE
}{ nfmE
].[.0)( Eeaxfn
第第 1414 讲 依测度收敛讲 依测度收敛
试证存在 E 的可测子集列 使 ,且 , 而在每个 上, 都一致收敛到 0 。 18 、证明任意有界闭集上的连续函数都有 界。19 、设 是 E 上的可测函数序列,且存
},{ kE
,2,1,1 kEE kk mEmEkk
lim
kE }{ nf
}{ nf
第第 1414 讲 依测度收敛讲 依测度收敛
在常数 k ,使得对任意 ,有 ,若 试证
20 、设 是 E 上的可测函数,证明: 的充要条件是,对任意 子列 ,都存在 ,使得
1n
].[.|| Eekafn ,ffn
].[.|)(| EeKaxf
ffn ,
)()( xfxfn
knf
jknf