- 1、本文档共13页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 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 度量空间中的每一个单点集都是闭集.
证 为一个度量空间,,对于任意,,令,于是,并且,所以,,于是=,因此,单点集为闭集.由的任意性,度量空间中的每一个单
您可能关注的文档
- 江苏省常州市武进区2016届九年级5月教学情况调研测试化学案例.doc
- 江苏省电力公司农村低压电网通用设计及工艺规范(2014.1.17宣贯)案例.doc
- 老年活动中心施工组织设计案例.doc
- 老年科健康教育案例.doc
- 老子论语今读(陈怡)超星尔雅满分案例.doc
- 乐捐管理制度案例.doc
- 江苏省海安县城东镇韩洋初级中学2015届九年级语文下学期第一次阶段性测试苏教版案例.doc
- 乐清电厂5450线路保护及断路器短引线保护设备采购总承包技术协议案例.doc
- 江苏省靖江市2016年中考语文适应性考带案例.doc
- 乐清市1101工程、规划展示馆、城建档案馆、环境监测中心、食品药品检测中心联建项目幕墙工程案例.doc
- 基于人工智能教育平台的移动应用开发,探讨跨平台兼容性影响因素及优化策略教学研究课题报告.docx
- 高中生物实验:城市热岛效应对城市生态系统服务功能的影响机制教学研究课题报告.docx
- 信息技术行业信息安全法律法规研究及政策建议教学研究课题报告.docx
- 人工智能视角下区域教育评价改革:利益相关者互动与政策支持研究教学研究课题报告.docx
- 6 《垃圾填埋场渗滤液处理与土地资源化利用研究》教学研究课题报告.docx
- 小学音乐与美术教师跨学科协作模式构建:人工智能技术助力教学创新教学研究课题报告.docx
- 《航空航天3D打印技术对航空器装配工艺的创新与效率提升》教学研究课题报告.docx
- 教育扶贫精准化策略研究:人工智能技术在区域教育中的应用与创新教学研究课题报告.docx
- 《区块链技术在电子政务电子档案管理中的数据完整性保障与优化》教学研究课题报告.docx
- 《中医护理情志疗法对癌症患者心理状态和生活质量提升的长期追踪研究》教学研究课题报告.docx
文档评论(0)