[论文解读] Properties D and aD are different

Dániel T. Soukup|arXiv (Cornell University)|Feb 12, 2010

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

一句话总结

该论文在$(\natural^{*})$下构造了一个一致的反例，证明性质aD并不蕴含性质D，通过构建一个大小为$\omega_1$的局部可数、局部紧致、0维的$T_2$空间，该空间是aD但不是线性D。构造过程使用了猜测序列和极大几乎不相交（MAD）族，以确保所有闭子空间都是不可约的（因此为aD），同时避免某些单调开覆盖的核（因此不是线性D），从而解决了Arhangel’skii和Guo-Junnila长期悬而未决的问题。

ABSTRACT

Under $(\diamondsuit^*)$ we construct a locally countable, locally compact, 0-dimensional $T_2$ space $X$ of size $\omg$ which is aD however not even linearly D. This consistently answers a question of Arhangel'skii, whether aD implies D. Furthermore we answer two problems concerning characterization of linearly D-spaces, raised by Guo and Junnila.

研究动机与目标

• 为解决Arhangel’skii关于aD是否蕴含D的问题，通过构造一个一致的反例。
• 否定性回答Guo和Junnila提出的关于线性D-空间刻画的两个问题。
• 证明从aD到线性D的蕴含关系在ZFC中不可证，并且此类空间的存在性可独立于CH。
• 证明局部可数、局部紧致、aD但非线性D的空间的存在性在ZFC中是独立的。

提出的方法

• 构造一个空间$X = \omega_1 \times 2$，其拓扑结合了$\{0\}$中的离散点和每个$(\alpha,1)$处的特定邻域基，使用集合$M_{\alpha}^\beta$。
• 对每个$\alpha < \omega_1$，使用$\omega_1$上的极大几乎不相交（MAD）族$\mathcal{M}_\alpha$来定义收敛与聚点行为。
• 利用$(\natural^{*})$构造一系列闭包集和 stationary 集，以控制开覆盖的行为，并确保不存在大的闭离散集。
• 通过证明可数个闭离散集的并是D-空间，且不可数投影导致$X_{\alpha}$中完全聚点存在，来证明每个闭子空间都是不可约的。
• 通过最小精化来改进开覆盖，以证明投影不可数的闭集的不可约性，利用stationary集和club集来控制覆盖。
• 在Martin公理下应用Balogh定理，证明在小的、局部可数、局部紧致的空间中D与aD等价，从而建立独立性结果。

实验结果

研究问题

• RQ1 每个aD空间是否都满足性质D？（Arhangel’skii的问题4.6）
• RQ2 对于$T_1$-空间$X$，如果每个不可数正则基数的子集$A$都有一个完全聚点或一个大小为$|A|$的闭离散子集，那么$X$是否是线性D？（Guo和Junnila的问题2.5）
• RQ3 如果对于每个不可数正则$A$，$A$有完全聚点，或$\overline{A}$包含一个大小为$|A|$的闭离散子集，那么$T_1$-空间$X$是否是线性D？（Guo和Junnila的问题2.6）
• RQ4 是否存在一个ZFC中的Tychonoff空间是aD但不是线性D？
• RQ5 局部可数、局部紧致、aD但非线性D的空间的存在性是否独立于ZFC？

主要发现

• 在$(\natural^{*})$下，存在一个大小为$\omega_1$的局部可数、局部紧致、0维的$T_2$空间$X$，该空间是aD但不是线性D。
• 在定义的拓扑下，空间$X = \omega_1 \times 2$是D-空间，因为它是闭离散集与一个D-子空间的并。
• $\omega_1 \times \{0\}$的任何不可数子集在$X$中都没有闭离散子集，且所有此类子集都有聚点，因此$X$不满足Guo和Junnila的条件$(*)$。
• 所有$X$的闭子空间都是不可约的，因此根据定理2.2，$X$是aD，从而确认aD不蕴含D。
• $X$中不存在对单调覆盖$\{X_{<\alpha} : \alpha < \omega_1\}$为$\mathcal{U}$-大的闭离散集，因此$X$不是线性D。
• 此类空间的存在性在ZFC中是独立的，这由$(\natural^{*})$下的相容性结果以及该空间存在性在$|X| < 2^{\omega}$下的ZFC独立性所证明。