[论文解读] Introduction to metric spaces with dilations

Marius Buliga|arXiv (Cornell University)|Jul 14, 2010

Geometric Analysis and Curvature Flows参考文献 17被引用 6

一句话总结

本文引入了具有膨胀的度量空间——一种通过引入可缩放、自相似运算来推广黎曼几何与次黎曼几何的结构。通过长度泛函的gamma-收敛性与Radon-Nikodym性质，建立了在度量空间中进行微分几何与几何测度论的框架，证明了具备该性质的缓变膨胀结构即为长度膨胀结构。

ABSTRACT

This paper gives a short introduction into the metric theory of spaces with dilations.

研究动机与目标

• 为非光滑度量空间中的微分几何建立度量理论基础。
• 在缺乏传统可微性的空间中，推广长度泛函及其收敛性（gamma-收敛性）。
• 确立度量空间中具有膨胀结构的长度结构存在的条件，借助Radon-Nikodym性质。
• 通过膨胀结构统一并拓展次黎曼几何与度量空间分析中的结果。
• 引入缓变膨胀结构的概念，确保空间中缩放行为的统一控制。

提出的方法

• 将具有膨胀的度量空间定义为在某一点附近通过一参数族膨胀实现距离均匀缩放的结构。
• 定义赋范群与群胚，以推广度量空间背后的代数结构，使非欧几里得环境中可使用类似群的运算。
• 应用Gromov-Hausdorff距离比较度量空间，并定义度量轮廓，以捕捉渐近缩放行为。
• 利用长度泛函的gamma-收敛性（变分收敛性）研究膨胀结构中距离序列的极限。
• 引入满足相对于参考膨胀结构统一缩放边界的距离类 $\mathcal{D}(\Omega,\bar{d},\bar{\delta})$。
• 定义函数 $\phi_d(x,u) = \limsup_{\varepsilon \to 0} \frac{1}{\varepsilon} d(x, \delta^x_\varepsilon u)$ 以表征无穷小度量行为，并将其与Radon-Nikodym性质关联。

实验结果

研究问题

• RQ1 在何种条件下，具有膨胀的度量空间可通过无穷小缩放支持明确定义的长度概念？
• RQ2 长度泛函的gamma-收敛性在具有膨胀的空间中如何表现？何种条件可确保收敛性？
• RQ3 Radon-Nikodym性质在刻画膨胀结构的度量结构中起何种作用？
• RQ4 何时一个膨胀结构被视为‘缓变’的？这对Lipschitz曲线的等价性有何影响？
• RQ5 能否从具有Radon-Nikodym性质的强缓变膨胀结构构造出长度膨胀结构？

主要发现

• 具备Radon-Nikodym性质且为缓变的强膨胀结构即为长度膨胀结构，意味着度量可由长度泛函导出。
• 此类空间中曲线的长度由如下形式积分的下确界给出：$\int_a^b \phi_d(c(t), \dot{c}(t)) \, dt$，其中 $\phi_d$ 捕获了无穷小缩放行为。
• 对于在紧集上一致收敛的 $\mathcal{D}(\Omega,\bar{d},\bar{\delta})$ 中的距离序列，长度泛函的gamma-收敛性成立。
• 对任意 $d \in \mathcal{D}(\Omega,\bar{d},\bar{\delta})$，函数 $\phi_d(x,u)$ 满足 $c\,\bar{d}^x(x,u) \leq \phi_d(x,u) \leq C\,\bar{d}^x(x,u)$，确保缩放行为的统一控制。
• 若 $d_n = \bar{\delta}^x_{\varepsilon_n} \bar{d}$ 且 $\varepsilon_n \to 0$，则 $d_n \to \bar{d}^x$，且相应的长度泛函 $L_n$ gamma-收敛至 $L$，证实了长度结构的稳定性。
• 在缓变膨胀结构中，$d$-Lipschitz曲线与 $\bar{d}$-Lipschitz曲线等价，表明缩放结构保持了度量正则性。