[论文解读] 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$ 上一种修改版本的紧开博弈之间的等价性，其中 $C_k(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)$ 上的闭离散选择性质及其博弈论对应，其中 $C_k(X)$ 是赋予紧拓扑的从 $X$ 到 $\mathbb{R}$ 的连续函数空间。
• 在 $C_k(X)$ 上的闭离散选择博弈与 $X$ 上修改紧开博弈的策略之间建立精确等价性。
• 将 $C_k(X)$ 上的离散选择性质与 $X$、$C_k(X)$ 以及 $X$ 的紧子集空间 $\mathbb{K}(X)$ 的拓扑性质联系起来。
• 修正并扩展先前关于 $k$-覆盖与 $\gamma_k$-覆盖在选择原则与博弈等价性背景下的结果。
• 通过有限信息与马尔可夫策略探讨这些等价性的鲁棒性，并识别未来研究的开放问题。

提出的方法

• 改编并扩展了 Arens、Scheepers 和 Kočinac 在函数空间选择原则方面的技术。
• 应用 Clontz 最近提出的博弈新对偶框架，将 $C_k(X)$ 上的闭离散选择博弈与 $X$ 上的修改紧开博弈联系起来。
• 规定仅考虑非平凡开覆盖，并在分析中显式包含 $\Lambda$-覆盖与 $k$-覆盖。
• 通过递归构造策略与函数序列，展示博弈中的非获胜行为，从而证明选择原则之间的蕴含关系。
• 在 $\mathbb{K}(X)$ 上使用维特oris拓扑分析紧集及其覆盖，并使用形如 $[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 是否存在一个空间 $X$，使得玩家 I 在 $G_1(\mathscr{N}[K(X)], \neg\mathcal{K}_X)$ 中有获胜策略，但在有限开博弈中或在预设策略下没有获胜策略？
• RQ4 这些等价性与策略在超过 $\omega$-长度对局的更长博弈中能在多大程度上推广？
• RQ5 在 $G_1(\mathscr{N}[K(X)], \neg\mathcal{K}_X)$ 中的马尔可夫策略与 $C_k(X)$ 上闭离散选择博弈中的获胜策略之间存在何种精确关系？

主要发现

• 在 $C_k(X)$ 上的闭离散选择博弈与 $X$ 上一个非平凡修改的紧开博弈等价，其中仅考虑非平凡覆盖，并包含 $\Lambda$-覆盖。
• $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)$ 的强可数扇紧致性等价于玩家 I 在 $G_1(\mathscr{T}_{C_k(X)}, CD_{C_k(X)})$ 中不存在获胜策略。
• 若玩家 II 在 $G_1(\mathscr{N}[K(X)], \neg\mathcal{K}_X)$ 中存在获胜马尔可夫策略，则 $C_k(X)$ 上的闭离散选择博弈中也存在获胜马尔可夫策略。
• 本文修正了早期结果中的错误，包括定理 47 与命题 43 和 45，并恢复了关于 $k$-覆盖与 $\gamma_k$-覆盖的正确陈述。
• $S_1(\mathcal{D}_{C_k(X)}, \Omega_{C_k(X),\mathbf{0}})$ 与其他选择原则之间的等价性，证实了该表征在不同博弈与选择设定下的稳健性。