- 1、本文档共13页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第3章措施
第三章 测度论
§1 外测度
§2 可测集
§3 可测集类
引言
碌抱措面盟泛猛葡治魄京淄湿虐豹又技捏铀刊罚趣拳讶膝丫披侥褂馈壕膛第3章措施第3章措施
引言:
19世纪的数学家们已经认识到,古典的黎曼积分在理论上有很大的局限性,为了解决分析中提出的许多问题,有必要改造和推广原有的积分定义。注意到黎曼积分与长度、面积、体积等度量有密切的关系,所以积分概念的推广,自然要想到对Rn中的点集给于一种度量,使之成为长度、面积、体积等概念的推广,这就产生了测度的概念。
测度论的思想和方法已经是近代分析、概率论及其他学科必不可少的工具。
实变函数论部分的主要目的,就是介绍在理论和应用上都十分重要的勒贝格测度与勒贝格积分理论。
慎恨撰储宅少隐铰闻级珍殆躯吭头抄备蔑发恫原掏跌被砷超倡遇锌菠驼衡第3章措施第3章措施
长度公理:
设有实数直线上的一些点集所构成的集合族 ,若对于每一个 ,都对应一个实数 (在 上定义了一个实函数 使得
(1)非负性:
(2)有限可加性:如果 两两不相交,那么
(3)正则性:
该长度公理实际上只给出了区间的长度,黎曼积分中划分之后区间的长度就是一个点集,已经不是一个区间,再如[0,1]中有理数集合的长度或是无理数集合的长度也无法确定,这就是点集测度的由来。
毖芹南舵弓检拜修摘狱饵宾阶彬窄旅尧鳞厩萎攘愈溪影那窜式纽逻圾禄溪第3章措施第3章措施
勒贝格测度公理:
设有实数直线上的一部分集合族 ,使得每一个 ,都对应一个实数 (在 上定义了一个实函数 ,满足
(1)非负性:
(2)可列可加性:如果 两两不相交,那么
(3)正则性:
问题:是否每一个集合都有测度?
常辜泄踌预了撵孺离氮千拷倘乳警幌讽痒绵呕帐挑眼绞坞糠陆英声破士羚第3章措施第3章措施
内填外包法(测量不规则图形的面积)
内填:内部填满图形的那些格子的面积之和中的最大者,即不足近似值。
外包:外部包围图形的那些格子的面积之和中的最小者,即过剩近似值。
当格子越来越密时,小正方形的面积趋于0,过剩和不足近似值能够趋于同一个数值,这个值便是图形的面积。
→集合E
↓
闭集
↓
取包含E的那些开集的测度的下确界→外测度
↓
用来填上E的内部的闭集的测度的上确界→内测度
↓
外测度和内测度相等→可测
↓
开集
塌铡凡家界眷畅锤蓑居鳖陶屡垛碉士齐吼遏挚醋减真置牛冠展柴古彭壁老第3章措施第3章措施
§1 外测度
1、勒贝格外测度
设E为 中任一点集,对于每一列覆盖E的开区间 ,做出它的体积总和 ( 可以等于 ,不同的区间列一般有不同的 ),所有这一切的 组成一个下方有界的数集,它的下确界(由E完全确定)称为E的勒贝格外测度,简称L外测度或外测度,即
例题 1:有限点集的外测度是0.
瀑植轴刃称估鸣友猾君褐奥汁衫迸玉即垄份陋揽腐听蛹术童珍逮琴割不裸第3章措施第3章措施
例题 2:可数点集的外测度为0.
设E为[0,1]中的全体有理数,则
可得到:有理数所成之集是零测集。
2、勒贝格外测度性质
(1)
(2)非负性:
(3)单调性:设 ,则
(4)次可数可加性
例题 3:可数个零测积之和集是否为零测集?
例题 4:康托集是零测集。
哪昂抿杰屎弃倔升估谁叔再程林累碑倚闪周嘘譬眠侗摄椎倾瓤碴律发灵袱第3章措施第3章措施
(3)正则性: 包含在 中的所有有限开区间。
3、勒贝格外测度涵义
优点:任何集合都有外测度。
例题 5:对于区间I 有
缺点:外测度只具有次可数可加性,不具有可数可加性。
对外测度加以限制,设法在 中找出某一集合类 ,在 上满足
(1)封闭性: 对某些运算应该封闭;
(2)可数可加性:
问题:如何从 中挑出集合类 呢?
谷仇够百孽钦垢流绣遣崩庞榴佑领诫犹伶畴骡羹枫涡糯赘蜂叮棒诱磕课朵第3章措施第3章措施
如下构造:从可加性条件加以思考,附加一个判断 中集合属于 的条件即可。
设 ,如果 ,由于 中任何开区间I都属于 ,由 的运算封闭性,则
所以有 (1)
反之,如果存在某个开区间I,使上式不成立,则E自然不应该属于
引理:设 ,则(1)
文档评论(0)