[论文解读] A semifilter approach to selection principles

Lubomyr Zdomsky|ArXiv.org|Dec 27, 2004

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

一句话总结

本文提出了一种基于半滤子的框架，用于分析拓扑学中的选择原则，特别是Menger和Hurewicz性质。研究证明，在Baire空间中，由Menger子空间生成的σ-理想的可加性数的下界为小基数$τ$；在$\mathfrak{u} < \mathfrak{g}$的假设下，所有具有$\mathrm{Split}(\Lambda,\Lambda)$性质的空间都是Hurewicz的，从而表明该性质在并集下的封闭性是逻辑一致的。

ABSTRACT

We develop the semifilter approach to the classical Menger and Hurewicz covering properties and show that the small cardinal g is a lower bound of the additivity number of the family of Menger subspaces of the Baire space, and under u&lt; g every subset X of the real line with the property Split(Lambda,Lambda) is Hurewicz.

研究动机与目标

• 开发一种基于半滤子的框架，用于分析拓扑空间中的选择原则。
• 确定在Baire空间中由Menger子空间生成的σ-理想的可加性数。
• 研究实直线子集的并集下$\mathrm{Split}(\Lambda,\Lambda)$性质的保持性。
• 建立$\mathrm{Split}(\Lambda,\Lambda)$蕴含Hurewicz性质的条件。
• 通过半滤子技术统一Menger与可分性性质的研究结果。

提出的方法

• 利用半滤子刻画拓扑空间中的Menger与Hurewicz性质。
• 在遗传Lindel\
• 使用上半连续紧值多值函数$Φ: X \Rightarrow \mathbb{N}^\omega$刻画$E^\ast_\omega$性质。
• 利用连续映射下支配像的Hurewicz刻画，将拓扑性质与组合基数不变量联系起来。
• 应用半滤子方法证明：在假设$\mathfrak{u} < \mathfrak{g}$下，$\mathrm{Split}(\Lambda,\Lambda)$蕴含Hurewicz性质。
• 当$X$不满足$E^\ast_\omega$性质时，构造一个满射、上半连续、紧值的映射$Φ: X \Rightarrow \mathbb{N}^\omega$。

实验结果

研究问题

• RQ1 在Baire空间中，由Menger子空间生成的σ-理想的可加性数是多少？
• RQ2 在少于$\mathfrak{b}$个实直线子集的并集中，$\mathrm{Split}(\Lambda,\Lambda)$性质是否保持？
• RQ3 在何种集合论假设下，$\mathrm{Split}(\Lambda,\Lambda)$蕴含Hurewicz性质？
• RQ4 半滤子方法能否统一分析选择原则中Menger与可分性性质？
• RQ5 基数不变量$\mathfrak{g}$、$\mathfrak{u}$与$\mathfrak{b}$如何与选择原则在并集下的保持性相关？

主要发现

• 小基数$\mathfrak{g}$是任何遗传Lindel\
• 在假设$\mathfrak{u} < \mathfrak{g}$下，每个具有$\mathrm{Split}(\Lambda,\Lambda)$性质的Lindel\
• 这表明在$\mathfrak{u} < \mathfrak{g}$的模型中，$\mathrm{Split}(\Lambda,\Lambda)$性质对少于$\mathfrak{b}$个实直线子集的并集是保持的。
• 该结果表明，'每个$\mathrm{Split}(\Lambda,\Lambda)$空间都是Hurewicz的'这一陈述在ZFC下是一致的，尽管在一般情况下是独立的。
• 半滤子方法为分析Menger与可分性类型的选择原则提供了一个统一的框架。
• 一个拓扑空间$X$具有$E^\ast_\omega$性质，当且仅当对每个紧值、上半连续的多值函数$Φ: X \Rightarrow \mathbb{N}^\omega$，都有$Φ(X) \neq \mathbb{N}^\omega$。