하레비츠 선택 가설의 파티션 관계와 라무시 정리의 새로운 연결고리

본 논문은 하레비츠형 선택 가설(U_fin(A,B))을 표준 선택 가설(S_fin(A,B))과 연결시키는 일반적인 환원 방법을 제시한다. 먼저, 전통적인 선택 원리 S_fin(A,B)와 하레비츠형 선택 원리 U_fin(A,B)를 정의하고, 두 원리 사이의 차이를 ‘유한 부분집합을 선택한 뒤 합집합을 B에 속하게 하는’ 조건으로 명시한다. 핵심 도구는 ‘Gimel 연산자’ Γ(A)이다. Γ(A)는 두 경우를 포함한다: (1) 다중유한(multi‑finite) 커버, 즉 무한히 많은 유한 커버로 분할 가능한 커버, (2) 유한 파티션을 통해 각 파트의 합집합이 A에 속하는 커버. 이를 통해 A‑glueable 커버들의 전체 집합을 구성한다. Theorem 6은 네 가지 조건을 동등하게 만든다. (1) U_fin(O,B) – 모든 열린 커버 시퀀스에 대해 유한 부분집합을 선택해 B에 속하게 함, (2) S_fin(O,O)와 Λ=Γ(B) – Λ는 가산 대형 커버들의 집합, (3) 게임 G_fin(Ω,Γ(B))에서 ONE이 승리 전략을 가질 수 없음, (4) S_fin(Ω,Γ(B)). 여기서 B는 라무시성(Ramsey)이며 유한‑일대일 재정의 가능해야 한다. 증명은 크게 두 단계로 나뉜다. 첫째, U_fin(O,B) ⇒ Λ=Γ(B) 를 Lemma 7을 통해 보이고, 둘째, Λ=Γ(B)와 S_fin(O,O) 로부터 게임 이론적 결과와 파티션 관계를 끌어낸다. 다음으로 Baumgartner‑Taylor 파티션 관계 A→⌈B⌉₂ᵏ 를 도입한다. 이는 임의의 색칠 f: