[论文解读] Selected results on selection principles

Ljubiša D. R. Kočinac|arXiv (Cornell University)|Jan 7, 2012

Advanced Topology and Set Theory参考文献 35被引用 78

一句话总结

本文综述了点集拓扑学中选择公理的最新进展，重点讨论相对选择公理与星型选择公理，及其与博弈论、函数空间和超空间的联系。文章强调了若干关键结果，例如通过强弗雷歇连续性刻画相对γ-集，以及绝对与相对星型-休尔维奇性质之间的区别，特别指出在ZFC系统中，ℝ中不可数相对γ-集的存在性问题为不可判定。

ABSTRACT

We review some selected recent results concerning selection principles in topology and their relations with several topological constructions.

研究动机与目标

• 综述经典结果之外的最新进展，特别是Scheepers以往综述中未涵盖的内容。
• 探讨选择公理与拓扑构造（如函数空间、超空间及博弈论性质）之间的相互作用。
• 研究相对选择公理，特别是相对γ-集与相对星型-休尔维奇性质，强调其对环境空间X的依赖性。
• 厘清星型选择公理的绝对版本与相对版本之间的区别，表明相对性质严格弱于绝对性质。
• 考察ℝ中不可数相对γ-集存在的集合论独立性，表明该问题在ZFC中不可判定。

提出的方法

• 本文采用选择公理的形式化表达，即S1(A,B)与Sfin(A,B)，用于拓扑空间的覆盖族。
• 采用博弈论表述，如G1(ΩX, O^gp_Y)，以刻画选择公理及其获胜策略。
• 运用集合论概念，包括伪交集数𝔪及基数p(2^ω)、p(ω^ω)，分析乘积空间中的相对γ-集。
• 引入并分析星型选择公理的相对版本，例如在X中为强星型-休尔维奇，其中Y ⊆ X且Y中点属于所有但有限个星形。
• 利用连续映射及强弗雷歇连续性等拓扑性质，刻画函数空间中相对γ-集。
• 基于已知的集合论点集拓扑结果（如Gerlits-Nagy、Borel与Miller的研究），推导出ZFC中的独立性结果。

实验结果

研究问题

• RQ1 在何种条件下，空间X的子空间Y是X中的相对γ-集？这与Y在绝对意义下为γ-集有何不同？
• RQ2 选择公理S1(ΩX, ΓY)与评价映射π: Cp(X) → Cp(Y)的强弗雷歇性质之间有何关系？
• RQ3 子空间Y是否可能相对于X为强星型-休尔维奇，但相对于X并非绝对强星型-休尔维奇？若可能，哪些空间可实现此情况？
• RQ4 ℝ中不可数相对γ-集的存在性在ZFC中是否可判定？涉及的基数不变量有哪些？
• RQ5 基数p(2^ω)与p(ω^ω)如何与伪交集数𝔪相关联？可导出哪些独立性结果？

主要发现

• Tychonoff空间X的子空间Y是X中的相对γ-集，当且仅当评价映射π: Cp(X) → Cp(Y)是强弗雷歇的。
• 相对γ-集的性质具有遗传性，而绝对γ-集的性质则不具备遗传性。
• 存在一个空间X（即Mrówka-Isbel Ψ-空间）及其子空间Y，使得Y在X中为相对强星型-休尔维奇，但在X中并非绝对强星型-休尔维奇。
• ℝ中不可数相对γ-集的存在性在ZFC中不可判定，这由p(2^ω)与𝔪之间的独立性所证明。
• 在ZFC中，相对一致成立p < p(ω^ω) < p(2^ω)，同时也存在p < p(ω^ω) = p(2^ω)的情形，表明这些基数之间具有独立性。
• 基数p(2^ω)是2^ω中非相对γ-集的最小基数，类似地，p(ω^ω)是ω^ω中非相对γ-集的最小基数。