[论文解读] What is a metric space?

Stephen Semmes|ArXiv.org|Sep 11, 2007

Fixed Point Theorems Analysis被引用 4

一句话总结

本文提供了度量空间的基础介绍，将度量空间定义为配备满足非负性、对称性和三角不等式性质的距离函数（度量）的集合。通过欧几里得几何、实直线以及出租车度量和切比雪夫度量等替代度量，阐明了该概念，展示了不同度量如何产生不同的几何形状（如菱形和正方形），并强调了度量空间中的内蕴几何与外蕴几何的区别以及对称性特征。

ABSTRACT

The question in the title is discussed briefly, with emphasis on a few basic examples and their properties.

研究动机与目标

• 定义并澄清度量空间作为欧几里得几何及其他几何设定的推广概念。
• 通过欧几里得、出租车和切比雪夫等不同距离函数，说明其如何在相同底层集合上诱导出不同的几何结构。
• 探讨在曲面和曲线上，内蕴几何与外蕴几何之间的区别。
• 研究度量空间的对称性特征，包括平移、反射和旋转，以及它们在不同度量下是否被保持。
• 展示三角不等式在定义度量空间结构以及证明开球的拓扑性质（如开性）中的作用。

提出的方法

• 将度量空间定义为集合 M 及其上的距离函数 d(p,q)，满足 d(p,q) ≥ 0，d(p,q) = 0 当且仅当 p = q，d(p,q) = d(q,p)，以及三角不等式 d(x,z) ≤ d(x,y) + d(y,z)。
• 使用笛卡尔坐标表示平面上的点，并通过勾股定理推导欧几里得距离：d(p,q)² = (p₁−q₁)² + (p₂−q₂)²。
• 引入替代度量：出租车度量 d′(p,q) = |p₁−q₁| + |p₂−q₂| 和切比雪夫度量 d′′(p,q) = max(|p₁−q₁|, |p₂−q₂|)，二者均满足度量公理。
• 定义开球 B(p,r) = {x ∈ M : d(p,x) < r}，并利用三角不等式证明：若 q ∈ B(p,r)，则存在 t > 0，使得 B(q,t) ⊆ B(p,r)。
• 通过等距同构分析对称性：平移 τₐ(x) = x + a，实直线上反射 ρ(x) = −x，以及平面上坐标分量的反射与旋转。
• 研究非欧几里得几何（球面与双曲几何）作为度量空间，其中平行公设不成立，距离由曲线上弧长定义。

实验结果

研究问题

• RQ1 定义具有距离概念的几何空间所需的最小公理是什么？
• RQ2 在相同集合（如 R²）上，不同度量如何导致不同的几何形状（如圆、菱形和正方形）？
• RQ3 曲面如何在内蕴上平坦但外蕴上弯曲？这种特性在度量中如何体现？
• RQ4 哪些对称性——平移、反射、旋转——在不同度量下被保持？为何某些度量不保持旋转对称性？
• RQ5 三角不等式如何约束度量空间的结构，特别是在开球和邻域包含关系的语境下？

主要发现

• R² 上的标准欧几里得度量，定义为 d(p,q)² = (p₁−q₁)² + (p₂−q₂)²，满足所有度量公理，并诱导出球体的熟悉圆形形状。
• 出租车度量 d′(p,q) = |p₁−q₁| + |p₂−q₂| 产生菱形形状的等值线，点 (0,0) 与 (1,1) 之间的距离为 2，不同于欧几里得距离 √2。
• 切比雪夫度量 d′′(p,q) = max(|p₁−q₁|, |p₂−q₂|) 产生正方形形状的等值线，点 (0,0) 与 (1,1) 之间的距离为 1。
• 对于任意位于开球 B(p,r) 内的点 q，存在一个更小的开球 B(q,t)，其完全包含于 B(p,r) 内，该结论通过三角不等式得以证明。
• 实直线配备标准度量 d(r,t) = |r−t| 时满足三角不等式，其退化为绝对值的次可加性：|x−z| ≤ |x−y| + |y−z|。
• 非欧几里得几何（如双曲与球面几何）可建模为度量空间，其中距离由曲线上弧长定义，且平行公设不成立。