实变函数与泛函分析基础第三版第五章复习指导.docx
《实变函数与泛函分析基础第三版第五章复习指导.docx》由会员分享,可在线阅读,更多相关《实变函数与泛函分析基础第三版第五章复习指导.docx(34页珍藏版)》请在冰豆网上搜索。
![实变函数与泛函分析基础第三版第五章复习指导.docx](https://file1.bdocx.com/fileroot1/2022-10/12/b11901a1-44cc-4f53-bd24-105caaf391cd/b11901a1-44cc-4f53-bd24-105caaf391cd1.gif)
实变函数与泛函分析基础第三版第五章复习指导
主要内容
本章的中心内容是建立一种新的积分−−勒贝格积分理论.它也是实变函数数论研究的中心内容.
一、关于勒贝格积分的建立.
本章首先引入测度有限点集上有界函数的积分,这是全章的基础,建立有界函数的积分时应注意两点:
一是黎曼积分意义下的积分区间,现已被一般点集所代替;二是分划的小区间长度,现已被点集的测度所代替.
一般集合上一般函数的积分是通过两步完成的.第一步是建立非负函数的积分.它是通过非负函数表示为有界函数列的极限、把无穷测度集合表示为测度有限集列的极限来完成的.第二步是建立一般函数的积分,它是将其分解两个非负函数(正部与负部)的差的办法来完成的.
二、勒贝格积分的性质.勒贝格积分的性质主要反映在以下几个方面:
(1)勒贝格积分是一种绝对收敛积分,即
在
上可积当且仅当
在
上可积(
在
上可测).这是它与黎曼积分重要区别之一.
(2)勒贝格积分的绝对连续性.设
在
上可积,则对任意
,存在
,使当
且
时,恒有
(3)勒贝格积分的唯一性.即
的充要条件是
于
.由此可知,若
与
几乎相等,则它们的可积性与积分值均相同.
(4)可积函数可用连续函数积分逼近.设
是可积函数,对任意
,存在
上的连续函数
,使
此外尚有许多与黎曼积分类似的性质,如线性性、单调性、介值性等,望同学们自己总结、比较.
三、关于积分极限定理.积分极限定理是本章的重要内容,这是由于积分号下取极限和逐项积分,无论在理论上还是应用上都有着十分重要的意义.其中列维渐升函数列积分定理(定理,勒贝格控制收敛定理(定理,和法都定理(定理
同学们不难发现,与黎曼积分相比较,勒贝格积分与极限换序的条件大大减弱,这也是勒贝格积分优越于黎曼积分的重要之处.
四、关于勒贝格积分同黎曼积分之间的关系.我们知道,若
上的有界函数
黎曼可积,则必勒贝格可积且二者积分值相等.
值得注意的是,上述结论对于广义黎曼积分并不成立.实际上,广义黎曼可积函数成为勒贝格可积的充要条件是该函数广义黎曼绝对可积.
关于勒贝格积分的计算,一般是应用积分的定义借助于积分的性质将其转化为黎曼积分.
五、勒贝格重积分换序的富比尼定理指出,只要
在
上可积即可将重积分化为累次积分.特别是对非负可测函数来说,可无条件换序,这是勒贝格积分较黎曼积分的又一优越之处.
复习题
(一)
一、判断题
1、设
是可测集
上的非负简单函数,则
一定存在。
(√)
2、设
是可测集
上的非负简单函数,则
在
上勒贝格可积。
(×)
3、设
是可测集
上的非负简单函数,且
,则
在
上勒贝格可积。
(√)
4、设
是可测集
上的非负可测函数,则
一定存在。
(√)
5、设
是可测集
上的非负可测函数,则
在
上勒贝格可积。
(×)
6、设
是可测集
上的非负简单函数,且
,则
在
上勒贝格可积。
(√)
7、设
是可测集
上的可测函数,则
一定存在。
(×)
8、设
是可测集
上的可测函数,且
,
至少有一个成立,则
一定存在。
(√)
9、设
是可测集
上的可测函数,且
,
至少有一个成立,则
在
上勒贝格可积。
(×)
10、设
是可测集
上的可测函数,若
且
,则
在
上勒贝格可积。
(√)
11、设
是可测集
上的可测函数,若
,则
。
(√)
12、设
是可测集
上的可测函数,若
且
,则
。
(√)
13、若
为零测集,
为
上的任何实函数,则
。
(√)
14、若
,则
。
(√)
15、若
,则
。
(√)
16、若
,则
。
(√)
17、若
,
为
的可测子集,则
。
(√)
18、
在
上勒贝格积分值存在
。
(×)
19、若
,且
,
,则
于
。
(√)
20、若
在
上
可积,则若
在
上
可积,且
。
(√)
21、若
,
,且
于
,则
。
(√)
22、若
,
,则
于
。
(×)
23、若
,则
于
。
(×)
24、若
与
存在,且
,则
。
(√)
25、若
存在,
是
的可测子集,且
,则
。
(×)
26、勒贝格积分也是黎曼广义积分的推广。
(×)
二、计算题
1、设
,求
。
解:
因为有理数集为零测集,所以,
于
,于是
。
2、设
,其中
为
中的三分康托集,求
。
解:
因为
,所以,
于
,于是
。
三、证明题
1、设
是可测集
上的可测函数,且
,
,则
。
证明:
由题设及不等式性,有
。
所以,
,从而
。
2、
,
。
则
,且
。
证明:
因为
,而由
,
得,
,
即
。
所以,
。
3、设
,
是
的可测子集,且
,若
,则
。
证明:
因为
是
的可测子集,且
,所以,
,从而由
得,
。
又
,由积分的绝对连续性,
。
4、设
,若对任意有界可测函数
都有
,则
于
。
证明:
由题设,取
,显然
为
上的有界可测函数,从而
。
所以,
于
,即
于
。
5、设
,
,证明
(1)
;
(2)
。
证明:
由
得,
(1)
。
(2)由
(1),注意到
,由积分的绝对连续性得,
,从而注意到
,
所以,
。
6.证明:
如果
是E上的非负函数,
,则
于E
证:
若不然,
不妨令
.于是集
必存在某一
使
令
于是
∵
∴
,这与题设矛盾,所以
于E
7.设
上的一非负可测函数列,则
.
证明相应于每个正整数
,令
,则
是非负可测递增列,且
.据定理5.3.1,
所以
.证毕.
8.设
为可测集,
为
上的一列非负可测函数,在
上有
.令
=
,
,证明:
=
.
证明:
显然
在
上非负可测且
,故
,因而
.
现证相反的不等式.任取
上的一个非负简单函数
使得
时
.
:
,令
,则
可测,
,
,
,且
,故
.由
的任意性可得
.再由
的任意性即得
.
∴
.
补充证明
.
是显然的.
,则
.∵
,
∴
.
∵
,
,且
,
∴
,使得
,即得
.
由
的任意性得
.∴
.
证明:
由条件知
为E上非负可测函数递增列,所以
有定义,又
故
有定义,且从函数列的渐升性知道,
(1)
令
满足
是
上的非负可测简单函数,且
,
,则{En}是递增集列,且
,
,故
,
.
由非负可测函数积分定义
.
(2)
综合
(1)与
(2)得
9.计算
.
解令
则
且对任何
都有
。
显然
可测,由Lebesgue控制收敛定理,
。
10.应用
控制收敛定理证明:
.
证:
令
,
,则对
,有
.
注意到,当
时,有
;当
时,有
.令
,
则
,且易知
即
在
上
可积,所以由
控制收敛定理知
.
证毕。
10.设
可测,
在
上可积,
︱
︱
,证明
·
.
证明:
(1)常数
(2)对任意的
,因为
,存在
,使当
,
时,有
(积分绝对连续性).由
(1)知
,故存在
,当
时有,
.于是,
(
)
由此,
.
第五章复习题
(二)
一、判断题
1、设{
}是可测集
上的可测函数列,
是可测集
上的可测函数,如果
于
,则
。
(×)
2、设{
}是可测集
上的可测函数列,
是可测集
上的可测函数,如果
(
),则
。
(×)
3、设{
}是可测集
上的可测函数列,
是可测集
上的可测函数,如果
且
(
)或
于
,则
。
(×)
4、设{
}是可测集
上的非负可测函数列,如果
,则
。
(√)
5、设{
}是可测集
上的非负可测函数列,如果
,则
。
(×)
6、设{
}是可测集
上的非负可测函数列,则
。
(×)
7、设{
}是可测集
上的非负可测函数列,则
。
(√)
8、设{
}是可测集
上的非负可测函数列,则
。
(√)
9、设{
}是可测集
上的非正可测函数列,则
。
(√)
10、设{
}是可测集
上的可测函数列,则
。
(×)
11、设
在可测集
上的勒贝格积分存在,且
,则
。
(×)
12、设
在可测集
上的勒贝格积分存在,且
,{
}为两两不交的可测集,则
。
(√)
13、设
在
上可测,则
。
(×)
14、设
在
上非负可测,则
。
(√)
15、设
在
上勒贝格可积,则
。
(√)
二、计算题
1、设
(
),求
。
解:
因为
,且
,由有界法则得,
。
2、设
(
),求
。
解:
当
时,
,且
。
而
,
所以,
。
由勒贝格控制收敛定理得
。
3、设
(
),求
。
解:
易见
,且
,而
。
由勒贝格控制收敛定理
。
4、设
(
),求
。
解:
易见
,且
,而
。
由勒贝格控制收敛定理
。
三、证明题
1、设
,{
}为
上几乎处处有限的可测函数列,证明:
在
上,
的充要条件是
。
证明:
因为对任意
,有
,所以
。
“充分性”:
若
,则
,从而
。
“必要性”:
若
,则
,又
,且
,由有界法则,
。
2、设{
}为
上非负可测函数列,且
(
),若
,且存在
,使得
,则
。
证明:
令
(
),由题设,易见
单调递增,且
,
。
又
,即
,由勒贝格控制收敛定理
,
即
。
3、设
(
)都是
上的可测函数,
,证明:
在
上几乎处处绝对收敛,其和函数在
上勒贝格可积,并且
。
证明:
记
,由于
,且
。
由勒贝格积分的几乎处处有限性,
于
,即
在
上几乎处处绝对收敛。
由于
于
,且
,由勒贝格控制收敛定理,其和函数
在
上勒贝格可积,且
。
4、利用上题的结论证明:
记
中的全体有理数排成的序列为{
},则
在
上几乎处处收敛。
证明:
因为
,
所以,
。
由上题结论,
在
上几乎处处绝对收敛,从而
在
上几乎处处收敛。