[論文レビュー] Are a and d your cup of tea?

Saharon Shelah|arXiv (Cornell University)|Dec 18, 2000

Advanced Topology and Set Theory参考文献 4被引用数 25

ひとこと要約

この論文は、非推移的記憶と有限台所を持つ強制の反復という新しい手法を用いて、集合論における長年の問題を解決する。具体的には、almost disjointness number 𝔞 が dominating number 𝔡 を超えるモデルを一貫して構成した。この方法は超冪と反復強制を組み合わせ、𝔠 = λ、𝔟 = 𝔡 = μ および 2⁰ = λ を達成し、ZFCにおけるこれらの基数不変量の独立性を示した。

ABSTRACT

We show that, consistently, every MAD family has cardinality strictly bigger than the dominating number, that is a > d, thus solving one of the oldest problems on cardinal invariants of the continuum. The method is a contribution to the theory of iterated forcing for making the continuum large.

研究の動機と目的

• ZFC + 𝔞 > 𝔡 が整合的であるかどうかという長年の未解決問題を解消すること。
• 連続体の基数不変量を制御できる、有限台所と非推移的記憶を併用した反復強制の新手法を開発すること。
• 𝔠 > 𝔡 を満たすモデルを構成する際に大基数（例えば可測基数）の仮定を不要にする。これにより、整合性結果を強化すること。
• 特に 𝔠 < 𝔡 および 𝔠 < 𝔞 が成り立つモデルにおいて、𝔠, 𝔡, 𝔟, 𝔠, 𝔠 の関係を調査すること。
• 超冪技術を用いた強制反復によって、複数の基数不変量を同時に制御するフレームワークを提供すること。

提案手法

• 長さ 𝜅⁺ の線形で整列順序でない添字集合上に、有限台所と非推移的記憶を持つ新しい強制反復を導入する。
• 𝜅-完全な超フィルターを用いた超冪を用いて、極限での共終度と証拠性を保存し、拡張において 𝔟 = 𝔡 = 𝜅⁺ が成り立つようにする。
• 標準的埋め込み 𝕚: 𝔼 → 𝔼/𝒟 を用いて、元のモデルから超冪への性質の転送を実現し、支配的族が支配的のままであることを保証する。
• 超冪モデルにおいて {𝔸_α : α < 𝜅⁺} というMAD族を構成するが、共終度の増加により最大性に失敗することを示し、結果として 𝔞 > 𝔡 が得られる。
• nep c.c.c. の強制概念を用いた反復強制により、支配的実数と独立族を加え、基数と共終度の保存を保証する。
• 添字集合の三重分割 (S₀, S₁, S₂) を用いて、反復内でのMAD族、独立族、支配的族のそれぞれを別々に制御する。

実験結果

リサーチクエスチョン

• RQ1 ZFCにおいて 𝔞 > 𝔡 が整合的であるか？
• RQ2 大基数の仮定なしに、𝔠 > 𝔡 の整合性を確立できるか？
• RQ3 ZFCモデルにおける 𝔠, 𝔟, 𝔡, 𝔠, 𝔠 の間の可能な関係は何か？
• RQ4 非推移的記憶と有限台所を併用した反復強制を用いて、複数の基数不変量を同時に制御できるか？
• RQ5 超冪と初等埋め込みは、強制拡張におけるMAD族と支配的族の構造にどのように影響するか？

主な発見

• 本論文は、ZFCに対して 𝔞 > 𝔡 が整合的であることを確立し、数十年にわたり未解決のままであった問題を解決した。
• 𝔟 = 𝔡 = μ かつ 𝔞 = λ で 2⁰ = λ となるモデルを構成し、𝔠 が 𝔡 より厳密に大きいことが示された。
• 推移的または整列順序でない添字集合に依存しない、有限台所反復と非推移的記憶を用いた手法により、この結果が達成された。
• 可測基数による超冪の使用が初期段階で構成を可能にしたが、後にその可測性の仮定を除去する改良が施された。
• このモデルは 𝔠 < 𝔠 および 𝔠 < 𝔠 を満たしており、独立数とalmost disjointness数が、超フィルター数と独立数から分離可能であることを示した。
• 証明は、超冪モデルにおいて {𝔸_α : α < 𝜅⁺} が最大でないことを示しており、これにより almost disjointness number が dominating number を上回ることを示した。