- 1、本文档共8页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
度量空间与连续映射
定义2.1.1定理2.1.1作业
?
第2章 度量空间与连续映射
从数学分析中读者已经熟知单变量和多变量的连续函数,它们的定义域和值域都是欧氏空间(直线,平面或空间等等)或是其中的一部分.在这一章中我们首先将连续函数的定义域和值域主要特征抽象出来用以定义度量空间,将连续函数的主要特征抽象出来用以定义度量空间之间的连续映射(参见§2.1).然后将两者再度抽象,给出拓扑空间和拓扑空间之间的连续映射(参见§2.2).随后再逐步提出拓扑空间中的一些基本问题如邻域,闭包,内部,边界,基和子基,序列等等.
§2.1 度量空间与连续映射
本节重点:掌握拓扑学中度量的概念及度量空间中的连续映射的概念.
注意区别:数学分析中度量、连续映射的概念与本节中度量、连续映射的概念.
注意,在本节的证明中,应细细体会证明的方法.
首先让我们回忆一下在数学分析中学习过的连续函数的定义.函数f:R→R称为在点∈R处是连续的,如果对于任意实数ε>0,存在实数δ>0,使得对于任何x∈R,当|x-|δ时,有|f(x)-f()|ε.在这个定义中只涉及两个实数之间的距离(即两个实数之差的绝对值)这个概念;为了验证一个函数在某点处的连续性往往只要用到关于上述距离的最基本的性质,而与实数的其它性质无关,关于多元函数的连续性情形也完全类似.以下,我们从这一考察出发,抽象出度量和度量空间的概念.
定义2.1.1 设X是一个集合,ρ:X×X→R.如果对于任何x,y,z∈X,有
(1)(正定性),ρ(x,y)≥0并且ρ(x,y)=0当且仅当x=y;
(2)(对称性)ρ(x,y)=ρ(y,x);
(3)(三角不等式)ρ(x,z)≤ρ(x,y)+ρ(y,z)
则称ρ是集合X的一个度量.
如果ρ是集合X的一个度量,称(X,ρ)是一个度量空间,或称X是一个对于ρ而言的度量空间.有时,或者度量ρ早有约定,或者在行文中已作交代,不提它不至于引起混淆,这时我们称X是一个度量空间.此外,对于任意两点x,y∈X,实数ρ(x,y)称为从点x到点y的距离.
着重理解:度量的本质是什么?
例2.1.1 实数空间R.
对于实数集合R,定义ρ:R×R→R如下:对于任意x,y∈R,令ρ(x,y)=|x-y|.容易验证ρ是R的一个度量,因此偶对(R,ρ)是一个度量空间.这个度量空间特别地称为实数空间或直线.这里定义的度量ρ,称为R的通常度量,并且常常略而不提,迳称R为实数空间.(今后我们说实数空间,均指具有通常度量的实数空间.)
例2.1.2 n维欧氏空间.
对于实数集合R的n重笛卡儿积
=R×R×…×R
定义ρ:×→R如下:对于任意x=(),y=,
令
ρ(x,y)=
容易验证(详见课本本节最后部分的附录)ρ是的一个度量,因此偶对(,ρ)是一个度量空间.这个度量空间特别地称为n维欧氏空间.这里定义的度量ρ,称为的通常度量,并且常常略而不提,迳称为n维欧氏空间.2维欧氏空间通常称为欧氏平面或平面.(今后说通常度量,均指满足这种公式的度量)
例2.1.3 Hilbert空间H.
记H为平方收敛的所有实数序列构成的集合,即
H={x=()|∞}
定义ρ如下:对于任意
x=(),y=()∈H
令ρ(x,y)=
说明这个定义是合理的(即验证∞)以及验证ρ是H的一个度量,均请参见课本本节最后部分的附录.偶对(H,ρ)是一个度量空间.这个度量空间特别地称为Hilbert空间.这里定义的度量ρ称为H的通常度量,并且常常略而不提,迳称H为Hilbert空间.
例2.1.4 离散的度量空间.
设(X,ρ)是一个度量空间.称(X,ρ)是离散的,或者称ρ是X的一个离散度量,如果对于每一个x∈X,存在一个实数>0使得ρ(x,y)>对于任何y∈X,x≠y,成立.
例如我们假定X是一个集合,定义ρ:X×X→R使得对于任何x,y∈X,有
ρ(x,y)=
容易验证ρ是X的一个离散的度量,因此度量空间(X,ρ)是离散的.
通过这几个例子,可知,度量也是一种映射,但它的象空间是实数.
离散的度量空间或许是我们以前未曾接触过的一类空间,但今后会发现它的性质是简单的.
定义2.1.2 设(X,ρ)是一个度量空间,x∈X.对于任意给定的实数ε>0,集合
{y∈X|ρ(x,y)ε}
记作B(x,ε),或,称为一个以x为中心以ε为半径的球形邻域,简称为x的一个球形邻域,有时也称为x的一个ε邻域.
此处的球形邻域是球状的吗?
定理2.1.1 度量空间(X,ρ)的球形邻域具有以下基本性质:
(1)每一点x∈X,至少有一个球形邻域,并且点x属于它的每一个球形邻域;
(2)对于点x∈X
您可能关注的文档
最近下载
- SOAP(2023年)剖宫产术后快速康复共识.docx
- 网店运营推广 子任务3.3.1:商品标题制作与优化 3-3-1 商品标题优化.pptx
- 2024年北京市东城区八年级初二(下)期末道德与法治试卷(含答案).pdf
- 网店运营推广 子任务3.1.1:认识SEO工作原理 3-1-1 SEO工作原理.pptx
- 《第十二夜(莎士比亚剧本插图珍藏本)》—[英]莎士比亚著;朱生豪译.pdf
- 学习中国工会第十八次代表大会精神知识竞答活动试卷含答案.doc VIP
- WW-T 0016-2008馆藏文物保存环境质量检测技术规范.pdf VIP
- 2014年永固电力金具样本.pdf
- 食品制造公司安全风险分级管控清单.docx VIP
- 宏观经济学二十五讲中国视角.pptx VIP
文档评论(0)