[论文解读] PFA(S)[S] and the Arhangel'skii-Tall problem

Franklin D. Tall|arXiv (Cornell University)|Apr 14, 2011

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

一句话总结

该论文通过证明在超紧致基数一致性的假设下，若一个局部紧致正规空间是金属林德尔夫空间或所有闭集均为 $G_{\delta}$-集，则其为仿紧空间，从而解决了集合论拓扑学中一个长期存在的问题。该结果在模型 $\mathrm{PFA}(S)[S]$ 中取得，该模型通过强迫添加一个一致的索斯林树构建，确保了 $\aleph_1$-可集分离豪斯多夫性，并通过反射与覆盖论证完成证明。

ABSTRACT

We discuss the Arhangel'skii-Tall problem and related questions in models obtained by forcing with a coherent Souslin tree.

研究动机与目标

• 通过在弱化条件下建立局部紧致正规空间的仿紧性，解决阿亨吉尔斯基-塔尔问题。
• 将此前关于 $\mathrm{PFA}(S)[S]$ 的结果扩展至金属林德尔夫空间，而不仅限于完全正规空间。
• 探究大基数假设（超紧致性）是否可被消除，推测其或可简化为不可达基数。
• 分析先前强迫步骤的必要性以及标准迭代在构造 $\mathrm{PFA}(S)[S]$ 中的作用。
• 探讨 $\mathrm{PFA}(S)[S]$ 对局部紧致、遗传正规空间中 $S$-空间与 $Q$-集存在性的影响。

提出的方法

• 通过强迫添加一个一致的索斯林树 $S$ 构造模型 $\mathrm{PFA}(S)[S]$，该模型保持 $S$ 并满足限制于保持 $S$ 的正规偏序集的 $\mathrm{PFA}$。
• 利用结果：$\mathrm{PFA}(S)[S]$ 蕴含局部紧致正规空间是 $\aleph_1$-可集分离豪斯多夫空间，如定理6所建立。
• 应用引理7，证明 $\aleph_1$-可集分离豪斯多夫、金属林德尔夫、局部紧致正规空间是仿紧的。
• 分析 $\mathrm{MA}_{\omega_1}(S)[S]$ 的使用及其后果，特别是 $\mathfrak{b} \leq \aleph_1$ 的失败，以及在第一可数空间中正规性性质的影响。
• 利用已知结果：$\mathrm{PFA}(S)[S]$ 蕴含 $\mathfrak{b} > \aleph_1$，从而推出在第一可数正则空间中，不相交的闭集（其中之一可数）具有不相交的邻域。
• 利用苏凯普构造的一个第一可数、遗传可分、非林德尔夫、零维空间（在 $2^{\aleph_1} = \aleph_2$ 下成立），该空间在 $\mathrm{PFA}(S)[S]$ 中变为完全正规。

实验结果

研究问题

• RQ1 是否 $\mathrm{PFA}(S)[S]$ 蕴含每个局部紧致正规空间，若其为金属林德尔夫或所有闭集均为 $G_\delta$-集，则为仿紧空间？
• RQ2 能否从阿亨吉尔斯基-塔尔问题的一致性证明中移除大基数假设（超紧致性）？
• RQ3 早期构造 $\mathrm{PFA}(S)[S]$ 所用的预备强迫步骤对当前结果是否为必要？
• RQ4 $\mathrm{PFA}(S)[S]$ 是否蕴含在局部紧致、遗传正规空间中不存在第一可数 $S$-空间或 $Q$-集？
• RQ5 $\mathrm{PFA}(S)[S]$ 是否蕴含每个第一可数、遗传林德尔夫、正则空间均为遗传可分？

主要发现

• 在超紧致基数与 $ZFC$ 一致的假设下，$\mathrm{PFA}(S)[S]$ 蕴含每个局部紧致正规空间，若其为金属林德尔夫或所有闭集均为 $G_\delta$-集，则为仿紧空间。
• $\mathrm{PFA}(S)[S]$ 蕴含局部紧致正规空间是 $\aleph_1$-可集分离豪斯多夫空间，这是证明中的关键步骤。
• 该模型 $\mathrm{PFA}(S)[S]$ 确保 $\mathfrak{b} > \aleph_1$，从而推出在第一可数正则空间中，不相交的闭集（其中之一可数）具有不相交的开邻域。
• 在 $\mathrm{PFA}(S)[S]$ 中，一个在 $2^{\aleph_1} = \aleph_2$ 下构造的第一可数、遗传可分、非林德尔夫、零维空间变为完全正规。
• 该模型 $\mathrm{PFA}(S)[S]$ 蕴含不存在大小为 $\aleph_1$ 的可分、遗传正规、局部紧致空间，原因在于 $Q$-集与 $S$-空间的缺失。
• 本文推测 $\mathrm{PFA}(S)[S]$ 蕴含不存在第一可数 $S$-空间，扩展了已知结果：$\mathrm{MA}_{\omega_1}(S)[S]$ 并未排除此类空间。