위상군에서의 보렐 추측 일반화와 대입가능성

초록

보렐 추측을 위상군의 Rothberger‑bounded 집합으로 확장한 일반화 BCₖ를 도입하고, 각 무한 기수 κ에 대해 BCₖ와 Kurepa 가설 사이의 정확한 대응관계를 밝힌 뒤, 1‑inaccessible, 2‑huge, 3‑huge 등 큰 기수 가정 하에서 BCₖ의 일관성을 다양한 경우에 대해 증명한다.

상세 분석

이 논문은 전통적인 보렐 추측(실수선 위의 강측정영(zero) 집합은 가산이라는 명제)을 위상군이라는 보다 일반적인 구조로 옮겨가면서, Rothberger‑boundedness라는 선택 원리를 핵심 도구로 사용한다. 위상군 (G,∗)에 대해 열린 이웃집합들의 체 O_nbd를 정의하고, 집합 X⊆G가 S₁(O_nbd,O_X) 성질을 만족하면 Rothberger‑bounded라 부른다. 이는 메트릭 공간에서는 강측정영과 동치이며, Guran의 정리에 의해 ℵ₀‑bounded 그룹은 가산 가중치를 가진 가산 메트리카블 그룹들의 직교곱에 삽입될 수 있다. 따라서 Rothberger‑bounded 집합은 각 좌표에서 강측정영이므로 차원 0이며, 이는 보렐 추측이 참이면 모든 Rothberger‑bounded 집합이 가산이라는 결론을 즉시 얻는다.

논문은 이를 바탕으로 다음과 같은 일반화된 명제 BC_κ를 정의한다. “ℵ₀‑bounded 가중치 κ 를 가진 위상군의 모든 Rothberger‑bounded 부분집합은 크기가 κ 이하이다.” 여기서 κ=ℵ₀ 일 때는 고전 보렐 추측과 동치이다. 핵심은 BC_κ와 Kurepa‑가설 KH(κ,ℵ₁) 사이의 등가성을 보이는 것이다. 저자는 KH(κ,ℵ₁) 가 성립하면 ∏_{α<κ}G_α (각 G_α 가 최소 두 원소를 갖는 위상군) 안에 크기 κ⁺ 인 Rothberger‑bounded 부분군을 구축함을 보인다. 반대로 BC_κ가 실패하면 KH(κ,ℵ₁) 가 성립한다는 역방향도 증명한다. 따라서 BC_κ와 ¬KH(κ,ℵ₁) 은 ZFC 아래에서 서로 동치가 된다(BC₀ 가정 하에).

이 등가성을 이용해 일관성 결과를 도출한다. 1‑inaccessible 기수가 존재한다면 BC_{ℵ₁} 가 일관적이며, 반대로 BC_{ℵ₁} 가 일관적이면 1‑inaccessible 기수가 필요함을 보인다. 더 나아가 1‑inaccessible 위에 ω개의 추가적인 inaccessible이 존재하면 BC_{ℵ_n} (모든 n<ω)는 참이면서 BC_{ℵ_ω} 는 거짓인 모델을 만들 수 있다. 2‑huge 기수 가정에서는 BC_{ℵ_ω} 가 일관적이며, 3‑huge 기수 가정에서는 cofinal ℵ₀ 인 무한히 많은 κ 에 대해 BC_κ가 동시에 성립하는 모델을 얻는다. 이러한 결과는 Kurepa‑가설의 위계와 큰 기수 가정 사이의 미묘한 상호작용을 명확히 보여준다.

전체적으로 논문은 위상군 이론, 선택 원리, 그리고 고위 기수 가정이라는 세 분야를 연결함으로써 보렐 추측의 일반화가 어떻게 큰 집합론적 가정에 의존하는지를 체계적으로 분석한다.