度量空间的数学意义
在数学中,度量空间是个具有距离函数的集合,该距离函数定义集合内所有元素间之距离。此一距离函数被称为集合上的度量。
度量空间中最符合人们对于现实直观理解的为三维欧几里得空间。事实上,“度量”的概念即是欧几里得距离四个周知的性质之推广。 欧几里得度量定义了两点间之距离为连接这两点的直线段之长度。此外,亦存在其他的度量空间,如椭圆几何与双曲几何,而在球体上以角度量测之距离亦为一度量。 狭义相对论使用双曲几何的双曲面模型,作为速度之度量空间。
度量空间还能导出开集与闭集之类的拓扑性质,这导致了对更抽象的拓扑空间之研究。
定义
度量空间是个有序对 (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 ) = ∣ y − x ∣ {\displaystyle d(x,y)=\vert y-x\vert } d(x,y)=∣y−x∣ 之实数集合,以及更一般性地,具有欧几里得距离之n 维欧氏空间,这些空间均为完备度量空间。具有相关度量的有理数集合也会形成一个度量空间,但不完备。
- 具有距离函数 d ( x , y ) = ∣ log ( y / x ) ∣ {\displaystyle d(x,y)=\vert \log(y/x)\vert } d(x,y)=∣log(y/x)∣ 的正实数集合为完备度量空间。
- 双曲平面是个度量空间。
- 每个赋范向量空间都是度量空间,其度量可定义为
d
(
x
,
y
)
=
∥
y
−
x
∥
{\displaystyle d(x,y)=\lVert y-x\rVert }
d(x,y)=∥y−x∥若此类空间为完备的,则称之为巴拿赫空间。
- 曼哈顿范数会形成曼哈顿距离。其中,任何两点或向量之间的距离为对应坐标间差距之和。
- 极大范数会形成切比雪夫距离(或称为棋盘距离), 为国王在棋盘上从x移动到 y 的所需最小步数。
- 赋范向量空间上的英国铁路度量(亦称为邮局度量或法国铁路度量) 定义为 d ( x , y ) = ∥ x ∥ + ∥ y ∥ , {\displaystyle d(x,y)=\lVert x\rVert +\lVert y\rVert }, d(x,y)=∥x∥+∥y∥, 其中 x 与 y 为不同的点,且 d ( x , x ) = 0 。 {\displaystyle d(x,x)=0}。 d(x,x)=0。更一般性地, ∥ . ∥ {\displaystyle \lVert .\rVert } ∥.∥可用由任意集合 S 映射至非负实数,且 0 至多出现一次的函数f 替代:则集合 S 上的度量可定义为 d ( x , y ) = f ( x ) + f ( y ) {\displaystyle d(x,y)=f(x)+f(y)} d(x,y)=f(x)+f(y),其中 x 与 y 为不同的点,且 d ( x , x ) = 0 {\displaystyle d(x,x)=0} d(x,x)=0 此一度量的名称系用来影射不论旅途(或信件)的终点为何,都会经过伦敦(或巴黎)的情形。
维基百科有较为全面介绍,本文是作者为了系统地了解度量空间,对具体应用不作详细说明,仅以上述为例。
开集、闭集、拓扑与收敛性
**每个度量空间都自然地会是个拓扑空间,因此与一般拓扑空间有关的所有定义及定理也一样适用于所有的度量空间。 **
对于度量空间M 内的任一点x,可定义中心为 x,半径为r > 0(其中,r 为一实数)的开球
B
(
x
;
r
)
=
{
y
∈
M
:
d
(
x
,
y
)
<
r
}
{\displaystyle B(x;r)=\{y\in M:d(x,y)<r\}}
B(x;r)={y∈M:d(x,y)<r} 这些开球会形成M 上拓扑的基,使之成为一个拓扑空间。
具体来说,M 的子集 U 称之为开放的,若对于每个U 内的 x,存在一个 r > 0,使得 B(x;r) 包含于U。开集的补集为闭集。点 x 的邻域是指M 内包含中心为 x 的某一开球之任何子集。
开集是指不包含任何自己边界点的集合。或者说,开集包含的任意一点的充分小的邻域都包含在其自身中。
在拓扑空间中,闭集是指其补集为开集的集合。在一个拓扑空间内,闭集可以定义为一个包含所有其极限点的集合。在完备度量空间中,一个闭集的极限运算是闭合的。
拓扑空间若可由某个度量空间形成,则称之为可度量化空间。
度量空间M 内之序列 ( x n ) (x_n) (xn) 称之为可收敛至极限 x ∈ M x\in M x∈M,当且仅当对于每个 ε > 0 \varepsilon>0 ε>0,均存在一个自然数 N,使得 d ( x n , x ) < ε {\displaystyle d(x_{n},x)<\varepsilon } d(xn,x)<ε,对于所有 n > N。在拓扑空间内也有相对应的收敛之一般定义。
度量空间M 内的子集 A 是封闭的,当且仅当每个在A 内的序列若可收敛至 M 内的一极限,则该极限在 A 内。
度量空间的类型
1. 完备空间
- 度量空间 M 称之为完备的,若每个柯西序列均收敛于 M 内,亦即:若 d ( x n , x m ) → 0 {\displaystyle d(x_{n},x_{m})\to 0} d(xn,xm)→0,其中 n 与 m 各自趋近于无限大,则存在某个 y ∈ M {\displaystyle y\in M} y∈M,使得 d ( x n , y ) → 0 d(x_{n},y)\to 0 d(xn,y)→0
- 每个欧氏空间都是完备的,而且该空间的每个闭子集也都是完备空间。使用绝对值度量 d ( x , y ) = ∣ x − y ∣ d(x,y) = \vert x - y \vert d(x,y)=∣x−y∣ 的有理数集合则不是完备的。
- 每个度量空间都有个在同构意义下唯一的完备化空间。该完备化空间是个完备空间,给定之度量空间为其稠密子集。例如,实数是有理数的完备化空间。
- 若 X 是空间空间 M 内的完备子集,则 X 在 M 内是封闭的。而实际上,一个空间是完备的,当且仅当该空间在任何包含该空间的度量空间内都是封闭的。
- 每个完备度量空间都是个贝尔空间。
同构:在抽象代数中,同构指的是一个保持结构的双射。在更一般的范畴论语言中,同构指的是一个态射,且存在另一个态射,使得两者的复合是一个恒等态射。
2. 有界与完全有界空间
度量空间 M 被称为有界的,如果存在某个数 r,使得对于所有 M 中的 x 和 y 有 d(x,y) ≤ r。r 最小可能的值称之为 M 的直径。空间 M 称之为预紧致的或完全有界的,如果对于所有 r > 0 存在有限多个半径为 r 的开球,其并集覆盖 M。因为这些球为有限个,所以该空间的直径亦为有限值,从而得出(使用三角不等式)所有完全有界空间都是有界的。但逆命题不成立,因为任何无限集合均可给定其离散度量(上面第一个例子),使得该空间是有界的,但不是完全有界的。
注意,在讨论实数空间的区间及欧氏空间的区域时,有时会将有界集合指为“有限区间”或“有限区域”。不过,有界性与“有限”之间一般并无关连;有限通常意含着有界,但反之不一定成立。
3. 紧致空间
度量空间 M 是紧致的,若每个 M 内的序列均有个子序列,会收敛于 M 内的一点。 这称为序列紧致性,且在度量空间(但不是一般拓扑空间)里,这等价于可数紧致与以开覆盖定义之紧致性等拓扑性质。
紧致度量空间的例子包括具绝对值度量的闭区间 [0,1]、所有具有限多个点的度量空间,以及康托尔集。每个紧致集合的闭子集也是紧致的。
一度量空间为紧致的,当且仅当该空间是完备的,且为完全有界的。这即是所谓的海涅-博雷尔定理。须注意,紧致性仅决取于拓扑,而有界性则决取于度量。
勒贝格数引理表示,对于紧致度量空间 M 内的每个开覆盖,均存在一个“勒贝格数δ,使得每个 M 内直径 < δ 的子集均会被包含于某些覆盖内。
每个紧致度量空间均为第二可数,且是康托尔集的连续像。(后者由帕维尔·亚历山德罗夫与帕维尔·萨穆伊洛维奇·乌雷松所证得。)
4. 局部紧致与常态空间
度量空间M称为局部紧致的,如果每一点都有一个紧致邻域。 欧氏空间为局部紧致的,但无限维巴拿赫空间则不是。
度量空间M称为常态(proper)的,如果每个闭球都是紧致的。 常态空间是完备且局部紧致的,但局部紧致空间未必是常态的。
5. 连通性
度量空间 M 是连通的,若唯一同时开放或封闭的子集只有空集与 M 本身。
度量空间 M 是路径连通的,若对于 M 内的任两点 x、y,均存在一个连续映射 f : [ 0 , 1 ] → M f\colon [0,1] \to M f:[0,1]→M,其中 f(0)=x 且 f(1)=y。每个路径连通空间都是连通的,但反之通常不成立。
上述性质均有相对的局部定义:局部连通空间与局部路径连通空间。
单连通空间在某一层面上来说,可说是个没有“洞”的空间。
6. 可分空间
一度量空间称之为可分空间,若该空间有可数稠密子集。 典型的例子为实数或任何一个欧氏空间。对于度量空间(但不包括一般拓扑空间)可分性等价于第二可数,亦等价于林德勒夫性质。