第五节度量空间及完备化.docVIP

  1. 1、本文档共3页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第五节度量空间及完备化

第五节 度量空间的完备化 ;第六节 压缩映射原理及其应用 (2学时) 教学要求 了解完备化定理,能够证明度量空间的完备性; 掌握压缩映射原理,并了解它在分析和方程研究中的应用。 教学重点 掌握压缩映射原理及其应用。 教学过程 度量空间的完备化 我们知道直线上有理数集Q作为R的子空间不是完备的,当在Q中加上“无理数”,它就成为完备的度量空间R,并且Q在R中稠密。 下面我们要考虑:是否每一个不完备的度量空间都可以“扩大”,使其成为一个完备的度量空间的稠密子空间呢? 首先介绍几个概念: 定义:设是两个度量空间,如果存在到上的保距映射,则称和等距同构,此时成为到上的等距同构映射。 在泛函分析中,往往把两个等距同构的度量空间视为同一的。 定理(度量空间的完备化定理) 设是度量空间,那么一定存在一完备度量空间,使与的某个稠密子空间等距同构,并且在等距同构意义下是唯一的,即:若也是一完备的度量空间,且与的某个稠密子空间等距同构,则与等距同构。 如果把两个等距同构的度量空间视为同一,的上述定理可以阐述为: 定理:设是度量空间,那么存在唯一的完备度量空间,使得为的稠密子空间。 (事实上,做 到自身的恒等映射,即为一等距同构) 例:证明与的一个子空间等距同构。 证明:是有界数列的全体,令,是定义在上连续函数全体 对于,有: 对于,有: 取子空间:如下: ;其余为折线(线性函数)。 则。 做映射: 则有: 则得证。 第六节 压缩映射原理及其应用 定义:设是到中的映射,如果存在一个数,使得对所有的,成立: (1) 则称是压缩映射。 压缩映射的几何意义是:原象两点经过映射后,他们象的距离缩短了。 定理(压缩映射定理) 设是完备的度量空间,是上的压缩映射,那么有且只有一个不动点(即:方程有且只有一个解)。 例如:定义在之间的连续压缩映射,如图: 1 0 1 证明:设是中任意一点。令。 我们证明点列是中的柯西点列。 事实上, (2) 由三点不等式,当时, 因为,所以,于是得到: (3) 所以当时,。即为柯西点列。 由的完备性,则存在,使,又由三点式和条件(1),有: 则当时,上式趋于0,所以,即。 下证唯一性。 如果有,使,则由条件(1),有: 因为,所以只有。 下面介绍定理的应用: 定理:设函数在带状域: 中处处连续,且处处有关于的偏导数。如果还存在常数和,满足 则方程在区间上必有唯一的连续函数作为解: 证明:见书,略。 定理:设是矩形: 上的二元连续函数,设,又在上关于满足条件,即存在常数,使对任意的,有 , 那么方程在区间上有唯一的满足初始条件的连续函数解,其中 。 证明:略。 例:设 为完备度量空间,是到中映射,记 若,则映射有唯一不动点。 证明:因为,所以存在,使。 所以 由压缩映射原理,存在,使,且是唯一的。 又 由唯一性知,,且是唯一的。

文档评论(0)

ctuorn0371 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档