선택공리 없는 힌드만과 오윙스 정리

본 논문은 “선택공리 없는 힌드만과 오윙스 정리”라는 제목 아래, 선택공리(ZF)와 선택공리와 관련된 보조 가정(DC, AD) 하에서 힌드만‑오윙스 유형의 무한 라미오 정리를 체계적으로 탐구한다. 서론에서는 라미오 이론의 전통적 배경과 최근의 연구 동향을 소개하고, 특히 힌드만 정리와 오윙스 문제의 무한 확장에 대한 관심이 높아지고 있음을 언급한다. 저자들은 두 종류의 구성을 구분한다: (1) ‘κ‑θ 구성’이라 부르는, κ개의 원소로 생성된 합집합 FS(·) 혹은 X+X 가 θ색으로 색칠된 경우, (2) ‘유한‑유한’, ‘무한‑유한’, ‘무한‑무한’, ‘3‑무한’ 등 구체적인 파라미터 조합을 의미한다. **1. 힌드만‑유사 명제** 섹션 2에서는 먼저 기본적인 유한‑유한 및 무한‑유한 구성을 ZF만으로도 해결할 수 있음을 보인다. 정의 2.1에서 G→(κ)FSθ 표기법을 도입하고, 정리 2.3, 2.4를 통해 ‘충분히 큰 아벨 군 G’가 주어지면, 임의의 유한 색칠에 대해 κ개의 원소 M을 선택해 FS(M) 가 단일 색이 됨을 증명한다. 여기서는 원소의 차수(order)와 Dedekind‑무한성 개념을 활용한다. 특히, 모든 원소가 유한 차수를 갖는 경우에는 재귀적으로 독립적인 원소들을 선택하고, 이들을 집합의 합으로 변환하는 함수 d를 정의해 기존의 유한‑합 정리를 적용한다. 이 과정은 선택공리 없이도 진행된다. 다음으로 비가산 차원의 경우를 다룰 때는 Δ‑system 보조정리(Lemma 2.7)를 도입한다. 이 보조정리는 DC만을 가정하면 증명될 수 있으며, ‘무한한 집합의 유한 부분집합들 사이에 공통된 뿌리(Root)를 갖는 Δ‑system’을 구축한다. 이를 통해 ℝ과 ℚ‑벡터공간 V(기저 존재 가정)에서 색칠 c(v)=⌊log₂|supp(v)|⌋ mod 2 를 정의한다. 만약 X⊆V가 비가산이며 FS(X) 가 단일 색을 유지한다면, Δ‑system을 이용해 X의 원소들의 지원(support) 집합이 서로 다른 Δ‑system을 이루게 할 수 있다. 이때 합집합의 지원 크기가 일정한 등차수열을 형성하므로, 색이 변하게 된다. 결과적으로 ℝ은 ZF만으로도 (2)FS ω 를 만족하지 않음(정리 2.8)과, 비가산 차원의 ℚ‑벡터공간은 (uncountable)FS 2 를 만족하지 않음(정리 2.10)을 얻는다. ℝ에 대한 부정 결과는 구간