발디비아 콤팩트 군은 곱으로 표현된다

본 논문은 발디비아 콤팩트 군의 구조를 완전히 규명하고, 모든 발디비아 콤팩트 군이 메트리제이블 콤팩트 군들의 직적곱으로 동형임을 증명한다. 서론에서는 발디비아 콤팩트 공간의 정의와 기존 연구 동향을 소개한다. 발디비아 콤팩트 공간은 ℝ^A에 삽입될 수 있으며, 그 이미지가 Σ‑제품(비제로 좌표가 가산 개수 이하인 점들의 집합)의 폐쇄인 경우를 말한다. 이러한 공간들은 Corson‑compact, Eberlein‑compact 등과 연관이 깊으며, 군 구조와 결합될 때 흥미로운 문제를 제기한다. 특히 비가환 군에 대한 이해가 부족했으며, 기존 결과는 가환 군에만 적용되었다. 2절에서는 논문의 기술적 토대를 마련한다. 먼저 κ‑완전 집합과 κ‑닫힌 부분집합을 정의하고, exp_κ A가 전형적인 κ‑완전 집합임을 보인다. Proposition 2.1은 κ‑닫힌 집합들의 교집합이 다시 κ‑닫힌 집합임을 증명한다. 이어서 역스펙트럼(κ‑스펙트럼)의 정의와 Ščepin의 스펙트럼 정리(Theorem 2.2)를 소개한다. 이 정리는 두 κ‑스펙트럼 사이의 연속 사상을 각 단계의 사상들로 분해할 수 있음을 보장한다. 다음으로 Σ‑제품 Σ(A)를 정의하고, 부분집합 B⊆A에 대한 재traction r_B와 섹션 i_B를 도입한다. Lemma 2.3은 Y‑good 집합들의 존재와 그 성질을 기술한다. 특히, Y‑good 집합들의 합집합이 다시 Y‑good이며, 재traction r_B|_Y가 연속 사상임을 보인다. 이는 이후 군 구조를 단계별로 전달하는 데 핵심적인 역할을 한다. 3절에서는 주요 보조정리들을 증명한다. Lemma 3.1은 발디비아 콤팩트 군 X가 ℝ^A에 삽입될 때, exp_κ A 안에 κ‑닫히고 공동인 집합 A_G^κ를 찾아 각 B∈A_G^κ에 대해 투사 π_B|_X가 군 동형사상이 되도록 한다. 증명은 군 연산 λ와 역원 연산 μ를 각각 κ‑스펙트럼 S_X와 S_X×S_X에 적용하고, Ščepin 정리를 이용해 단계별 연산 λ_B, μ_B를 얻는다. Lemma 3.2는 발디비아 콤팩트 공간 Y와 그 위에 정의된 군 구조 X 사이에 재traction s: Y→X 가 존재하면, 연속적인 역스펙트럼 S_X={X_α, p_{α+1}^α, τ}를 구성한다. 여기서 τ = w(X)이며, 각 X_α는 발디비아 콤팩트이며, p_α는 재traction이자 군 동형사상이다. 이 스펙트럼을 구성하기 위해서는 Y‑good 집합들의 체계와 Lemma 2.3을 반복 적용한다. 주요 정리인 Theorem 3.3은 세 조건을 동등하게 만든다: (1) X가 발디비아 콤팩트 군, (2) X가 발디비아 콤팩트 공간의 재traction, (3) X가 메트리제이블 콤팩트 군들의 곱으로 동형. (1)⇒(2)와 (3)⇒(1)은 자명하고, 핵심은 (2)⇒(3)이다. 증명은 w(X)=τ인 경우에 대해 귀납적으로 진행한다. 먼저 Lemma 3.2에 의해 얻은 스펙트럼 {X_α, p_{α+1}^α}를 이용한다. 각 단계에서 p_{α+1}^α는 재traction이면서 군 동형사상이므로, X_{α+1}는 X_α와 ker(p_{α+1}^α)의 곱으로 분해된다( Lemma 0.2 in