[论文解读] Selectively (a)-spaces from almost disjoint families are necessarily countable under a certain parametrized weak diamond principle

Charles J. Morgan, Samuel G. da Silva|arXiv (Cornell University)|Sep 19, 2016

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

一句话总结

本文在特定参数化弱钻石原理下证明，由几乎不相交族导出的任何选择性 (a) 空间必为可数。作者表明，有效参数化弱钻石原理 $\top(\omega,<)$ 蕴含 $\chi_{\text{vssau0027}} = \aleph_1$，从而确保在该假设下，即使 CH 不成立，不可数的选择性 (a) 几乎不相交族也不存在。

ABSTRACT

The second author has recently shown ([20]) that any selectively (a) almost disjoint family must have cardinality strictly less than $2^{\alpeh_0}$, so under the Continuum Hypothesis such a family is necessarily countable. However, it is also shown in the same paper that $2^{\alpeh_0} &lt; 2^{\alpeh_1}$ alone does not avoid the existence of uncountable selectively (a) almost disjoint families. We show in this paper that a certain effective parametrized weak diamond principle is enough to ensure countability of the almost disjoint family in this context. We also discuss the deductive strength of this specific weak diamond principle (which is consistent with the negation of the Continuum Hypothesis, apart from other features).

研究动机与目标

• 确定在何种集合论假设下，不可数的选择性 (a) 几乎不相交族可以被排除。
• 分析特定参数化弱钻石原理在控制与选择性覆盖性质相关的基数不变量方面的演绎强度。
• 在 ZFC 和力迫模型中，弥合 $\Psi$-空间的拓扑性质与组合基数不变量之间的联系。
• 研究 $\top(\omega,<)$ 对基数不变量 ${\mathfrak{v}}{\mathfrak{s}}{\mathfrak{s}}{\mathfrak{a}}$ 的一致性和影响。

提出的方法

• 作者利用参数化弱钻石原理 $\top(\omega,<)$ 构造对角化论证，确保任何不可数的几乎不相交族都会违反选择性 (a) 性质。
• 他们应用文献 [20] 中的定理 1，该定理将选择性 (a) 空间中闭离散子集的大小限制为 $2^{d(X)}$，从而约束几乎不相交族的大小。
• 证明利用了 $\top(\omega,<)$ 的有效性，构造出一个集合序列，最终覆盖整个空间，从而与不可数性矛盾。
• 该论证嵌入在由几乎不相交族生成的 $\Psi$-空间的背景下，利用其拓扑结构推导出组合性后果。
• 作者将基数不变量 ${\mathfrak{v}}{\mathfrak{s}}{\mathfrak{s}}{\mathfrak{a}}$ 与已知不变量如 $\mathfrak{d}$ 和 $\mathfrak{c}$ 关联，证明 $\mathfrak{d} \leq \mathfrak{v}_{\text{ss}a}$。
• 他们将 $\square(\omega,<)$ 的强度与 $2^{\aleph_0} < 2^{\aleph_1}$ 等其他原理进行比较，表明其在控制 ${\mathfrak{v}}{\mathfrak{s}}{\mathfrak{s}}{\mathfrak{a}}$ 方面更强。

实验结果

研究问题

• RQ1 参数化弱钻石原理 $\square(\omega,<)$ 是否足以确保所有选择性 (a) 几乎不相交族均为可数？
• RQ2 $\square(\omega,<)$ 是否强到足以推出 $\mathfrak{v}_{\text{ss}a} = \aleph_1$？
• RQ3 $2^{\aleph_0} < 2^{\aleph_1}$ 单独是否足以阻止不可数的选择性 (a) 几乎不相交族的存在？
• RQ4 $\mathfrak{d}$ 是否为 $\mathfrak{v}_{\text{ss}a}$ 的下界，且 $\mathfrak{v}_{\text{ss}a} = \mathfrak{d}$ 是否可在 ZFC 中证明？
• RQ5 在拓扑选择性原理的背景下，$\square(\omega,<)$ 相对于其他集合论假设的演绎强度如何？

主要发现

• 参数化弱钻石原理 $\square(\omega,<)$ 蕴含 $\mathfrak{v}_{\text{ss}a} = \aleph_1$，这意味着在此假设下，任何选择性 (a) 几乎不相交族必为可数。
• 该原理与 $\aleph_1 < \mathfrak{d}$ 一致，表明其独立于支配数的大小。
• 在 ZFC 中有 $\mathfrak{d} \leq \mathfrak{v}_{\text{ss}a}$，因此 $\mathfrak{d}$ 是 $\mathfrak{v}_{\text{ss}a}$ 的下界。
• 本文表明，$2^{\aleph_0} < 2^{\aleph_1}$ 单独并不蕴含 $\mathfrak{v}_{\text{ss}a} = \aleph_1$，这与 $\mathfrak{v}_n = \aleph_1$ 的情况不同。
• 原理 $\square(\omega,<)$ 同时蕴含 $\mathfrak{v}_{\text{ss}a} = \aleph_1$ 和 $\mathfrak{v}_{\text{cp}} = \aleph_1$，展示了其在控制多个基数不变量方面的强大能力。
• 作者证明，即使 CH 不成立，$\square(\omega,<)$ 也足以排除不可数的选择性 (a) 几乎不相交族。