欢迎来到天天文库
浏览记录
ID:32638641
大小:70.43 KB
页数:26页
时间:2019-02-14
《实变函数论的核心问题是对读者在数学分析中已学过的黎》由会员上传分享,免费在线阅读,更多相关内容在工程资料-天天文库。
1、第二章测度论引言实变函数论的核心问题是对读者在数学分析中已学过的黎曼(Rienrnnn)积分进行推广,而建立一种应用范围更广,使用起来更灵活、便利的新的积分理论即Lebesgue积分理论.数学分析中Riemann积分基本上是处理几乎连续的函数,但随着理论的发展,Riemann积分理论的缺陷变得愈来愈明显,主要表面在以下两个方面:一方面是对被积函数的连续性要求太强,以致于著名的Dirichlet函数这样一种非常简单的函数都不可积;另一方面是应用起来有很大的局限性,这种局限性突出表现在可积函数项级数的逐项积分,以及可积函数列的积分与极限的可交换性方面,一般要求
2、函数列或函数项级数要具有一致收敛性,而这一要求在实际问题中常常得不到满足,或虽然满足要想验证又非常的繁复,因此,无论在理论方面还是在实际应用方面改进Riemann积分的定义使之适用更广泛的函数类是很有必要的.通常对Riemann积分的改进可从两方面着手,一方面是对积分范围划分的改进。在Riemann积分中,对积分范围的划分一般是采用通常意义下的“有而积”或“有体积”划分,即把积分范围划分成在通常意义下“有面积或体积”的小块.这种划分的方法无法控制在每个小块上函数值的变化幅度以致于Dirichlet函数不可积.所以有必要对“有面积或体积”划分的含义进行扩充,
3、即对通常意义下的“有面积或体积”的集合进行扩充,使之适合于更广的一类集合,由此便产生了本章要介绍的集合的测度;另一方而是对被积函数进行改进.Riemann积分屮的被积函数对连续的要求很苛刻,以致于函数的连续性稍微不好,就会导致函数不可积.所以有必要对被积函数在已有的测度的基础上进行扩充,使之适合于更广的一类函数,由此产生了第三章要介绍的可测函数.本章主要介绍集合的Lebesgue测度,它是通常意义下“面积或体积”概念的一种推广(即能保持通常意义下“体(而)积”的特性:①非负性;②当集合为区间时,其测度即为区间的体积;③完全可加性即当{EJ为一列互不相交的有
4、测度的集合吋,0耳的测度恰好为每个集的测度之和).;=1§1外测度一、外测度的定义记中的开区间I=x={x^x1,--,xn^ai5、/6、=市(勺-终)为区间/的体积./=1定义1设EuR”,{厶}是/T中覆盖E的任一列开区间,即Eu[j厶,/=!记a=£ki(“可以取+x),显然所有这样的“构成一个有下界的数集,则它/=1的下确界称为E的Lebesgue外测度,记为加*E即加*E=inf£7、/活EczQ/z.8、/=!/=1注定义中覆盖E的开区间列,可以只有有限个开区间,也可以有可数个开区间,显然,对任慧EuR”,m*E均存在,且可以取+oo・二、外测度的基本性质定理外测度具有如下性质:(1)对任慧EuR”都有加*E>OJzLm*^=O(非负性),(2)设BuAuR”,则(单调性),(3)设&•u/T,则加(Ch)s£沪人G欠可加性),/=!/=!(4)设A,BuR",若p(A,B)>0,则m*(AUB)=m*A4-m*B(隔离性).证明(1)显然成立。下而只证(2)(3)(4)(2)因为对任慧覆盖力的开区间列{厶},即AuJ/j,由于BaAf=I88OO8所以B9、uUh,从而加*〃5工10、厶11、,m*B12、/;13、=m*A,Ac:U厶・/=1/=1/=1/=1⑶由外测度的定义知,对任慧给定的正数£,存在覆盖4的开区间列{/:;)}使00Ie工闍14、v加*4+不,心1,2,…m=乙显然OOOOOOLO忙Ua/=!w=lz=lOOOOOOOOOO—OO月工工冊I=ml即)V工(加*4+77)=Em*A+£/=!w=li=w=li=]乙i=]所以^*(Qa)^X£15、*;)16、v丈加*a+£・/=!z=lm=/=1OO(4)仅在尺上证明.对任意£>0,存在开区间列{人},使AUBu17、J人/?=!8且X18、人19、<加*(AU20、B)+£,n=因为p(A,B)=d>0,若山<〃,则人保留;若21、/”22、>d,则用分点将1„分成有限个小的开区间厶厶,…人,使23、厶24、<〃(心1,2・・£),并且各分点再用—1个长度小于〃的开区间厶丄2—_盖住,使得勺厶25、<£/2〃,用上述得到的厶・・・人及厶,…厶-代替/=1人,k£一1匸显然习山+习厶卜叮+歹,i=l/=1乙OOco把改造后的开区间列记为{/},则AUBuUhuU匕,川二】m=且刘J⑥人26、+亍知加(小3)+2&m===厶由于K<^{km}中任何匕不可能同时含有A,B中的点,所以把化}分为两类,含有A中点的匕作为一-类记为飪27、},含有〃中点的匕作为一类记为毎},贝0/〃AuIX,Buu心所以
5、/
6、=市(勺-终)为区间/的体积./=1定义1设EuR”,{厶}是/T中覆盖E的任一列开区间,即Eu[j厶,/=!记a=£ki(“可以取+x),显然所有这样的“构成一个有下界的数集,则它/=1的下确界称为E的Lebesgue外测度,记为加*E即加*E=inf£
7、/活EczQ/z.
8、/=!/=1注定义中覆盖E的开区间列,可以只有有限个开区间,也可以有可数个开区间,显然,对任慧EuR”,m*E均存在,且可以取+oo・二、外测度的基本性质定理外测度具有如下性质:(1)对任慧EuR”都有加*E>OJzLm*^=O(非负性),(2)设BuAuR”,则(单调性),(3)设&•u/T,则加(Ch)s£沪人G欠可加性),/=!/=!(4)设A,BuR",若p(A,B)>0,则m*(AUB)=m*A4-m*B(隔离性).证明(1)显然成立。下而只证(2)(3)(4)(2)因为对任慧覆盖力的开区间列{厶},即AuJ/j,由于BaAf=I88OO8所以B
9、uUh,从而加*〃5工
10、厶
11、,m*B12、/;13、=m*A,Ac:U厶・/=1/=1/=1/=1⑶由外测度的定义知,对任慧给定的正数£,存在覆盖4的开区间列{/:;)}使00Ie工闍14、v加*4+不,心1,2,…m=乙显然OOOOOOLO忙Ua/=!w=lz=lOOOOOOOOOO—OO月工工冊I=ml即)V工(加*4+77)=Em*A+£/=!w=li=w=li=]乙i=]所以^*(Qa)^X£15、*;)16、v丈加*a+£・/=!z=lm=/=1OO(4)仅在尺上证明.对任意£>0,存在开区间列{人},使AUBu17、J人/?=!8且X18、人19、<加*(AU20、B)+£,n=因为p(A,B)=d>0,若山<〃,则人保留;若21、/”22、>d,则用分点将1„分成有限个小的开区间厶厶,…人,使23、厶24、<〃(心1,2・・£),并且各分点再用—1个长度小于〃的开区间厶丄2—_盖住,使得勺厶25、<£/2〃,用上述得到的厶・・・人及厶,…厶-代替/=1人,k£一1匸显然习山+习厶卜叮+歹,i=l/=1乙OOco把改造后的开区间列记为{/},则AUBuUhuU匕,川二】m=且刘J⑥人26、+亍知加(小3)+2&m===厶由于K<^{km}中任何匕不可能同时含有A,B中的点,所以把化}分为两类,含有A中点的匕作为一-类记为飪27、},含有〃中点的匕作为一类记为毎},贝0/〃AuIX,Buu心所以
12、/;
13、=m*A,Ac:U厶・/=1/=1/=1/=1⑶由外测度的定义知,对任慧给定的正数£,存在覆盖4的开区间列{/:;)}使00Ie工闍
14、v加*4+不,心1,2,…m=乙显然OOOOOOLO忙Ua/=!w=lz=lOOOOOOOOOO—OO月工工冊I=ml即)V工(加*4+77)=Em*A+£/=!w=li=w=li=]乙i=]所以^*(Qa)^X£
15、*;)
16、v丈加*a+£・/=!z=lm=/=1OO(4)仅在尺上证明.对任意£>0,存在开区间列{人},使AUBu
17、J人/?=!8且X
18、人
19、<加*(AU
20、B)+£,n=因为p(A,B)=d>0,若山<〃,则人保留;若
21、/”
22、>d,则用分点将1„分成有限个小的开区间厶厶,…人,使
23、厶
24、<〃(心1,2・・£),并且各分点再用—1个长度小于〃的开区间厶丄2—_盖住,使得勺厶
25、<£/2〃,用上述得到的厶・・・人及厶,…厶-代替/=1人,k£一1匸显然习山+习厶卜叮+歹,i=l/=1乙OOco把改造后的开区间列记为{/},则AUBuUhuU匕,川二】m=且刘J⑥人
26、+亍知加(小3)+2&m===厶由于K<^{km}中任何匕不可能同时含有A,B中的点,所以把化}分为两类,含有A中点的匕作为一-类记为飪
27、},含有〃中点的匕作为一类记为毎},贝0/〃AuIX,Buu心所以
此文档下载收益归作者所有