[论文解读] Products and countable dense homogeneity

Andrea Medini|arXiv (Cornell University)|Jun 30, 2013

Advanced Topology and Set Theory参考文献 7被引用 5

一句话总结

该论文在马丁公理（MA）之下，构造了一个零维、可数稠密同构（CDH）空间 $X$，使得 $X^2$ 不是 CDH，从而证明可数稠密同构性在有限积下不保持。该构造使用了在 $\beth_1$-大小的迭代中进行的类似力迫的组合方法，将 $X$ 构造为在 $2^\omega$ 的同胚下封闭的集合的并集，确保 $X$ 是 CDH，同时通过 Lavrentiev 延拓论证仔细避免在 $X^2$ 上出现同胚。

ABSTRACT

Building on work of Baldwin and Beaudoin, assuming Martin's Axiom, we construct a zero-dimensional separable metrizable space $X$ such that $X$ is countable dense homogeneous while $X^2$ is not. It follows from results of Hrušák and Zamora Avilés that such a space $X$ cannot be Borel. Furthermore, $X$ can be made homogeneous and completely Baire as well.

研究动机与目标

• 解决可数稠密同构（CDH）是否在有限积下保持，特别是在零维空间中。
• 构造反例：在集合论假设下，构造一个 CDH 空间 $X$，使得 $X^2$ 不是 CDH。
• 利用 Hrušák 和 Zamora Avilés 关于 Borel CDH 空间的结论，证明此类空间 $X$ 不可能是 Borel。
• 探讨是否可以使 $X$ 同胚且完全 Baire，将构造扩展至基本 CDH 性质之外。

提出的方法

• 使用长度为 $\beth_1$ 的力迫式构造的迭代，将 $X$ 构造为集合列 $X_\alpha$ 的并集，其中每个 $X_\alpha$ 在 $2^\omega$ 的同胚下封闭。
• 在每个阶段 $\alpha$，选择点 $(x,y) \in T_\alpha \subseteq 2^\omega \times 2^\omega$，避开 $X_\alpha$、$Y_\alpha$ 以及会保持不需要的同胚的集合 $C_h^i$ 的原像。
• 利用 Lavrentiev 定理将任何可能的同胚 $f: X^2 \to X^2$ 满足 $f[Q^2] = D$ 延拓至 $G_\delta$ 集 $T_\alpha$，从而通过不属于 $X \times X$ 的性质导出矛盾。
• 通过密度条件确保 $X$ 是 $\mathsf{CDH}$：$X_\beta \setminus (A_\beta \cup B_\beta)$ 在 $2^\omega$ 中是 $\max\{|\beta|, \omega\}$-稠密的，从而允许部分同胚的延拓。
• 通过在同胚下封闭并确保不嵌入 $\mathbb{Q}$ 的副本，使 $X$ 成为完全 Baire 且同胚的，利用类似 Bernstein 集的性质。
• 依赖于 $\mathsf{MA}(\sigma\text{-centered})$ 保证在每个阶段均存在点 $(x,y)$ 避开所有关键集合，利用 $\mathfrak{c}$ 的不可数性以及 $|\mathcal{H}|$、$|X_\alpha|$、$|Y_\alpha|$ 的小尺寸。

实验结果

研究问题

• RQ1 在集合论假设如 $\mathsf{MA}$ 下，是否存在一个零维 CDH 空间 $X$，使得 $X^2$ 不是 CDH？
• RQ2 CDH 空间乘积定理中的 Borel 假设是否必要？是否存在非 Borel 的 CDH 空间，其乘积不保持 CDH？
• RQ3 能否使此类空间 $X$ 同时具有同胚性和完全 Baire 性质，即使它不是 Borel？
• RQ4 $\mathsf{MA}(\sigma\text{-centered})$ 是否足以构造此类反例，还是需要更强的假设？
• RQ5 对于哪些 $\kappa \geq 3$，存在一个空间 $X$，使得对所有 $n < \kappa$，$X^n$ 是 CDH，但 $X^\kappa$ 不是？

主要发现

• 在 $\mathsf{MA}(\sigma\text{-centered})$ 下，存在一个零维、$\mathsf{CDH}$ 空间 $X$，使得 $X^2$ 不是 $\mathsf{CDH}$，从而证明 $\mathsf{CDH}$ 不是保积的。
• 所构造的空间 $X$ 不是 Borel，这是由 Hrušák 和 Zamora Avilés 的结论所证明的：所有 Borel $\mathsf{CDH}$ 空间都属于类 $\mathcal{C}$，而 $X$ 不属于该类。
• 该空间 $X$ 可以被构造为同胚且完全 Baire，这通过借鉴 Medini 关于 Bernstein 集的先前工作方法得以证明。
• 证明使用了长度为 $\beth_1$ 的迭代，将 $X = \bigcup_{\alpha < \mathfrak{c}} X_\alpha$ 构造出来，确保在同胚下封闭并避免不希望的延拓。
• 通过反证法证明 $X^2$ 不是 CDH：任何满足 $f[Q^2] = D$ 的同胚 $f: X^2 \to X^2$ 都会延拓至 $G_\delta$ 集 $T_\alpha$，但这样的延拓会将某点映射到 $\pi_0(g_\alpha(x,y)) \notin X$，与 $f[X^2] \subseteq X^2$ 矛盾。
• 构造确保 $\mathcal{H}[X_\alpha \cup \{x,y\}] \cap \mathcal{H}[Y_\alpha \cup \{\pi_0(g_\alpha(x,y))\}] = \varnothing$，从而阻止此类同胚的存在。