[論文レビュー] 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自由空間 F(M) 上のノルムが八面体的であるための必要十分条件を示している。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自由空間 F(M) 上のノルムが八面体的である条件を特徴づけることである。
• F(M) が八面体的ノルムを持つかどうかを決定づける、元の距離空間 M の幾何的性質を調査することである。
• 本研究は、ℓ1 や関連する空間に等長埋め込み可能な距離空間がどのようなものかを理解することを目的としている。
• 本稿は、LTP を有するか否かの新しいクラスの距離空間を同定し、その性質の保存性および構造的意味を調査することを目的としている。

提案手法

• 著者らは、距離空間 M の有限部分集合に対して幾何的条件としての長方形の性質（LTP）を定義する。
• F(M) 上のノルムが八面体的であることと、M が LTP を満たすこととは同値であることを証明する。
• 証明は、双対バナッハ空間におけるスライスの凸結合とノルムを達成する集合の性質に依存する。
• バナッハ空間の八面体性とその双対空間における w*-SD2P（強い直径2性質）との同値性を用いる。
• LTP の等長埋め込みおよび距離的演算における保存性を確立する。
• 本稿では、R-ツリー、ℓ1、ℓp、c0 といった特定の空間に対して理論を適用し、漸近的均一凸性のモジュラスを用いて結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 距離空間 M がどのような幾何的条件下に、その Lipschitz 自由空間 F(M) のノルムが八面体的になるか。
• RQ2 LTP を用いて、F(M) が ℓ1 の等長コピーを含むかどうかを特定できるか。
• RQ3 有界かつ一様離散的であるが LTP を満たさない距離空間は存在するか？ もし存在するならば、その構造的性質は何か。
• RQ4 AUC バナッハ空間 X において、δX(t) = t（すべての t ≥ 0 に対して）が成り立つとき、そのすべての無限部分集合は LTP を満たすか。
• RQ5 LTP と ℓ1 や他の古典的バナッハ空間への等長埋め込みの可能性との関係は何か。

主な発見

• F(M) 上のノルムが八面体的であることと、距離空間 M が長方形の性質（LTP）を満たすこととは同値である。
• LTP を満たさない距離空間は、ℓ1 や類似のバナッハ空間に等長埋め込みできない。
• すべての t ≥ 0 に対して δX(t) = t を満たす AUC バナッハ空間 X の無限部分集合は、LTP を満たす。
• R-ツリーおよび ℓ1 のすべての無限部分集合、および 1 < p ≤ ∞ に対する ℓp と c0 のすべての無限部分集合は、LTP を満たす。
• 本稿では、M の距離構造に基づいて F(M) の Fréchet 異常点を特定する基準を提供する。
• p が 1 または ∞ に近いときの ℓp への埋め込みの歪度は 2 に近づくため、この場合に等長埋め込みには根本的な障害があることが示唆される。