[论文解读] Inverse Limits and Function Algebras

Joan E. Hart, Kenneth Kunen|ArXiv.org|Apr 11, 2005

Advanced Topics in Algebra参考文献 13被引用 9

一句话总结

该论文在 Jensen 的原则 ♦ 下构造了一个紧致、遗传林德勒夫且遗传可分的空间，该空间连通但不包含任何完美且完全不连通的子空间——这与经典拓扑学的预期相矛盾。此外，该空间不满足复 Stone-Weierstrass 性质（CSWP），从而表明其与 ZFC 的独立性。在正规迫迫使公理（PFA）下，此类空间不存在，凸显了集合论公理在泛函与一般拓扑中的作用。

ABSTRACT

Assuming Jensen's principle diamond, there is a compact Hausdorff space X which is hereditarily Lindelof, hereditarily separable, and connected, such that no closed subspace of X is both perfect and totally disconnected. The Proper Forcing Axiom implies that there is no such space. The diamond example also fails to satisfy the CSWP (the complex version of the Stone-Weierstrass Theorem). This space cannot contain the two earlier examples of failure of the CSWP, which were totally disconnected -- specifically, the Cantor set (W. Rudin) and beta N (Hoffman and Singer).

研究动机与目标

• 研究是否存在紧致、遗传林德勒夫且遗传可分的连通空间，其非散射且不包含任何完美且完全不连通的子空间。
• 考察此类空间中复 Stone-Weierstrass 性质（CSWP）的失效。
• 阐明拓扑性质的集合论独立性——特别是，在 ♦ 下此类空间的存在性与在 PFA 下其非存在性之间的差异。
• 证明在既非散射也未包含康托集或 βℕ 作为子空间的空间中，CSWP 仍可失效，从而挑战对 CSWP 的潜在刻画。

提出的方法

• 在 ω₁ 上使用逆极限构造，构建一个紧致空间 X ⊂ [0,1]^ω₁，其中在每个序数 α < ω₁ 阶段定义投影 X_α。
• 为证明 CSWP 的失效，将 [0,1] 替换为闭单位圆盘 D，通过类似的逆极限过程构造 X ⊂ D^ω₁。
• 使用一个强迫概念 P ⊆ 2^{<ω₁}，其具有康托树性质，以确保其正规性且无不可数反链。
• 强迫存在一个由 p ∈ P 索引的闭集、连通且无限的子集族 H_p，以保证空间保持连通且非散射。
• 利用康托树性质确保：若给定一个条件的树，则其某一分支属于 P，从而防止出现不可数链。
• 应用强迫理论中的结果（如整体正规性）表明，在 PFA 下，此类空间不可能存在。

实验结果

研究问题

• RQ1 是否存在一个紧致、遗传林德勒夫、遗传可分且连通的空间，其不包含任何完美且完全不连通的子空间？
• RQ2 此类空间是否可能不满足复 Stone-Weierstrass 性质（CSWP），即使其既不包含康托集也不包含 βℕ 作为子空间？
• RQ3 此类空间的存在性是否与 ZFC 独立，且在 ♦ 与 PFA 下产生不同结果？
• RQ4 是否可能在非散射且不包含经典障碍（康托集或 βℕ）的空间中，CSWP 仍会失效？
• RQ5 逆极限构造与强迫在构建具有受控函数代数性质的病态拓扑空间中扮演何种角色？

主要发现

• 在假设 ♦ 的前提下，存在一个紧致、遗传林德勒夫、遗传可分且连通的空间 X，其不包含任何完美且完全不连通的子空间。
• 同一空间在 ♦ 下不满足复 Stone-Weierstrass 性质（CSWP），尽管其不包含康托集或 βℕ 作为子空间。
• 在正规迫迫使公理（PFA）下，不存在此类空间——表明此类空间的存在性与 ZFC 独立。
• 该构造依赖于一个具有康托树性质的强迫概念，该性质确保了正规性并防止出现不可数链。
• 在 ♦ 下构造的空间不是二阶可数的，因为其不包含康托集的任何副本。
• 该空间中 CSWP 的失效表明，即使在小而行为良好的拓扑空间中，仅排除康托集和 βℕ 也仍不足以保证 CSWP 成立。