[论文解读] A Lower Bound for Generalized Dominating Numbers

Dan Hathaway|arXiv (Cornell University)|Jan 30, 2014

Advanced Topology and Set Theory参考文献 10被引用 3

一句话总结

本文建立了函数从 λ 到 κ 的偏序集在处处支配关系下的共尾性新下界，证明了若 λ^κ = λ，则 cf(λ^κ) = 2^λ。证明引入了一个函数 f: κ^λ → κ，使得在任意传递 ZF 模型中，任何支配 f 的函数都迫使集合 A ⊆ λ 属于该模型，从而将可构造性归约为支配关系。

ABSTRACT

We show a new proof for the fact that when $κ$ and $λ$ are infinite cardinals satisfying $λ^ κ= λ$, the cofinality of the set of all functions from $λ$ to $κ$ ordered by everywhere domination is $2^λ$. An earlier proof was a consequence of a result about independent families of functions. The new proof follows directly from the main theorem we present: for every $A \subseteq λ$ there is a function $f: {^κλ} o κ$ such that whenever $M$ is a transitive model of $ extrm{ZF}$ such that ${^κλ} \subseteq M$ and some $g: {^κλ} o κ$ in $M$ dominates $f$, then $A \in M$. That is, "constructibility can be reduced to domination".

研究动机与目标

• 在 λ^κ = λ 的条件下，为从 λ 到 κ 的函数在处处支配序下的共尾性提供一个新的证明。
• 阐明函数支配关系与传递 ZF 模型中可构造性之间的逻辑联系。
• 在不依赖函数独立族的前提下，直接证明 cf(λ^κ) = 2^λ。
• 证明支配关系可以编码可构造性，展示从支配关系到可构造性关系的态射。

提出的方法

• 定义一个函数 f: κ^λ → κ，使得在任意满足 κ^λ ⊆ M 的传递模型 M 中，任何支配 f 的函数 g 都蕴含 A ∈ M（对任意 A ⊆ λ）。
• 在模型中使用超限递归和树结构，若 A ∉ M 则导出矛盾，利用 M 中 κ-树的高度。
• 应用树高度和良基性的绝对性，确保 M 中存在一条分支，从而与 f 在 M 中被 g 支配的假设矛盾。
• 通过函数 φ⁻ 和 φ⁺ 在函数空间之间建立支配关系与可构造性关系之间的态射。
• 利用 P 中大小为 κ 的无界链的存在性来定义 φ⁺ 和 φ⁻，确保在处处支配关系下保持顺序。
• 通过该态射和已知的 κ^λ 的共尾性，证明函数空间的共尾性下界为 2^λ。

实验结果

研究问题

• RQ1 当 λ^κ = λ 时，从 λ 到 κ 的函数在处处支配关系下的偏序集的精确共尾性是什么？
• RQ2 能否通过从 κ^λ 到 κ 的函数的支配关系编码子集 A ⊆ λ 的可构造性？
• RQ3 函数空间中的支配关系如何与 ZF 传递模型中的可定义性和可构造性相关联？
• RQ4 是否存在一个不依赖函数独立族的 cf(λ^κ) = 2^λ 的直接证明？
• RQ5 支配关系在模型论意义上能否模拟可构造性关系？

主要发现

• 当 λ^κ = λ 时，λ^κ 上处处支配序的共尾性恰好为 2^λ。
• 对每个 A ⊆ λ，存在一个函数 f: κ^λ → κ，使得在任意满足 κ^λ ⊆ M 的传递模型 M 中，任何支配 f 的函数 g 都蕴含 A ∈ M。
• 这建立了一个从 κ^λ 上的支配关系到可构造性关系的态射，表明可构造性可被归约为支配关系。
• 即使当 λ 为奇异基数时，只要 λ^κ = λ，该结果依然成立，且无需超出 ZF 的额外集合论假设。
• 该证明避免了使用函数独立族，提供了比以往方法更直接的论证。
• 通过 φ⁻ 和 φ⁺ 的态射构造，确保对任意满足 |P| ≤ 2^λ 且 λ^κ = λ 的偏序集 P，都有 cf(λ^κ) = 2^λ。