すべてのコンパクト距離空間を距離空間の空間へ埋め込む
Every Compact Metric Space Is Isometrically Embeddable into the Gromov-Hausdorff Space
この論文をやさしく読む
ひとことで言うと
距離を持つ空間そのものを一つの点として扱う大きな空間の中に、どんなコンパクト距離空間も元の距離を保って入れられることを示します。
何に役立つ？
距離空間同士を比較するグロモフ＝ハウスドルフ空間が、どれほど豊かな構造を含むかを理解する理論的結果です。有限近似の距離公式と誤差評価も与えます。
この研究の面白いところ
単に埋め込みの存在を示すだけでなく、同じカントール空間上の距離を変えて具体化します。関数同士の一様距離と空間同士の距離が正確に一致する構成です。
どこまで分かった？
対象は空でないコンパクト距離空間です。76Dは構成された各距離空間の直径上界であり、近似誤差の値ではありません。一般の非コンパクト空間への結論は要旨にはありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
空でないコンパクト距離空間の等長類からなるグロモフ＝ハウスドルフ空間を（M, d_GH）とする。本研究では、空でない任意のコンパクト距離空間が（M, d_GH）へ等長に埋め込めることを証明する。より正確には、任意のD > 0と、直径がD以下の空でない任意のコンパクト距離空間Kに対して、K上で値を[0,D]に取るすべての1リプシッツ関数の空間を、固定したカントール空間上の距離の族として実現する。この実現の下で、グロモフ＝ハウスドルフ距離は関数間の一様距離と正確に一致し、得られる各距離空間の直径は高々76Dとなる。さらに、グロモフ＝ハウスドルフ距離が厳密な公式で与えられる有限近似を、一様な近似誤差の評価とともに構成する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-18（UTC）
- 最新改訂
- 2026-09-18 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-18 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Let $(\mathcal{M},d_{\mathrm{GH}})$ denote the Gromov-Hausdorff space of isometry classes of nonempty compact metric spaces. We prove that every nonempty compact metric space is isometrically embeddable into $(\mathcal{M},d_{\mathrm{GH}})$. More precisely, for every $D>0$ and every nonempty compact metric space $K$ with $\operatorname{diam} K\le D$, we realize the space of all $1$-Lipschitz functions on $K$ with values in $[0,D]$ as a family of metrics on a fixed Cantor space. Under this realization, the Gromov-Hausdorff distance agrees exactly with the uniform distance between functions, and each resulting metric space has diameter at most $76D$. We also construct finite approximations for which the Gromov-Hausdorff distance is given by an exact formula, together with a uniform approximation estimate.
著者のコメント
14 pages
arXiv ID: 2609.21469 ／ 要約の誤りについて