밀도 이하의 다중 분할 관계와 위상수학적 적용

본 논문은 두 부분으로 크게 나뉜다. 첫 번째 부분에서는 강한 편극 분할 관계를 보장하기 위한 일반적인 기준을 제시하고, 두 번째 부분에서는 이 기준을 실제 강제 모델에 적용하여 위상수학적 결과를 도출한다. §0 서론에서는 Juhász‑Shelah(2008)의 문제를 소개한다. ℵ₁<λ≤2^{ℵ₀}인 경우, hereditary Lindelöf이면서 밀도가 λ인 Hausdorff 공간이 ZFC에서 존재하는가에 대한 질문이다. 저자는 이 질문에 대해 일관성 부정(negative consistency) 결과를 목표로 삼는다. 이를 위해 “반그래프” 형태의 강한 편극 분할 관계를 이용하면 hereditary density와 hereditary Lindelöf 수를 spread에 의해 제한할 수 있음을 관찰한다. §1에서는 (χ⁺,θ,ξ)-forcing이라는 새로운 강제 구조를 정의한다. Q는 (Q,≤,≤_pr,ap)라는 사중 구조이며, ≤_pr은 “pure” 순서, ap는 “almost pure” 확장 집합을 의미한다. 핵심 조건 ⊛는 다음을 요구한다. (a) Q는 포스팅이며, (b) ≤_pr은 <θ-완전, (c) Q는 χ⁺-c.c.를 만족, (d) ≤_pr-증가열의 정확한 상한이 θ의 정지점에서 자주 존재, (e) 각 q에 대해 |ap(q)|<θ, (f) ap(q)의 원소들은 Q에서 서로 호환되고, 필요시 ≤_pr-상한을 통해 연결될 수 있다. 이러한 구조는 기존의 Cohen‑forcing이나 Hechler‑forcing을 일반화한 형태이며, 특히 여러 종류의 지원을 동시에 다룰 수 있게 설계되었다. 이후 Claim 1.4를 증명한다. Claim 1.4는 “χ⁺→(ξ*,(ξ*;ξ*) κ)²”라는 강한 편극 분할 관계가 V^Q에서 성립함을 보인다. 증명은 H(λ^{*+}) 내부에 충분히 큰 연속 체인 ⟨M_α:α≤θ⟩을 잡고, 이름 c: