[논문 리뷰] On the strength of Hausdorff's gap condition

James Hirschorn|ArXiv.org|2008. 06. 29.

Computability, Logic, AI Algorithms참고 문헌 4인용 수 5

한 줄 요약

이 논문은 $\mathcal{P}(\mathbb{N})/\text{Fin}$에서 $(\omega_1,\omega_1)$ 갭이 Hausdorff의 갭 조건을 만족하지 않지만 파괴 불가능한 갭임을 보여주는 개방 문제를 해결한다. 이는 비가산 수의 랜덤 실수를 사용한 포스팅을 통해 이루어지며, 이 결과는 Hausdorff의 조건이 파괴 불가능성보다 엄밀히 강력하다는 것을 보여주며, 불리안 대수에서 갭 성질의 계층에 대한 오랜 동안의 질문을 해결한다.

ABSTRACT

Hausdorff's gap condition was satisfied by his original 1936 construction of an (omega-1,omega-1) gap in P(N)/Fin. We solve an open problem in determining whether Hausdorff's condition is actually stronger than the more modern indestructibility condition, by constructing an indestructible (omega-1,omega-1) gap not equivalent to any gap satisfying Hausdorff's condition, from uncountably many random reals.

연구 동기 및 목표

• Hausdorff의 갭 조건이 $\mathcal{P}(\mathbb{N})/\text{Fin}$에서 $(\omega_1,\omega_1)$ 갭에 대해 파괴 불가능성 조건보다 엄밀히 강력한가를 판단하는 것.
• 포스팅 하에 갭 성질의 논리적 강도와 독립성에 관한 집합론의 개방 문제를 해결하는 것.
• 파괴 불가능한 갭이 존재하는 모델을 구성하여, 이 갭이 Hausdorff의 조건을 만족하는 어떤 갭과도 동치가 아님을 보이는 것.
• Hausdorff의 조건이 파괴 불가능성에 필수적이지 않음을 보여주어 갭 불변량의 계층을 명확히 하는 것.

제안 방법

• 파괴 불가능한 갭이 되도록 하는 일반화 확장에서 갭이 유지되도록 하기 위해 비가산 수의 랜덤 실수를 사용한 포스팅.
• 함수 $s^\alpha_p, t^\alpha_p$를 통해 정의된 조건을 사용한 퓌전 스타일 반복으로, $\mathbb{N}$에서 유한한 이진 수열로 사상되며, 호환성과 측도 조건을 보장한다.
• 조건 $p$가 인덱스 집합 $\varOmega_p$, 함수 $s^\alpha_p, t^\alpha_p$, 그리고 $\mu([s^\alpha_p(m)] \cdot [t^\beta_p(m)]) \leq 2^{-2i}$를 만족하는 측도 구조를 포함하는 포스팅 $\mathcal{Q}$를 정의한다.
• 일반화된 객체 $\dot{a}_\alpha, \dot{b}_\alpha$가 $\|\dot{a}_\alpha \cap \dot{b}_\alpha = \emptyset\| = 1$ 및 $\alpha \neq \beta$일 때 $\|\dot{a}_\alpha \cap \dot{b}_\beta \neq \emptyset\| = 1$임을 보장함으로써 갭임을 확인한다.
• ccc 성질과 관련된 분할 $K_0 \cup K_1$에 비가산 동질 집합이 없음을 통해 갭이 파괴 불가능하다는 것을 증명한다.
• 특정 $k \in \mathbb{N}$에 대해 $\{\alpha < \beta : a_\alpha \cap b_\beta \setminus k = \emptyset\}$가 무한함을 보장함으로써 갭이 Hausdorff의 조건을 위반함을 증명한다.

실험 결과

연구 질문

• RQ1 Hausdorff의 갭 조건은 $\mathcal{P}(\mathbb{N})/\text{Fin}$에서 $(\omega_1,\omega_1)$ 갭에 대해 파괴 불가능성 조건보다 엄밀히 강력한가?
• RQ2 Hausdorff의 조건을 만족하는 어떤 갭과도 동치가 되지 않는 파괴 불가능한 $(\omega_1,\omega_1)$ 갭을 구성할 수 있는가?
• RQ3 이러한 갭의 존재는 ZFC를 초월한 가정이 필요한가? 만약 그렇다면, 포스팅 공리나 대규모 기수 가정이 필요한가?
• RQ4 ZFC의 모델 중에서 파괴 불가능한 갭이 존재하지만 Hausdorff의 조건을 위반하는 것이 가능한가? 이는 두 성질을 분리하는 데 기여한다.
• RQ5 랜덤 실수를 사용한 포스팅을 통해 갭의 조합 구조를 보다 정교하게 다룰 수 있는가? 파괴 불가능성과 Hausdorff의 조건을 구분할 수 있는가?

주요 결과

• 논문은 $\mathcal{P}(\mathbb{N})/\text{Fin}$에서 Hausdorff의 갭 조건을 만족하지 않는 파괴 불가능한 $(\omega_1,\omega_1)$ 갭을 구성한다.
• 이 구성은 갭이 모든 $\omega_1$-유지 확장에서 갭으로 남아 있도록 보장하기 위해 비가산 수의 랜덤 실수를 사용한 포스팅을 통해 이루어진다.
• 결과 갭은 Hausdorff의 조건의 유한성 요구 조건을 위반함으로써, Hausdorff의 조건을 만족하는 어떤 갭과도 동치가 아니며, 특정 $k$에 대해 $\{\alpha < \beta : a_\alpha \cap b_\beta \setminus k = \emptyset\}$가 무한함을 보여준다.
• 갭은 파괴 불가능성 조건을 만족한다. 이는 ccc 포스팅 하에서 갭으로 유지되며, 관련 분할 $K_0 \cup K_1$에 비가산 동질 집합이 없기 때문이다.
• 모델는 ZFC를 만족하며, 추가 공리 가정 없이도 이러한 갭의 존재가 일관됨을 보여준다. 랜덤 실수의 존재를 전제로 한다.
• 결과적으로 Hausdorff의 조건이 파괴 불가능성보다 엄밀히 강력하다는 것이 입증되며, 파괴 불가능하지만 이 조건을 위반하는 갭이 존재할 수 있음을 보여준다.