[論文レビュー] Closed Discrete Selection in the Compact Open Topology

Christopher Caruvana, Jared Holshouser|arXiv (Cornell University)|Dec 16, 2018

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

ひとこと要約

本稿は、$C_k(X)$、すなわち$X$ 上の連続実数値関数の空間でコンパクト開位相を備えたものにおける閉じた離散的選択ゲームと、$X$ 上のコンパクト開ゲームの非自明な修正版との間の同値性を確立する。主な貢献は、$C_k(X)$ 上の閉じた離散的選択ゲームにおける戦略が、この修正ゲームにおける戦略と正確に対応することであり、$C_k(X)$ 上の選択原則と、$X$ そのもの、そのコンパクト部分集合のハイパースペース、および関連関数空間の位相的性質を結びつける。

ABSTRACT

In 2017, Tkachuk isolated the closed discrete selection property while working on problems related to function spaces [15]. In this paper we will study the closed discrete selection property and the related games and strategies on $C_k(X)$. Clontz and Holshouser showed previously that the closed discrete selection game on $C_p(X)$ is equivalent to a modification of the point-open game on $X$. In this paper we show that the closed discrete selection game on $C_k(X)$ is equivalent to a modification of the compact-open game on $X$. We also connect discrete selection properties on $C_k(X)$ to a variety of other properties on $X$, $C_k(X)$, and hyperspaces of $X$.

研究の動機と目的

• $C_k(X)$、すなわち$X$ から$\mathbb{R}$ への連続関数の空間でコンパクト開位相を備えたものにおける、閉じた離散的選択性質とそのゲーム理論的双対性を調査すること。
• 閉じた離散的選択ゲームにおける戦略と$X$ 上の修正コンパクト開ゲームにおける戦略との間の正確な同値性を確立すること。
• $C_k(X)$ 上の離散的選択性質を、$X$、$C_k(X)$、および$X$ のコンパクト部分集合のハイパースペース$\mathbb{K}(X)$ の位相的性質と結びつけること。
• $k$-被覆と$\gamma_k$-被覆に関する選択原則およびゲーム同値性の文脈における、先行研究の修正と拡張を行うこと。
• 限られた情報とマーキov戦略を通じて、これらの同値性の頑健性を検討し、今後の研究のための未解決問題を特定すること。

提案手法

• アレンズ、シェープス、コチンアックの関数空間における選択原則に関する手法を適応・拡張する。
• クロントツが開発した新しい双対性フレームワークを適用し、$C_k(X)$ 上の閉じた離散的選択ゲームと$X$ 上の修正コンパクト開ゲームとの関係を明確にする。
• 非自明な開被覆のみを考慮するという慣習を導入し、明示的に$\Lambda$-被覆と$k$-被覆を分析に含める。
• 戦略と関数列の再帰的構成を用いて、ゲームにおける非勝利的行動を示し、選択原則の間の含意関係を証明する。
• コンパクト集合とその被覆の分析にビエトリス位相を用い、$[U_0; U_1, \dots, U_n]$ の形の基本開集合を用いて位相的構造を記述する。
• $C_k(X)$ の均一性を活用し、強い可算ファン緊密性と強い可算稠密ファン緊密性を、選択原則と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 閉じた離散的選択理論を$C_k(X)$ から$C_k(X, [0,1])$ にどの程度一般化できるか。
• RQ2 命題43および45（$k$-被覆と$\gamma_k$-被覆に関するもの）を、現在の範囲を超えて一般化する方法は何か。
• RQ3 プレイヤーIが$G_1(\mathscr{N}[K(X)], \neg\mathcal{K}_X)$ で勝利戦略を持つが、有限開ゲームや事前決定戦略では持たないような空間$X$ が存在するか。
• RQ4 これらの同値性と戦略は、$\omega$-長さのプレイを超えたより長い長さのゲームへどの程度拡張可能か。
• RQ5 $G_1(\mathscr{N}[K(X)], \neg\mathcal{K}_X)$ におけるマーキov戦略と、$C_k(X)$ 上の閉じた離散的選択ゲームにおける勝利戦略との正確な関係は何か。

主な発見

• $C_k(X)$ 上の閉じた離散的選択ゲームは、非自明な被覆のみを考慮し、$\Lambda$-被覆を含む、$X$ 上のコンパクト開ゲームの非自明な修正版と同値である。
• $S_1(\mathcal{K}_X, \mathcal{K}_X)$ は、$S_1(\Omega_{C_k(X),\mathbf{0}}, \Omega_{C_k(X),\mathbf{0}})$ と同値であり、$C_k(X)$ においてゲーム的性質と選択的性質が一致していることを示している。
• $C_k(X)$ の強い可算ファン緊密性は、$G_1(\mathscr{T}_{C_k(X)}, CD_{C_k(X)})$ においてプレイヤーIが勝利戦略を持たないことに同値である。
• $G_1(\mathscr{N}[K(X)], \neg\mathcal{K}_X)$ においてプレイヤーIIがマーキov勝利戦略を持つならば、$C_k(X)$ 上の閉じた離散的選択ゲームにおいてもマーキov勝利戦略が存在する。
• 本稿は、従来の結果の誤り（特に定理47および命題43と45）を是正し、$k$-被覆と$\gamma_k$-被覆に関する正しい記述を回復した。
• $S_1(\mathcal{D}_{C_k(X)}, \Omega_{C_k(X),\mathbf{0}})$ と他の選択原則との同値性は、異なるゲームおよび選択設定においても、同値性の特徴付けの頑健性を確認する。