[논문 리뷰] PFA(S)[S] and the Arhangel'skii-Tall problem

Franklin D. Tall|arXiv (Cornell University)|2011. 04. 14.

Advanced Topology and Set Theory참고 문헌 27인용 수 3

한 줄 요약

이 논문은 초수렴 카디널의 일致성을 가정할 때, 집합론적 위상수학에서 오랫동안 남아있던 문제를 해결한다. 즉, 모든 닫힌 집합이 $G_{ au}$-집합인 경우이거나 메탈린델뢰프인 국소적으로 컴팩트한 정규 공간은 파라콤팩트하다는 것을 보여준다. 이 결과는 일관된 모델 $\mathrm{PFA}(S)[S]$에서 달성되며, 이는 조화로운 수프린 트리 $S$를 강제하여 얻는다. 이 모델은 $\aleph_1$-집합수 분리성과 반사 및 커버링 추론을 가능하게 하여 증명을 가능하게 한다.

ABSTRACT

We discuss the Arhangel'skii-Tall problem and related questions in models obtained by forcing with a coherent Souslin tree.

연구 동기 및 목표

• 약화된 조건 하에서 국소적으로 컴팩트한 정규 공간의 파라콤팩트성을 확립함으로써 아르angel'skiï-Tall 문제를 해결하는 것.
• 이전의 $\mathrm{PFA}(S)[S]$ 결과를 완전히 정규 공간 뿐 아니라 메탈린델뢰프 공간까지 확장하는 것.
• 대규모 카디널 가정(초수렴성)을 제거할 수 있는지 조사하며, 이를 가능하게 하기 위해 불가역 카디널로 줄일 수 있을 것이라 추측하는 것.
• 초기 강제 단계의 필요성과 표준 반복법이 $\mathrm{PFA}(S)[S]$를 구성하는 데서 수행하는 역할을 분석하는 것.
• 국소적으로 컴팩트하고, 헤리티어리 정규 공간에서 $S$-공간과 $Q$-집합의 존재에 대한 $\mathrm{PFA}(S)[S]$의 함의를 탐색하는 것.

제안 방법

• 조화로운 수프린 트리 $S$를 강제하여 모델 $\mathrm{PFA}(S)[S]$를 구성함으로써, $S$를 유지하고 $S$를 유지하는 정규 순서 집합에 국한된 $\mathrm{PFA}$를 만족함.
• 이전 결과를 활용하여 $\mathrm{PFA}(S)[S]$가 국소적으로 컴팩트한 정규 공간이 $\aleph_1$-집합수 분리성을 가진다는 것을 보여주는 Theorem 6의 결과를 적용함.
• Lemma 7를 적용하여 $\aleph_1$-집합수 분리성, 메탈린델뢰프, 국소적으로 컴팩트한 정규 공간이 파라콤팩트하다는 것을 증명함.
• $\mathrm{MA}_{\omega_1}(S)[S]$의 사용과 그 결과를 분석함. 특히 $\mathfrak{b} \leq \aleph_1$의 실패와 첫 번째 가산 공간에서의 정규성 성질에 초점함.
• 기존 결과를 활용: $\mathrm{PFA}(S)[S]$는 $\mathfrak{b} > \aleph_1$를 암시하며, 이는 첫 번째 가산 정칙 공간에서 서로 떨어진 닫힌 집합(하나는 가산)이 서로 떨어진 열린 이웃을 가짐을 의미함.
• Soukup의 구성: $2^{\aleph_1} = \aleph_2$ 조건 하에서 첫 번째 가산, 헤리티어리 분리성, 비-Lindelöf, $0$-차원 공간을 구성함. 이 공간은 $\mathrm{PFA}(S)[S]$에서 완전히 정규가 됨.

실험 결과

연구 질문

• RQ1 $\mathrm{PFA}(S)[S]$는 모든 국소적으로 컴팩트한 정규 공간 중에서 메탈린델뢰프이거나 모든 닫힌 집합이 $G_\delta$-집합인 경우가 파라콤팩트하다고 암시하는가?
• RQ2 아르angel'skiï-Tall 문제의 일관성 증명에서 대규모 카디널 가정(초수렴성)을 제거할 수 있는가?
• RQ3 이전의 $\mathrm{PFA}(S)[S]$ 구성에서 사용된 초기 강제 단계가 현재 결과에 필수적인가?
• RQ4 $\mathrm{PFA}(S)[S]$는 국소적으로 컴팩트하고 헤리티어리 정규 공간에서 첫 번째 가산 $S$-공간이나 $Q$-집합의 존재를 금지하는가?
• RQ5 $\mathrm{PFA}(S)[S]$는 모든 첫 번째 가산, 헤리티어리 리인델뢰프, 정칙 공간이 헤리티어리 분리성임을 암시하는가?

주요 결과

• 초수렴 카디널이 $ZFC$와 일관하다는 가정 하에, $\mathrm{PFA}(S)[S]$는 모든 국소적으로 컴팩트한 정규 공간 중에서 메탈린델뢰프이거나 모든 닫힌 집합이 $G_\delta$-집합인 경우가 파라콤팩트하다는 것을 암시한다.
• $\mathrm{PFA}(S)[S]$는 국소적으로 컴팩트한 정규 공간이 $\aleph_1$-집합수 분리성을 가진다는 것을 암시하며, 이는 증명의 핵심 단계이다.
• 모델 $\mathrm{PFA}(S)[S]$는 $\mathfrak{b} > \aleph_1$를 보장하며, 이는 첫 번째 가산 정칙 공간에서 서로 떨어진 닫힌 집합(하나는 가산)이 서로 떨어진 열린 이웃을 가짐을 의미한다.
• $\mathrm{PFA}(S)[S]$에서 $2^{\aleph_1} = \aleph_2$ 조건 하에서 구성된 첫 번째 가상, 헤리티어리 분리성, 비-Lindelöf, $0$-차원 공간은 완전히 정규가 된다.
• 모델 $\mathrm{PFA}(S)[S]$는 $\aleph_1$ 크기의 분리성, 헤리티어리 정규, 국소적으로 컴팩트한 공간이 존재하지 않음을 암시한다. 이는 $Q$-집합과 $S$-공간이 존재하지 않기 때문이다.
• 논문은 $\mathrm{PFA}(S)[S]$가 첫 번째 가상 $S$-공간이 존재하지 않음을 추측하며, 기존 결과인 $\mathrm{MA}_{\omega_1}(S)[S]$가 이러한 공간의 존재를 배제하지 않는다는 것을 확장한다.