[论文解读] A characterisation of octahedrality in Lipschitz-free spaces

A. Procházka, Abraham Rueda Zoca|arXiv (Cornell University)|Dec 12, 2016

Advanced Banach Space Theory参考文献 21被引用 25

一句话总结

本文引入了长梯形性质（LTP）作为度量空间上的几何条件，并证明了 Lipschitz-free 空间 F(M) 上的范数为八面体当且仅当底层面度量空间 M 具有 LTP。该刻画将 M 的几何结构与 F(M) 的强非光滑性特征（八面体性）直接联系起来，表明 F(M) 恰好在 M 允许其度量几何中存在某些长而细的梯形构型时为八面体。

ABSTRACT

We characterise the octahedrality of Lipschitz-free space norm in terms of a new geometric property of the underlying metric space. We study the metric spaces with and without this property. Quite surprisingly, metric spaces without this property cannot embed isometrically into $\ell_1$ and similar Banach spaces.

研究动机与目标

• 本文旨在刻画 Lipschitz-free 空间 F(M) 上的范数为八面体的条件。
• 研究决定 F(M) 是否具有八面体范数的底层度量空间 M 的几何性质。
• 研究旨在理解哪些度量空间可以或不可以等距嵌入到 ℓ1 及相关空间中。
• 旨在识别具有或不具有 LTP 的新度量空间类别，并探讨其保持性与结构意义。

提出的方法

• 作者将长梯形性质（LTP）定义为度量空间 M 的有限子集上的几何条件。
• 他们证明了 F(M) 上的范数为八面体当且仅当 M 满足 LTP。
• 证明依赖于对偶 Banach 空间中范数集和截面凸组合的性质。
• 作者利用 Banach 空间八面体性与其对偶空间中的 w*-SD2P（强直径二性质）之间的等价性。
• 他们建立了 LTP 在等距嵌入和度量运算下的保持性质。
• 他们将该理论应用于特定空间，如 R-树、ℓ1、ℓp 和 c0，利用渐近一致强凸性的模来推导结果。

实验结果

研究问题

• RQ1 在度量空间 M 的何种几何条件下，其 Lipschitz-free 空间 F(M) 上的范数为八面体？
• RQ2 LTP 是否可用于判断 F(M) 是否包含 ℓ1 的等距拷贝？
• RQ3 是否存在有界且一致离散但不满足 LTP 的度量空间？若是，其结构特征为何？
• RQ4 所有具有最大渐近一致强凸性模的 Banach 空间中的无限子集是否都满足 LTP？
• RQ5 LTP 与等距嵌入到 ℓ1 或其他经典 Banach 空间的可能性之间存在何种关系？

主要发现

• F(M) 上的范数为八面体当且仅当度量空间 M 具有长梯形性质（LTP）。
• 不具有 LTP 的度量空间无法等距嵌入到 ℓ1 或类似 Banach 空间中。
• 对于任意满足 δX(t) = t 对所有 t ≥ 0 的 AUC Banach 空间 X，其所有无限子集都具有 LTP。
• 所有 R-树和 ℓ1 的无限子集，以及 ℓp（1 < p ≤ ∞）和 c0 的无限子集都具有 LTP。
• 本文基于 M 的度量结构，为 F(M) 中 Fréchet 可微点提供了判定准则。
• 在 p 接近 1 或 ∞ 时，向 ℓp 的嵌入畸变趋向于 2，表明在这些情况下存在根本性的等距嵌入障碍。