[论文解读] How to drive our families mad

Sakaé Fuchino, Stefan Geschke+2 more|arXiv (Cornell University)|Nov 24, 2006

Diet and metabolism studies参考文献 5被引用 5

一句话总结

本文研究了基数不变量 $\mathfrak{a}^+(\mathcal{F})$，其定义为在可数集上，给定一个几乎不相交族 $\mathcal{F}$ 时，扩展该族的极大几乎不相交（mad）族的最小大小。本文证明了所有不超过 $\mathfrak{c}$ 的无限基数都可作为 $\mathfrak{a}^+(\mathcal{F})$ 实现，并通过集合论中的力迫和组合构造，证明了 $\mathfrak{a} = \aleph_1 < \mathfrak{a}^+(\aleph_1) = \mathfrak{c}$ 与 $\mathfrak{a}^+(\aleph_1) < \mathfrak{c}$ 的一致性。

ABSTRACT

Given a family $F$ of pairwise almost disjoint sets on a countable set $S$, we study maximal almost disjoint (mad) families $F^+$ extending $F$. We define $a^+(F)$ to be the minimal possible cardinality of $F^+\setminus F$ for such $F^+$, and $a^+(κ)=\sup\{a^+(F): |F| \leq κ\}$. We show that all infinite cardinal less than or equal to the continuum continuum can be represented as $a^+(F)$ for some almost disjoint $F$ and that the inequalities $\aleph_1=a

研究动机与目标

• 分析在可数集上，给定一个几乎不相交族 $\mathcal{F}$ 时，其极大几乎不相交（mad）族的最小可能大小。
• 定义并研究基数不变量 $\mathfrak{a}^+(\mathcal{F}) = \mathfrak{a}(\mathcal{F}^\perp)$，用于度量此类扩展的最小大小。
• 确定 $\mathfrak{a}^+(\mathcal{F})$ 在不同族 $\mathcal{F}$ 下的可能取值，特别是当 $|\mathcal{F}| \leq \kappa$ 时。
• 研究涉及 $\mathfrak{a}^+(\kappa)$ 的各种不等式的一致性，尤其是与 $\mathfrak{a}$ 和 $\mathfrak{c}$ 的关系。
• 在集合论假设如 $\sf{MA}(\sigma\text{-centered})$ 下，构造具有额外性质（如不可破坏性和 $\lambda$-极小性）的 mad 族。

提出的方法

• 将 $\mathfrak{a}^+(\mathcal{F})$ 定义为 $\mathcal{F}^\perp$ 中极大几乎不相交族的最小大小，其中 $\mathcal{F}^\perp$ 是与 $\mathcal{F}$ 所有成员几乎不相交的集合族。
• 使用力迫构造，特别是 Cohen 力迫和 ${{\mathcal{C}}}_\omega$-名称，构建特定 $\mathfrak{a}^+(\mathcal{F})$ 值可实现的模型。
• 通过超限归纳法构造 $\kappa$-几乎决定的 mad 族，确保力迫偏序集中的条件能决定新集合与已有集合的几乎不相交性。
• 利用 $\sf{MA}(\sigma\text{-centered})$ 确保存在 ${{\mathcal{C}}}_\omega$-不可破坏的 mad 族，使其在某些力迫扩张后仍保持为 mad 族。
• 使用 $\sigma$-centered 力迫以保持基数，并确保所构造的 mad 族满足强组合性质，如 $\lambda$-极小性。
• 利用 Kunen 等人的已知结果，以及对 $\mathbb{P}$-名称和通用扩张的细致分析，验证所构造族的性质。

实验结果

研究问题

• RQ1 哪些不超过 $\mathfrak{c}$ 的无限基数可作为某个可数集上几乎不相交族 $\mathcal{F}$ 的 $\mathfrak{a}^+(\mathcal{F})$ 实现？
• RQ2 是否一致满足 $\mathfrak{a} = \aleph_1 < \mathfrak{a}^+(\aleph_1) = \mathfrak{c}$？
• RQ3 是否一致满足 $\mathfrak{a}^+(\aleph_1) < \mathfrak{c}$，同时 $\mathfrak{a} = \aleph_1$？
• RQ4 在 $\sf{MA}(\sigma\text{-centered})$ 下，能否构造一个对所有 $\omega \leq \lambda \leq \mathfrak{c}$ 都是 $\lambda$-极小的 mad 族？
• RQ5 能否构造一个 ${{\mathcal{C}}}_\omega$-不可破坏的 mad 族，使其在通用扩张中仍保持为 $\kappa$-几乎决定的？

主要发现

• 所有满足 $\kappa \leq \mathfrak{c}$ 的无限基数 $\kappa$ 都可作为某个可数集上几乎不相交族 $\mathcal{F}$ 的 $\mathfrak{a}^+(\mathcal{F})$ 实现。
• 一致满足 $\mathfrak{a} = \aleph_1 < \mathfrak{a}^+(\aleph_1) = \mathfrak{c}$，如推论 4.3 所示。
• 一致满足 $\mathfrak{a}^+(\aleph_1) < \mathfrak{c}$，即使 $\mathfrak{a} = \aleph_1$，如定理 4.4 所建立。
• 在 $\sf{MA}(\sigma\text{-centered})$ 下，存在一个大小为 $\kappa = \mathfrak{c}$ 的 ${{\mathcal{C}}}_\omega$-不可破坏 mad 族 $\mathcal{F}$，使得 $V^{{\mathcal{C}}}_\omega \models \mathcal{F} \text{ 在 } T \text{ 上是 } \kappa\text{-几乎决定的}$。
• 对于基模型中任意满足 $\kappa \geq \mathfrak{c}$ 的 $\kappa$，存在一个保持基数的通用扩张，使得 $\kappa < \mathfrak{c}$，且存在一个大小为 $\kappa$ 的 $\kappa$-几乎决定的 mad 族。
• 在 $\sf{MA}(\sigma\text{-centered})$ 下，存在一个 mad 族 $\mathcal{F}$，其对所有 $\omega \leq \lambda \leq \mathfrak{c}$ 都是 $\lambda$-极小的，如推论 6.3 所示。