[論文レビュー] Chain intersection closures

Wiesław Kubiś, Franz‐Viktor Kuhlmann|arXiv (Cornell University)|Oct 13, 2018

Advanced Banach Space Theory参考文献 7被引用数 2

ひとこと要約

本稿は、非アーベル的および部分順序値設定における球空間の鎖交差閉包を調査し、球的完全性を研究するための超直径の概念を導入する。値集合が狭く可算である場合、球的完全性が鎖交差閉包のもとで保存されることを示すが、一般には、このような閉包が球的完全性を保存しないことが示され、可算でない狭い空間に対しても同様の反例が存在する。

ABSTRACT

We study spherical completeness of ball spaces and its stability under expansions. We introduce the notion of an ultra-diameter, mimicking diameters in ultrametric spaces. We prove some positive results on preservation of spherical completeness involving ultra-diameters with values in narrow partially ordered sets. Finally, we show that in general, chain intersection closures of ultrametric spaces with partially ordered value sets do not preserve spherical completeness.

研究の動機と目的

• 超距離空間から導かれる球空間における鎖交差閉包の下での球的完全性の安定性を分析すること。
• 部分順序値集合を備えた球空間を解析するための道具として、超直径の概念を導入・形式化すること。
• 球空間を鎖交差閉包に拡張する際、球的完全性が保存される条件を同定すること。
• 鎖交差閉包処理の限界を明らかにするために、球的完全性が失敗する反例を構成すること。

提案手法

• 順序数 α に対する超限再帰による鎖交差閉包の定義：ciα(B) を順序数 α で定義し、鎖交差ランク cir(B) に到達する。
• 超距離距離の性質を模倣するように値集合の部分順序集合に値を割り当てる関数として超直径を導入する。
• 値集合における初期部分集合の構造を用いて、球の鎖の交差を特徴付ける。
• 無限個の反鎖を含まない部分順序集合（狭い順序集合）の性質を用いて、球的完全性の保存を証明する。
• 順序数で添え字づけられた球の族を用いた具体的な反例を構成し、非可算または非狭い設定における球的完全性の失敗を示す。
• 球の対称性および包含性を活用し、任意の2点が最小の球に含まれるような球空間から、自然な超距離を誘導する。

実験結果

リサーチクエスチョン

• RQ1 球空間からその鎖交差閉包に移行する際、どのような条件下で球的完全性が保存されるか？
• RQ2 超直径の概念を用いることで、線形順序値集合を超えた球的完全性の一般化が可能か？
• RQ3 定理1.2における可算性の仮定は、閉包のもとでの球的完全性の保存に必須な役割を果たすか？
• RQ4 球的完全性を保つ球空間が、鎖交差閉包かつ球的完全性を保つ拡張をもたないことがあるか？
• RQ5 鎖交差閉包のもとで球的完全性を保存するために、値集合（例：狭さ）がもつべき構造的性質は何か？

主な発見

• 値集合が狭く可算である場合、鎖交差閉包のもとで球的完全性が保存されることを定理1.2で示した。
• 線形順序値集合では、完全な超距離球空間はすでに鎖交差閉包であるため、球的完全性が保存され、定理1.1で示された。
• 部分順序値集合を備えた可算な球的完全な超距離空間であっても、鎖交差閉包かつ球的完全性を保つ拡張をもたない例が存在する（例4.4で示された）。
• 有限交差性を満たす非可算で狭い球的完全な球空間であっても、鎖交差安定でなく、鎖交差閉包かつ球的完全性を保つ拡張をもたない例が存在する（例4.6で示された）。
• 任意の2点が最小の球に含まれる球空間から誘導される超距離は自然であり、このような空間は球に最小包摂距離を割り当てる超直径関数をもつ。
• 一般には、可算性を除いた狭い順序集合に対しても、鎖交差閉包が球的完全性を保存しないことが示された。具体的には、{T Cα}α<ω1 のようなネストが空でない交わりをもたないことで、その失敗が示された。