[論文レビュー] Lipschitz functions on topometric spaces

Itaï Ben Yaacov|arXiv (Cornell University)|Oct 8, 2010

Advanced Topology and Set Theory参考文献 8被引用数 9

ひとこと要約

この論文は、位相と距離が一致するとは限らない空間（topometric空間）におけるリプシッツ関数—特に連続的1リプシッツ関数—を導入し、それらを研究する。コンパクトな topometric 空間は、その連続的1リプシッツ実数値関数のラティスから一意に再構成可能であり、これはストーン＝チェホフコンパクト化やゲルファンド＝ナイマーク双対性といった古典的再構成定理を topometric 構造へと一般化する。

ABSTRACT

We study functions on topometric spaces which are both (metrically) Lipschitz and (topologically) continuous, using them in contexts where, in classical topology, ordinary continuous functions are used. We study the relations of such functions with topometric versions of classical separation axioms, namely, normality and complete regularity, as well as with completions of topometric spaces. We also recover a compact topometric space $X$ from the lattice of continuous $1$-Lipschitz functions on $X$, in analogy with the recovery of a compact topological space $X$ from the structure of (real or complex) functions on $X$.

研究の動機と目的

• topometric 空間における連続的および距離的リプシッツ関数の理論を構築すること。これは、位相的および距離的構造の両方を一般化する。
• 正規性や完全正則性といった古典的分離公理を、リプシッツ関数を用いて topometric 環境に拡張すること。
• コンパクトな topometric 空間における連続的1リプシッツ関数のラティスを特徴づけ、元の空間がこのラティスから一意に回復可能であることを示すこと。
• 1リプシッツ関数に対するユルソーンの補題およびティエッチェの拡張定理の topometric 版を確立すること。
• ストーン＝チェホフコンパクト化の topometric 版を構築し、それが完全正則性とどのように関係するかを明らかにすること。

提案手法

• d が T に関して下方連続であり、T よりも細かい d を持つ三重組 (X, T, d) として topometric 空間を定義する。
• X 上の連続的1リプシッツ関数を、位相的に連続かつ d に関して1リプシッツである関数として定義する。
• 連続的1リプシッツ関数のラティス構造を用いて、双対性により元の topometric 空間を再構成する。
• Banach ラティス理論および対称凸構造を用い、関数空間 A = C_L(1)(X, ℝ) が順序およびノルム構造を備えた対称凸ラティスとして特徴づけられることを示す。
• A の双対空間を用いて、元のコンパクトな topometric 空間 X を A の状態空間の極値点の集合として自然に同定する。
• X 内の2点 λ, μ 間の topometric 距離 d(λ, μ) が、すべての v ∈ A に対して |λ(v) - μ(v)| の上界として与えられることを示す。

実験結果

リサーチクエスチョン

• RQ1 正規性や完全正則性といった古典的分離公理を、リプシッツ関数を用いて topometric 空間にどのように適合できるか。
• RQ2 コンパクトな topometric 空間が、その連続的1リプシッツ実数値関数のラティスからどの程度一意に再構成可能か。
• RQ3 ストーン＝チェホフコンパクト化の topometric 版とは何か。また、それは完全正則性とどのように関係するか。
• RQ4 topometric 空間の距離的完備化が、位相的構造および1リプシッツ関数のラティスとどのように関係するか。
• RQ5 コンパクトな topometric 空間における連続的1リプシッツ関数のラティスが、元の空間を同型写像を除いて一意に決定するための条件は何か。

主な発見

• コンパクトな topometric 空間 X は、X 上の連続的1リプシッツ実数値関数のラティスから、一意に同型写像を除いて回復可能である。
• X 内の2点 λ, μ 間の topometric 距離は、すべての λ, μ ∈ X に対して d(λ, μ) = sup{|λ(v) - μ(v)| : v ∈ C_L(1)(X, ℝ)} で与えられる。
• 空間 X は、線形性、正則性、正規化を満たす関数型の集合 C ⊆ ℝ^A における極値点の集合として自然に同定される。
• コンパクトな topometric 空間における連続的1リプシッツ関数のラティスは、対称凸ラティスの公理を満たし、完備化によりバナッハラティスを生成する。
• 1リプシッツ関数に対する topometric 版のユルソーンの補題およびティエッチェの拡張定理が成り立ち、古典的結果が topometric 環境へ一般化される。
• topometric 版のストーン＝チェホフコンパクト化が存在し、それは連続的1リプシッツ関数をコンパクトな topometric 空間に拡張する普遍性によって特徴づけられる。