浅谈度量空间介绍.docVIP

  1. 1、本文档共13页,可阅读全部内容。
  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文档。上传文档
查看更多
度 量 空 间 摘要:度量空间是一类特殊的拓扑空间,并且它是理解拓扑空间的一个重要过程. 因此,本文通过度量空间的基本概念,力图给出度量空间的一些重要性质. 并且引入一些度量空间的其它性质. 关键词: 度量空间 导集 闭集 正文:度量空间是现代数学中一种基本的、重要的、最接近于欧几里得空间的抽象空间.19世纪末叶,德国数学家G.康托尔创立了集合论,为各种抽象空间的建立奠定了基础.20世纪初期,法国数学家M.-R.弗雷歇发现许多分析学的成果从更抽象的观点看来,都涉及函数间的距离关系,从而抽象出度量空间的概念. 1.度量空间的定义 度量空间是一类特殊的拓扑空间,它对于拓扑空间的理解起着非常重要的作用.因此,研究度量空间的一些性质是必要的.为了证明这些性质,首先介绍以下定义. 定义1.1 设是一个集合,若对于中任意两个元素都有唯一确定的实数与之对应,而且这一对应关系满足下列条件: (1)正定性 ,并且当且仅当; (2)对称性 ; (3)三角不等式 .则称是集合的一个度量,同时将称为度量空间或距离空间. 中的元素称为点,条件(3)称为三点不等式. 定义1.2 设是一个度量空间,.对于任意给定的实数,集合,记作,称为一个以为中心,以为半径的球形邻域,简称为的一个球形邻域. 2 度量空间的一些例子 例2.1 离散的度量空间 设是任意的非空集合,对中的任意两点,令 容易验证满足关于距离的定义中的条件.我们称为离散的度量空间.由此可见,在任何非空集合上总可以定义距离.使它成为度量空间. 例2.2 序列空间S 令S表示实数列(或复数列)的全体,对S中任意两点及,令 , 易知满足距离条件 的充要条件为. (2.1) 下验证满足距离条件 对任意都成立. (2.2) 为此我们首先证明对任意两个复数和,成立不等式 事实上,考察上的函数 由于在上,.所以在上单调增加,由不等式 ,我们得到 . 令,则,代入上面不等式,得 . 由此立即可知满足距离条件(2.2),即S按或一度量空间. 例2.3 有界函数空间 设是一给定的集合,令表示上的有界实值(或复值)函数全体,对中任意两点,定义 . 下面验证满足条件(2.1)和(2.2).显然是非负的.又等价于对一切,成立,所以,即满足(2.1),此外,对所有的成立 . 所以 . 即满足条件(2.2).特别地,当时,记为. 例2.4 可测函数空间 设为上的实值(或复值)的可测函数全体,m为 测度,若 ,对任意两个可测函数 及,由于 所以这是上的可积函数,令 如果把中的两个几乎处处相等的函数视为中的同一个元,那么利用不等式 及积分性质很容易验证是距离. 因此按上述距离成为度量间. 例2.5 空间 令表示闭区间上的实值(或复值)连续函数全体,对中任意两点定义 容易验证它满足距离条件(2.1)和(2.2). 例2.6 记.设定义 . 则是的距离。距离条件(2.1)是容易得出的,现检验条件(2.2) . 对任何正整数n,和 都中的元素,由不等式 再令右端 ,即得 再令左端的,即得 由此可得 令取以 代入上式,即可得的三点不等式 由上述例子可见,度量空间除了有限维的欧几里德空间 之外,还包括其他的空间. 3 度量空间的一些简单性质 定理3.1 设是一个度量空间,则拓扑空间是一个离散空间当且仅当p是一个离散的度量. 证 充分性 若是一个离散的度量,则对于任意的,存在实数,使得对于任意的, ,有.于是的球形邻域,所以,为开集.由的任意性以及开集的性质,故为离散空间. 必要性 若为离散空间,则对于任意的,单点集为开集,于是存在的球形邻域 ,令,则对于任意的并且,有.所以, 为离散的度量. 定理3.2 度量空间的每一个子集的导集都是闭集. 证 设为一个度量空间,是的任意一个子集.欲证的导集为闭集,只需证. 如果,显然. 如果,由于,所以对于任意,有或. 若,则对于的任意一个球形邻域,有 . 于是,对于任意的 , 则,取 则 , 并且 又由于 , 所以 , 因此 . 综上,对于任意,有.所以,. 定理3.3 度量空间中的每一个单点集都是闭集. 证 为一个度量空间,,对于任意,,令,于是,并且,所以,,于是=,因此,单点集为闭集.由的任意性,度量空间中的每一个单

您可能关注的文档

文档评论(0)

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

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

1亿VIP精品文档

相关文档