[论文解读] Products and selection principles

Liljana Babinkostova, Marion Scheepers|ArXiv.org|Sep 18, 2007

Advanced Topology and Set Theory参考文献 17被引用 12

一句话总结

本文研究了可分度量空间的积在何种条件下继承选择性覆盖性质——特别是Menger、Rothberger和选择性可筛性性质。通过在连续统假设下分析Lusin集和Sierpiński集，证明了Lusin集与Sierpiński集的积具有Menger性质，而Lusin集与γ-集的积具有Rothberger性质，从而推进了选择性原理中积定理的理解。

ABSTRACT

The product of a Sierpinski set and a Lusin set has Menger's property. The product of a gamma set and a Lusin set has Rothberger's property.

研究动机与目标

• 确定两个可分度量空间的积在何种条件下继承Menger、Rothberger和选择性可筛性等选择性覆盖性质。
• 通过用更弱的性质（特别是Lusin集和Sierpiński集的上下文）替代σ-紧性，推广已知的积定理。
• 研究选择性原理如$\mathsf{S}_{fin}(\mathcal{O},\mathcal{O})$、$\mathsf{S}_{1}(\mathcal{O},\mathcal{O})$和$\mathsf{S}_{c}(\mathcal{O},\mathcal{O})$在积空间中的作用。
• 考察现有定理的局限性，并探索新假设，如Hurewicz型性质和选择性博弈中的获胜策略。

提出的方法

• 利用选择性原理$\mathsf{S}_{c}(\mathcal{A},\mathcal{B})$、$\mathsf{S}_{fin}(\mathcal{A},\mathcal{B})$和$\mathsf{S}_{1}(\mathcal{A},\mathcal{B})$分析积空间中的覆盖性质。
• 在连续统假设下构造具有特定拓扑性质的Lusin集和Sierpiński集。
• 在定理11的证明中，运用归纳论证和博弈论策略，确立当$X$具有可数$\mathsf{S}_{1}(\mathcal{O},\mathcal{O})$-类型时$X \times Y$的性质。
• 分析开覆盖的结构，包括$\omega$-覆盖、$\gamma$-覆盖和可分组覆盖，以刻画积空间的性质。
• 使用$\mathsf{tp}_{\mathsf{S}_{1}(\mathcal{O},\mathcal{O})}(X)$（拓扑性质秩）的概念，以界定$X \times Y$上选择性博弈的复杂度。
• 应用集合论结果，包括Martin公理和Borel猜想，以在不同集合论模型中检验猜想的稳健性。

实验结果

研究问题

• RQ1 在何种条件下，Lusin集与Sierpiński集的积具有Menger性质？
• RQ2 Lusin集与$\gamma$-集的积是否具有Rothberger性质？
• RQ3 定理1中的$\sigma$-紧性假设能否被Hurewicz或零维性等更弱的性质替代？
• RQ4 当一个因子在$\mathsf{G}_{fin}^{\alpha}(\mathcal{O},\mathcal{O})$中具有获胜策略（$\alpha$为可数）时，$\mathsf{S}_{c}(\mathcal{O},\mathcal{O})$性质是否在积中保持？
• RQ5 在积定理中，能否在不损失$\mathsf{S}_{fin}(\mathcal{O},\mathcal{O})$或$\mathsf{S}_{c}(\mathcal{O},\mathcal{O})$继承性的前提下，将Hurewicz性质$\mathsf{S}_{fin}(\Omega,\mathcal{O}^{gp})$弱化？

主要发现

• Lusin集与Sierpiński集的积满足Menger性质$\mathsf{S}_{fin}(\mathcal{O},\mathcal{O})$，如推论12所示。
• Lusin集与$\gamma$-集的积满足Rothberger性质$\mathsf{S}_{1}(\mathcal{O},\mathcal{O})$，如推论13所确立。
• 定理11的证明表明，若$X$满足$\mathsf{tp}_{\mathsf{S}_{1}(\mathcal{O},\mathcal{O})}(X) \leq \omega \cdot n$，则在$Y$满足适当条件时，$X \times Y$继承$\mathsf{S}_{c}(\mathcal{O},\mathcal{O})$，且$\omega^2$的界可能可改进至$\omega_1$。
• Sierpiński集$S$在$\mathsf{G}_{fin}^{\omega+\omega}(\mathcal{O},\mathcal{O})$中具有获胜策略，如命题14所示，尽管$S \times S$不具有Menger性质。
• 在连续统假设下，通过反例表明，Hurewicz性质$\mathsf{S}_{fin}(\Omega,\mathcal{O}^{gp})$不能在积定理中被Menger性质$\mathsf{S}_{fin}(\mathcal{O},\mathcal{O})$替代。
• 猜想1提出：若$X$具有可数$\mathsf{S}_{1}(\mathcal{O},\mathcal{O})$-类型，且$Y$满足$\mathsf{S}_{c}(\mathcal{O},\mathcal{O})$和$\mathsf{S}_{fin}(\Omega,\mathcal{O}^{gp})$，则$X \times Y$满足$\mathsf{S}_{c}(\mathcal{O},\mathcal{O})$，暗示对定理11的更广泛推广。