[论文解读] Non Standard Metric Products

Andreas Bernig, Thomas Foertsch+1 more|Zurich Open Repository and Archive (University of Zurich)|Aug 26, 2002

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

一句话总结

本文引入并分类了由函数 Φ 在度量空间乘积上定义的非标准度量积，证明当且仅当 Φ 由一个范数诱导时，此类积保持关键几何性质——如成为长度空间或具有非正曲率。核心贡献在于证明当 Φ 由具有严格凸单位球的范数生成时，Minkowski 秩在此类积下具有可加性，从而推广了关于欧几里得秩可加性的已有结果。

ABSTRACT

We consider a fairly general class of natural non standard metric products and classify those amongst them, which yield a product of certain type (for instance an inner metric space) for all possible choices of factors of this type (inner metric spaces). We further prove the additivity of the Minkowski rank for a large class of metric products.

研究动机与目标

• 对保持诸如成为长度空间或具有非正曲率等几何性质的非标准度量积进行分类。
• 研究 Minkowski 秩在度量空间积中可加的条件。
• 将已知的关于秩可加性的结果从标准欧几里得积推广到由函数 Φ 定义的更广泛度量积类。
• 在具有共 compact 等距群的凸、测地度量空间中，建立 Minkowski 秩与拟欧几里得秩之间的联系。

提出的方法

• 通过函数 Φ: Qⁿ → [0, ∞) 在 n 个度量空间的笛卡尔积上定义度量积 dΦ，其中 Qⁿ = [0, ∞)ⁿ。
• 对 Φ 施加条件 (A) 和 (B)，以确保 dΦ 满足度量公理，包括三角不等式。
• 引入函数 Ψ: ℝⁿ → [0, ∞)，定义为 Ψ(∑xi ei) := Φ(∑|xi| ei)，若 Ψ 为范数，则称 Φ 由范数诱导。
• 证明当且仅当 Φ 由范数诱导时，Φ 保持特定几何类型（如长度空间、测地空间）；对于曲率相关性质，需更强条件（如严格凸性、内积结构）。
• 利用测地线的结构以及 Φ 的单调性和齐次性，推导出在类似切空间上诱导的伪范数的性质。
• 应用 Kleiner 定理关于局部紧致、凸、测地度量空间的结果，将 Minkowski 秩等同于拟欧几里得秩，从而得出可加性结果。

实验结果

研究问题

• RQ1 当 Φ 满足何种条件时，度量积 (X, dΦ) 对所有内度量空间因子均保持为长度空间？
• RQ2 在何种条件下，度量积 (X, dΦ) 的 Minkowski 秩等于其因子 Minkowski 秩之和？
• RQ3 范数单位球的严格凸性在确保 Minkowski 秩通过 Φ-积可加性中起什么作用？
• RQ4 在具有共 compact 等距群的凸、测地度量空间中，Minkowski 秩与拟欧几里得秩有何关系？
• RQ5 当标准积不成立时，Minkowski 秩的可加性是否在非标准度量积下仍被保持？

主要发现

• 当且仅当 Φ 由范数诱导时，度量积 (X, dΦ) 对所有内度量空间因子均为长度空间。
• 当且仅当 Φ 由具有严格凸单位球的范数诱导时，积 (X, dΦ) 保持测地性、唯一测地性以及非正 Busemann 曲率性质。
• 当且仅当 Φ 由内积诱导时，积 (X, dΦ) 具有上（或下）有界的曲率。
• 当 Φ 由具有严格凸单位球的范数诱导时，(X, dΦ) 的 Minkowski 秩具有可加性：rankM(X, dΦ) = ∑i=1^n rankM(Xi, di)。
• 在相同条件下，拟欧几里得秩也具有可加性：对于局部紧致、凸的度量空间且具有共 compact 等距群，有 rankqE(X, dΦ) = ∑i=1^n rankqE(Xi, di)。
• 定理 2 中的严格凸性条件是必要的，如通过反例 Φ(x₁, x₂) = x₁ + x₂ 在 ℝ₊ × ℝ₊ 上所示，此时 Minkowski 秩不具可加性。