查看度量空间的源代码
←
度量空间
跳转至:
导航
、
搜索
因为以下原因,你没有权限编辑本页:
你刚才请求的操作只对属于该用户组的用户开放:
用户
您可以查看并复制此页面的源代码:
'''度量空间'''([[汉语拼音]]:Du liang kong jian;[[英语]]:Metric Space),在[[数学]]中是指一个[[集合]],并且该集合中的任意元素之间的距离是可定义的。 === 概念 === 现代数学中一种基本的、重要的、最接近于[[欧几里得空间]]的抽象空间。19世纪末叶,[[德国]][[数学家]][[G.康托尔]]创立了[[集合论]],为各种抽象空间的建立奠定了基础。20世纪初期,[[法国]][[数学家]][[M.R.弗雷歇]]发现许多分析学的成果从更抽象的观点看来,都涉及[[函数]]间的距离关系,从而抽象出度量空间的概念。 度量空间中最符合我们对于现实直观理解的是[[三维欧氏空间]]。这个空间中的欧几里德度量定义两点之间距离为连接这两点的直线的长度。 === 定义 === 设X为一个集合,一个映射d:X×X→R。若对于任何x,y,z属于X,有 (I)(正定性)d(x,y)≥0,且d(x,y)=0当且仅当x = y; (Ⅱ)(对称性)d(x,y)=d(y,x); (Ⅲ)(三角不等式)d(x,z)≤d(x,y)+d(y,z) 则称d为集合X的一个[[度量]](或距离)。称偶对(X,d)为一个度量空间,或者称X为一个对于度量d而言的度量空间。 === 举例 === 设X为任一非空集合,定义映射d:X×X→R如下 ⑴对于X中任意元素x,d(x,x)=0; ⑵如果x,y是X中两个不同元素,则d(x,y)=1. 则这样定义的d满足(I)(Ⅱ)(Ⅲ),是集合X的一个度量。这样的度量称为[[离散度量]]。 === 极限 === 证明:度量空间中[[收敛序列]]的极限是唯一的 设{a-n}收敛于a且收敛于b。则对任意u>0,存在N使得对n>N有d(a-n,a)<u/2且d(a-n,b)<u/2,所以d(a,b)<=d(a-n,a)+d(a-n,b)<u/2+u/2=u。d(a,b)为非负常数,且小于任一正数u>0,故必有d(a,b)=0,所以a=b [[Category:中文词典]] [[Category:D音词条]] [[Category:点集拓扑学]] [[Category:拓扑学]] [[Category:度量几何]] [[Category:数学结构]] [[Category:一般拓扑学]] [[Category:数理科学]] == 参见条目 == *[[一般拓扑学]] [[数学]]
返回
度量空间
。
导航菜单
个人工具
创建账户
登录
名字空间
页面
讨论
变种
查看
阅读
查看源代码
查看历史
操作
搜索
导航
首页
最近更改
随机页面
工具箱
链入页面
相关更改
特殊页面
页面信息
扫描二维码可以用手机浏览词条