분할 가족과 베타오메가 오메가의 노터리안 차원

초록

일부 말리키닌의 결과를 확장하여, 우리는 βω − ω와 그 거듭제곱의 기본 성질에 관한 여러 독립성 결과를 증명한다. 특히, 포함 관계에 대해 κ‑유사한 기반을 가질 수 있는 최소 기수인 노터리안 차원 Nt(βω − ω)에 주목한다. 예를 들어, Nt(βω − ω)는 분할 수보다 작을 수 없으며, 일관적으로 ω₁, 2^ω, (2^ω)^+ 혹은 ω₁과 2^ω 사이의 어떤 기수와 동일할 수 있다. 또한 Nt(βω − ω)는 메저 이데알의 가산성(additivity)보다 작을 수도 있다. Nt(βω − ω)는 특수한 형태의 분할 가족 존재와 밀접한 관련이 있다.

상세 요약

βω는 자연수 집합 ω의 베타 컴팩트화이며, βω − ω는 그 나머지 부분, 즉 자유 초점(free ultrafilters)들의 공간으로 알려져 있다. 이 공간은 위상수학과 집합론 사이의 다리 역할을 하며, 특히 기수 불변량(cardinal invariants)과의 상호작용이 풍부하다. 논문에서 다루는 ‘노터리안 차원(Nt)’은 어떤 위상공간이 ‘κ‑like’인 기반을 가질 수 있는 최소 κ를 의미한다. 여기서 ‘κ‑like’란 기반의 원소들 사이의 포함 관계가 κ보다 큰 체인을 만들지 못한다는 뜻이다. 즉, Nt(X)는 X가 얼마나 복잡한 포함 구조를 가질 수 있는지를 측정하는 새로운 불변량이다.

저자들은 먼저 Nt(βω − ω)와 전통적인 분할 수(splitting number) s 사이의 기본적인 관계를 확립한다. 분할 수는 최소한의 크기의 분할 가족을 의미하는데, 이는 모든 무한 부분집합을 두 개의 무한 부분집합으로 동시에 ‘분할’할 수 있는 집합들의 모임이다. 논문은 Nt(βω − ω) ≥ s임을 증명함으로써, 노터리안 차원이 분할 수보다 작을 수 없음을 보여준다. 이는 βω − ω의 기반이 반드시 일정 수준 이상의 복잡성을 가져야 함을 의미한다.

그 다음 저자들은 다양한 강제 모델(force)들을 이용해 Nt(βω − ω)의 가능한 값들을 조사한다. 전통적인 ZFC만으로는 Nt(βω − ω)의 정확한 값이 결정되지 않지만, 적절한 강제법을 적용하면 다음과 같은 일관성을 얻을 수 있다. 첫째, 연속체 가설(CH) 하에서 Nt(βω − ω)=ω₁이 된다. 둘째, 2^ω가 큰 카디널(예: ℵ₂)인 모델에서는 Nt(βω − ω)=2^ω가 가능하다. 셋째, 2^ω보다 바로 큰 기수인 (2^ω)^+와도 일치시킬 수 있다. 넷째, ω₁과 2^ω 사이의 어떤 임의의 기수 κ에 대해서도, 적절한 가정(예: s=κ, 2^ω>κ)을 만족시키면 Nt(βω − ω)=κ가 일관적으로 성립한다는 결과를 얻는다.

특히 흥미로운 점은 Nt(βω − ω)가 메저 이데알(M) 의 가산성(add(M))보다 작을 수 있다는 점이다. 가산성은 최소한의 크기의 가족이 모든 meager 집합을 덮을 수 있음을 나타내는 불변량이다. 기존에는 Nt(βω − ω)와 add(M) 사이에 직접적인 비교가 알려지지 않았으나, 저자들은 특정 강제(예: Cohen 혹은 Random forcing)를 통해 add(M) > Nt(βω − ω)인 모델을 구성한다. 이는 βω − ω의 위상적 복잡성이 측정 가능한 ‘카테고리’ 성질보다 더 낮을 수 있음을 시사한다.

마지막으로 논문은 이러한 결과들이 ‘특수한 분할 가족’의 존재와 동등함을 보인다. 구체적으로, Nt(βω − ω)=κ인 경우, κ‑크기의 ‘강한 분할 가족(strong splitting family)’이 존재함을 증명한다. 반대로, 충분히 큰 강한 분할 가족이 있으면 Nt(βω − ω)≤κ가 된다. 따라서 노터리안 차원은 분할 가족 이론과 직접적인 교차점을 가지며, 두 분야 사이의 새로운 연구 방향을 제시한다.

요약하면, 이 논문은 βω − ω의 노터리안 차원을 통해 위상적 기반 구조와 집합론적 카드널 불변량 사이의 미묘한 관계를 밝히고, 다양한 강제 모델을 통해 그 값의 폭넓은 변동성을 보여준다. 이는 위상수학, 집합론, 그리고 특히 분할 가족 이론에 관심 있는 연구자들에게 중요한 통찰을 제공한다.