앰비터블 위상군

본 논문은 위상군 G 에 대해 오른쪽 균일구조 rG 를 이용한 함수 공간과 반군 구조를 연구한다. 먼저, G 의 오른쪽 균일성 RP(G) 로부터 정의되는 의사거리 Δ 에 대해 BLip⁺(Δ) 라는 0≤f≤1 이며 Δ‑리프시츠 조건을 만족하는 함수들의 집합을 만든다. 이 집합은 점별 수렴 위상에서 컴팩트하며, G‑작용 ρₓ(f)(z)=f(zx) 가 연속이다. 따라서 (BLip⁺(Δ), ρ) 는 컴팩트 G‑플로우가 된다. ‘앰비터블’이라는 새로운 개념을 도입한다. G 가 앰비터블이란, 모든 Δ∈RP(G) 에 대해 어떤 f∈Ub(rG) 가 존재해 BLip⁺(Δ)⊆orb(f) 가 되도록 하는데, 이는 모든 균일 유계·균일 등등연속 함수가 하나의 앰비트(밀집 궤도를 가진 컴팩트 흐름) 안에 포함된다는 뜻이다. 반대로 전압축군은 이러한 성질을 가질 수 없으며(Lemma 2.2), 이는 0과 1이라는 두 상수 함수를 동시에 궤도에 넣을 수 없기 때문이다. 다음으로, 군의 ‘크기’를 측정하기 위해 세 가지 기수함수 d(Δ) (Δ‑밀도), η♯(Δ) (Δ‑커버링 수), η(Δ) (Δ‑전역 커버링 수)를 정의한다. Lemma 3.1 은 이들 사이의 기본 관계를 제시하고, Theorem 3.3 은 η(Δ) 가 유한이면 η♯(½Δ) 도 유한하고, η(Δ) 가 무한이면 η♯(½Δ)≤η(Δ) 임을 보인다. 이를 통해 ‘κ‑bounded’(모든 이웃 U 에 대해 |H|≤κ 로 UH=G) 와 ‘locally κ‑bounded’ 가 각각 η♯(Δ)≤κ, d(Δ)≤κ 와 동치임을 Lemma 3.5 로 정리한다. 핵심 기술은 Neufang·Ferrri 의 팩터화 방법을 변형한 Lemma 4.1–4.3 이다. Lemma 4.1 은 η(Δ)≥ℵ₀ 일 때, 임의의 유한 집합들의 패밀리 {Fα} 에 대해 서로 겹치지 않는 변환 xα 를 선택할 수 있음을 보인다. 이를 이용해 Lemma 4.2 는 |O|≤η(Δ) 인 열린 집합들의 컬렉션 O 에 대해 공통 궤적을 갖는 f∈BLip⁺(Δ) 를 구성한다. 가장 중요한 Lemma 4.3 은 d(Δ)=η(Δ)≥ℵ₀ 일 경우 BLip⁺(Δ)=orb(f) 가 되는 f 를 찾음으로써, ‘모든 Δ에 대해 적절히 큰 Δ′ 가 존재하면 G 가 앰비터블’임을 증명한다. Theorem 4.4 은 locally κ‑bounded 군에 대해 η♯(Δ₀)≥κ 인 Δ₀ 가 존재하면 G 가 앰비터블임을 제시한다. Corollary 4.5 은 locally κ⁺‑bounded 이면서 κ‑bounded 가 아닌 경우는 반드시 앰비터블임을 도출한다. 이를 바탕으로 Theorem 4.6 은 n∈ℕ 에 대해 locally ℵₙ‑bounded 군은 전압축이거나 앰비터블임을 증명한다. 특수 경우로는 (1) locally compact 군은 전압축이거나 앰비터블, (2) ℵ₀‑bounded 군은 전압축이거나 앰비터블, (3) 무한 차원 노름공간의 가법군은 항상 앰비터블임을 얻는다. 마지막으로, 이러한 앰비터블성은 Mᵤ(rG) (균일 측도 공간) 와 c rG (균일 완비화) 가 각각 M(rG) 와 rG 의 위상 중심이 되는 일반화된 결과와 연결된다. 즉, 전압축 군에서와 동일하게, 앰비터블 군에서도 위상 중심을 균일 측도와 균일 완비화로 정확히 기술할 수 있다. 논문은 기존의 전압축 군에 대한 중심 정리를 ℵₙ‑bounded 군까지 확장함으로써, 위상역학과 함수해석 사이의 교량을 견고히 만든다.