[논문 리뷰] There may be no Hausdorff ultrafilters

Tomek Bartoszyński, Saharon Shelah|ArXiv.org|2003. 11. 05.

Mathematical and Theoretical Analysis참고 문헌 6인용 수 3

한 줄 요약

이 논문은 ZFC와 일관되게 ω 위에 Hausdorff 초월수체가 존재하지 않는다는 것을 보여준다. p-점과 비가소집합을 유지하는 적절한 포스팅 구조를 사용하여, 모든 초월수체가 강하게 비Hausdorff임을 보여주는 모델을 구축함으로써, Hausdorff 초월수체의 존재가 ZFC와 독립적임을 입증한다.

ABSTRACT

An ultrafilter U is Hausdorff if for any two functions f,g mapping N to N, f(U)=g(U) iff f(n)=g(n) for n in some X in U. We will show that it is consistent that there are no Hausdorff ultrafilters.

연구 동기 및 목표

• ZFC에서 ω 위에 Hausdorff 초월수체가 존재하는지 증명할 수 있는가를 조사하는 것.
• Hausdorff 초월수체가 존재하지 않는 ZFC의 모델을 구축하는 것.
• Hausdorff 초월수체의 존재가 ZFC와 독립적임을 보이기 위해 그 존재하지 않는 것의 일관성을 입증하는 것.
• Hausdorff 성질이 ZFC로부터 증명될 수 없음을 보이며, 추가의 집합론적 가정 하에서도 마찬가지임을 보이는 것.
• 포스팅 기법을 사용하여 이러한 초월수체의 존재가 ZFC를 초월한 추가의 공리에 의존함을 보이는 것.

제안 방법

• 유한-일대일 함수와 곱의 커버링 수를 기반으로 한 조합론적 구성법을 사용하여, CH를 만족하는 모델에서 강하게 비Hausdorff인 p-점을 구성하는 것.
• p-점을 유지하고 비가소집합을 유지하는 적절한 포스팅 노션이라 할 수 있는 P를 도입하여, P가 필터의 강하게 비Hausdorff 성질을 유지함을 보장하는 것.
• P의 가산 지지 반복을 사용하여 GCH, 2^ℵ₀ = ℵ₂, 그리고 NCF(근접가산-일대일) 원리가 성립하는 모델 V^P를 구성하는 것.
• V^P에서 모든 초월수체 U에 대해 h ∈ FtO이면 h(U)가 Hausdorff가 아니라는 것을 NCF 원리와 유한-일대일 사상 하에서 비Hausdorff 성질의 유지성에 기반하여 증명하는 것.
• 가산 모델 위에서의 Cohen 실을 사용한 일반성 추론을 통해 h(U₀)가 확장에서도 여전히 비Hausdorff임을 보이며, Cohen 일반성의 유지성과 포스팅 확장의 성질을 활용하는 것.
• 원소성과 일반성을 사용하여 비Hausdorff 성질을 기저 모델에서 확장으로 이 trasfer하여, V^P 내의 어떤 초월수체도 Hausdorff일 수 없음을 보장하는 것.

실험 결과

연구 질문

• RQ1 ZFC에서 ω 위에 Hausdorff 초월수체가 존재하는지 증명 가능한가?
• RQ2 Hausdorff 초월수체가 존재하지 않는 ZFC의 모델을 구성할 수 있는가?
• RQ3 초월수체의 Hausdorff 성질을 유지하거나 파괴하기 위해 필요한 포스팅 성질은 무엇인가?
• RQ4 NCF(Near-Countable-to-One) 원리는 Hausdorff 초월수체의 부재와 어떻게 관련되는가?
• RQ5 초월수체의 비Hausdorff 성질이 ZFC를 초월한 집합론적 가정에 얼마나 의존하는가?

주요 결과

• ZFC와 일관되게 ω 위에 Hausdorff 초월수체가 존재하지 않는다는 것이 입증된다.
• 모든 초월수체가 강하게 비Hausdorff인 ZFC의 모델을 구성할 수 있으며, 이는 f ∈ FtO이면 f(U)가 어떤 경우에도 약한 Hausdorff가 아니라는 것을 의미한다.
• p-점을 유지하고 모든 초월수체가 비Hausdorff가 되도록 보장하는 ω₂ 길이의 포스팅 반복 P를 사용한 모델이 성립한다.
• 이 모델은 NCF 원리를 만족한다: 임의의 두 초월수체 U, V에 대해 h ∈ FtO가 존재하여 h(U) = h(V)가 된다.
• 기저 모델에서 강하게 비Hausdorff인 p-점 U₀가 존재하면, 이는 확장에서 강하게 비Hausdorff 필터를 생성한다.
• 포스팅 P는 비가소집합을 유지하며, 이는 가산 모델 위에서의 Cohen 일반성이 확장에서도 여전히 Cohen 일반성임을 보장하여 비Hausdorff 증거의 구조를 유지하는 데 필수적이다.