[论文解读] More on cardinal invariants of analytic P-ideals

Barnabás Farkas, Lajos Soukup|arXiv (Cornell University)|Feb 10, 2010

Advanced Topology and Set Theory参考文献 1被引用 15

一句话总结

本文研究与解析 P-理想相关的基数不变量，特别是共轭数 𝔞(𝕀) 及其不可数变体 𝔟(𝕀)。研究发现，对于可求和理想，𝔠(𝕀) > ω，而对于高密度理想如密度零理想 𝕫，𝔠(𝕀) = ω。本文的关键贡献在于证明：对于密度零理想，一个力迫论具有 𝕫-有界性当且仅当它具有 Sacks 性质，从而将力迫性质与基于理想的不变量联系起来。

ABSTRACT

Given an ideal $I$ on $ω$ let $a(I) $ ($\bar{a}(I)$) be minimum of the cardinalities of infinite (uncountable) maximal $I$-almost disjoint subsets of $[ω]^ω$, and denote $b_I$ and$d_I$ the unbounding and dominating numbers of $(ω^ω,\le_I)$. We show that (1) $a(I)>omega$ if $I$ is a summable ideal; (2) $a(Z)=ω$ and $\bar{a}(Z)\le a$ if $Z$ is a tall density ideal, (3) $b\le \bar{a}(I)$, and $b_I=b$ and $d_I=d$, for any analytic P-ideal $I$ on $ω$. Given an analytic $P$-ideal $I$ we investigate the relationship between the Sack, the $I$-bounding, $I$-dominating and $ω^ω$-bounding properties of a given poset $P$. For example, for the density zero ideal $Z$ we can prove: (i) a poset $P$ is $Z$-bounding iff it has the Sacks property, (ii) if $P$ adds a slalom capturing all ground model reals then $P$ is $Z$-dominating.

研究动机与目标

• 分析解析 P-理想的结构及其基数不变量，特别是共轭数 𝔞(𝕀) 及其不可数变体 𝔟(𝕀)。
• 研究力迫论与基于理想之有界性/控制性质之间的关系，特别是针对密度零理想 𝕫。
• 阐明基于理想之不变量与经典基数特征（如 𝔟 和 𝔡）之间的逻辑与集合论联系。
• 确定具有特定性质（如 Sacks 性质或滑索捕获）的力迫论在何种条件下蕴含基于理想的有界性或控制行为。

提出的方法

• 作者定义并分析了基于理想的共轭族，引入 𝔞(𝕀) 作为无限 𝕀-MAD 家族的最小基数，以及 𝔟(𝕀) 作为不可数情形的对应量。
• 他们利用 Galois-Tukey 连接与 Borel 关系，将基于理想之结构与经典对象（如 ℓ₁⁺ 和 ω^ω）进行比较。
• 本文采用力迫理论技术，特别是分析 Sacks 性质及其与密度零理想 𝕫-有界性的等价性。
• 应用 Fremlin 关于 Borel GT-连接的深刻结果，将 ℓ₁⁺ 的结构与理想 𝕫 关联起来。
• 作者证明：对于解析 P-理想，其无界与控制数 𝔟𝕀 和 𝔡𝕀 分别等于经典值 𝔟 与 𝔡。
• 通过超限迭代与泛函扩张，建立力迫性质（如 Sacks、局部化）与基于理想之有界/控制行为之间的蕴含关系。

实验结果

研究问题

• RQ1 对于哪些解析 P-理想 𝕀，其共轭数 𝔞(𝕀) 大于 ω？
• RQ2 一个力迫论具有 Sacks 性质是否意味着对每个高解析 P-理想 𝕀 都有 𝕀-有界性？
• RQ3 是否存在基于滑索捕获或其他组合性质的 𝕀-控制力迫的刻画？
• RQ4 基于理想的无界与控制数 𝔟𝕀 与 𝔡𝕀 如何与经典基数特征 𝔟 与 𝔡 相关联？
• RQ5 在何种条件下，添加一个能捕获所有原模型实数的滑索，会引发给定解析 P-理想 𝕀 的 𝕀-控制行为？

主要发现

• 对于任意可求和理想 𝕀ₕ，共轭数满足 𝔞(𝕀ₕ) > ω。
• 对于任意高密度理想 𝕫_μ（包括密度零理想 𝕫），共轭数恰好为 𝔞(𝕫_μ) = ω。
• 对于每个解析 P-理想 𝕀，其不可数共轭数满足 𝔟 ≤ 𝔟(𝕀)，而对于密度理想，有 𝔟(𝕫_μ) ≤ 𝔞。
• 基于理想结构 ⟨ω^ω, ≤𝕀⟩ 的无界与控制数等于经典值 𝔟 与 𝔡，即 𝔟𝕀 = 𝔟 且 𝔡𝕀 = 𝔡。
• 对于密度零理想 𝕫，一个力迫论是 𝕫-有界的当且仅当它具有 Sacks 性质。
• 若一个力迫论添加了一个能捕获所有原模型实数的滑索，则它是 𝕫-控制的，且这等价于 (ℓ₁⁺, ≤*, ℓ₁⁺)-控制。