[논문 리뷰] Luzin and anti-Luzin almost disjoint families

Judith Roitman, Lajos Soukup|arXiv (Cornell University)|1997. 12. 01.

Advanced Topology and Set Theory참고 문헌 5인용 수 7

한 줄 요약

이 논문은 다양한 집합론적 공리 아래에서 비가чёт 가능한 거의 분리 가족의 구조를 조사한다. MA_{ω₁} 하에서, 모든 비가чёт 가능한 거의 분리 가족은 반-루진이거나 비가чёт 가능한 루진 부분가족을 포함한다—이 이분법은 CH 하에서는 성립하지 않는다. 연구는 집합론과 논리학에서 관련된 조합적 성질을 탐구한다.

ABSTRACT

Under MA_{omega_1} every uncountable almost disjoint family is either anti-Luzin or has an uncountable Luzin subfamily. This fails under CH. Related properties are also investigated.

연구 동기 및 목표

• 집합론 모델에서 비가чёт 가능한 거의 분리 가족의 구조를 분석하는 것.
• 모든 비가чёт 가능한 거의 분리 가족이 반-루진이거나 비가чёт 가능한 루진 부분가족을 포함해야 하는지 여부를 규명하는 것.
• 특히 MA_{ω₁}와 CH를 포함한 집합론적 공리를 통해 그러한 부분가족의 존재를 결정하는 역할을 조사하는 것.
• 거의 분리 가족의 맥락에서 루진 및 반-루진 성질 간의 논리적 관계를 명확히 하는 것.
• 무한 집합론에서의 관련 조합적 성질과 그 포지션 공리에 대한 의존성을 탐구하는 것.

제안 방법

• 幾乎 분리 가족의 구조를 분석하기 위해 배경 가정으로 MA_{ω₁} (ℵ₁에 대한 마틴의 공리)를 사용한다.
• 강제법과 집합론의 조합 기법을 적용하여 특정 유형의 거의 분리 가족을 구성하거나 배제한다.
• 루진 가족의 개념을 활용: 비가чёт 가능한 거의 분리 가족 중에서 어떤 고정된 비가чёт 가능한 집합과의 교집합이 비가чёт한 부분집합을 가지는 경우.
• 반-루진 가족을 비가чёт한 루진 부분가족을 포함하지 않는 가족으로 정의한다.
• 거의 분리 가족의 조합적 및 위상적 성질에 기반해 루진과 반-루진 가족 간의 이분법을 분석한다.
• 강제법 결과를 활용하여 MA_{ω₁}와 CH 하에서 거의 분리 가족의 행동을 비교한다.

실험 결과

연구 질문

• RQ1 MA_{ω₁} 하에서, 모든 비가чёт 가능한 거의 분리 가족은 비가чёт한 루진 부분가족을 포함하거나 반-루진인가?
• RQ2 연속체 가설(CH)은 루진과 반-루진 거의 분리 가족 간의 이분법에 어떤 영향을 미치는가?
• RQ3 거의 분리 가족이 반-루진이 되기 위한 필요 및 충분 조건은 무엇인가?
• RQ4 집합론 모델에서 루진 가족과 반-루진 가족을 구별하는 조합적 성질이 존재하는가?
• RQ5 거의 분리 가족의 성질이 기초가 되는 집합론적 공리에 얼마나 의존하는가?

주요 결과

• MA_{ω₁} 하에서, 모든 비가чёт 가능한 거의 분리 가족은 반-루진이거나 비가чёт한 루진 부분가족을 포함한다.
• 연속체 가설(CH) 하에서는 반-루진과 루진 가족 간의 이분법이 성립하지 않는다.
• CH 하에서는 모든 비가чёт 가능한 거의 분리 가족이 비가чёт한 루진 부분가족을 포함하는 것은 보장되지 않는다.
• 결과적으로, MA_{ω₁}를 만족하는 모델과 CH를 만족하는 모델 간에 거의 분리 가족의 행동에 뚜렷한 차이가 있음을 보여준다.
• 반-루진 성질이 비가чёт한 루진 부분가족의 부재와 동치가 되지 않는다는 것이 밝혀졌다.
• 이 연구는 강제법 공리에 대한 의존성을 포함한 조합 기수 불변량의 이해에 기여한다.