[논문 리뷰] Tukey classes of ultrafilters on omega

David Milovich|arXiv (Cornell University)|2008. 07. 25.

Advanced Topology and Set Theory참고 문헌 6인용 수 12

한 줄 요약

이 논문은 ω 위의 초집합에 대한 Tukey 유형을 조사하며, 다이아몬드 원리(♦) 하에서, [𝔠]^{<ω}와 Tukey 동치가 아닌 역포함 순서를 갖는 비-P-점 초집합이 존재함을 보인다. 또한 cf(κ) = κ ≤ p = 𝔠라 가정할 경우, 어떤 초집합이 [𝔠]^{<κ}와 Tukey 동치임을 증명하고, ω 위의 초집합에 대해 특정 Tukey 유형이 불가능함을 보여주는 두 개의 ZFC 결과도 제시한다.

ABSTRACT

Motivated by a question of Isbell, we show that Jensen's Diamond Principle implies there is a non-P-point ultrafilter U on omega such that U, whether ordered by reverse inclusion or reverse inclusion mod finite, is not Tukey equivalent to the finite sets of reals ordered by inclusion. We also show that, for every regular infinite kappa not greater than 2^{aleph_0}, if MA_{sigma-centered} holds, then some ultrafilter U on omega, ordered by reverse inclusion mod finite, is Tukey equivalent to the sets of reals of size less than kappa, ordered by inclusion. We also prove two negative ZFC results about the possible Tukey classes of ultrafilters on omega.

연구 동기 및 목표

• 다양한 집합론적 가정 하에서 ω 위의 초집합의 가능한 Tukey 유형을 분류하는 것.
• 모든 크기가 ω₁인 순서 집합이 다섯 알려진 유형 중 하나와 Tukey 동치인지에 대한 Isbell의 질문을 다루는 것.
• 초집합의 역포함 또는 거의 모든 곳에서의 포함 순서로부터 유도될 수 있는 Tukey 유형을 파악하는 것.
• 특정 초집합의 cofinality 및 Tukey 구조를 갖는 초집합의 존재성에 관한 일致성 및 ZFC 결과를 설정하는 것.

제안 방법

• 다이아몬드 원리(♦)를 사용하여, ⟨𝒰, ⊇⟩와 ⟨𝒰, ⊇*⟩가 ⟨[𝔠]^{<ω}, ⊆⟩와 Tukey 동치가 되지 않는 비-P-점 초집합 𝒰를 구성한다.
• 코헨 생성자와 허구적 교차집합을 사용한 재귀적 구성 기법을 적용하여, 강한 유한 교차성 조건(SFIP)과 𝝸-유사한 구조를 갖는 반집합을 만든다.
• 솔로바이의 보조정리를 활용하여, 무한 집합의 집합에서 허구적 교차집합을 추출함으로써 생성 과정에서의 일반성과 cofinal 제어를 보장한다.
• Tukey 감소 기준을 적용: f가 Tukey일 조건은 유계 집합의 역상이 유계임이며, P ≤_T Q일 조건은 g: Q → P가 존재하여 cofinal 집합의 상이 cofinal이 되는 것이다.
• cf(κ) = κ ≤ p = 𝔠라 가정할 경우, 일대일 사상과 허구적 교차집합 선택을 통해 ⟨𝒰, ⊇*⟩와 ⟨[𝔠]^{<κ}, ⊆⟩ 사이의 Tukey 동치를 구성한다.
• 위상적 불변성 적용: 점의 국소 기저의 Tukey 유형은 개방 연속 사상 하에서 보존되며, 이는 위상수학과 Tukey 이론을 연결한다.

실험 결과

연구 질문

• RQ1 ♦는 ⟨𝒰, ⊇⟩와 ⟨𝒰, ⊇*⟩가 ⟨[𝔠]^{<ω}, ⊆⟩와 Tukey 동치가 되지 않는 비-P-점 초집합 𝒰의 존재를 암시하는가?
• RQ2 ZFC만으로도 cf(κ) = κ ≤ p = 𝔠인 어떤 κ에 대해 ⟨𝒰, ⊇*⟩가 ⟨[𝔠]^{<κ}, ⊆⟩와 Tukey 동치가 되는 초집합 𝒰의 존재를 암시하는가?
• RQ3 ZFC는 어떤 초집합도 ⟨[𝔠]^{<ω}, ⊆⟩보다 строго로 낮은 Tukey 유형을 가질 수 없다고 암시하는가?
• RQ4 ♦는 ⊇* 하에서 연속적으로 Tukey 비동치인 초집합이 uncountably many 존재함을 암시하는가?
• RQ5 ω₁ < 𝔪라 가정할 경우, 어떤 초집합 𝒰가 ⟨𝒰, ⊇*⟩ ≡_T ω₁ × 𝔠를 만족하는 것이 일관된가?

주요 결과

• ♦ 하에서, ⟨𝒰, ⊇⟩와 ⟨𝒰, ⊇*⟩가 ⟨[𝔠]^{<ω}, ⊆⟩와 Tukey 동치가 되지 않는 비-P-점 초집합 𝒰가 존재한다.
• cf(κ) = κ ≤ p = 𝔠라 가정할 경우, ⟨𝒰, ⊇*⟩ ≡_T ⟨[𝔠]^{<κ}, ⊆⟩를 만족하는 초집합 𝒰가 존재한다.
• 두 개의 ZFC 결과가 증명되었다: 어떤 초집합도 cofinality 조건을 위반하는 방식으로 ⟨[𝔠]^{<ω}, ⊆⟩보다 строго로 낮은 Tukey 유형을 가질 수 없으며, 일부 Tukey 유형은 ω 위의 초집합에 대해 배제된다.
• 구성 과정을 통해, 허구적 교차집합 선택을 통해 ⟨[𝔠]^{<κ}, ⊆⟩와 Tukey 동치임을 보장하는 P_κ-점 초집합이 유도된다.
• 논문은 점의 국소 기저의 Tukey 유형이 개방 연속 사상 하에서 보존됨을 보이며, 위상수학과 Tukey 감소를 연결한다.
• 가족의 크기가 <𝔠이고 특정 교차 조건을 만족할 경우, 솔로바이의 보조정리에 의해 무한 집합의 가족에 허구적 교차집합이 존재함이 보장된다.