연속 선택을 이용한 국소 콤팩트 군의 적합 집합 구성

논문은 “적합 집합(suitable set)”이라는 개념을 소개하면서 시작한다. 정의에 따르면, 군 G의 부분집합 S가 (i) 이산, (ii) S∪{1_G}가 폐집합, (iii) ⟨S⟩가 G에 조밀하면 S는 적합 집합이다. 이 개념은 1960년대 Tate의 Galois 공동동형론에서 처음 등장했으며, 이후 Tâte와 Mel’nikov이 유한군에 대해 증명하였다. Hofmann‑Morris는 모든 국소 콤팩트 군에 대해 적합 집합이 존재한다는 강력한 정리를 제시했지만, 그 증명은 자유 콤팩트 아벨 군 이론, Kuranishi의 2‑생성성 정리, Lee의 구조 정리 등 복잡한 도구에 의존한다. 본 논문은 이러한 복잡성을 배제하고, 마이클 선택 정리만을 이용해 직접적인 위상학적 증명을 제공한다. 먼저, 논문은 여러 기본 사실(Fact 4–9)을 정리한다. 여기에는 완전 사상의 전이성, 대각 사상의 완전성, 콤팩트 정규 부분군에 대한 몫 사상의 완전성, 로컬 콤팩트 부분군의 폐성, 그리고 열린 집합 안에서 찾을 수 있는 카운터베이스를 가진 콤팩트 정규 부분군 존재(Fact 9) 등이 포함된다. 다음으로, 적합 집합과 컴팩트화된 이산 집합 S(D)=D∪{∗} 사이의 관계를 설명한다(Fact 11, 12). 특히, 무한 적합 집합 X에 대해 X∪{1}은 S(X)와 동형임을 보이고, 반대로 S(X)에서 연속 사상 f가 1을 보존하고 이미지가 조밀하면 f(S(X))\{1\}가 적합 집합이 됨을 Lemma 13에서 증명한다. 핵심 기술은 연속 선택을 이용한 리프팅 레마이다. Lemma 16은 두 군 K₀, K₁과 그들의 부분군 N⊂K₀×K₁을 가정하고, q₀가 개방, q₁가 폐이며 K₁이 완비 거리 공간일 때, Y→K₀의 연속 사상 h를 N으로 끌어올리는 연속 사상 g를 만든다. 여기서 하위 연속 집합값 지도 F(y)= {z∈K₁ | (h(y),z)∈N}를 정의하고, 마이클 선택 정리(Fact 15)를 적용한다. Lemma 17은 위 상황을 국소 콤팩트 군 G와 두 연속 전사 동형사상 χ₀,χ₁에 특수화한다. χ₀,χ₁가 완전이면, q₀, q₁도 완전이 되고, 따라서 Lemma 16의 가정을 만족한다. 결과적으로, h를 N(=χ(G))으로 리프팅하는 연속 사상 g가 존재한다. 이제 본 논문의 주된 정리인 Theorem 2(또는 Theorem 18)를 증명한다. G가 열린 집합으로 생성되고 그 폐포가 콤팩트하다고 가정한다. 1_G의 로컬 베이스 {U_α : α<τ}를 잡고, τ가 가산이면 G는 컴팩트하게 생성된 메트릭 군이므로 Fact 14와 Lemma 13을 바로 적용해 적합 집합을 얻는다. τ가 비가산이면, 각 U_α에 대해 컴팩트 정규 부분군 N_α⊂U_α와 가산 베이스를 갖는 몫군 H_α=G/N_α를 선택한다(Fact 9). 이후 전단사 사상 ψ_α: G→H_α와 그들의 대각 사상 ϕ_α: G→∏_{β<α}H_β를 정의하고, 이미지 G_α=ϕ_α(G)를 얻는다. 전단사 사상들의 완전성(Fact 6)과 대각 사상의 완전성(Fact 5)을 이용해 전이 사상 π_{αβ}:G_α→G_β가 완전임을 확인한다. 다음 단계에서는 재귀적으로 연속 사상 f_α: S(X)→G_α (X는 기수 τ와 동형인 집합)를 정의한다. 재귀 조건은 (i) f_β=π_{αβ}∘f_α, (ii) f_α(∗)=1, (iii) 비정체 원소의 개수가 ≤ω·|α|, (iv) 이미지가 조밀함이다. 초기 단계 α=1에서는 Fact 14를 사용해 메트릭 군 G₁에 대한 연속 사상 f₁을 만든다. 전이 단계에서는 Lemma 17을 적용해 f_α를 f_{α+1}로 리프팅한다. 극한 단계에서는 α가 극한 기수일 때, f_α를 이전 단계들의 한계로 정의한다. 이렇게 구성된 최종 연속 사상 f: S(X)→G는 f(∗)=1을 만족하고, 이미지가 조밀함을 보인다. Lemma 13을 적용하면 S:=f(S(X))\{1\}가 적합 집합이며, S∪{1}은 컴팩트한다. 결과적으로, 논문은 복잡한 구조 이론 없이 마이클 선택 정리와 기본 위상군 이론만으로 모든 국소 콤팩트 군이 적합 집합을 가짐을 증명한다. 이는 Hofmann‑Morris의 결과를 보다 직관적이고 자립적인 방식으로 재현한 것이며, 이후 생성 차수 s(G)와 위상학적 생성 가중치 tg w(G) 사이의 관계를 다루는 연구(예: Theorem 3)에도 직접적인 기반을 제공한다.