1 概念基础
1.1 度量空间的定义
度量空间是由一对基本对象构成的数学结构：一个集合 \(X\) 与一个度量 \(d\)。度量用于为任意两点 \(x,y\in X\) 指定一个非负实数 \(d(x,y)\)，用以抽象描述“距离”。形式化后，许多依赖距离或“接近程度”的概念（如收敛、连续、紧性等）都能被统一处理。
常记为 \((X,d)\)，其中 \(X\) 为点集，\(d:X\times X\to \mathbb{R}_{\ge 0}\) 为度量函数。
1.2 度量（metric）的公理
度量 \(d\) 需满足以下性质（对任意 \(x,y,z\in X\)）：
1 概念基础
2 拓扑性质与收敛
3 几何与度量相关性质
4 特殊类型的度量空间
这四条公理使得“距离”的直觉能够在任意集合上被严格化。三角不等式尤其保证了“经由中间点的距离”不会比直接距离更短，从而使得极限与收敛行为具有良好传递性。
1.3 开球与邻域结构
在度量空间中，给定点 \(x\in X\) 与半径 \(r>0\)，可定义开球 \[ B(x,r)=\{y\in X\mid d(x,y)<r\}. \] 开球提供了一套系统的“局部邻近”描述。直观上，若 \(y\) 落入 \(B(x,r)\)，则 \(y\) 与 \(x\) 的距离小于 \(r\)，因此称 \(y\) 在 \(x\) 的 \(r\) 邻域之内。
由此还可定义闭球 \(\overline{B}(x,r)=\{y\in X\mid d(x,y)\le r\}\) 以及以集合为中心的邻域概念。度量的存在使得邻域结构可由数值误差控制来刻画。
1.4 由度量诱导的度量性概念对应关系
度量空间中，“距离”不仅是度量函数本身，还能把一系列分析概念与可操作的条件对应起来。典型对应包括：
- 收敛：用距离与半径的关系描述序列逐点逼近。
- Cauchy 列：用距离衡量序列项之间在后段是否彼此接近。
- 连续性：用任意给定误差的容许范围来控制函数值变化。
- 完备性：所有 Cauchy 列是否都收敛，从而保证极限在空间内“落得住”。
这些对应体现了度量空间作为分析框架的统一性：用同一套距离控制机制贯穿多个层次的性质判断。
2 拓扑性质与收敛
2.1 度量诱导的拓扑
任意度量 \(d\) 都能诱导出拓扑结构。其关键在于：开集可由开球生成。更具体地说，任意开球 \(B(x,r)\) 都被视为开集，任意开集可表示为开球的并。
这种诱导拓扑使得度量空间不仅是“带距离”的集合，还可以在拓扑意义下研究“开、闭、连续、紧”等性质。值得注意的是，度量给出的拓扑往往能反映空间的局部结构与收敛行为，但并不总等同于其它任意拓扑的细节。
2.2 收敛与极限
设 \((X,d)\) 为度量空间，若序列 \(\{x_n\}\subset X\) 满足对某点 \(x\in X\)，有 \[ \lim_{n\to\infty} d(x_n,x)=0, \] 则称 \(x_n\) 收敛到 \(x\)，记作 \(x_n\to x\)。
在拓扑层面，这等价于：对任意 \(r>0\)，存在 \(N\)，使得当 \(n\ge N\) 时 \(x_n\in B(x,r)\)。因此，“收敛”既可用数值误差表述，也可用邻域包含关系表述，两者在度量空间中完全对应。
2.3 Cauchy 列与完备性
序列 \(\{x_n\}\) 称为 Cauchy 列（柯西列），若对任意 \(\varepsilon>0\)，存在 \(N\)，使得当 \(m,n\ge N\) 时 \[ d(x_m,x_n)<\varepsilon。 \] 柯西条件描述的是“后项彼此越来越近”，但不直接断言它们收敛到某个具体点。
度量空间称为完备（complete），若每个 Cauchy 列都在该空间中收敛到某个点。完备性是分析中确保“极限仍在空间内”的核心性质；很多时候，证明收敛或求解方程会转化为验证序列是柯西列并利用完备性完成结论。
2.4 连续性刻画
设 \(f:(X,d_X)\to (Y,d_Y)\) 为映射。若对任意 \(x\in X\) 与任意 \(\varepsilon>0\)，存在 \(\delta>0\) 使得当 \(d_X(x',x)<\delta\) 时有 \(d_Y(f(x'),f(x))<\varepsilon\)，则称 \(f\) 在 \(x\) 连续；若对所有 \(x\) 都成立，则称 \(f\) 连续。
这一 \(\varepsilon\)-\(\delta\) 定义强调用度量误差控制函数输出误差。
2.4.1 序列连续性与一致描述
在度量空间中，连续性还能用序列刻画：\(f\) 连续当且仅当对任意收敛序列 \(x_n\to x\)，有 \(f(x_n)\to f(x)\)。这提供了与拓扑定义相一致的检验方式，常用于证明或计算具体函数的连续性。
3 几何与度量相关性质
3.1 度量的等价与同胚层次
在不同度量可能描述同一集合上的“相近程度”的情形下，研究者常比较度量诱导的拓扑是否一致。若两种度量诱导相同的开集体系，则它们在拓扑意义上是等价的；在此情况下，收敛序列、连续映射等拓扑不变量将呈现一致表现。
更强的比较通常涉及“度量压缩或放大”是否保持误差控制，例如存在正定函数将一个度量与另一个度量在数值上联系起来，从而保证开球形状在某种尺度变换下对应。这类关系在分析中常用于在不同模型之间迁移结论。
3.2 有界性、直径与直径型性质
集合 \(A\subset X\) 称为有界（bounded），若存在 \(M\ge 0\) 与点 \(x_0\in X\)，使得对所有 \(x\in A\) 都有 \(d(x,x_0)\le M\)。等价地，也可表述为集合内任意两点距离都被统一上界控制。
常用“直径”刻画集合尺度：集合 \(A\) 的直径定义为 \[ \operatorname{diam}(A)=\sup\{d(x,y)\mid x,y\in A\}. \] 当直径有限时，集合即为有界。直径型性质可用于讨论映射对尺度的影响，以及空间在度量意义上的“大小限制”。
3.3 总有界性与预紧性
总有界性（totally bounded）是比完备性更“几何化”的尺度概念。若对任意 \(\varepsilon>0\)，集合 \(A\) 都能被有限多个开球 \(B(x_i,\varepsilon)\) 覆盖，则称 \(A\) 总有界。
预紧性（precompact）常与总有界性密切相关：在度量空间中，许多表述等价或在常见框架下可等价处理。直观上，总有界性意味着：尽管集合可能无限，但在任意精度下都可以用有限“个代表点”覆盖。
3.3.1 紧致性的度量化判别
在度量空间中，紧致（compactness）可以通过度量条件判别。一个重要结论是：度量空间中，一个集合紧致当且仅当它既是闭的又是总有界的。这里“总有界”提供了从几何角度检验紧性的办法，而“闭性”确保极限不会跑出集合。
借助这种判别，紧性不再只是抽象拓扑性质，而能以开球覆盖、尺度控制的方式被具体验证。
3.4 岸点与距离函数的基本性质
距离函数不仅用于比较点与点，还可对集合边界的刻画产生作用。给定点 \(x\in X\) 与集合 \(A\subset X\)，常考虑到集合的距离 \[ \operatorname{dist}(x,A)=\inf_{a\in A} d(x,a). \] 该函数描述了“离集合有多近”，并在许多论证中用于连接内部逼近与边界行为。
关于岸点（边界点）的一般直觉是：边界点附近既能找到集合中的点，也能找到集合外的点。度量空间中，这种“任意小邻域都同时触及内部与外部”的描述可与距离函数的极限性质联系起来，从而使边界分析具备可计算的表达。
4 特殊类型的度量空间
4.1 分离性公理（如 T0/T1 风格在度量中的体现）
在拓扑学中，“分离性公理”用于描述点是否能被开集区分。度量空间具有很强的分离特征：因为度量满足 \(d(x,y)=0\iff x=y\)，所以不同点总能通过某些开球被区分开来。对应到拓扑语言，度量空间满足最强形式之一的分离性质（常被表述为能区分点的基本可分性）。
这种分离性保证了极限的唯一性：若序列在度量意义下收敛到两个不同极限，则会与度量非退化性矛盾。
4.2 可分性与稠密子集
可分性（separable）指存在可数稠密子集：集合 \(X\) 中是否存在一个可数子集 \(D\)，使得 \(X\) 的任意非空开球都与 \(D\) 相交。稠密性意味着任意点都能被 \(D\) 的元素任意逼近。
在分析与泛函分析中，可分性常作为可操作性的保障：许多构造依赖于在稠密子集上先定义并通过连续性或极限延拓到整个空间。
4.3 嵌入与同构
嵌入通常指将一个空间以保持结构的方式放入另一个空间。对度量空间而言，一个自然方式是通过度量兼容的映射使得局部或整体距离关系得到保留。
同构（isomorphism）在度量空间语境下常意味着：存在双射映射，在度量意义上保持距离（即 \(d_Y(f(x),f(y))=d_X(x,y)\)）。此时两个空间在“度量几何”层面可以视为同一个结构，仅是点的标记方式不同。
4.4 诱导子空间与商空间的度量化构造
诱导子空间（subspace）与商空间（quotient space）是从给定度量空间构造新空间的常见手段。
- 诱导子空间：若 \(A\subset X\)，可将度量直接限制到 \(A\) 上，即对 \(x,y\in A\) 定义新度量 \(d_A(x,y)=d_X(x,y)\)。这样得到的子空间继承原有的距离几何，并便于在子集上研究局部性质。
- 商空间：当点被某种等价关系“粘合”为同一类时，可尝试定义商上的距离。一般做法是通过类之间的最小可能距离来构造度量（或度量的泛化对象），从而使得投影映射在某种意义下保持距离控制。是否能得到真正的度量，取决于等价关系与原度量的兼容性。
这些构造使度量空间能够在“取子集”“识别等价点”的操作下仍保留可分析的结构基础。