度量空间

最新推荐文章于 2024-09-16 16:23:29 发布

vernase

最新推荐文章于 2024-09-16 16:23:29 发布

阅读量6.8k

点赞数 5

CC 4.0 BY-SA版权

分类专栏：数学之美文章标签：度量空间数学

本文链接：https://blog.csdn.net/qq_39898238/article/details/101073040

数学之美专栏收录该内容

1 篇文章

订阅专栏

度量空间的相关概念

度量空间的数学意义
定义
例子
开集、闭集、拓扑与收敛性
度量空间的类型

度量空间的数学意义

在数学中，度量空间是个具有距离函数的集合，该距离函数定义集合内所有元素间之距离。此一距离函数被称为集合上的度量。

度量空间中最符合人们对于现实直观理解的为三维欧几里得空间。事实上，“度量”的概念即是欧几里得距离四个周知的性质之推广。 欧几里得度量定义了两点间之距离为连接这两点的直线段之长度。此外，亦存在其他的度量空间，如椭圆几何与双曲几何，而在球体上以角度量测之距离亦为一度量。 狭义相对论使用双曲几何的双曲面模型，作为速度之度量空间。

度量空间还能导出开集与闭集之类的拓扑性质，这导致了对更抽象的拓扑空间之研究。

定义

度量空间是个有序对 (M,d)，这里的 M 是集合而 d 是在 M 上的度量(metric)，即为函数 d:M x M -> R ，使得对于任何在M 内的 x、y、z，下列条件均成立：

1.d(x, y) ≥ 0 (非负性)
2.d(x, y) = 0 当且仅当 x = y (不可区分者的同一性)
3.d(x, y) = d(y, x) (对称性)
4.d(x, z) ≤ d(x, y) + d(y, z) (三角不等式)。

函数 d 亦称为“距离函数”或简称“距离”。 两个位置间之距离可被定义为连接这些位置的最短路径之长度。

例子

具有由绝对值给出的距离函数 $d(x,y)=\vert y-x\vert$ 之实数集合，以及更一般性地，具有欧几里得距离之n 维欧氏空间，这些空间均为完备度量空间。具有相关度量的有理数集合也会形成一个度量空间，但不完备。
具有距离函数 $d(x,y)=\vert \log(y/x)\vert$ 的正实数集合为完备度量空间。
双曲平面是个度量空间。
每个赋范向量空间都是度量空间，其度量可定义为 $d(x,y)=\lVert y-x\rVert$ 若此类空间为完备的，则称之为巴拿赫空间。
- 曼哈顿范数会形成曼哈顿距离。其中，任何两点或向量之间的距离为对应坐标间差距之和。
- 极大范数会形成切比雪夫距离（或称为棋盘距离）， 为国王在棋盘上从x移动到 y 的所需最小步数。
赋范向量空间上的英国铁路度量（亦称为邮局度量或法国铁路度量） 定义为 ${\displaystyle d(x,y)=\lVert x\rVert +\lVert y\rVert }，$ 其中 x 与 y 为不同的点，且 ${\displaystyle d(x,x)=0}。$ 更一般性地， $\lVert .\rVert$ 可用由任意集合 S 映射至非负实数，且 0 至多出现一次的函数f 替代：则集合 S 上的度量可定义为 $d(x,y)=f(x)+f(y)$ ，其中 x 与 y 为不同的点，且 $d(x,x)=0$ 此一度量的名称系用来影射不论旅途（或信件）的终点为何，都会经过伦敦（或巴黎）的情形。

维基百科有较为全面介绍，本文是作者为了系统地了解度量空间，对具体应用不作详细说明，仅以上述为例。

开集、闭集、拓扑与收敛性

**每个度量空间都自然地会是个拓扑空间，因此与一般拓扑空间有关的所有定义及定理也一样适用于所有的度量空间。 **

对于度量空间M 内的任一点x，可定义中心为 x，半径为r > 0（其中，r 为一实数）的开球

$B(x;r)=\{y\in M:d(x,y)<r\}$ 这些开球会形成M 上拓扑的基，使之成为一个拓扑空间。
具体来说，M 的子集 U 称之为开放的，若对于每个U 内的 x，存在一个 r > 0，使得 B(x;r) 包含于U。开集的补集为闭集。点 x 的邻域是指M 内包含中心为 x 的某一开球之任何子集。

开集是指不包含任何自己边界点的集合。或者说，开集包含的任意一点的充分小的邻域都包含在其自身中。

在拓扑空间中，闭集是指其补集为开集的集合。在一个拓扑空间内，闭集可以定义为一个包含所有其极限点的集合。在完备度量空间中，一个闭集的极限运算是闭合的。

拓扑空间若可由某个度量空间形成，则称之为可度量化空间。

度量空间M 内之序列 $x_n)$ 称之为可收敛至极限 $x\in M$ ，当且仅当对于每个 $\varepsilon>0$ ，均存在一个自然数 N，使得 $d(x_{n},x)<\varepsilon$ ，对于所有 n > N。在拓扑空间内也有相对应的收敛之一般定义。

度量空间M 内的子集 A 是封闭的，当且仅当每个在A 内的序列若可收敛至 M 内的一极限，则该极限在 A 内。

度量空间的类型

1. 完备空间

度量空间 M 称之为完备的，若每个柯西序列均收敛于 M 内，亦即：若 $d(x_{n},x_{m})\to 0$ ，其中 n 与 m 各自趋近于无限大，则存在某个 $y\in M$ ，使得 $d(x_{n},y)\to 0$
每个欧氏空间都是完备的，而且该空间的每个闭子集也都是完备空间。使用绝对值度量 $\vert x - y \vert$ 的有理数集合则不是完备的。
每个度量空间都有个在同构意义下唯一的完备化空间。该完备化空间是个完备空间，给定之度量空间为其稠密子集。例如，实数是有理数的完备化空间。
若 X 是空间空间 M 内的完备子集，则 X 在 M 内是封闭的。而实际上，一个空间是完备的，当且仅当该空间在任何包含该空间的度量空间内都是封闭的。
每个完备度量空间都是个贝尔空间。

同构：在抽象代数中，同构指的是一个保持结构的双射。在更一般的范畴论语言中，同构指的是一个态射，且存在另一个态射，使得两者的复合是一个恒等态射。

2. 有界与完全有界空间

度量空间 M 被称为有界的，如果存在某个数 r，使得对于所有 M 中的 x 和 y 有 d(x,y) ≤ r。r 最小可能的值称之为 M 的直径。空间 M 称之为预紧致的或完全有界的，如果对于所有 r > 0 存在有限多个半径为 r 的开球，其并集覆盖 M。因为这些球为有限个，所以该空间的直径亦为有限值，从而得出(使用三角不等式)所有完全有界空间都是有界的。但逆命题不成立，因为任何无限集合均可给定其离散度量(上面第一个例子)，使得该空间是有界的，但不是完全有界的。

注意，在讨论实数空间的区间及欧氏空间的区域时，有时会将有界集合指为“有限区间”或“有限区域”。不过，有界性与“有限”之间一般并无关连；有限通常意含着有界，但反之不一定成立。