[论文解读] Seven characterizations of non-meager P-filters

Kenneth Kunen, Andrea Medini+1 more|arXiv (Cornell University)|Nov 7, 2013

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

一句话总结

本文建立了 ω 上非第一纲 P-滤子的七个等价刻画，表明此类滤子恰好是那些具有可数稠密齐次性（CDH）、完全 Baire 性（CB）以及满足 Miller 和 Cantor-Bendixson 性质的滤子。关键结果是：一个滤子是非第一纲 P-滤子当且仅当它是 CDH 滤子，从而解决了集合论拓扑学中长期存在的拓扑-组合等价问题，并解决了 Medini、Milovich 以及 Hernández-Gutiérrez–Hrušák 提出的开放问题。

ABSTRACT

We give several topological/combinatorial conditions that, for a filter on $ω$, are equivalent to being a non-meager $\mathsf{P}$-filter. In particular, we show that a filter is countable dense homogeneous if and only if it is a non-meager $\mathsf{P}$-filter. Here, we identify a filter with a subspace of $2^ω$ through characteristic functions. Along the way, we generalize to non-meager $\mathsf{P}$-filters a result of Miller about $\mathsf{P}$-points, and we employ and give a new proof of results of Marciszewski. We also employ a theorem of Hernández-Gutiérrez and Hrušák, and answer two questions that they posed. Our result also resolves several issues raised by Medini and Milovich, and proves false one "theorem" of theirs. Furthermore, we show that the statement "Every non-meager filter contains a non-meager $\mathsf{P}$-subfilter" is independent of $\mathsf{ZFC}$ (more precisely, it is a consequence of $\mathfrak{u}

研究动机与目标

• 识别并证明 ω 上滤子的多种拓扑与组合性质之间的等价性，特别关注非第一纲 P-滤子。
• 解决 Medini、Milovich 以及 Hernández-Gutiérrez–Hrušák 提出的关于滤子与超滤子结构与分类的开放问题。
• 研究非第一纲 P-滤子存在性的相容性强度，尤其是与 ZFC、♢ 以及基数不变量 𝔪 和 𝔤 的关系。
• 证明‘每个非第一纲滤子都包含一个非第一纲 P-子滤子’这一命题在 ZFC 中是独立的，其结论依赖于 𝔪 < 𝔤 和 ♢。
• 证明在 𝔪 < 𝔤 下，一个滤子具有少于 𝔠 个可数稠密子集的类型当且仅当它是非第一纲 P-滤子。

提出的方法

• 利用带有 ♢-序列的超限递归构造一个超滤子 𝒰，使得每个子滤子要么是第一纲的，要么不是 P-滤子。
• 运用压低引理（Pressing-Down Lemma）和抽屉原理（Pigeonhole Principle）在超滤子构造中提取不可数的同质族。
• 应用通过拓扑性质刻画非第一纲 P-滤子的方法：CDH、CB、Miller 性质以及 Cantor-Bendixson 性质。
• 依赖 Marciszewski、Miller 以及 Hernández-Gutiérrez–Hrušák 的已知结果，将这些结果推广并重新证明于非第一纲 P-滤子的语境下。
• 使用通过 ♢-序列中集合序列的伪交集定义的理想 𝒫ξ，以强制超滤子满足所需性质。
• 应用逼迫风格论证与组合原理（如 𝔪 < 𝔤 和 ♢）分析关于子滤子与可数稠密子集类型数目的陈述的相容性。

实验结果

研究问题

• RQ1 每个非第一纲滤子是否必然包含一个非第一纲 P-子滤子？如果不是，该命题的相容性条件是什么？
• RQ2 对于 ω 上的滤子，CDH、CB、Miller 和 Cantor-Bendixson 性质是否等价？若是，其成立条件为何？
• RQ3 能否在弱于 MA(countable) 的假设下建立 CDH 超滤子的存在性？在此语境下 ♢ 的作用是什么？
• RQ4 一个滤子的可数稠密子集类型的数量与其为非第一纲 P-滤子之间存在何种关系？
• RQ5 命题‘每个非第一纲滤子都包含一个非第一纲 P-子滤子’是否可在 ZFC 中证明，还是其在 ZFC 中独立？

主要发现

• 一个滤子是非第一纲 P-滤子当且仅当它是可数稠密齐次的（CDH）、完全 Baire 的（CB），并且满足 Miller 性质与 Cantor-Bendixson 性质。
• 命题‘每个非第一纲滤子都包含一个非第一纲 P-子滤子’在 ZFC 中是独立的：在 𝔪 < 𝔤 下成立，在 ♢ 下不成立。
• 在 𝔪 < 𝔤 下，一个滤子具有少于 𝔠 个可数稠密子集的类型当且仅当它是非第一纲 P-滤子。
• 在 MA(countable) 下，存在一个具有 𝔠 个可数稠密子集类型的超滤子，从而证实了 Hrušák 与 van Mill 的一个猜想。
• 本文在 ♢ 下构造了一个超滤子，使得其每个子滤子要么是第一纲的，要么不是 P-滤子，从而表明在此情况下不存在非第一纲 P-子滤子。
• 本文通过证明其为假，纠正了 Medini 与 Milovich 的一个错误‘定理’，并回答了 Hernández-Gutiérrez 与 Hrušák 提出的两个开放问题。