[論文レビュー] Notes on Pointed Gromov-Hausdorff Convergence

Dorothea Jansen|arXiv (Cornell University)|Mar 28, 2017

Approximation Theory and Sequence Spaces被引用数 5

ひとこと要約

この論文は、非コンパクトな距離空間における点付きGromov-Hausdorff収束について、包括的でアクセス可能な入門を提供し、基礎的性質を確立するとともに、超限極限との関係を明確にしている。非主超フィルターを用いた超限極限構成と、点付きGromov-Hausdorffの意味での部分列収束が完全に一致することを証明しており、幾何的解析における距離空間の極限を研究する強固な枠組みを提供している。

ABSTRACT

The present article addresses to everyone who starts working with (pointed) Gromov-Hausdorff convergence. In the major part, both Gromov-Hausdorff convergence of compact and of pointed metric spaces are introduced and investigated. Moreover, the relation of sublimits occurring with pointed Gromov-Hausdorff convergence and ultralimits is discussed.

研究の動機と目的

• 非コンパクトな距離空間における点付きGromov-Hausdorff収束の自己完結的で詳細な入門を提供し、文献における空白を埋めること。
• 点付きGromov-Hausdorff位相における部分列収束と超限極限構成との関係を明確にすること。
• 適切な条件下で、超限極限と部分列による点付きGromov-Hausdorff極限が同値であることを確立すること。
• 非コンパクトな設定における、点の収束と写像の収束といった、点付き収束の主要な性質を検証すること。

提案手法

• 共通の距離空間への等長埋め込みを通じてGromov-Hausdorff距離を導入し、直和集合上の許容可能な距離の下界として定義する。
• ベースポイントの距離をHausdorff距離に加えることで、点付きGromov-Hausdorff距離を定義し、極限におけるベースポイントの一致を保証する。
• ε-近似（近似的に等長で、かつ近似的に逆写像を満たす写像のペア）を用いて、空間の収束と同値性を特徴付ける。
• 非主超フィルターを用いた超限極限を適用して極限空間を構成し、このような極限が部分列による点付きGromov-Hausdorff極限と一致することを示す。
• 任意の点付きGromov-Hausdorffの意味で収束する部分列に対して、その超限極限が極限空間に等長であるような超フィルターが存在することを証明する。
• インデックス集合のω-測度に基づいて場合分けを行い、超限極限における逆数半径の収束を保証する半径の列を構成する。

実験結果

リサーチクエスチョン

• RQ1 点付きGromov-Hausdorff収束は、コンパクトな距離空間から非コンパクトな距離空間へどのように拡張されるか？
• RQ2 部分列による点付きGromov-Hausdorff位相における収束と超限極限構成との間の正確な関係は何か？
• RQ3 任意の部分列による点付きGromov-Hausdorff極限は、適切な超フィルターを用いて超限極限として実現可能か？
• RQ4 非コンパクトな状況下で、点の収束とLipschitz写像の収束は、点付きGromov-Hausdorff収束においてどのように振る舞うか？
• RQ5 非コンパクトな点付き固有長さ空間の列の超限極限が、部分列極限と一致する条件は何か？

主な発見

• 任意の部分列が点付きGromov-Hausdorffの意味で収束する点付き固有長さ空間の列に対して、非主超フィルターが存在し、その超限極限が極限空間に等長である。
• 非主超フィルターを用いた超限極限構成は、部分列による点付きGromov-Hausdorff極限と同じ極限空間を回復する。これにより、二つの概念の強い対応関係が確立される。
• 証明は、有界列と無限大列に対応するインデックス集合のω-測度に基づいて場合分けを行い、超限極限における逆数半径の収束を保証する。
• ω(J) = 1（Jが無限大集合をインデックスとする）の場合、1/r_i → 0 となるような半径 r_i の列を選び、収束を保証できる。
• ω(J) = 0 の場合、半径集合 R_i の上界 s_i に対して 1/s_i → 0 が超フィルターに沿って成り立ち、r_i ∈ [s_i/2, s_i] とすることで 1/r_i → 0 が保証される。
• 本論文は、点付きコンパクト距離空間の同値類上で点付きGromov-Hausdorff距離が距離を定義することを確立し、ε-近似が収束を特徴付けることを示している。