第二十二章 度量空间公理距离的三角结构引言拓扑的公理骨架与度量的血肉第二十一章将连续性提炼为满足三条开集公理的任意集族从实数轴的开区间一路推进到不可度量的抽象空间。拓扑公理之美在于极简任意并的封闭性、有限交的封闭性、全集与空集的包含——仅此三条便撑起了连续映射、紧致性、连通性等概念的宏伟架构。然而这种极度的抽象也带来了一种“失落”我们失去了两点之间距离的精确概念失去了“半径”的直观失去了“均匀大小”的开球。在一般的拓扑空间中我们只能说一个点是否属于某个开集却无法回答“这个点离那个点多近”这样的基本问题。度量空间恰好弥补了这种失落。它在一个非空集合上附加了一个满足三角不等式的距离函数从而将几何学中最原始的“近”与“远”的直觉形式化为一组简明的公理。这一创举始于莫里斯·弗雷歇Maurice Fréchet在1906年的博士论文他首次提出了“度量空间”的抽象概念并用它统一了函数空间、欧氏空间和序列空间中的极限概念。其后费利克斯·豪斯多夫Felix Hausdorff在1914年的经典著作《集合论基础》中将度量空间的拓扑性质系统化从而奠定了点集拓扑学的基石。度量空间天然地诱导出一个拓扑但这个拓扑带有许多一般拓扑空间不具备的良好性质它是豪斯多夫的满足第一可数公理序列足以刻画连续性紧致性等价于序列紧致完备性赋予了柯西列的收敛性。度量的引入不仅让拓扑结构更为“可计算”也使其与分析学极限、级数、压缩映射和几何学等距、测地线深度交融。本章将系统展开度量空间的公理体系。我们从度量的三条公理出发定义开球与诱导拓扑并验证其满足拓扑空间的开集公理。接着我们讨论完备性——度量空间独有的核心概念。压缩映射原理将作为完备性的华丽应用而被严格证明。紧致性与完全有界性的等价关系将在度量语境下得到完整刻画。最后我们讨论等距映射、度量的等价与乌雷松度量化定理以揭示拓扑可度量化的条件——即什么样的拓扑空间可以赋予一个相容的度量从而回归到带有“距离”的温和世界。全章将始终贯穿着“拓扑为骨度量为肉”的隐喻使读者既领会抽象拓扑的普遍性又欣赏度量结构的精细与实用。22.1 度量的定义、公理与初步例子22.1.1 度量公理定义 22.1.1度量空间设 (X) 是一个非空集合。函数 (d: X \times X \to \mathbb{R}_{\ge 0}) 称为 (X) 上的一个度量或距离函数若它满足以下三条公理(M1) 正定性对所有 (x, y \in X)(d(x, y) \ge 0)且 (d(x, y) 0) 当且仅当 (x y)。(M2) 对称性对所有 (x, y \in X)(d(x, y) d(y, x))。(M3) 三角不等式对所有 (x, y, z \in X)[d(x, z) \le d(x, y) d(y, z).]有序对 ((X, d)) 称为一个度量空间。这三条公理是从日常“距离”直觉中蒸馏出的数学精华。正定性断言距离是非负的一个点到自身的距离为零而不同的点之间必有正的距离——这赋予空间以“可分辩性”。对称性保证距离与方向无关在测量中意味着“从A到B的距离”等于“从B到A的距离”。三角不等式则是度量公理中最具约束力也最富创造力的一条——它断言“直线是最短路径”任意两点间的直接距离不会超过经过第三点的迂回路径。正是这条不等式将度量空间与最一般的拓扑空间区分开来并带来了无穷的分析可能性。注记伪度量与广义度量若放宽 (d(x, y) 0 \implies x y)只保留 (d(x, x) 0)则得到伪度量pseudometric。伪度量在函数空间如 (\mathcal{L}^p) 空间和拓扑学中有重要应用通过将距离为零的点等同为一个等价类即可从伪度量得到一个真度量。更激进的推广允许距离取值于任意全序交换群如超实数、超自然数或取消对称性得到拟度量乃至只保留三角不等式的“Lawvere度量空间”但这些已超出本章范围。22.1.2 度量的初等推论定理 22.1.2逆三角不等式对于任意 (x, y, z \in X)[|d(x, z) - d(y, z)| \le d(x, y).]证明由三角不等式[d(x, z) \le d(x, y) d(y, z) \implies d(x, z) - d(y, z) \le d(x, y).]交换 (x) 与 (y)得 (d(y, z) - d(x, z) \le d(y, x) d(x, y))。两式结合即得绝对值不等式。∎逆三角不等式揭示了一个深刻的事实距离函数 (x \mapsto d(x, z)) 是Lipschitz连续的Lipschitz常数为1。也就是说当 (x) 略微移动时它到固定点 (z) 的距离不会发生剧烈的变化。这一性质在分析中极为实用它保证距离函数关于其每个自变量都是连续的在诱导拓扑意义下。由归纳法三角不等式可推广至任意有限点列[d(x_1, x_n) \le \sum_{i1}^{n-1} d(x_i, x_{i1}).]这是“折线长度不小于弦长”的形式化。度量几何的核心——测地线、长度空间——皆发端于此。22.1.3 经典例子度量空间的生命力在于其浩如烟海的例子它们覆盖了数学的各个分支。例1实数线(\mathbb{R}) 带通常度量 (d(x, y) |x - y|)。这是所有度量空间的母本和原型。实数的完备性确界原理在此体现为柯西完备性。例2欧氏空间(\mathbb{R}^n) 带欧几里得度量[d_2(\mathbf{x}, \mathbf{y}) \sqrt{\sum_{i1}^n (x_i - y_i)^2}.]三角不等式在此即柯西-施瓦茨不等式的几何形式等价于三角形任意两边之和大于第三边。毕达哥拉斯定理与余弦定理皆是其特殊情形。例3离散度量。在任意非空集合 (X) 上定义[d(x, y) \begin{cases}0, x y, \1, x \neq y.\end{cases}]满足三条公理。离散度量诱导的拓扑是离散拓扑每个单点集都是开集。它展示了极端情形在离散度量的世界里每个点都是一个“孤岛”没有任何其他点在其单位距离之内。例4曼哈顿度量(\ell^1) 度量。在 (\mathbb{R}^n) 上定义[d_1(\mathbf{x}, \mathbf{y}) \sum_{i1}^n |x_i - y_i|.]三角不等式来自绝对值的次可加性。得名于曼哈顿街区网格中出租车所经过的路径。在机器学习Lasso回归、运筹学设施选址中广泛应用。例5上确界度量(\ell^\infty) 度量。在 (\mathbb{R}^n) 上定义[d_\infty(\mathbf{x}, \mathbf{y}) \max_{1 \le i \le n} |x_i - y_i|.]它是切比雪夫距离在国际象棋盘上国王从一个格子走到另一格子的最少步数正合此度量。例6函数空间的一致度量。在闭区间 ([a, b]) 上的连续函数空间 (C[a, b]) 上定义上确界度量一致度量[d_\infty(f, g) \sup_{x \in [a, b]} |f(x) - g(x)|.]三角不等式由绝对值三角不等式及上确界性质保证。在此度量下收敛即一致收敛。一致极限保持连续性的经典定理在度量语言下即断言 (C[a, b]) 在该度量下的完备性。例7(p)-adic度量非阿基米德度量。对于素数 (p)每个非零有理数可唯一写为 (x p^k \frac{a}{b})其中 (a, b) 不被 (p) 整除。定义 (p)-adic赋值 (v_p(x) k)并令 (d_p(x, y) p^{-v_p(x-y)})且 (d_p(x,x)0)。它满足强三角不等式[d_p(x, z) \le \max{d_p(x, y), d_p(y, z)}.]这一超度量空间在数论与代数几何中具有根本重要性其完备化给出 (p)-adic数域 (\mathbb{Q}_p)一个在局部-整体原则中不可或缺的对象。例8编辑距离。在字符串集合上编辑距离Levenshtein距离度量将一个字串转化为另一个所需的最少单字符编辑次数。它满足度量公理在自然语言处理、生物信息学DNA序列比对中至关重要。例9图上的最短路径度量。任意连通简单图 (G(V,E))可赋予顶点集 (V) 一个度量(d(u,v)) 为连接 (u) 与 (v) 的最短路径的边数。三角不等式成立因为连接 (u) 与 (w) 的路径可经由 (v) 拼接。这一视角沟通了组合学与几何群论凯莱图、字度量。例10法国铁路度量。设 (X) 是平面上的点集取定一点 (p)巴黎。定义距离 (d(x,y)) 为若 (x) 和 (y) 与 (p) 共线则为通常欧氏距离 (|x-y|)否则为 (|x-p||p-y|)。这恰是法国铁路网络的抽象所有火车必须先经过巴黎。这些例子已足以展示度量概念的普适性从连续到离散从有限维到无穷维从数论到语言学距离公理提供了一把统一的量尺。22.1.4 伪度量与商构造许多自然的“距离”不满足正定性例如函数空间 (\mathcal{L}^p) 中两个几乎处处相等的函数距离为零。这引出伪度量的概念满足 (M2)(M3) 以及 (d(x,x)0)但不要求 (d(x,y)0 \Rightarrow xy)。给定伪度量空间 ((X, d))可定义等价关系 (x \sim y \iff d(x,y)0)。在商集 (\tilde{X} X/\sim) 上通过 (\tilde{d}([x],[y]) d(x,y)) 可定义真度量。典型的例子便是从半范数到赋范空间的商以及从 (\mathcal{L}^p) 到 (L^p) 空间的构造。22.2 开球、诱导拓扑与度量空间的拓扑性质22.2.1 开球与开集定义 22.2.1开球与闭球设 ((X, d)) 是度量空间(x \in X)(r 0)。以 (x) 为心、(r) 为半径的开球定义为[B(x, r) {y \in X \mid d(x, y) r}.]闭球定义为 (B[x, r] {y \in X \mid d(x, y) \le r})。在任意度量空间中闭球总是闭集因为距离函数连续但闭球不一定是开球的闭包。反例如离散度量空间取 (X) 至少含两点(B(x,1) {x})其闭包仍为 ({x})然而 (B[x,1] X)。这是因为开球半径“1”实际上并未充分利用三角不等式所能达到的全部界限。在赋范空间距离由范数给出中此反常现象消失闭球确为对应开球的闭包。定义 22.2.2度量诱导的拓扑度量空间 ((X, d)) 上的度量拓扑(\mathcal{O}_d) 定义为[U \in \mathcal{O}_d \iff \forall x \in U,\ \exists \delta 0 \text{ 使得 } B(x, \delta) \subseteq U.]即开集恰是那些关于度量“每一点都是内点”的集合。定理 22.2.3度量拓扑 (\mathcal{O}_d) 满足拓扑空间的三条开集公理。证明(T1)(\emptyset) 空虚地满足条件(X) 中任取 (x)任意半径的球皆含于 (X) 内故 (X) 为开集。(T2)设 ({U_i}{i \in I}) 为任意一族开集令 (U \bigcup_i U_i)。若 (x \in U)则存在某 (i_0) 使 (x \in U{i_0})。由 (U_{i_0}) 开存在 (\delta 0) 使 (B(x, \delta) \subseteq U_{i_0} \subseteq U)。因此 (U) 开。(T3)设 (U_1, U_2) 开令 (U U_1 \cap U_2)。对任意 (x \in U)因 (x \in U_1) 且 (x \in U_2)存在 (\delta_1, \delta_2 0) 使 (B(x, \delta_1) \subseteq U_1)(B(x, \delta_2) \subseteq U_2)。取 (\delta \min(\delta_1, \delta_2) 0)则 (B(x, \delta) \subseteq U_1 \cap U_2 U)。故 (U) 开。有限交由归纳法得证。∎因此每个度量空间天然地成为一个拓扑空间。所有拓扑概念——开集、闭集、内部、闭包、连续映射、紧致性、连通性——均自动适用于度量空间。度量拓扑的另一优势在于所有开球构成拓扑基任意开集可写为一族开球的并。22.2.2 度量拓扑的基本性质定理 22.2.4度量空间是豪斯多夫的度量拓扑是豪斯多夫空间(T_2)。证明设 (x \neq y)则 (r d(x, y) 0)。取 (\varepsilon r/2)开球 (B(x, \varepsilon)) 与 (B(y, \varepsilon)) 互不相交。若存在 (z) 同属两者则[d(x, y) \le d(x, z) d(z, y) \varepsilon \varepsilon r,]与 (d(x, y) r) 矛盾。∎定理 22.2.5第一可数性度量空间满足第一可数公理每个点 (x) 处存在可数的邻域基。例如({B(x, 1/n) \mid n \in \mathbb{N}^}) 即为其一。第一可数性意味着在度量空间中拓扑的极限、闭包、连续性等概念均可用序列完全刻画而无需诉诸网或滤子。例如映射 (f: X \to Y) 在 (x) 处连续当且仅当对每个收敛于 (x) 的序列 ((x_n))有 (f(x_n) \to f(x))。这极大地简化了分析中的推理。定理 22.2.6距离函数的连续性距离函数 (d: X \times X \to \mathbb{R})在乘积拓扑与通常实数拓扑下是连续的。证明对于 ((x_1, y_1)) 与 ((x_2, y_2))连续应用逆三角不等式可得[|d(x_1, y_1) - d(x_2, y_2)| \le d(x_1, x_2) d(y_1, y_2).]因此给定 (\varepsilon 0)取 (\delta \varepsilon/2)若 ((x_2, y_2)) 在 ((x_1, y_1)) 的 (\delta)-邻域内即 (d(x_1, x_2) \delta) 且 (d(y_1, y_2) \delta)则 (|d(x_1, y_1) - d(x_2, y_2)| \varepsilon)。故 (d) 连续。∎这个看似不起眼的定理实则极为深刻它说明度量不仅是附加在集合上的结构而且该结构本身在诱导拓扑下是连续可变的。这种“自洽性”是度量空间理论优美的源泉之一。同时它也说明了为何在度量空间的定义中我们通常要求距离函数取实数值——实数的序结构和拓扑保证了这种连续性。定理 22.2.7度量空间的分离性与正规性每个度量空间都是正规的(T_4)事实上甚至是完全正规的(T_6)。证明可通过距离函数构造乌雷松函数实现对于不交闭集 (A) 与 (B)定义 (f(x) \frac{d(x, A)}{d(x, A) d(x, B)})这是一个连续的实值函数在 (A) 上为 (0)在 (B) 上为 (1)。这种用距离函数“插入”连续函数的技巧是度量空间相比一般拓扑空间的又一巨大便利。22.3 完备性柯西序列的归宿22.3.1 柯西列与完备空间在一般拓扑空间中“收敛”可用开集定义(x_n \to x) 当且仅当对 (x) 的每个邻域 (U)最终有 (x_n \in U)。但“柯西序列”却无法在纯拓扑的框架中定义——因为它要求比较序列中任意两点之间的距离而不仅仅是每点与极限点的距离。因此完备性是一种真正意义上的度量性质而非拓扑性质。事实上((0,1)) 与 (\mathbb{R}) 同胚但前者在通常度量下不完备后者完备说明完备性不能被同胚保持。定义 22.3.1柯西序列度量空间 ((X, d)) 中的序列 ((x_n)_{n1}^\infty) 称为柯西序列若对于任意 (\varepsilon 0)存在 (N \in \mathbb{N}) 使得对所有 (m, n \ge N)有 (d(x_m, x_n) \varepsilon)。定义 22.3.2完备性度量空间 (X) 称为完备的若 (X) 中的每个柯西序列都收敛到 (X) 中的某一点。完备性是度量空间最核心的概念之一。它捕捉了“无洞”这一直观任何“本应收敛”的序列都不被空间所遗漏。每个收敛序列必是柯西序列由三角不等式立得完备性即其逆命题——凡是有资格收敛的序列其极限必在空间之中。经典范例(\mathbb{R}) 完备这是实数连续性的等价表述之一。(\mathbb{Q}) 不完备序列 (1, 1.4, 1.41, 1.414, \dots) 是柯西列但在 (\mathbb{Q}) 中不收敛。(\mathbb{R}^n) 在任意 (\ell^p) 度量下完备。(C[a, b]) 在上确界度量下完备一致柯西序列的一致极限必为连续函数。离散度量空间完备因为柯西列终归为常值。(\mathbb{Q}_p)(p)-adic数域完备这是亨泽尔引理的拓扑基础。22.3.2 完备子空间与闭性的关系定理 22.3.3设 ((X, d)) 是完备度量空间(A \subseteq X)。则子空间 ((A, d|_A)) 完备当且仅当 (A) 是 (X) 中的闭集。证明((\Rightarrow)) 若 (A) 完备设 (x \in \overline{A})则存在 (A) 中序列 (x_n \to x)。收敛列必是柯西列由 (A) 完备该柯西列必在 (A) 中收敛到某 (a \in A)。但豪斯多夫空间中极限唯一故 (x a \in A)。因此 (A) 闭。((\Leftarrow)) 若 (A) 闭设 ((x_n)) 是 (A) 中柯西列。因 (X) 完备存在 (x \in X) 使 (x_n \to x)。由于 (A) 闭极限 (x \in A)。故 (A) 完备。∎此定理提供了一个判断子空间完备性的简便方法只需将空间嵌入一个已知完备的大空间然后检验其是否为大空间的闭子集。例如(C[a, b]) 可视为所有有界函数空间上确界度量下完备的闭子空间。22.3.3 度量空间的完备化与有理数可完备化为实数类似任何度量空间都可以完备化——即等距嵌入到一个完备度量空间且像在其中稠密。这一定理由豪斯多夫给出其泛性质使之成为范畴论中反射子范畴的早期范例。定理 22.3.4完备化定理设 ((X, d)) 是度量空间。则存在完备度量空间 ((\tilde{X}, \tilde{d})) 和等距嵌入 (\iota: X \to \tilde{X})使得 (\iota(X)) 在 (\tilde{X}) 中稠密。且满足此泛性质的完备化在保距离双射意义下唯一。构造概要令 (\mathcal{C}) 为 (X) 中所有柯西序列的集合。定义等价关系 ((x_n) \sim (y_n)) 当且仅当 (\lim_{n \to \infty} d(x_n, y_n) 0)需验证该极限存在。在等价类集 (\tilde{X} \mathcal{C}/\sim) 上定义度量 (\tilde{d}([(x_n)], [(y_n)]) \lim_{n\to\infty} d(x_n, y_n))该极限存在且与代表元选取无关。验证 ((\tilde{X}, \tilde{d})) 为完备度量空间且 (X) 通过常值序列等距嵌入其中。唯一性可通过交换图表和稠密性证明。∎完备化是泛性质在度量空间范畴中的体现完备度量空间构成度量空间范畴的一个反射子范畴。这一构造深刻影响了泛函分析Banach空间的完备化、Hilbert空间、数论(\mathbb{Q}) 的 (p)-adic完备化和交换代数分式域的完备化。22.3.4 贝尔纲定理完备性的第一个深刻推论度量空间完备性的一个里程碑式的结论是贝尔纲定理它断言“完备度量空间不能被写成一列无处稠密集的可数并”。为叙述精确回忆子集 (A)无处稠密若其闭包的内点为空集合为第一纲若其可写为无处稠密集的可列并否则为第二纲。定理 22.3.5贝尔纲定理完备度量空间是第二纲的。等价地可数个稠密开集的交仍是稠密的。证明思路设 ({U_n}) 是一列稠密开集任取开球 (B_0)。因 (U_1) 稠密可选取小球 (B_1 \subseteq U_1 \cap B_0) 且半径可小于 (1)。递推构造一个嵌缩球列 (B_n) 半径趋于 (0)由完备性它们的交非空且属于所有 (U_n)从而交的稠密性得证。∎贝尔纲定理在分析中的应用无处不在一致有界原理、开映射定理、闭图像定理皆由其导出。它甚至还断言“处处连续但无处可微的函数”在 (C[0,1]) 中是“大多数”第二纲这是完备性赋予分析学的某种“丰度”。22.4 压缩映射原理完备性的华尔兹完备性最脍炙人口的应用当属巴拿赫不动点定理又称压缩映射原理。它统一了微分方程解的存在唯一性、隐函数定理、迭代算法的收敛性等一系列结果是数学中“以简驭繁”的典范。22.4.1 压缩映射与不动点定义 22.4.1压缩映射设 ((X, d)) 是度量空间。映射 (T: X \to X) 称为压缩映射若存在常数 (c \in [0, 1)) 使得对所有 (x, y \in X)[d(T(x), T(y)) \le c \cdot d(x, y).]常数 (c) 称为压缩系数。定理 22.4.2巴拿赫不动点定理设 ((X, d)) 是完备度量空间(T: X \to X) 是压缩映射。则 (T) 存在唯一的不动点(x^* \in X)即 (T(x^) x^)。且对于任意初始点 (x_0 \in X)迭代序列 (x_{n1} T(x_n)) 收敛到 (x^)并有误差估计[d(x_n, x^) \le \frac{c^n}{1 - c} d(x_1, x_0).]证明唯一性若 (x, y) 都是不动点则 (d(x, y) d(T(x), T(y)) \le c , d(x, y))。因 (c 1)必有 (d(x, y) 0)即 (x y)。存在性任取 (x_0 \in X)定义 (x_{n1} T(x_n))。对 (n \ge 1)[d(x_{n1}, x_n) d(T(x_n), T(x_{n-1})) \le c , d(x_n, x_{n-1}).]由归纳得 (d(x_{n1}, x_n) \le c^n d(x_1, x_0))。对于任意 (m n)反复使用三角不等式[\begin{aligned}d(x_m, x_n) \le \sum_{kn}^{m-1} d(x_{k1}, x_k)\le \sum_{kn}^{m-1} c^k d(x_1, x_0) \\le c^n d(x_1, x_0) \sum_{j0}^{\infty} c^j \frac{c^n}{1 - c} d(x_1, x_0).\end{aligned}]由于 (c^n \to 0)((x_n)) 是柯西序列。由 (X) 完备存在 (x^* \in X) 使 (x_n \to x^*)。压缩映射必然连续甚至Lipschitz故[T(x^) T(\lim x_n) \lim T(x_n) \lim x_{n1} x^.]因此 (x^*) 是不动点。误差估计即从上述不等式令 (m \to \infty) 取极限得到。∎22.4.2 应用一例皮卡-林德洛夫定理压缩映射原理最经典的分析应用当属常微分方程初值问题的解存在唯一性定理。考虑[\frac{dy}{dt} f(t, y), \quad y(t_0) y_0,]其中 (f) 在矩形 (R [t_0 - a, t_0 a] \times [y_0 - b, y_0 b]) 上连续且关于 (y) 满足利普希茨条件 (|f(t, y_1) - f(t, y_2)| \le L |y_1 - y_2|)。该问题等价于积分方程[y(t) y_0 \int_{t_0}^t f(s, y(s)) , ds.]在区间 (I_h [t_0 - h, t_0 h]) 上其中 (h) 足够小使积分值不超出矩形且压缩系数成立考虑完备度量空间 (C(I_h)) 配以上确界范数或加权范数以调节利普希茨常数。定义映射 (T) 为[T(y)(t) y_0 \int_{t_0}^t f(s, y(s)) , ds.]适选 (h) 可保证 (T) 为压缩映射。巴拿赫不动点定理立刻给出唯一解的存在性且解可通过皮卡迭代 (y_{n1} T(y_n)) 逼近。这一证明彻底、优雅且具建设性是泛函分析方法渗入微分方程的里程碑。22.4.3 压缩映射原理的广阔疆域压缩映射原理的身影遍布现代数学牛顿法在适当前提下牛顿迭代 (x_{n1} x_n - [F’(x_n)]^{-1}F(x_n)) 是局部压缩映射从而保证二次收敛性。隐函数定理其标准证明正是将问题转化为某一完备函数空间上的压缩映射。分形几何迭代函数系如谢尔宾斯基三角形、科赫雪花的构造依赖于压缩映射族在Hausdorff度量下于紧集空间中的不动点。动态规划与强化学习贝尔曼算子通常是压缩映射不动点即为最优值函数。压缩映射原理是完备性公理的华丽绽放正是完备性保证了那个不动点有一个“容身之所”否则迭代序列可能收敛到空间之外的“幽灵”。22.5 紧致性在度量空间中的刻画在一般拓扑空间中紧致性由开覆盖的有限子覆盖定义。在度量空间中这一定义与序列紧致性和完全有界性等价。三角不等式在此处的威力展露无遗。22.5.1 序列紧致与勒贝格数引理定义 22.5.1序列紧致度量空间 (X) 称为序列紧致的若 (X) 中的每个序列都有收敛的子序列。定理 22.5.2在度量空间中紧致性等价于序列紧致性。证明要点(紧致 (\Rightarrow) 序列紧致) 设 ((x_n)) 为序列。若其值域有限则存在常值子列收敛。若值域无限由紧致性无限集必有聚点可选出收敛子列。(序列紧致 (\Rightarrow) 紧致) 此方向需借助勒贝格数引理。设 ((X, d)) 序列紧致({U_\alpha}) 为任意开覆盖。首先证明勒贝格数引理在序列紧致或紧致度量空间中对于任何开覆盖存在 (\delta 0)称为勒贝格数使得空间内任意直径小于 (\delta) 的子集都包含于某个覆盖成员内。证明靠反证法及序列紧致性抽出矛盾。有了勒贝格数引理再证明序列紧致性蕴含完全有界进而可用有限个半径为 (\delta) 的球覆盖空间每个球含于某个 (U_\alpha)从而选出有限子覆盖。∎勒贝格数引理的证明本身是三角不等式的一次精彩演出。它揭示了度量环境下开覆盖的“均匀尺度”这在一般拓扑空间中全然不存在。22.5.2 完全有界性定义 22.5.3完全有界度量空间 (X) 称为完全有界的若对于任意 (\varepsilon 0)存在有限个半径为 (\varepsilon) 的开球覆盖 (X)。这有限个球的中心构成的集合称为 (\varepsilon)-网。完全有界性比通常的有界性强得多实数区间 ((0,1)) 有界但若赋予离散度量(d(x,y)1) 当 (x\neq y)则完全无界——因为需要不可数个半径为 (1/2) 的球才能覆盖。但在 (\mathbb{R}^n) 的标准度量下有界与完全有界等价这是有限维空间的特殊恩赐。22.5.3 豪斯多夫紧致性定理定理 22.5.4豪斯多夫度量空间 (X) 是紧致的当且仅当它是完备且完全有界的。证明概要((\Rightarrow)) 紧致必序列紧致序列紧致蕴含完备每个柯西列有收敛子列再由柯西性推出整个序列收敛。同时开覆盖 ({B(x, \varepsilon)}_{x \in X}) 有有限子覆盖即为有限 (\varepsilon)-网故完全有界。((\Leftarrow)) 完备且完全有界 (\Rightarrow) 序列紧致。对任意序列用完全有界性构造对角线子列存在有限个半径为 (1) 的球覆盖空间至少一个球包含无穷多项在此球内再用半径为 (1/2) 的球细分选取包含无穷多项者以此递推。所得子列为柯西列由完备性收敛。故紧致。∎此定理是海涅-博雷尔定理(\mathbb{R}^n) 中闭且有界 (\Leftrightarrow) 紧致的深刻推广。在 (\mathbb{R}^n) 中完备等价于闭完全有界等价于有界但在无穷维Banach空间中闭单位球有界但不完全有界里斯引理因而非紧致。这揭示了有限维与无穷维空间的本质分野紧致性在无穷维空间中是一个极其严苛的要求而完全有界性正是其灵魂所在。22.6 等距映射与度量的等价22.6.1 等距与等距嵌入定义 22.6.1等距映射设 ((X, d_X)) 与 ((Y, d_Y)) 为度量空间。映射 (f: X \to Y) 称为等距映射若对所有 (x_1, x_2 \in X)[d_Y(f(x_1), f(x_2)) d_X(x_1, x_2).]等距映射必然是单射由正定性。若它还是满射则称两空间等距同构。等距同构是度量空间的“全同”概念它比同胚更强不仅保持拓扑还保持精确的距离值。例如平面上的旋转和平移是等距映射而位似变换 (x \mapsto 2x) 则不是等距它是相似变换将距离统一缩放拓扑上是同胚。度量空间的分类在等距意义下极为丰富如单连通常曲率空间的分类球面、欧氏空间、双曲空间是黎曼几何的核心命题。22.6.2 拓扑等价与一致等价同一集合上可赋予多种度量它们之间的关系可粗可精。定义 22.6.2拓扑等价度量 (d_1) 与 (d_2) 称为拓扑等价的若它们诱导相同的拓扑即恒等映射为同胚。定义 22.6.3一致等价 / 李普希茨等价(d_1) 与 (d_2) 称为一致等价的若存在常数 (\alpha, \beta 0) 使得对所有 (x, y \in X)[\alpha d_1(x, y) \le d_2(x, y) \le \beta d_1(x, y).]一致等价远强于拓扑等价它不仅保持收敛和极限还保持柯西序列、完备性、一致连续性。在 (\mathbb{R}^n) 上(\ell^1, \ell^2, \ell^\infty) 度量都是一致等价的因而它们共享完备性、紧致性。相反(\mathbb{R}) 上 (d(x,y) |x-y|) 与 (d’(x,y) |x^3 - y^3|) 是拓扑等价的同胚由 (x \mapsto x^3) 实现但并不一致等价因为函数 (x \mapsto x^3) 不是一致连续的。在 (d’) 下序列 (x_n n) 不再是柯西序列——这显示了一致结构的变化。因此完备性不是拓扑性质而是一致性质。22.6.3 乌雷松度量化定理在第二十一章末尾我们埋下了伏笔什么样的拓扑空间可由某个度量诱导答案由乌雷松Pavel Urysohn在1920年代给出后经诸多数学家完善。定理 22.6.4乌雷松度量化定理拓扑空间 ((X, \mathcal{O})) 是可度量化的即存在 (X) 上的度量 (d) 使得 (\mathcal{O} \mathcal{O}_d)当且仅当 (X) 是第二可数的正则 (T_1) 空间即 (T_3) 空间。证明方向((\Rightarrow)) 度量空间正则且若度量化拓扑具有可数基当且仅当空间是第二可数因开球族可精炼。((\Leftarrow)) 构造嵌入第二可数正则空间可嵌入到希尔伯特立方体 ([0, 1]^\omega)可数乘积后者由可数个坐标的一致度量或乘积度量成为可度量化空间。子空间继承度量故原空间可度量化。乌雷松定理完成了从拓扑回到度量的逻辑闭环它精确刻画了“度量的领地”——只有那些拓扑上足够“小”第二可数且分离性足够“好”正则 (T_1)的空间才能被赋予一个协调的距离函数。值得注意的是第二可数条件可放宽纳盖塔-斯米尔诺夫度量化定理断言正则空间可度量化当且仅当它具有局部有限的基。但对于大部分分析中出现的空间第二可数性已然够用且易于验证。22.7 连续函数空间上的度量与阿尔泽拉-阿斯科利定理函数空间构成了度量空间理论最重要的应用领域之一。(C[a, b]) 上的一致度量已为我们熟知。那么这个完备的度量空间中什么样的子集是紧致的答案由阿尔泽拉-阿斯科利定理给出——它将紧致性等价于两个易于检验的分析条件堪称度量空间紧致性理论的登峰造极之作。定义 22.7.1等度连续与一致有界设 (\mathcal{F} \subseteq C[a, b])。(\mathcal{F})一致有界存在 (M 0) 使对一切 (f \in \mathcal{F}, x \in [a,b])有 (|f(x)| \le M)。(\mathcal{F})等度连续对任意 (\varepsilon 0)存在 (\delta 0)使对所有 (f \in \mathcal{F}) 及满足 (|x - y| \delta) 的 (x, y)有 (|f(x) - f(y)| \varepsilon)。定理 22.7.2阿尔泽拉-阿斯科利子集 (\mathcal{F} \subseteq C[a, b])赋予上确界度量是紧致的当且仅当它是闭的、一致有界且等度连续。证明要点紧致性蕴含完全有界和闭完全有界可推导出一致有界和等度连续。反之闭、一致有界且等度连续可推出 (\mathcal{F}) 完全有界利用等度连续性和紧致区间 ([a, b]) 的总有界性构造有限个“分段常值函数”组成的网以逼近 (\mathcal{F}) 中所有函数。结合 (C[a, b]) 的完备性及闭性得 (\mathcal{F}) 完备且完全有界故紧致。∎该定理在偏微分方程紧嵌入定理、复分析蒙泰尔定理和变分法中处于核心地位。它的深刻之处在于将全局拓扑性质紧致性分解为局部的“波形约束”等度连续和整体的“振幅约束”一致有界是度量公理在无穷维空间中的一次华丽凯旋。22.8 度量完备化与泛函分析的基础度量完备化不仅是实数构造的推广更是泛函分析这座大厦的地基。赋范向量空间若在诱导度量下完备则称为Banach空间内积空间若完备则称为Hilbert空间。这些完备空间上的线性算子理论——一致有界原理、开映射定理、闭图像定理——全然依赖于完备性公理与贝尔纲定理。以一致有界原理为例它正由贝尔纲定理推出而贝尔纲定理又深深扎根于完备度量空间的丰饶土壤。此外勒贝格积分理论中 (L^p) 空间的完备性Riesz–Fischer定理使得这些空间成为现代分析和偏微分方程的坚固基石。从索伯列夫空间到哈代空间从遍历理论到非交换几何完备化以各种形式反复出现。即便是 (p)-adic世界(\mathbb{Q}_p) 的完备性也是数论局部化方法的核心。一切这些都发端于本章那三条简洁的度量公理——正定性、对称性、三角不等式——以及一个看似平凡的额外要求每一个柯西梦都有其栖息之所。公理化的火种在此燎原。22.9 结语三角不等式的万千世界度量空间的三条公理看似简单却为拓扑的骨架注入了分析的灵魂。它们赋予了抽象空间以“尺度”使得我们能够测量、比较、逼近、迭代。柯西序列的收敛性在这些公理的滋养下成为完备性的基础完备性反过来为不动点定理、隐函数定理、度量完备化等提供了坚实的逻辑基础。紧致性在度量外衣下化为更易操作的序列紧致和完全有界性度量的等价类则引导我们区分“拓扑”与“一致”的层次。从日常的欧氏距离到抽象的编辑距离从有限维的 (\mathbb{R}^n) 到无穷维的函数空间度量公理涵盖了人类对“距离”的几乎所有数学直觉。它向我们展示了公理化方法的另一种魅力不是剥离具体性追求最抽象而是在适当的抽象层面保留足够的结构使得定理既具有普适的深刻性又不失具体的可计算性。三角不等式——这条古老而朴素的几何真理——在公理的炼金炉中化为通往完备性、紧致性、不动点定理的万能钥匙。在下一章我们将转入完备性的等价形态专题将度量完备性与实数确界原理、紧致性、贝尔纲定理等概念串联成一个宏大的逻辑圆圈再度见证公理体系内在的自洽与循环美。拓扑为骨度量为肉而三角不等式便是那紧绷于骨架之间的韧筋赋予数学宇宙以张力和弹性。
第二十二章 度量空间公理距离的三角结构引言拓扑的公理骨架与度量的血肉第二十一章将连续性提炼为满足三条开集公理的任意集族从实数轴的开区间一路推进到不可度量的抽象空间。拓扑公理之美在于极简任意并的封闭性、有限交的封闭性、全集与空集的包含——仅此三条便撑起了连续映射、紧致性、连通性等概念的宏伟架构。然而这种极度的抽象也带来了一种“失落”我们失去了两点之间距离的精确概念失去了“半径”的直观失去了“均匀大小”的开球。在一般的拓扑空间中我们只能说一个点是否属于某个开集却无法回答“这个点离那个点多近”这样的基本问题。度量空间恰好弥补了这种失落。它在一个非空集合上附加了一个满足三角不等式的距离函数从而将几何学中最原始的“近”与“远”的直觉形式化为一组简明的公理。这一创举始于莫里斯·弗雷歇Maurice Fréchet在1906年的博士论文他首次提出了“度量空间”的抽象概念并用它统一了函数空间、欧氏空间和序列空间中的极限概念。其后费利克斯·豪斯多夫Felix Hausdorff在1914年的经典著作《集合论基础》中将度量空间的拓扑性质系统化从而奠定了点集拓扑学的基石。度量空间天然地诱导出一个拓扑但这个拓扑带有许多一般拓扑空间不具备的良好性质它是豪斯多夫的满足第一可数公理序列足以刻画连续性紧致性等价于序列紧致完备性赋予了柯西列的收敛性。度量的引入不仅让拓扑结构更为“可计算”也使其与分析学极限、级数、压缩映射和几何学等距、测地线深度交融。本章将系统展开度量空间的公理体系。我们从度量的三条公理出发定义开球与诱导拓扑并验证其满足拓扑空间的开集公理。接着我们讨论完备性——度量空间独有的核心概念。压缩映射原理将作为完备性的华丽应用而被严格证明。紧致性与完全有界性的等价关系将在度量语境下得到完整刻画。最后我们讨论等距映射、度量的等价与乌雷松度量化定理以揭示拓扑可度量化的条件——即什么样的拓扑空间可以赋予一个相容的度量从而回归到带有“距离”的温和世界。全章将始终贯穿着“拓扑为骨度量为肉”的隐喻使读者既领会抽象拓扑的普遍性又欣赏度量结构的精细与实用。22.1 度量的定义、公理与初步例子22.1.1 度量公理定义 22.1.1度量空间设 (X) 是一个非空集合。函数 (d: X \times X \to \mathbb{R}_{\ge 0}) 称为 (X) 上的一个度量或距离函数若它满足以下三条公理(M1) 正定性对所有 (x, y \in X)(d(x, y) \ge 0)且 (d(x, y) 0) 当且仅当 (x y)。(M2) 对称性对所有 (x, y \in X)(d(x, y) d(y, x))。(M3) 三角不等式对所有 (x, y, z \in X)[d(x, z) \le d(x, y) d(y, z).]有序对 ((X, d)) 称为一个度量空间。这三条公理是从日常“距离”直觉中蒸馏出的数学精华。正定性断言距离是非负的一个点到自身的距离为零而不同的点之间必有正的距离——这赋予空间以“可分辩性”。对称性保证距离与方向无关在测量中意味着“从A到B的距离”等于“从B到A的距离”。三角不等式则是度量公理中最具约束力也最富创造力的一条——它断言“直线是最短路径”任意两点间的直接距离不会超过经过第三点的迂回路径。正是这条不等式将度量空间与最一般的拓扑空间区分开来并带来了无穷的分析可能性。注记伪度量与广义度量若放宽 (d(x, y) 0 \implies x y)只保留 (d(x, x) 0)则得到伪度量pseudometric。伪度量在函数空间如 (\mathcal{L}^p) 空间和拓扑学中有重要应用通过将距离为零的点等同为一个等价类即可从伪度量得到一个真度量。更激进的推广允许距离取值于任意全序交换群如超实数、超自然数或取消对称性得到拟度量乃至只保留三角不等式的“Lawvere度量空间”但这些已超出本章范围。22.1.2 度量的初等推论定理 22.1.2逆三角不等式对于任意 (x, y, z \in X)[|d(x, z) - d(y, z)| \le d(x, y).]证明由三角不等式[d(x, z) \le d(x, y) d(y, z) \implies d(x, z) - d(y, z) \le d(x, y).]交换 (x) 与 (y)得 (d(y, z) - d(x, z) \le d(y, x) d(x, y))。两式结合即得绝对值不等式。∎逆三角不等式揭示了一个深刻的事实距离函数 (x \mapsto d(x, z)) 是Lipschitz连续的Lipschitz常数为1。也就是说当 (x) 略微移动时它到固定点 (z) 的距离不会发生剧烈的变化。这一性质在分析中极为实用它保证距离函数关于其每个自变量都是连续的在诱导拓扑意义下。由归纳法三角不等式可推广至任意有限点列[d(x_1, x_n) \le \sum_{i1}^{n-1} d(x_i, x_{i1}).]这是“折线长度不小于弦长”的形式化。度量几何的核心——测地线、长度空间——皆发端于此。22.1.3 经典例子度量空间的生命力在于其浩如烟海的例子它们覆盖了数学的各个分支。例1实数线(\mathbb{R}) 带通常度量 (d(x, y) |x - y|)。这是所有度量空间的母本和原型。实数的完备性确界原理在此体现为柯西完备性。例2欧氏空间(\mathbb{R}^n) 带欧几里得度量[d_2(\mathbf{x}, \mathbf{y}) \sqrt{\sum_{i1}^n (x_i - y_i)^2}.]三角不等式在此即柯西-施瓦茨不等式的几何形式等价于三角形任意两边之和大于第三边。毕达哥拉斯定理与余弦定理皆是其特殊情形。例3离散度量。在任意非空集合 (X) 上定义[d(x, y) \begin{cases}0, x y, \1, x \neq y.\end{cases}]满足三条公理。离散度量诱导的拓扑是离散拓扑每个单点集都是开集。它展示了极端情形在离散度量的世界里每个点都是一个“孤岛”没有任何其他点在其单位距离之内。例4曼哈顿度量(\ell^1) 度量。在 (\mathbb{R}^n) 上定义[d_1(\mathbf{x}, \mathbf{y}) \sum_{i1}^n |x_i - y_i|.]三角不等式来自绝对值的次可加性。得名于曼哈顿街区网格中出租车所经过的路径。在机器学习Lasso回归、运筹学设施选址中广泛应用。例5上确界度量(\ell^\infty) 度量。在 (\mathbb{R}^n) 上定义[d_\infty(\mathbf{x}, \mathbf{y}) \max_{1 \le i \le n} |x_i - y_i|.]它是切比雪夫距离在国际象棋盘上国王从一个格子走到另一格子的最少步数正合此度量。例6函数空间的一致度量。在闭区间 ([a, b]) 上的连续函数空间 (C[a, b]) 上定义上确界度量一致度量[d_\infty(f, g) \sup_{x \in [a, b]} |f(x) - g(x)|.]三角不等式由绝对值三角不等式及上确界性质保证。在此度量下收敛即一致收敛。一致极限保持连续性的经典定理在度量语言下即断言 (C[a, b]) 在该度量下的完备性。例7(p)-adic度量非阿基米德度量。对于素数 (p)每个非零有理数可唯一写为 (x p^k \frac{a}{b})其中 (a, b) 不被 (p) 整除。定义 (p)-adic赋值 (v_p(x) k)并令 (d_p(x, y) p^{-v_p(x-y)})且 (d_p(x,x)0)。它满足强三角不等式[d_p(x, z) \le \max{d_p(x, y), d_p(y, z)}.]这一超度量空间在数论与代数几何中具有根本重要性其完备化给出 (p)-adic数域 (\mathbb{Q}_p)一个在局部-整体原则中不可或缺的对象。例8编辑距离。在字符串集合上编辑距离Levenshtein距离度量将一个字串转化为另一个所需的最少单字符编辑次数。它满足度量公理在自然语言处理、生物信息学DNA序列比对中至关重要。例9图上的最短路径度量。任意连通简单图 (G(V,E))可赋予顶点集 (V) 一个度量(d(u,v)) 为连接 (u) 与 (v) 的最短路径的边数。三角不等式成立因为连接 (u) 与 (w) 的路径可经由 (v) 拼接。这一视角沟通了组合学与几何群论凯莱图、字度量。例10法国铁路度量。设 (X) 是平面上的点集取定一点 (p)巴黎。定义距离 (d(x,y)) 为若 (x) 和 (y) 与 (p) 共线则为通常欧氏距离 (|x-y|)否则为 (|x-p||p-y|)。这恰是法国铁路网络的抽象所有火车必须先经过巴黎。这些例子已足以展示度量概念的普适性从连续到离散从有限维到无穷维从数论到语言学距离公理提供了一把统一的量尺。22.1.4 伪度量与商构造许多自然的“距离”不满足正定性例如函数空间 (\mathcal{L}^p) 中两个几乎处处相等的函数距离为零。这引出伪度量的概念满足 (M2)(M3) 以及 (d(x,x)0)但不要求 (d(x,y)0 \Rightarrow xy)。给定伪度量空间 ((X, d))可定义等价关系 (x \sim y \iff d(x,y)0)。在商集 (\tilde{X} X/\sim) 上通过 (\tilde{d}([x],[y]) d(x,y)) 可定义真度量。典型的例子便是从半范数到赋范空间的商以及从 (\mathcal{L}^p) 到 (L^p) 空间的构造。22.2 开球、诱导拓扑与度量空间的拓扑性质22.2.1 开球与开集定义 22.2.1开球与闭球设 ((X, d)) 是度量空间(x \in X)(r 0)。以 (x) 为心、(r) 为半径的开球定义为[B(x, r) {y \in X \mid d(x, y) r}.]闭球定义为 (B[x, r] {y \in X \mid d(x, y) \le r})。在任意度量空间中闭球总是闭集因为距离函数连续但闭球不一定是开球的闭包。反例如离散度量空间取 (X) 至少含两点(B(x,1) {x})其闭包仍为 ({x})然而 (B[x,1] X)。这是因为开球半径“1”实际上并未充分利用三角不等式所能达到的全部界限。在赋范空间距离由范数给出中此反常现象消失闭球确为对应开球的闭包。定义 22.2.2度量诱导的拓扑度量空间 ((X, d)) 上的度量拓扑(\mathcal{O}_d) 定义为[U \in \mathcal{O}_d \iff \forall x \in U,\ \exists \delta 0 \text{ 使得 } B(x, \delta) \subseteq U.]即开集恰是那些关于度量“每一点都是内点”的集合。定理 22.2.3度量拓扑 (\mathcal{O}_d) 满足拓扑空间的三条开集公理。证明(T1)(\emptyset) 空虚地满足条件(X) 中任取 (x)任意半径的球皆含于 (X) 内故 (X) 为开集。(T2)设 ({U_i}{i \in I}) 为任意一族开集令 (U \bigcup_i U_i)。若 (x \in U)则存在某 (i_0) 使 (x \in U{i_0})。由 (U_{i_0}) 开存在 (\delta 0) 使 (B(x, \delta) \subseteq U_{i_0} \subseteq U)。因此 (U) 开。(T3)设 (U_1, U_2) 开令 (U U_1 \cap U_2)。对任意 (x \in U)因 (x \in U_1) 且 (x \in U_2)存在 (\delta_1, \delta_2 0) 使 (B(x, \delta_1) \subseteq U_1)(B(x, \delta_2) \subseteq U_2)。取 (\delta \min(\delta_1, \delta_2) 0)则 (B(x, \delta) \subseteq U_1 \cap U_2 U)。故 (U) 开。有限交由归纳法得证。∎因此每个度量空间天然地成为一个拓扑空间。所有拓扑概念——开集、闭集、内部、闭包、连续映射、紧致性、连通性——均自动适用于度量空间。度量拓扑的另一优势在于所有开球构成拓扑基任意开集可写为一族开球的并。22.2.2 度量拓扑的基本性质定理 22.2.4度量空间是豪斯多夫的度量拓扑是豪斯多夫空间(T_2)。证明设 (x \neq y)则 (r d(x, y) 0)。取 (\varepsilon r/2)开球 (B(x, \varepsilon)) 与 (B(y, \varepsilon)) 互不相交。若存在 (z) 同属两者则[d(x, y) \le d(x, z) d(z, y) \varepsilon \varepsilon r,]与 (d(x, y) r) 矛盾。∎定理 22.2.5第一可数性度量空间满足第一可数公理每个点 (x) 处存在可数的邻域基。例如({B(x, 1/n) \mid n \in \mathbb{N}^}) 即为其一。第一可数性意味着在度量空间中拓扑的极限、闭包、连续性等概念均可用序列完全刻画而无需诉诸网或滤子。例如映射 (f: X \to Y) 在 (x) 处连续当且仅当对每个收敛于 (x) 的序列 ((x_n))有 (f(x_n) \to f(x))。这极大地简化了分析中的推理。定理 22.2.6距离函数的连续性距离函数 (d: X \times X \to \mathbb{R})在乘积拓扑与通常实数拓扑下是连续的。证明对于 ((x_1, y_1)) 与 ((x_2, y_2))连续应用逆三角不等式可得[|d(x_1, y_1) - d(x_2, y_2)| \le d(x_1, x_2) d(y_1, y_2).]因此给定 (\varepsilon 0)取 (\delta \varepsilon/2)若 ((x_2, y_2)) 在 ((x_1, y_1)) 的 (\delta)-邻域内即 (d(x_1, x_2) \delta) 且 (d(y_1, y_2) \delta)则 (|d(x_1, y_1) - d(x_2, y_2)| \varepsilon)。故 (d) 连续。∎这个看似不起眼的定理实则极为深刻它说明度量不仅是附加在集合上的结构而且该结构本身在诱导拓扑下是连续可变的。这种“自洽性”是度量空间理论优美的源泉之一。同时它也说明了为何在度量空间的定义中我们通常要求距离函数取实数值——实数的序结构和拓扑保证了这种连续性。定理 22.2.7度量空间的分离性与正规性每个度量空间都是正规的(T_4)事实上甚至是完全正规的(T_6)。证明可通过距离函数构造乌雷松函数实现对于不交闭集 (A) 与 (B)定义 (f(x) \frac{d(x, A)}{d(x, A) d(x, B)})这是一个连续的实值函数在 (A) 上为 (0)在 (B) 上为 (1)。这种用距离函数“插入”连续函数的技巧是度量空间相比一般拓扑空间的又一巨大便利。22.3 完备性柯西序列的归宿22.3.1 柯西列与完备空间在一般拓扑空间中“收敛”可用开集定义(x_n \to x) 当且仅当对 (x) 的每个邻域 (U)最终有 (x_n \in U)。但“柯西序列”却无法在纯拓扑的框架中定义——因为它要求比较序列中任意两点之间的距离而不仅仅是每点与极限点的距离。因此完备性是一种真正意义上的度量性质而非拓扑性质。事实上((0,1)) 与 (\mathbb{R}) 同胚但前者在通常度量下不完备后者完备说明完备性不能被同胚保持。定义 22.3.1柯西序列度量空间 ((X, d)) 中的序列 ((x_n)_{n1}^\infty) 称为柯西序列若对于任意 (\varepsilon 0)存在 (N \in \mathbb{N}) 使得对所有 (m, n \ge N)有 (d(x_m, x_n) \varepsilon)。定义 22.3.2完备性度量空间 (X) 称为完备的若 (X) 中的每个柯西序列都收敛到 (X) 中的某一点。完备性是度量空间最核心的概念之一。它捕捉了“无洞”这一直观任何“本应收敛”的序列都不被空间所遗漏。每个收敛序列必是柯西序列由三角不等式立得完备性即其逆命题——凡是有资格收敛的序列其极限必在空间之中。经典范例(\mathbb{R}) 完备这是实数连续性的等价表述之一。(\mathbb{Q}) 不完备序列 (1, 1.4, 1.41, 1.414, \dots) 是柯西列但在 (\mathbb{Q}) 中不收敛。(\mathbb{R}^n) 在任意 (\ell^p) 度量下完备。(C[a, b]) 在上确界度量下完备一致柯西序列的一致极限必为连续函数。离散度量空间完备因为柯西列终归为常值。(\mathbb{Q}_p)(p)-adic数域完备这是亨泽尔引理的拓扑基础。22.3.2 完备子空间与闭性的关系定理 22.3.3设 ((X, d)) 是完备度量空间(A \subseteq X)。则子空间 ((A, d|_A)) 完备当且仅当 (A) 是 (X) 中的闭集。证明((\Rightarrow)) 若 (A) 完备设 (x \in \overline{A})则存在 (A) 中序列 (x_n \to x)。收敛列必是柯西列由 (A) 完备该柯西列必在 (A) 中收敛到某 (a \in A)。但豪斯多夫空间中极限唯一故 (x a \in A)。因此 (A) 闭。((\Leftarrow)) 若 (A) 闭设 ((x_n)) 是 (A) 中柯西列。因 (X) 完备存在 (x \in X) 使 (x_n \to x)。由于 (A) 闭极限 (x \in A)。故 (A) 完备。∎此定理提供了一个判断子空间完备性的简便方法只需将空间嵌入一个已知完备的大空间然后检验其是否为大空间的闭子集。例如(C[a, b]) 可视为所有有界函数空间上确界度量下完备的闭子空间。22.3.3 度量空间的完备化与有理数可完备化为实数类似任何度量空间都可以完备化——即等距嵌入到一个完备度量空间且像在其中稠密。这一定理由豪斯多夫给出其泛性质使之成为范畴论中反射子范畴的早期范例。定理 22.3.4完备化定理设 ((X, d)) 是度量空间。则存在完备度量空间 ((\tilde{X}, \tilde{d})) 和等距嵌入 (\iota: X \to \tilde{X})使得 (\iota(X)) 在 (\tilde{X}) 中稠密。且满足此泛性质的完备化在保距离双射意义下唯一。构造概要令 (\mathcal{C}) 为 (X) 中所有柯西序列的集合。定义等价关系 ((x_n) \sim (y_n)) 当且仅当 (\lim_{n \to \infty} d(x_n, y_n) 0)需验证该极限存在。在等价类集 (\tilde{X} \mathcal{C}/\sim) 上定义度量 (\tilde{d}([(x_n)], [(y_n)]) \lim_{n\to\infty} d(x_n, y_n))该极限存在且与代表元选取无关。验证 ((\tilde{X}, \tilde{d})) 为完备度量空间且 (X) 通过常值序列等距嵌入其中。唯一性可通过交换图表和稠密性证明。∎完备化是泛性质在度量空间范畴中的体现完备度量空间构成度量空间范畴的一个反射子范畴。这一构造深刻影响了泛函分析Banach空间的完备化、Hilbert空间、数论(\mathbb{Q}) 的 (p)-adic完备化和交换代数分式域的完备化。22.3.4 贝尔纲定理完备性的第一个深刻推论度量空间完备性的一个里程碑式的结论是贝尔纲定理它断言“完备度量空间不能被写成一列无处稠密集的可数并”。为叙述精确回忆子集 (A)无处稠密若其闭包的内点为空集合为第一纲若其可写为无处稠密集的可列并否则为第二纲。定理 22.3.5贝尔纲定理完备度量空间是第二纲的。等价地可数个稠密开集的交仍是稠密的。证明思路设 ({U_n}) 是一列稠密开集任取开球 (B_0)。因 (U_1) 稠密可选取小球 (B_1 \subseteq U_1 \cap B_0) 且半径可小于 (1)。递推构造一个嵌缩球列 (B_n) 半径趋于 (0)由完备性它们的交非空且属于所有 (U_n)从而交的稠密性得证。∎贝尔纲定理在分析中的应用无处不在一致有界原理、开映射定理、闭图像定理皆由其导出。它甚至还断言“处处连续但无处可微的函数”在 (C[0,1]) 中是“大多数”第二纲这是完备性赋予分析学的某种“丰度”。22.4 压缩映射原理完备性的华尔兹完备性最脍炙人口的应用当属巴拿赫不动点定理又称压缩映射原理。它统一了微分方程解的存在唯一性、隐函数定理、迭代算法的收敛性等一系列结果是数学中“以简驭繁”的典范。22.4.1 压缩映射与不动点定义 22.4.1压缩映射设 ((X, d)) 是度量空间。映射 (T: X \to X) 称为压缩映射若存在常数 (c \in [0, 1)) 使得对所有 (x, y \in X)[d(T(x), T(y)) \le c \cdot d(x, y).]常数 (c) 称为压缩系数。定理 22.4.2巴拿赫不动点定理设 ((X, d)) 是完备度量空间(T: X \to X) 是压缩映射。则 (T) 存在唯一的不动点(x^* \in X)即 (T(x^) x^)。且对于任意初始点 (x_0 \in X)迭代序列 (x_{n1} T(x_n)) 收敛到 (x^)并有误差估计[d(x_n, x^) \le \frac{c^n}{1 - c} d(x_1, x_0).]证明唯一性若 (x, y) 都是不动点则 (d(x, y) d(T(x), T(y)) \le c , d(x, y))。因 (c 1)必有 (d(x, y) 0)即 (x y)。存在性任取 (x_0 \in X)定义 (x_{n1} T(x_n))。对 (n \ge 1)[d(x_{n1}, x_n) d(T(x_n), T(x_{n-1})) \le c , d(x_n, x_{n-1}).]由归纳得 (d(x_{n1}, x_n) \le c^n d(x_1, x_0))。对于任意 (m n)反复使用三角不等式[\begin{aligned}d(x_m, x_n) \le \sum_{kn}^{m-1} d(x_{k1}, x_k)\le \sum_{kn}^{m-1} c^k d(x_1, x_0) \\le c^n d(x_1, x_0) \sum_{j0}^{\infty} c^j \frac{c^n}{1 - c} d(x_1, x_0).\end{aligned}]由于 (c^n \to 0)((x_n)) 是柯西序列。由 (X) 完备存在 (x^* \in X) 使 (x_n \to x^*)。压缩映射必然连续甚至Lipschitz故[T(x^) T(\lim x_n) \lim T(x_n) \lim x_{n1} x^.]因此 (x^*) 是不动点。误差估计即从上述不等式令 (m \to \infty) 取极限得到。∎22.4.2 应用一例皮卡-林德洛夫定理压缩映射原理最经典的分析应用当属常微分方程初值问题的解存在唯一性定理。考虑[\frac{dy}{dt} f(t, y), \quad y(t_0) y_0,]其中 (f) 在矩形 (R [t_0 - a, t_0 a] \times [y_0 - b, y_0 b]) 上连续且关于 (y) 满足利普希茨条件 (|f(t, y_1) - f(t, y_2)| \le L |y_1 - y_2|)。该问题等价于积分方程[y(t) y_0 \int_{t_0}^t f(s, y(s)) , ds.]在区间 (I_h [t_0 - h, t_0 h]) 上其中 (h) 足够小使积分值不超出矩形且压缩系数成立考虑完备度量空间 (C(I_h)) 配以上确界范数或加权范数以调节利普希茨常数。定义映射 (T) 为[T(y)(t) y_0 \int_{t_0}^t f(s, y(s)) , ds.]适选 (h) 可保证 (T) 为压缩映射。巴拿赫不动点定理立刻给出唯一解的存在性且解可通过皮卡迭代 (y_{n1} T(y_n)) 逼近。这一证明彻底、优雅且具建设性是泛函分析方法渗入微分方程的里程碑。22.4.3 压缩映射原理的广阔疆域压缩映射原理的身影遍布现代数学牛顿法在适当前提下牛顿迭代 (x_{n1} x_n - [F’(x_n)]^{-1}F(x_n)) 是局部压缩映射从而保证二次收敛性。隐函数定理其标准证明正是将问题转化为某一完备函数空间上的压缩映射。分形几何迭代函数系如谢尔宾斯基三角形、科赫雪花的构造依赖于压缩映射族在Hausdorff度量下于紧集空间中的不动点。动态规划与强化学习贝尔曼算子通常是压缩映射不动点即为最优值函数。压缩映射原理是完备性公理的华丽绽放正是完备性保证了那个不动点有一个“容身之所”否则迭代序列可能收敛到空间之外的“幽灵”。22.5 紧致性在度量空间中的刻画在一般拓扑空间中紧致性由开覆盖的有限子覆盖定义。在度量空间中这一定义与序列紧致性和完全有界性等价。三角不等式在此处的威力展露无遗。22.5.1 序列紧致与勒贝格数引理定义 22.5.1序列紧致度量空间 (X) 称为序列紧致的若 (X) 中的每个序列都有收敛的子序列。定理 22.5.2在度量空间中紧致性等价于序列紧致性。证明要点(紧致 (\Rightarrow) 序列紧致) 设 ((x_n)) 为序列。若其值域有限则存在常值子列收敛。若值域无限由紧致性无限集必有聚点可选出收敛子列。(序列紧致 (\Rightarrow) 紧致) 此方向需借助勒贝格数引理。设 ((X, d)) 序列紧致({U_\alpha}) 为任意开覆盖。首先证明勒贝格数引理在序列紧致或紧致度量空间中对于任何开覆盖存在 (\delta 0)称为勒贝格数使得空间内任意直径小于 (\delta) 的子集都包含于某个覆盖成员内。证明靠反证法及序列紧致性抽出矛盾。有了勒贝格数引理再证明序列紧致性蕴含完全有界进而可用有限个半径为 (\delta) 的球覆盖空间每个球含于某个 (U_\alpha)从而选出有限子覆盖。∎勒贝格数引理的证明本身是三角不等式的一次精彩演出。它揭示了度量环境下开覆盖的“均匀尺度”这在一般拓扑空间中全然不存在。22.5.2 完全有界性定义 22.5.3完全有界度量空间 (X) 称为完全有界的若对于任意 (\varepsilon 0)存在有限个半径为 (\varepsilon) 的开球覆盖 (X)。这有限个球的中心构成的集合称为 (\varepsilon)-网。完全有界性比通常的有界性强得多实数区间 ((0,1)) 有界但若赋予离散度量(d(x,y)1) 当 (x\neq y)则完全无界——因为需要不可数个半径为 (1/2) 的球才能覆盖。但在 (\mathbb{R}^n) 的标准度量下有界与完全有界等价这是有限维空间的特殊恩赐。22.5.3 豪斯多夫紧致性定理定理 22.5.4豪斯多夫度量空间 (X) 是紧致的当且仅当它是完备且完全有界的。证明概要((\Rightarrow)) 紧致必序列紧致序列紧致蕴含完备每个柯西列有收敛子列再由柯西性推出整个序列收敛。同时开覆盖 ({B(x, \varepsilon)}_{x \in X}) 有有限子覆盖即为有限 (\varepsilon)-网故完全有界。((\Leftarrow)) 完备且完全有界 (\Rightarrow) 序列紧致。对任意序列用完全有界性构造对角线子列存在有限个半径为 (1) 的球覆盖空间至少一个球包含无穷多项在此球内再用半径为 (1/2) 的球细分选取包含无穷多项者以此递推。所得子列为柯西列由完备性收敛。故紧致。∎此定理是海涅-博雷尔定理(\mathbb{R}^n) 中闭且有界 (\Leftrightarrow) 紧致的深刻推广。在 (\mathbb{R}^n) 中完备等价于闭完全有界等价于有界但在无穷维Banach空间中闭单位球有界但不完全有界里斯引理因而非紧致。这揭示了有限维与无穷维空间的本质分野紧致性在无穷维空间中是一个极其严苛的要求而完全有界性正是其灵魂所在。22.6 等距映射与度量的等价22.6.1 等距与等距嵌入定义 22.6.1等距映射设 ((X, d_X)) 与 ((Y, d_Y)) 为度量空间。映射 (f: X \to Y) 称为等距映射若对所有 (x_1, x_2 \in X)[d_Y(f(x_1), f(x_2)) d_X(x_1, x_2).]等距映射必然是单射由正定性。若它还是满射则称两空间等距同构。等距同构是度量空间的“全同”概念它比同胚更强不仅保持拓扑还保持精确的距离值。例如平面上的旋转和平移是等距映射而位似变换 (x \mapsto 2x) 则不是等距它是相似变换将距离统一缩放拓扑上是同胚。度量空间的分类在等距意义下极为丰富如单连通常曲率空间的分类球面、欧氏空间、双曲空间是黎曼几何的核心命题。22.6.2 拓扑等价与一致等价同一集合上可赋予多种度量它们之间的关系可粗可精。定义 22.6.2拓扑等价度量 (d_1) 与 (d_2) 称为拓扑等价的若它们诱导相同的拓扑即恒等映射为同胚。定义 22.6.3一致等价 / 李普希茨等价(d_1) 与 (d_2) 称为一致等价的若存在常数 (\alpha, \beta 0) 使得对所有 (x, y \in X)[\alpha d_1(x, y) \le d_2(x, y) \le \beta d_1(x, y).]一致等价远强于拓扑等价它不仅保持收敛和极限还保持柯西序列、完备性、一致连续性。在 (\mathbb{R}^n) 上(\ell^1, \ell^2, \ell^\infty) 度量都是一致等价的因而它们共享完备性、紧致性。相反(\mathbb{R}) 上 (d(x,y) |x-y|) 与 (d’(x,y) |x^3 - y^3|) 是拓扑等价的同胚由 (x \mapsto x^3) 实现但并不一致等价因为函数 (x \mapsto x^3) 不是一致连续的。在 (d’) 下序列 (x_n n) 不再是柯西序列——这显示了一致结构的变化。因此完备性不是拓扑性质而是一致性质。22.6.3 乌雷松度量化定理在第二十一章末尾我们埋下了伏笔什么样的拓扑空间可由某个度量诱导答案由乌雷松Pavel Urysohn在1920年代给出后经诸多数学家完善。定理 22.6.4乌雷松度量化定理拓扑空间 ((X, \mathcal{O})) 是可度量化的即存在 (X) 上的度量 (d) 使得 (\mathcal{O} \mathcal{O}_d)当且仅当 (X) 是第二可数的正则 (T_1) 空间即 (T_3) 空间。证明方向((\Rightarrow)) 度量空间正则且若度量化拓扑具有可数基当且仅当空间是第二可数因开球族可精炼。((\Leftarrow)) 构造嵌入第二可数正则空间可嵌入到希尔伯特立方体 ([0, 1]^\omega)可数乘积后者由可数个坐标的一致度量或乘积度量成为可度量化空间。子空间继承度量故原空间可度量化。乌雷松定理完成了从拓扑回到度量的逻辑闭环它精确刻画了“度量的领地”——只有那些拓扑上足够“小”第二可数且分离性足够“好”正则 (T_1)的空间才能被赋予一个协调的距离函数。值得注意的是第二可数条件可放宽纳盖塔-斯米尔诺夫度量化定理断言正则空间可度量化当且仅当它具有局部有限的基。但对于大部分分析中出现的空间第二可数性已然够用且易于验证。22.7 连续函数空间上的度量与阿尔泽拉-阿斯科利定理函数空间构成了度量空间理论最重要的应用领域之一。(C[a, b]) 上的一致度量已为我们熟知。那么这个完备的度量空间中什么样的子集是紧致的答案由阿尔泽拉-阿斯科利定理给出——它将紧致性等价于两个易于检验的分析条件堪称度量空间紧致性理论的登峰造极之作。定义 22.7.1等度连续与一致有界设 (\mathcal{F} \subseteq C[a, b])。(\mathcal{F})一致有界存在 (M 0) 使对一切 (f \in \mathcal{F}, x \in [a,b])有 (|f(x)| \le M)。(\mathcal{F})等度连续对任意 (\varepsilon 0)存在 (\delta 0)使对所有 (f \in \mathcal{F}) 及满足 (|x - y| \delta) 的 (x, y)有 (|f(x) - f(y)| \varepsilon)。定理 22.7.2阿尔泽拉-阿斯科利子集 (\mathcal{F} \subseteq C[a, b])赋予上确界度量是紧致的当且仅当它是闭的、一致有界且等度连续。证明要点紧致性蕴含完全有界和闭完全有界可推导出一致有界和等度连续。反之闭、一致有界且等度连续可推出 (\mathcal{F}) 完全有界利用等度连续性和紧致区间 ([a, b]) 的总有界性构造有限个“分段常值函数”组成的网以逼近 (\mathcal{F}) 中所有函数。结合 (C[a, b]) 的完备性及闭性得 (\mathcal{F}) 完备且完全有界故紧致。∎该定理在偏微分方程紧嵌入定理、复分析蒙泰尔定理和变分法中处于核心地位。它的深刻之处在于将全局拓扑性质紧致性分解为局部的“波形约束”等度连续和整体的“振幅约束”一致有界是度量公理在无穷维空间中的一次华丽凯旋。22.8 度量完备化与泛函分析的基础度量完备化不仅是实数构造的推广更是泛函分析这座大厦的地基。赋范向量空间若在诱导度量下完备则称为Banach空间内积空间若完备则称为Hilbert空间。这些完备空间上的线性算子理论——一致有界原理、开映射定理、闭图像定理——全然依赖于完备性公理与贝尔纲定理。以一致有界原理为例它正由贝尔纲定理推出而贝尔纲定理又深深扎根于完备度量空间的丰饶土壤。此外勒贝格积分理论中 (L^p) 空间的完备性Riesz–Fischer定理使得这些空间成为现代分析和偏微分方程的坚固基石。从索伯列夫空间到哈代空间从遍历理论到非交换几何完备化以各种形式反复出现。即便是 (p)-adic世界(\mathbb{Q}_p) 的完备性也是数论局部化方法的核心。一切这些都发端于本章那三条简洁的度量公理——正定性、对称性、三角不等式——以及一个看似平凡的额外要求每一个柯西梦都有其栖息之所。公理化的火种在此燎原。22.9 结语三角不等式的万千世界度量空间的三条公理看似简单却为拓扑的骨架注入了分析的灵魂。它们赋予了抽象空间以“尺度”使得我们能够测量、比较、逼近、迭代。柯西序列的收敛性在这些公理的滋养下成为完备性的基础完备性反过来为不动点定理、隐函数定理、度量完备化等提供了坚实的逻辑基础。紧致性在度量外衣下化为更易操作的序列紧致和完全有界性度量的等价类则引导我们区分“拓扑”与“一致”的层次。从日常的欧氏距离到抽象的编辑距离从有限维的 (\mathbb{R}^n) 到无穷维的函数空间度量公理涵盖了人类对“距离”的几乎所有数学直觉。它向我们展示了公理化方法的另一种魅力不是剥离具体性追求最抽象而是在适当的抽象层面保留足够的结构使得定理既具有普适的深刻性又不失具体的可计算性。三角不等式——这条古老而朴素的几何真理——在公理的炼金炉中化为通往完备性、紧致性、不动点定理的万能钥匙。在下一章我们将转入完备性的等价形态专题将度量完备性与实数确界原理、紧致性、贝尔纲定理等概念串联成一个宏大的逻辑圆圈再度见证公理体系内在的自洽与循环美。拓扑为骨度量为肉而三角不等式便是那紧绷于骨架之间的韧筋赋予数学宇宙以张力和弹性。
![[C++]内存管理：串顺序存储的内存回收](http://pic.xiahunao.cn/yaotu/[C++]内存管理：串顺序存储的内存回收)
