[论文解读] The intrinsic geometry of a Jordan domain

Richard L. Bishop|ArXiv.org|Dec 28, 2005

Geometric and Algebraic Topology参考文献 4被引用 3

一句话总结

本文证明了在具有内在长度度量的若尔当代数域中，有限距离点的集合构成一个CAT(0)空间，并且是格罗莫夫双曲的。此外，还表明在无穷远处边界上赋予锥拓扑后，该空间与原始若尔当代数域在拓扑上等价，从而通过度量紧化将内在几何结构与拓扑类型联系起来。

ABSTRACT

For a Jordan domain in the plane the length metric space of points connected to an interior point by a curve of finite length is a CAT(0)space and Gromov hyperbolic. With respect to the cone topology, that space plus its boundary at infinity is topologically the same as the original Jordan domain.

研究动机与目标

• 刻画若尔当代数域的内在度量几何作为完备长度空间的性质。
• 证明若尔当代数域中有限距离点构成的空间是CAT(0)空间。
• 建立该空间同样是格罗莫夫双曲的。
• 证明通过其无穷远处边界在锥拓扑下的紧化空间与原始若尔当代数域同胚。

提出的方法

• 将空间 $X$ 定义为若尔当代数域 $J$ 中所有与某内点具有有限内在距离的点的集合。
• 利用局部凸性和支撑半圆盘分析 $X$ 的边界点（特别是 $\partial X$）处测地线的行为。
• 应用亚历山德罗夫准则：若单连通空间中所有测地三角形的内角和 $\leq 2\pi$，则该空间为CAT(0)。
• 证明由分叉点构成的测地三角形 $\bar{p}\bar{q}\bar{r}$ 的总曲率 $\leq 0$，从而推出内角和 $\leq 2\pi$，满足亚历山德罗夫条件。
• 在 $X \cup \partial X$ 上赋予锥拓扑，将无穷远处边界与 $\partial J$ 识别，并通过邻域构造证明其与 $J$ 在拓扑上等价。
• 利用测地线的收敛性与距离函数的凸性，建立欧氏度量与内在度量收敛性之间的关系。

实验结果

研究问题

• RQ1 若尔当代数域的内在长度度量空间是否为CAT(0)？
• RQ2 该空间是否为格罗莫夫双曲？
• RQ3 通过其无穷远处边界在锥拓扑下的紧化是否得到一个与原始若尔当代数域同胚的空间？
• RQ4 测地线的渐近行为如何？其收敛性与边界拓扑有何关联？

主要发现

• 若尔当代数域中有限距离点构成的空间 $X$ 是一个完备的CAT(0)空间。
• 由于其CAT(0)结构，空间 $X$ 同样是格罗莫夫双曲的。
• 空间 $X$ 的无穷远处边界在锥拓扑下与原始若尔当代数域的边界 $\partial J$ 同胚，且整个紧化空间 $X \cup \partial X$ 与 $J$ 同胚。
• 空间 $X$ 中的测地线是局部凸的，并在每一点都由半圆盘支撑，曲率约束确保了三角形的“细长”性质。
• 在 $X \cup \partial X$ 上由锥拓扑诱导的拓扑与 $J$ 上的标准拓扑一致，从而建立了拓扑上的识别。
• 内在度量下测地线的收敛性等价于其端点在欧氏拓扑下的收敛性，这是由于距离函数的凸性与度量控制性质所致。