度量空间与完备性（三分钟认识）
度量空间用三条公理定义的“距离”为拓扑空间配上尺子，而完备性则保证“看起来在收拢”的科西列在空间中必有极限——这是空间没有“洞”的品质。
核心要点
- 拓扑空间负责刻画“形状”（紧致、连通），度量空间负责刻画“距离”。
- 度量（distance/metric）不是随意的函数，必须满足三条公理。
- 同一集合（如平面）可配不同度量，几何形状会随之改变。
- 科西列（Cauchy sequence）用“内部互相靠近”来捕捉极限直觉，但不必预先知道极限是谁。
- 完备性（completeness）的定义：空间中任意科西列都有极限。
- 有理数集不完备，实数集完备；补上“洞”是有理数扩张为实数的一种视角。
- 完备性的应用：巴拿赫不动点定理（Banach fixed-point theorem），是迭代法收敛的理论基石。
度量：什么样的函数配叫“距离”
从上一集引入
上一集用紧致（compactness）和连通（connectedness）刻画了空间的形状；这一集为拓扑空间配上一把“尺子”，即度量结构。
距离函数的三条公理
设集合 X，函数 d：(X, X) → ℝ 要成为度量，需满足：
- 非负性：距离不小于 0；且距离等于 0 仅当两点重合（即 d(x,y)=0 ⇔ x=y）。
- 对称性：从甲到乙和从乙到甲的距离一样远，即 d(x,y)=d(y,x)。
- 三角不等式：从甲直接到丙不会比“绕道乙”更远，即 d(x,z) ≤ d(x,y)+d(y,z)。
为什么这些公理足够
- 这三条公理是数学家希望任何“合理距离”都必须具备的最小约束集。
- 它们不规定具体的计算公式，因此允许大量不同的具体度量存在。
三种度量实例：同一平面不同尺子
欧式度量（Euclidean metric）
- 按直线路径量距离（平常的勾股距离）。
- 在此度量下，单位球（到原点距离为 1 的点集合）的图形为圆。
曼哈顿度量（Manhattan metric）
- 只能沿“横竖街道”走，类似方格路上走的路程之和。
- 在此度量下，单位球的图形为菱形。
- 直观地理解为城市街区的折线距离。
最大值度量（Maximum metric）
- 只取坐标差较大的那个分量作为距离。
- 在此度量下，单位球图形为方形。
- 不同度量改变了“哪些点离原点一样远”的边界，故几何随着尺子的不同而不同。
| 度量类型 | 距离方式 | 单位球形状 |
|---|---|---|
| 欧式度量 | 走直线 | 圆 |
| 曼哈顿度量 | 沿横竖街道 | 菱形 |
| 最大值度量 | 只看坐标差中较大的 | 方形 |
科西列：不等极限也能定义的“逼近”
定义与直觉
- 度量空间中，定义科西列：一串点列越往后，点与点之间挨得越近，且这个“近”可以满足任意小的要求（即对任意 ε>0，总从某一项起任意两点的距离都 < ε）。
- 要点：这个定义只管点列“内部互相拥挤”，并不需要知道极限是否存在，也不指明极限是谁。
- 直觉图像：这些点看起来像在朝某个点收拢，但“那个点是不是在空间里”是另一回事。
实例：有理数中的科西列
| 项序号 | 数值 | 说明 |
|---|---|---|
| 第 1 项 | 1 | 逼近 √2 的有理近似序列 |
| 第 2 项 | 1.4 | 越来越接近 √2 |
| 第 3 项 | 1.41 | 越来越接近 √2 |
| 第 4 项 | 1.414 | 越来越接近 √2 |
- 数列 1, 1.4, 1.41, 1.414, … 是标准的科西列，它在有理数内项与项间的距离越来越小。
- 它“想”收敛到 √2，但 √2 是无理数，不在有理数集合内。
- 因此在有理数线上能看到一个“洞”：数列自身不断收紧，却落不到集合里任何一个点上。
完备性：空间没有“洞”
定义
- 一个空间称为完备的（complete），当且仅当其中任意科西列都有极限（且极限落在该空间内）。
- 等价语气：科西列必有极限的空间才是完备的空间。
有理数与实数的完备性对比
- 有理数集 不完备：因为它含有收敛到 √2（无理数）的科西列，而在有理数内没有极限。
- 实数集 完备：实数的构造（如戴德金分割或科西列完备化）恰好把所有“洞”填补上了。
- “有理数有洞，补上就是实数”——这句话直接说明实数可以被理解为有理数的“完备化”结果。
完备性的用途：巴拿赫不动点定理
定理内容
在完备空间上，给定一个压缩映射：
- 压缩映射是指映射会把两点之间的距离按某个固定比例（因子 < 1）缩小。
- 从任意起点出发，反复应用这个映射迭代，必然收敛到唯一的不动点（即满足 f(x)=x 的点）。
为什么重要
- 完整体现“完备性保证迭代有归宿”：没有完备性，迭代过程可能陷入“洞”中而找不到极限。
- 蛛网图（cobweb plot）中那条折线正是在描绘这一迭代过程：一步步被“吸”进不动点。
实际应用
- 微分方程的数值计算依赖该定理保证迭代格式收敛到解。
- 凡涉及“构造逼近序列并求极限”的数值方法，其收敛性论证常常归于巴拿赫不动点定理。
总结
- 本集两个关键词：
- 度量：由三条公理（非负、对称、三角不等式）定义的尺子。
- 完备：科西列必有极限，即空间没有洞。
- 有理数有洞所以不完备；把洞补上就得到实数。
- 下一集预告：不再量“距离”，而转向量“大小”，进入测度论。