- 1、本文档共27页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
Lebesgue外侧度
第3章 测度论
实变函数论的核心内容是勒贝格(Lebesgue)积分. 本章介绍勒贝格测度理论是为建立勒贝格积分作好必要的准备.
在中建立Lebesgue积分理论,不可避免地要对中的一般点集给出类似于中区间长度的“适当的度量”,这种度量就是以后所说的测度.
对于中的区间长度的度量,归纳我们日常生活经验,不难发现我们已经在潜移默化地使用了以下约定俗成的公理,即长度公理:
长度公理:对于实数直线上的一些点集所构成的集合族,若对于每个,都对应一个实数,使得
1.(非负性);
2.(有限可加性)如果两两不相交,那么
;
3.(正则性).
但是,仅仅根据凭经验得来的这三条长度公理,实际上只给出了区间的长度,能够量出“长度”的点集是不多的,能做到的也只是有限个线段之并那样的点集. 例如中“有理数集合”是可数个点之并,就没有长度可言. 同样中“无理数集合”的长度是多少也无法确定. 这样,我们应该修改长度公理,扩大集合族的范围,使更多的集合具有新意义的长度,也就是我们所说的测度.
看来,非负性和正则性的要求非常自然,是不能修改的,那么只有修改第二条的有限可加性.
我们很自然地想到把有限可加性改为“无限可加性”,然而无限可加性的提法是不能任意的,这是因为如果简单地提无限可加性会出现矛盾,例如,一点所成的集合的长度是,如果任意无限可加性可以成立,那么中全体有理数和全体无理数所成集合的长度都是0,于是区间的长度也是0,这是矛盾的.
法国数学家Lebesgue用可数可加性考察如下的“测度”:
勒贝格测度公理:对于实数直线上的一部分集合族,使得每个,都对应一个实数,满足
1.(非负性);
2.(可数可加性)如果两两不相交,那么
;
3.(正则性).
根据这一公理,中有理数集是可数个点的集合,每点的测度是0,所以它的勒贝格测度是0;而中无理数集不可数就不会是0了,应该是1.
那么,满足勒贝格测度公理的在集合族上定义的集函数是否存在?由哪些集合所构成?是否每个集合都有测度呢?这些问题都是本章要解决的.
§3.1 外测度
众所周知,在中,求圆的面积可以用包含它的外切多边形面积的下确界来定义. 更一般地,我们可以用一些长方形(在也称为区间)去分割圆,然而长方形的面积之和近似代替圆的面积的这种想法也可以求中一般的立体的体积的近似值. 这一想法正是我们定义外测度的出发点,启发我们给出如下外测度的定义:
定义3.1.1 设是中的点集,是中的一列开区间,,则确定一个非负的数(可以等于). 记
,,是开区间,
称为的Lebesgue外测度.
应该注意到,由于没有假定是有界集,所以有可能是.
定理3.1.1 (1),当为空集时,(非负性)
(2)若,则 (单调性)
(3) (次可数可加性)
证明 (1)对任何覆盖的开区间列,都有,因而0是,,是开区间的一个下界,因而,,是开区间,即.
当时,则对任意的,设
,
则,而,,所以,由是任意的,所以.
(2)设,则任一覆盖了的开区间列也覆盖了,即,,是开区间,,是开区间.
所以,,是开区间,,是开区间.
因此.
(3)对任意的,由下确界含义,对每个都有一开区间列,使,而(本来应该是“<”号,这里用“”号,是因为可能是).
这样,且
因此,,由是任意的,于是
.
例1 设是可数点集,则.
证明 因为是中的可数点集,所以设,其中,对任意的,设
,
则,且,,,所以,由是任意的,所以.
例2 设是区间,则.
证明 (1)设为闭区间,对任意的,存在开区间,使得,且,由外测度定义,,由是任意的,有.
下证. 对任意的,存在一列开区间,使,且. 由有限覆盖定理,在中存在有限多个开区间,使得.
因为,所以,因此
.
由是任意的,有,于是.
(2)设为任意区间,对任意的,作闭区间及,使,且,,这样,因此
.
由是任意的,,于是.
§3.2 可测集
外测度的优点是任何集合都有外测度,但外测度只有次可数可加性. 事实上,在中的确存在互不相交的一列集合,使得
.
因此,若把外测度当作测度,则不能期待对任何集合都有测度,如果把外测度的定义域加以限制,即设法在中找出某一集合类,在上能够满足测度公理,这是可以做到的.
如何从中挑出集合类呢?
中的集合应该对可数并、交、差运算封闭,应包括及中的所有有限开区间,而且对中一列互不相交的集合成立.
(3.2.1)
若,则对任何开区间,应成立
(3.2.2)
对于(3.2.2)式,我们有下面的结果:
引
文档评论(0)