거의 정제와 수확, 초필터 수의 새로운 연결고리

초록

이 논문은 c.c.c. 불 대수에서 최대 반대체들의 거의 정제 관계를 연구하고, 이를 일반화된 Galois‑Tukey 연결을 통해 지배·경계 수와 연결한다. 코헨 대수에 대해서는 거의 정제 구조가 이제밀 집합 이데알과 동형임을 보이며, 이를 이용해 초필터 수와 meagre 이데알의 공동함수를 비교한다. 또한 파라미터화된 다이아몬드 원리를 도입해 초필터 수가 ℵ₁이 될 수 있는 충분조건을 제시한다.

상세 분석

논문은 먼저 관계계(system)와 일반화된 Galois‑Tukey 연결의 기본 개념을 정리한다. 관계계 A=⟨A⁻,A,A⁺⟩에서 지배수 d(A)와 경계수 b(A)를 정의하고, φ⁻:A⁻→B⁻, φ⁺:B⁺→A⁺가 만족하는 ⟨φ⁻,φ⁺⟩가 Galois‑Tukey 연결을 이루면 d(A)≤d(B), b(B)≤b(A)임을 이용한다. 이러한 도구를 이용해 불 대수 B의 최대 반대체 집합 Part(B)에 거의 정제 관계 ≤를 도입한다. 여기서 A≤B는 A에서 유한 부분 F를 제거한 뒤(A\F)∪{⋁F}가 B를 정제한다는 뜻이다. Part(B)=⟨Part(B),≤,Part(B)⟩는 자연스럽게 방향성을 가지며, Lemma 3.4를 통해 B의 부분 대수 B↾a에 대한 Part도 Part(B)와 Galois‑Tukey 연결을 갖는다.

다음으로 B가 원자성을 갖는지 여부와 약한 ⟨ω,ω⟩‑분배성(weak distributivity)과의 관계를 조사한다. Proposition 3.7은 d(Part*(B))>ℵ₀ ⇔ B가 비원자적이며, b(Part*(B))>ℵ₀ ⇔ B가 약한 ⟨ω,ω⟩‑분배성을 만족함을 보여준다. 이는 거의 정제 관계가 각 원소가 유한히만 교차한다는 사실과 직접 연결된다. 또한 Theorem 3.8은 ⟨B⁺,≥,B⁺⟩^σ ≤_T Part*(B) ≤_T Part(B)임을 증명함으로써 Part*(B)와 Part(B)가 동일한 지배수를 공유한다(Corollary 3.9).

σ‑finite c.c. 조건을 만족하는 비원자 대수에 대해서는 Theorem 3.11이 핵심이다. 여기서는 ω^ω와 ≤* 관계를 Part*(B)와 연결시켜, ⟨ω^ω,≤,ω^ω⟩ ≤_T Part(B)임을 보인다. 이는 B가 σ‑finite c.c.이면 각 수준 S_n에 대해 모든 반대체가 유한함을 이용해, 임의의 함수 f∈ω^ω에 대응하는 최대 반대체 φ⁻(f)를 구성하고, 반대체 B에 대해 φ⁺(B)를 정의해 f≤*φ⁺(B)임을 증명한다.

코헨 대수 C_ω에 특화하면, Lemma 3.13과 Theorem 3.14를 통해 Part*(C_ω)와 이제밀 집합 이데알 nwd(2^ω)이 Galois‑Tukey 동형임을 보인다. 즉, 거의 정제 구조가 이제밀 집합 포함 관계와 동일한 복잡도를 가진다. 이를 바탕으로 Section 4에서는 불 대수 B의 재수확(reaping) 관계를 정의하고, 특히 B의 축소 거듭제곱 B^ω/fin과 Part*(B) 사이의 연결을 분석한다. 결과적으로 C_ω의 축소 거듭제곱에 대한 재수확 및 분할 수는 각각 cof(ℳ)와 ℵ₁과 동치임을 얻는다.

마지막 Section 5에서는 초필터 수 u(B)와 앞서 얻은 관계들을 결합한다. 코헨 대수에 대해 cof(ℳ) ≤ u(C_ω)임을 증명하고, 파라미터화된 다이아몬드 원리 ◇(A) (A는 B의 재수확 관계에 해당) 가 성립하면 u(C_ω)=ℵ₁이 됨을 보인다. 이는 “Borel‑동질”이라 불리는 클래스의 대수에 대해 일반화될 수 있다. 전체적으로 논문은 거의 정제 관계를 통해 다양한 카디널 불변량을 연결하고, 특히 코헨 대수에서 초필터 수와 전통적인 측도 이데알의 관계를 새로운 관점에서 밝힌다.