큰 점 가족의 비측정 합집합에 관한 고찰

초록

이 논문은 Borel 기반을 갖는 이상 𝕀 위에, 충분히 “큰” 점 가족 𝔄 가 주어졌을 때, 그 부분가족 𝔄₀ 를 선택하면 ∪𝔄₀가 𝕀‑측정 불가능함을 보인다. 실수선상의 영집합 이상과 첫 번째 범주 이상 두 경우에 모두 적용 가능함을 확인한다.

상세 요약

논문은 먼저 완비 거리공간이면서 가산히 생성되는 폴리시 공간 X 위에 Borel 기반을 가진 σ-이상 𝕀 을 고정한다. 여기서 “점 가족”이라 함은 𝔄⊆𝕀 이며, 각 원소는 X의 한 점을 포함한다는 의미가 아니라, 각 점 x∈X 가 𝔄 의 여러 원소에 동시에 포함되는 구조를 말한다. 저자는 이러한 가족을 “큰(point‑big)”이라 정의하고, 구체적으로는 다음 두 조건을 만족하는 경우를 다룬다. 첫째, 모든 x∈X 에 대해 {A∈𝔄 : x∈A} 의 크기가 𝔠(연속체)와 동형이다. 둘째, 𝔄 자체가 𝕀‑양성(𝕀에 속하지 않음)이며, 서로 다른 원소들의 교집합이 𝕀에 속한다는 “거의 독립성” 성질을 가진다. 이러한 가정 하에, 저자는 선택 공리와 체인 조건을 이용해 부분가족 𝔄₀⊆𝔄 을 구성한다. 핵심 아이디어는 𝔄₀의 원소들을 적절히 “대각선” 방식으로 선택해, 그 합집합이 𝕀‑측정 가능 집합이라면 발생하는 모순을 유도하는 것이다. 구체적으로, 만약 U=∪𝔄₀ 가 𝕀‑측정 가능하면, U는 Borel 집합 B와 𝕀‑소집합 N의 합으로 표현될 수 있다. 그러나 𝔄₀의 “점‑큰” 성질에 의해 B는 반드시 𝕀에 속하지 않는 점들을 포함하게 되고, 이는 B와 N 사이의 차이가 𝕀에 속하지 않음으로 모순을 만든다. 따라서 U는 𝕀‑측정 불가능함이 증명된다. 논문은 이 일반적 결과를 두 대표적인 이상, 즉 실수선 ℝ 위의 Lebesgue 영집합 이상 𝓝와 첫 번째 범주 이상 𝓜에 적용한다. 각각의 경우에 대해, “점‑큰” 가족을 구성하는 전형적인 예시(예: Vitali 집합을 이용한 영집합 가족, 혹은 카테고리론적 마틴의 Axiom을 이용한 첫 번째 범주 가족)를 제시하고, 위의 정리를 통해 해당 가족의 부분가족이 비측정 합집합을 만든다는 사실을 확인한다. 이 과정에서 저자는 기존의 “비측정 합집합 존재” 결과들을 일반화하고, 특히 “큰” 가족이라는 새로운 관점을 도입함으로써 측정 이론과 집합론 사이의 교차점을 풍부하게 만든다.