[논문 리뷰] Are a and d your cup of tea?

Saharon Shelah|arXiv (Cornell University)|2000. 12. 18.

Advanced Topology and Set Theory참고 문헌 4인용 수 25

한 줄 요약

이 논문은 유한 지지와 비전이적 기억을 갖는 강제법의 새로운 반복을 통해, 집합론에서 오랫동안 남아있던 문제를 해결한다. 이 방법을 통해 거의 분리된 수의 수 𝔞가 지배 수 𝔡를 초월하는 모델을 일관적으로 구성한다. 이 방법은 초수체와 반복 강제법을 활용하여 𝔞 > 𝔡, 𝔟 = 𝔡 = μ, 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 + 𝔞 > 𝔡가 일관된가에 대한 오랫동안 남아있던 열린 문제를 해결하기 위해.
• 연속체의 기수 불변량을 제어할 수 있는, 유한 지지와 비전이적 기억을 갖는 새로운 반복 강제법을 개발하기 위해.
• 𝔞 > 𝔡를 갖는 모델를 구성할 때 대규모 기수(예: 가측 기수)의 필요성을 제거함으로써 일관성 결과를 강화하기 위해.
• 특히 𝔲 < 𝔞 및 𝔦 < 𝔞임을 보여주는, 𝔞, 𝔡, 𝔟, 𝔲, 𝔞 사이의 관계를 조사하기 위해.
• 초수체 기법을 활용한 강제법 반복을 통해 다수의 기수 불변량을 동시에 제어할 수 있는 프레임워크를 제공하기 위해.

제안 방법

• 길이 𝜅⁺인 선형이지만 잘서수화되지 않은 인덱스 집합 위에서, 유한 지지와 비전이적 기억을 갖는 새로운 강제법 반복을 도입한다.
• 𝜅-완전한 초월수를 통해 초수체를 활용하여 극한에서 정체성과 코finality를 유지함으로써, 확장에서 𝔟 = 𝔡 = 𝜅⁺임을 보장한다.
• 기본 모델에서 초수체로 성질을 이전시키기 위해 표준 임bedding 𝕛: 𝔼 → 𝔼/𝒟를 사용하며, 이는 지배 가족이 여전히 지배적임을 보장한다.
• 초수체 모델에서 {𝔸_α : α < 𝜅⁺}라는 MAD 가족을 구성하지만, 코finality가 증가함에 따라 이것이 최대가 아니라는 것을 보여주어, 𝔞 > 𝔡임을 유도한다.
• nep c.c.c. 개념을 사용한 반복 강제법을 통해 지배적인 실수와 독립 가족을 추가함으로써 기수와 코finality의 유지가 보장된다.
• 인덱스 집합을 세 부분(S₀, S₁, S₂)으로 분할하여, 각각의 반복에서 MAD 가족, 독립 가족, 지배 가족을 별도로 제어한다.

실험 결과

연구 질문

• RQ1 ZFC에서 𝔞 > 𝔡가 일관적인가?
• RQ2 대규모 기수를 가정하지 않고, 𝔞 > 𝔡의 일관성을 확립할 수 있는가?
• RQ3 ZFC 모델에서 𝔞, 𝔟, 𝔡, 𝔲, 𝔦 사이의 가능한 관계는 무엇인가?
• RQ4 비전이적 기억과 유한 지지를 갖는 반복 강제법을 사용하여 다수의 기수 불변량을 동시에 제어할 수 있는가?
• RQ5 초수체와 초등 임bedding은 강제 확장에서 MAD 가족과 지배 가족의 구조에 어떻게 영향을 미치는가?

주요 결과

• 논문은 ZFC에 대해 𝔞 > 𝔡의 일관성을 확립하여, 수십 년 동안 열려있던 문제를 해결하였다.
• 𝑏 = 𝔡 = μ 및 𝔞 = 𝜆, 2⁰ = 𝜆를 만족하는 모델를 구성함으로써, 𝔞가 𝔡보다 엄격히 클 수 있음을 보였다.
• 이 결과는 전이적이거나 잘서수화되지 않은 인덱스 집합에 의존하지 않는, 유한 지지 반복 강제법을 통해 달성되었다.
• 가측 기수를 통한 초수체의 사용은 초기에 구성에 기여하지만, 이후 방법이 개선되어 가역성의 필요성을 제거하였다.
• 모델는 또한 𝔲 < 𝔞 및 𝔦 < 𝔞를 만족하며, 독립 수와 거의 분리된 수가 초월수와 독립 수와 분리될 수 있음을 보였다.
• 증명은 초수체 모델에서 {𝔸_α : α < 𝜅⁺} 가족이 최대가 아니라는 것을 보여주며, 이는 거의 분리된 수가 지배 수를 초월한다는 것을 암시한다.