13,617
次編輯
變更
度量
,無編輯摘要
[[File:度量.jpg|缩略图|右|[https://gimg2.baidu.com/image_search/src=http%3A%2F%2Fp5.itc.cn%2Fq_70%2Fimages03%2F20201201%2Fd8cb5502d9f64a748ff1a902daf32b2e.jpeg&refer=http%3A%2F%2Fp5.itc.cn&app=2002&size=f9999,10000&q=a80&n=0&g=0n&fmt=jpeg?sec=1644395498&t=4e67f30fe8c27c4492c639efb91fc904 原图链接][https://www.sohu.com/a/435640926_99901639 来自搜狐网]]]'''度量'''（metric），亦称距离函数，数学概念，是度量空间中满足特定条件的特殊函数，一般用d表示。度量空间也叫做距离空间，是一类特殊的拓扑空间。弗雷歇（Fréchet，M.R.）将 [[ 欧几里得空间 ]] 的距离概念抽象化，于1906年定义了度量空间。<ref>[https://iask.sina.com.cn/b/10EbiwAJmC3t.html 均方误差计算公式]手机爱问</ref>
==提出==
现代数学中一种基本的、重要的、最接近于欧几里得空间的抽象空间。19世纪末叶，德国数学家G.康托尔创立了 [[ 集合论 ]] ，为各种抽象空间的建立奠定了基础。20世纪初期，法国数学家M.R.弗雷歇发现许多 [[ 分析学 ]] 的成果从更抽象的观点看来，都涉及函数间的距离关系，从而抽象出度量空间的概念。
度量空间中最符合我们对于现实直观理解的是三维 [[ 欧氏空间 ]] 。这个空间中的欧几里德度量定义两点之间距离为连接这两点的线段的长度。<ref>[https://www.wendangwang.com/doc/b9b144f25e8c225c28e68144 泛函分析论文]文档网</ref>
==定义==
设为一个非空 [[ 集合 ]] ，其元叫做点。是全体实数的集。
若函数对于任意x,y,z∈X满足条件：
（c）；（称作三角形不等式）
则称函数为集合上的一个距离函数或度量。赋予度量d的集合X称为 [[ 度量空间 ]] ，记为(X,d)。
==例子==
n维欧几里得空间Rn按通常的度量构成度量空间。区间[0,1]上定义的连续实值函数的集合上赋予由
确定的度量也是度量空间。在任意非空集合X上定义d(x,x)=0，当x≠y时，d(x,y)=1，则(X,d)也是度量空间。
当d满足条件a的后半部分及b、c时，d称为伪度量，赋予伪度量的集合X称为伪度量空间。当d满足条件a、c时，d称为拟度量，赋予拟度量的集合X称为拟度量空间。
==性质==
d(x,y)为x与y之间的距离。在度量空间中，紧性、可数紧性、序列紧性、子集紧性是一致的。可分性、遗传可分性、第二可数性、林德勒夫性是一致的。度量空间必满足第一可数公理，是 [[ 豪斯多夫空间 ]] ，完全正规空间， [[ 仿紧空间 ]] 。伪度量空间满足第一可数公理，但一般不是豪斯多夫空间。
==直径（有界度量）==
则称为集合M的直径。直径为有限的集合称为有界集。当整个空间X的直径为有限（即）时，称X上的度量d为有界度量。