완전 지원 반군집의 하우스도르프 이동불변 위상에서 σ‑이산성

본 논문은 ‘완전 지원 반군집(perfectly supportable semigroups)’이라는 새로운 대수적 구조를 도입하고, 이 구조가 모든 하우스도르프·이동불변(topology invariant under left and right shifts) 위상에서 σ‑이산임을 증명한다. 연구는 크게 네 부분으로 전개된다. 1. **배경 및 동기** Ulam이 제기한 무한 집합 X 위의 대칭군 Sym(X) 이 비이산적인 로컬 컴팩트 군 위상을 가질 수 있는가에 대한 문제는 1967년 Gaughan에 의해 부정되었다. 이후 Banakh·Guran·Protasov는 FSym(X) (유한 지원 전치군)이 모든 하우스도르프·이동불변 위상에서 σ‑이산임을 보였다. 이는 σ‑이산 Baire T₁ 공간이 고립점을 갖는 일반 정리와 연결된다. 논문은 이 결과를 보다 일반적인 반군집으로 확장하고자 한다. 2. **supt‑반군집과 완전 지원 반군집의 정의** - **supt‑반군집**은 반군집 S와 지원 맵 supt:S→2^X 의 쌍으로, (1) supt(fg)⊂supt(f)∪supt(g) 와 (2) supt(f)∩supt(g)=∅ 이면 fg=gf 라는 두 조건을 만족한다. - **supt‑finite**는 모든 원소가 유한 지원을 가지며, 임의의 유한 F⊂X에 대해 S(F)={f∈S:supt(f)⊂F} 가 유한 집합이 되도록 요구한다. - **supt‑perfect**는 supt‑finite에 더해, 모든 유한 F⊂X에 대해 S(F)=C(S(X\F)) (중앙자와의 동치)를 만족한다. - **완전 지원 반군집**은 어떤 지원 맵이 존재해 (S, supt)가 supt‑perfect가 되는 반군집을 의미한다. 이 정의는 중앙자 구조가 지원 집합에 의해 완전히 결정된다는 강력한 대수적 제약을 내포한다. 3. **위상적 구조와 주요 정리** - **이동불변 위상**은 모든 좌·우 이동 l_a, r_a가 연속인 위상이며, 이는 반군집 연산이 별도 연속(separately continuous)임과 동치이다. - **반‑Zariski 위상(Z_s)**은 기본 열린 집합을 { x∈S:axb≠c } 와 { x∈S:axb≠cxd } 형태로 생성한다. 이는 모든 이동불변 하우스도르프 위상보다 약하므로, Z_s에서 얻은 결과는 더 강한 위상에서도 성립한다. - **Theorem 3.2**는 Z_s 위에서 다음을 증명한다: (1) S_{≤n}={f∈S:|supt(f)|≤n} 는 폐집합, (2) 각 x∈X에 대해 {f∈S_{≤n}:x∈supt(f)} 는 열린 집합, (3) S_n={f:|supt(f)|=n} 는 이산 집합. 증명은 두 보조 보조정리(Lemma 3.3, 3.4)를 이용해, 지원이 서로 겹치지 않는 원소들의 무한 집합을 구성하고, 이를 통해 특정 원소의 근방을 조절한다. - 위 정리로부터 **Corollary 3.5**가 바로 도출된다: 완전 지원 반군집은 Z_s에서 σ‑이산이며, 따라서 모든 이동불변 하우스도르프 위상에서도 σ‑이산이다. - **Corollary 3.6**는 완전 지원 군에 대해, Baire 성질을 추가하면 위상이 전혀 이산이 됨을 보인다. 이는 σ‑이산 Baire T₁ 공간이 고립점을 가지는 사실과 군의 위상동형성(모든 점이 동일한 환경)으로부터 직접적으로 얻어진다. 4. **구체적 예시: FRel(X)와 Rel(X)** - **Rel(X)**는 모든 관계 f⊂X×X 의 집합으로, 합성 연산 f∘g 을 통해 반군집을 이룬다. 지원은 supt(f)=\{x∈X: f(x)≠{x} or f^{-1}(x)≠{x}\} 로 정의한다. - **FRel(X)**는 지원이 유한한 관계들의 부분반군집이며, 이는 supt‑finite이다. - **Proposition 4.3**는 FRel(X)의 임의의 부분반군집 S가 ‘각 유한 E⊂X와 x∈X\E에 대해, X\E 내에서 x를 이동시키지 않는 관계 g∈S’가 존재하면 supt‑perfect가 됨을 보인다. 이를 통해 FSym(X)⊂FRel(X) 와 같은 기존 사례가 포함됨을 확인한다. 전체적으로 논문은 ‘지원’이라는 combinatorial 도구를 이용해 반군집의 대수적 구조와 위상적 성질을 정밀히 연결한다. 기존에 전치군 FSym(X) 에 한정되던 σ‑이산성 결과를 훨씬 넓은 클래스인 완전 지원 반군집으로 일반화함으로써, 반군집 이론과 위상대수학 사이의 새로운 교량을 제공한다. 또한 반‑Zariski 위상을 도입해, 가장 약한 형태의 이동불변 위상에서도 동일한 결과가 유지된다는 점은 위상적 강인성을 강조한다. 이러한 결과는 향후 무한 대칭 구조, 변환군, 관계대수 등 다양한 분야에서 지원 기반 위상적 분석을 시도하는 데 유용한 틀을 제공한다.