디리클레 집합과 에르되시 쿠넨 몰딘 정리

초록

에르되시·쿠넨·몰딘이 증명한 “임의의 비공허 완전집합 P에 대해 영점 측정의 완전집합 M을 잡으면 P+M=ℝ”이라는 정리를 강화한다. 저자는 M을 디리클레 집합으로 선택할 수 있음을 보이고, 이를 이용해 다양한 실수 부분집합 계열에서 모든 가법집합이 전이적 의미에서 완전히 희박함을 증명한다. 또한, 적절한 분석적 부분군 G에 대해 G를 포함하는 Fσ‑집합 F가 존재하여 F+G가 동시에 메져와 카테고리에서 영인 집합이 됨을 보여준다.

상세 분석

이 논문은 실수선 위의 완전집합과 가법 구조 사이의 미세한 상호작용을 탐구한다. 기존의 에르되시‑쿠넨‑몰딘 정리는 “임의의 비공허 완전집합 P에 대해, 영점(레베그 측정이 0인) 완전집합 M을 잡으면 P+M=ℝ”이라는 강력한 덧셈적 포괄성을 제공한다. 그러나 그 정리에서는 M의 구체적 구조에 대한 제약이 없었다. 저자는 여기서 M을 디리클레 집합(Dirichlet set)으로 제한한다. 디리클레 집합은 조화해석에서 등장하는, 모든 유리수 q에 대해 |q x − p| < ε 인 정수 p가 무한히 존재하는 실수 x들의 집합으로, 고전적인 ‘디리클레 근사성’과 연관된다. 이러한 집합은 가산한 유리수 집합에 대한 일련의 ‘밀도 조건’을 동시에 만족하므로, 위상·측도 양면에서 매우 얇은 구조를 가진다. 논문은 먼저 디리클레 집합이 ‘완전 집합이면서 동시에 영점 측정’이라는 두 가지 성질을 동시에 가질 수 있음을 보인다. 이를 위해 저자는 Baire 범주론과 Lebesgue 측도론을 정교히 결합한 전형적인 ‘카테고리‑측도 교차’ 기법을 사용한다. 핵심은 디리클레 집합 D가 ‘가산한 유리수 집합 Q에 대해 각각의 q에 대해 D∩(q⁻¹ℤ+ε) 가 조밀’이라는 성질을 이용해, 임의의 완전집합 P와의 합집합 P+D가 전체 실수선 ℝ을 덮는다는 것을 증명하는 것이다. 여기서 중요한 단계는 ‘완전 집합 P가 무한히 많은 점을 포함한다는 사실’과 ‘디리클레 집합의 각 구성 원소가 무한히 많은 유리수와 근접한다는 사실’을 결합해, 임의의 실수 x에 대해 x = p + d 형태의 표현을 구성하는 것이다.

다음으로 저자는 이 결과를 활용해 ‘가법 집합(additive set)’의 전이적 완전희박성(perfectly meager in transitive sense)을 일반화한다. 가법 집합이란 두 집합 A, B에 대해 A+B⊆C인 경우 C를 ‘가법적 상한’이라고 부르는 개념이다. 기존 연구에서는 가법 집합이 ‘완전히 희박(perfectly meager)’하거나 ‘측도 영(null)’이라는 개별적인 성질만을 다루었다. 여기서는 디리클레 집합 M을 매개로 하여, 임의의 가법 집합 A에 대해 A+M이 완전히 희박하고 동시에 측도 영인 집합이 됨을 보인다. 이는 ‘전이적 의미(transitive sense)’에서 모든 가법 집합이 ‘완전히 희박’하다는 강력한 결론을 낳는다.

마지막으로 논문은 ‘분석적 부분군(analytic subgroup)’ G⊂ℝ에 대한 새로운 포함 정리를 제시한다. G가 적절히 ‘비자명하고’ 영점 측정이 아닌 경우, 저자는 G를 포함하는 Fσ‑집합 F를 구성한다. 이때 F+G는 ‘메져와 카테고리 모두에서 영인 집합(meager null set)’이 된다. 구성 과정은 먼저 G의 분석적 성질을 이용해 G를 ‘Borel‑코드’로 표현하고, 그 위에 적절한 ‘덮개(cover)’를 선택해 F를 정의한다. 이후 F와 G의 합집합이 영점 측정과 Baire 1‑카테고리 두 조건을 동시에 만족하도록 조정한다. 이 결과는 실수선 위의 ‘비가산 연산군’이 어떻게 ‘극히 얇은’ 집합에 흡수될 수 있는지를 보여주며, 측도·위상 두 관점에서의 군론적 구조 연구에 새로운 도구를 제공한다.

전체적으로 본 논문은 디리클레 집합이라는 고전적 수론적 객체를 현대 위상·측도론과 결합함으로써, 가법 구조와 완전희박성 사이의 미묘한 관계를 심층적으로 밝힌다. 특히 ‘디리클레 집합을 통한 강화된 에르되시‑쿠넨‑몰딘 정리’는 기존 결과를 크게 일반화하며, 이후 연구에서 ‘극소 집합을 이용한 가법적 포괄성’에 대한 새로운 방향을 제시한다.