[論文レビュー] An embedding, an extension, and an interpolation of ultrametrics

Yoshito Ishiki|arXiv (Cornell University)|Aug 24, 2020

Advanced Topology and Set Theory参考文献 46被引用数 4

ひとこと要約

本稿は、アレンズ＝イルズの等長埋め込み、オーストロフスキーの拡張、ニエムツキー＝ティコノフのコンパクト性特徴付け、および補間定理といった古典的距離空間定理の $S$-値超距離空間への類似を確立する。整域上の $S$-値超ノルムモジュールへの等長埋め込みを構成し、任意の範囲集合 $S$ に対して、すべての $S$-値超距離空間が、そのモジュールの完備的かつ $R$-独立で閉じた部分集合に等長的に埋め込まれることを証明する。主な貢献は、核心的な距離定理の超距離版を統一的枠組みで扱い、代数的および位相的性質を強く制御することにある。

ABSTRACT

The notion of the ultrametrics can be considered as a zero-dimensional analogue of ordinary metrics, and it is expected to prove ultrametric versions of theorems on metric spaces. In this paper, we provide ultrametric versions of the Arens--Eells isometric embedding theorem of metric spaces, the Hausdorff extension theorem of metrics, the Niemytzki--Tychonoff characterization theorem of the compactness, and the author's interpolation theorem of metrics and theorems on dense subsets of spaces of metrics.

研究の動機と目的

• 古典的距離定理（アレンズ＝イルズ埋め込み、オーストロフスキー拡張、ニエムツキー＝ティコノフのコンパクト性特徴付けなど）を $S$-値超距離空間の設定に拡張すること。
• 整域上の $S$-値超ノルムモジュールへの埋め込みを構成することで、アレンズ＝イルズの等長埋め込み定理を $S$-値超距離空間へ一般化すること。
• 著者の補間定理および距離空間の $G_{\delta}$ 稠密部分集合に関する定理の超距離版を確立すること。
• 代数的構造（例：$R$-独立性）および位相的性質（例：完備性、閉性）を制御できるように、距離定理の超距離版の枠組みを提供すること。

提案手法

• 任意の整域 $R$ および少なくとも2つの元をもつ範囲集合 $S$ に対して、$S$-値超ノルム $R$-モジュール $(V, \|\cdot\|)$ を構成する。
• モジュール論的構成（レミン＝レミンの普遍超距離空間に由来）を用いて、$I(X)$ が $V$ で閉かつ $R$-独立であるような等長埋め込み $I: X \to V$ を定義する。
• 超ノルム $\|\cdot\|$ と環作用の整合性を保つために、$R$ 上の自明な付値 $t_R$ を用い、$\|r \cdot x\| = t_R(r) \|x\|$ が成り立つようにする。
• 基本的な補題で、$S$ 上の超距離 $d(x,y) = x \lor y$（$d(x,x)=0$）を用いる。これはデルホーム他による $S$-値超距離の基礎的例に由来する。
• $\ell^\infty$-積度量およびプッシュバック度量の構成を適応し、超距離空間 $\operatorname{UM}(X,S)$ および $\operatorname{M}(X)$ のトポロジーを定義する。
• 稠密な $G_\delta$ 部分集合を特徴付けるために、伝搬可能パラメータ $\mathfrak{G}$ および反 $\mathfrak{G}$-伝搬可能性質を導入し、補間および完備性に関する結果を得る。

実験結果

リサーチクエスチョン

• RQ1 アレンズ＝イルズの等長埋め込み定理は、ターゲット空間に代数的構造を持つ $S$-値超距離空間へ一般化可能か？
• RQ2 任意の範囲集合 $S$ に対して、距離空間のオーストロフスキー拡張定理は超距離設定において妥当な類似を持つだろうか？
• RQ3 ニエムツキー＝ティコノフのコンパクト性特徴付けは、$S$-値超距離空間に対して再定式化され、証明可能だろうか？
• RQ4 距離空間における著者の補間定理は、$S$-値距離および位相的稠密性を制御しながら、超距離設定へどのように拡張可能だろうか？
• RQ5 $S$-値超距離空間 $\operatorname{UM}(X,S)$ がバーレ空間であるか、または稠密な $G_\delta$ 部分集合を持つための条件は何か？

主な発見

• 任意の少なくとも2つの元をもつ範囲集合 $S$ および任意の整域 $R$ に対して、任意の $S$-値超距離空間 $(X,d)$ は、$I(X)$ が $V$ で閉かつ $R$-独立であるような $S$-値超ノルム $R$-モジュール $(V, \|\cdot\|)$ に等長的に埋め込める。
• $(X,d)$ が完備である場合、ターゲットモジュール $(V, \|\cdot\|)$ も完備距離空間にとることができる。これは古典的なアレンズ＝イルズ結果を超距離および代数的設定へ拡張する。
• 構成された超ノルム $\|\cdot\|$ は、$R$ 上の自明な付値 $t_R$ と整合的であり、すべての $r \in R$、$x \in V$ に対して $\|r \cdot x\| = t_R(r) \|x\|$ が成り立つ。これにより代数的および距離的構造が結びつけられる。
• $X$ 上の $S$-値超距離空間 $\operatorname{UM}(X,S)$ には自然な超距離 $\mathcal{UD}_X^S$ が定まり、これにより完備距離空間となる。また、反 $\mathfrak{G}$-伝搬可能性質を満たす $d \in \operatorname{UM}(X,S)$ の集合は、稠密な $G_\delta$ 部分集合である。
• $S$-値超距離空間の完備集合 $\operatorname{CUM}(X,S)$ は、$\operatorname{UM}(X,S)$ の $G_\delta$ 部分集合であり、適切な条件下ではバーレ空間である。
• 本稿は、$\mathcal{UD}_X^S$-トポロジーがメトライズ可能であり、$\ell^\infty$-積度量と同一のトポロジーを誘導することを証明する。これにより、超距離空間上の収束および完備性に関する議論が可能になる。