[论文解读] There may be no Hausdorff ultrafilters

Tomek Bartoszyński, Saharon Shelah|ArXiv.org|Nov 5, 2003

Mathematical and Theoretical Analysis参考文献 6被引用 3

一句话总结

本文证明，在 ZFC 下，不存在 Hausdorff 超滤子于 ω 是一致的。通过一种保持 p-点和非第一纲集的正规力迫构造，作者构建了一个所有超滤子均为强非 Hausdorff 的模型，从而表明 Hausdorff 超滤子的不存在性与 ZFC 独立。

ABSTRACT

An ultrafilter U is Hausdorff if for any two functions f,g mapping N to N, f(U)=g(U) iff f(n)=g(n) for n in some X in U. We will show that it is consistent that there are no Hausdorff ultrafilters.

研究动机与目标

• 研究 ZFC 是否能证明 ω 上 Hausdorff 超滤子的存在性。
• 构造一个 ZFC 模型，其中不存在 Hausdorff 超滤子。
• 通过证明其不存在的一致性，表明 Hausdorff 超滤子的存在性与 ZFC 独立。
• 确立 Hausdorff 性质无法从 ZFC 证明，即使在额外的集合论假设下亦然。
• 使用力迫技术表明，此类超滤子的存在性依赖于超越 ZFC 的额外公理。

提出的方法

• 在满足 CH 的模型中，通过基于有限到一函数和乘积上覆盖数的组合构造，构建一个强非 Hausdorff 的 p-点。
• 引入一个正规力迫概念 P，其保持 p-点和非第一纲集，确保 P 保持滤子的强非 Hausdorff 性质。
• 使用 P 的可数支撑迭代，构造一个满足 GCH、2^ℵ₀ = ℵ₂ 和 NCF（近可数到一）原理的模型 V^P。
• 证明在 V^P 中，每个超滤子 U 满足 h(U) 对任意 h ∈ FtO 均非 Hausdorff，利用 NCF 原理以及有限到一映射下非 Hausdorff 性质的保持性。
• 通过在可数模型上使用 Cohen 实数的泛性论证，表明 h(U₀) 在扩张中仍保持非 Hausdorff，利用 Cohen 通用性的保持性及扩张的力迫性质。
• 使用初等等价性和泛性，将非 Hausdorff 性质从基模型传递到扩张，确保 V^P 中无任何超滤子可为 Hausdorff。

实验结果

研究问题

• RQ1 ZFC 是否能证明 ω 上存在 Hausdorff 超滤子？
• RQ2 能否构造一个 ZFC 模型，其中不存在 Hausdorff 超滤子？
• RQ3 哪些力迫性质对于保持或破坏超滤子的 Hausdorff 性质是必要的？
• RQ4 NCF（近可数到一）原理与 Hausdorff 超滤子的不存在性有何关联？
• RQ5 超滤子的非 Hausdorff 性质在多大程度上依赖于超越 ZFC 的集合论假设？

主要发现

• 在 ZFC 下，ω 上不存在 Hausdorff 超滤子是一致的。
• 可构造一个 ZFC 模型，其中所有超滤子均为强非 Hausdorff，即对任意 f ∈ FtO，f(U) 均非弱 Hausdorff。
• 长度为 ω₂ 的力迫迭代 P 保持 p-点，并确保扩张中每个超滤子均为非 Hausdorff。
• 该模型满足 NCF 原理：对任意两个超滤子 U, V，存在 h ∈ FtO 使得 h(U) = h(V)。
• 构造确保若 U₀ 是基模型中的强非 Hausdorff p-点，则其在扩张中生成一个强非 Hausdorff 滤子。
• 力迫 P 保持非第一纲集，这对于确保可数模型上的 Cohen 通用性在扩张中仍保持为 Cohen 通用性至关重要，从而保持非 Hausdorff 见证结构。