벡터 공간의 완전 마드 패밀리와 지역 라머리 이론의 새로운 전개

초록

본 논문은 가산 체 위 차원 ℵ₀인 벡터 공간 E에서 무한 차원 부분공간들의 거의 서로소(아마 디스조인트) 패밀리를 연구한다. 저자는 ZFC만으로 블록 부분공간의 완전 마드(full mad) 패밀리를 구성하고, 완전 분리(completely separable) 마드 패밀리도 구축한다. 또한 추상적 Mathias 강제법을 이용해 Mahlo 기수를 강하한 Solovay 모델에서는 F₂ 위의 완전 마드 패밀리가 존재하지 않음을 보인다.

상세 분석

논문은 먼저 E의 블록 부분공간을 정의하고, 블록 기저가 존재함을 이용해 블록 부분공간들의 교차가 다시 블록 부분공간이 됨을 증명한다(Lemma 2.3). 이는 기존 문헌에서 “교차가 블록이 아니다”는 오류를 바로잡은 핵심 결과이며, 이후 전형적인 ZFC 구축에 필수적인 구조적 안정성을 제공한다.

Smythe가 제시한 ‘full’ 개념은 마드 패밀리 A에 대해 연관된 반코이데얼 H(A)가 ‘full’—즉, 모든 무한 차원 블록 부분공간이 H(A) 안에서 충분히 큰 부분을 포함하도록—라는 속성을 말한다. 이 속성은 H‑전략적 라머리성(H‑strategically Ramsey)과 유사하지만, 블록 구조에 특화된 ‘p‑필터’ 성질을 내포한다. 저자는 이러한 full 속성을 만족하는 마드 패밀리를 ZFC만으로 만들 수 있음을 보인다. 구체적으로는 s ≤ non(ℳ) ≤ a_vec,F라는 연쇄적 불등식과, s ≤ a_vec,F가 ZFC에서 성립함을 이용해 ‘완전 마드’를 단계적으로 확장한다.

완전 분리 마드 패밀리의 존재는 기존에