다항군에서 부분집합의 포장 지수와 그 제한

본 논문은 폴란 군 G와 그 부분집합 A에 대해 두 종류의 포장 지수, 즉 포장 지수 indₚ(A)와 거의 포장 지수 Indₚ(A)를 정의하고, 이들의 가능한 값들을 체계적으로 조사한다. 포장 지수는 서로 다른 이동 xA, yA가 교집합의 크기가 |A|보다 작도록 하는 최대 크기의 집합 S⊂G의 기수이며, 거의 포장 지수는 교집합이 |A|보다 작은 경우로 완화된 정의이다. 첫 번째 섹션에서는 σ‑콤팩트 집합에 대한 제한을 다룬다. 주요 정리(Theorem 1)는 σ‑콤팩트 A에 대해 indₚ(A)∈ℕ∪{ℵ₀,𝔠}임을 보인다. 증명은 AA⁻¹가 단위 원소 e의 이웃인지 여부에 따라 두 경우로 나뉜다. 이웃이 아니면 완전 집합 K⊂G를 구성해 |K|=𝔠임을 보이고, 이웃이면 G가 로컬리 콤팩트임을 이용해 disjoint family가 가질 수 있는 최대 크기를 ℵ₀ 이하로 제한한다. 또한, A가 콤팩트이면 indₚ(A)가 유한하거나 𝔠가 되며, G가 로컬리 콤팩트이면서 비콤팩트이면 indₚ(A)∈{ℵ₀,𝔠}가 된다. 두 번째 섹션에서는 Borel(즉, 분석적) 집합에 대한 결과를 제시한다. 여기서 도입되는 핵심 개념은 카드널 sq(Π¹₁)이다. sq(Π¹₁)은 모든 Π¹₁ 집합 X⊂2^ω×2^ω가 크기 ≥κ의 정사각형을 포함하면 반드시 크기 𝔠의 정사각형을 포함한다는 최소 κ이다. 이 값은 ZFC만으로는 결정되지 않으며, 연속체 가설(CH) 하에서는 sq(Π¹₁)=𝔠가 되지만, 마틴 가설(MA) 하에서는 sq(Π¹₁)<𝔠가 가능하다. Proposition 2와 Proposition 3은 각각 “indₚ(A)≥sq(Π¹₁) ⇒ indₚ(A)=𝔠”와 “Indₚ(A)≥sq(Π¹₁) ⇒ Indₚ(A)=𝔠”를 증명한다. 증명은 AA⁻¹와 그 보완을 이용해 co‑analytic 집합 C⊂G×G를 만든 뒤, sq(Π¹₁)의 정의에 따라 C 안에 크기 𝔠의 완전 정사각형 K×K가 존재함을 보이며, 이를 통해 K가 요구하는 disjoint(또는 almost disjoint) family를 제공한다. 세 번째 섹션은 비이산 폴란 아벨 군 G에서 임의의 카드널 κ(4≤κ≤𝔠)를 갖는 이제밀도(Haar null)이며 이제밀도이면서도 포장 지수가 정확히 κ인 폐집합을 구성한다. 핵심 아이디어는 먼저 indₚ(A)=indₚ(B)=𝔠인 두 폐집합 A, B를 만든 뒤, C=A∪B를 정의하면 Indₚ(C)=1이 된다(즉, 거의 포장 지수가 최소값). 그런 다음 C를 적절히 변형하거나 부분집합을 선택해 indₚ(C)=Indₚ(C)=κ를 얻는다. 이 과정에서 C·C⁻¹=G라는 대수적 생성 성질을 유지함으로써 C가 “지오메트릭하게는 전체 군을 생성하지만, 범주·측도적으로는 매우 작다”는 특성을 갖는다. 논문은 마지막으로 몇 가지 열린 질문을 제시한다. 예를 들어, 컴팩트 군에서 indₚ(A)=ℵ₀인 σ‑콤팩트 A가 존재하는지, 혹은 Borel 집합 A에 대해 indₚ(A)와 Indₚ(A) 사이에 차이가 나는지 등이다. 또한 sq(C) 값에 대한 추가 연구와, 작은 무가산 카드널리티가 MA 하에서 어떻게 변하는지에 대한 탐구를 제안한다. 전체적으로 이 연구는 포장 지수라는 새로운 불변량을 도입함으로써 폴란 군의 위상·측도 구조와 집합론적 카드널리티 사이의 미묘한 상호작용을 밝힌다. 특히 sq(Π¹₁)와 같은 미세한 카드널 개념을 활용해 ZFC만으로는 결정되지 않는 현상을 드러내며, 추가 가정(MA, CH 등) 하에서 어떻게 달라지는지를 명확히 제시한다. 이러한 결과는 폴란 군 이론뿐 아니라 일반적인 위상·측도 공간에서 “작지만 큰” 집합을 이해하는 데 중요한 통찰을 제공한다.