위상군에서의 유계 집합과 그 성질들

본 논문은 위상군 \(G\)의 부분집합에 대한 새로운 ‘유계’ 개념을 도입하고, 이 개념이 기존 위상·대수 구조와 어떻게 상호작용하는지를 다각도로 탐구한다. 1. **정의와 기본 성질** - 정의 2‑1에 따라, \(E\subseteq G\)가 **유계**라 함은 모든 정체원 근방 \(V\)에 대해 자연수 \(n\)이 존재해 \(E\subseteq V^{n}\)가 되는 것을 의미한다. 여기서 \(V^{n}\)는 \(V\)의 \(n\)번 곱집합이다. - 이 정의는 군 연산을 이용해 ‘얼마나 많은 근방을 곱해야 전체 집합을 포괄할 수 있는가’를 측정한다는 점에서 직관적이며, 위상군의 대수적 특성을 직접 반영한다. 2. **메트릭과의 동치성 (Theorem 2‑2)** - \(G\)가 좌불변 메트릭 \(d\)에 대해 완비이며 위상과 일치할 경우, 위상적 유계와 거리적 유계가 동치임을 증명한다. - 증명은 \(\varepsilon\)-근방을 이용해 \(V^{n}=G\)가 되도록 \(n\)을 선택하고, 반대로 거리 상한 \(M\)을 이용해 충분히 큰 \(n\)에 대해 \(V^{n}=G\)임을 보인다. 이는 메트릭이 존재할 때 새로운 정의가 기존 개념과 일관됨을 확인시킨다. 3. **부분군·몫군과의 전이 (Theorem 2‑3)** - 정상 부분군 \(H\)와 몫군 \(G/H\)가 각각 유계이면 전체 군 \(G\)도 유계임을 보인다. - 핵심은 정체원 근방 \(U\)를 잡고, \(U\cap H\)와 \(U/H\)에 대한 유계 수 \(m,n\)을 이용해 \(U^{n+m}=G\)를 구성하는 것이다. 이는 유계성이 부분군·몫군 사이에 보존된다는 중요한 구조적 결과다. 4. **국소 컴팩트·O‑차원 군의 비유계성 (Theorem 2‑4, 2‑5)** - ‘O‑차원’ 위상군은 열린·닫힌 집합이 기저를 이루는 군이다. 이러한 군이 국소 컴팩트이면 반드시 비유계임을 증명한다. - 증명은 작은 근방 \(V\)를 잡아도 그 거듭제곱이 전체 군을 포괄하지 못한다는 점을 귀납적으로 전개한다. - 또한, 국소 컴팩트하고 완전히 비연결된 군(예: 이산 군)도 비유계임을 Theorem 2‑5를 통해 확인한다. 5. **유계 집합의 폐쇄성 및 연결성 (Theorem 2‑6)** - (1) 유계 집합 \(E\)의 폐쇄 \(\overline{E}\)도 유계임을 보인다. 이는 근방을 적절히 선택해 \(\overline{E}\subseteq U^{n}\)을 만족시키는 과정으로 증명된다. - (2) 전체 군 \(G\)가 유계이면 \(G\)는 연결되고, 비자명한 열린 부분군이 존재할 수 없다는 사실을 도출한다. 이는 유계성이 위상적 연결성과 강하게 연결된다는 의미다. 6. **유계 + 폐쇄 ⇒ 컴팩트 (Corollary 2‑7)** - 국소 컴팩트 군에서 유계이면서 폐쇄인 집합은 자동으로 컴팩트함을 증명한다. - 반면, 유계 군이 반드시 컴팩트하지는 않으며, \(\mathbb{R}/\mathbb{Z}\)가 그 대표적인 반례이다. 7. **정체원 성분과 유계성 (Theorem 2‑8, Corollary 2‑9)** - 정체원 성분 \(E\)가 컴팩트하면 \(E\)는 유계다. 이는 \(E\)가 모든 근방의 유한 거듭제곱에 포함될 수 있음을 보이는 것으로 증명된다. - 국소 컴팩트 군에서는 정체원 성분이 반드시 유계임을 Corollary 2‑9가 확인한다. 8. **컴팩트 사상 개념 (Definition 2‑11, Theorem 2‑12)** - 연속 군동형사상 \(\pi:G\to G'\)가 모든 유계 집합을 상대 컴팩트하게 보낸다면 \(\pi\)를 ‘컴팩트 사상’이라 정의한다. - 만약 목표 군 \(G'\)가 국소 컴팩트이면, \(\pi\)는 자동으로 컴팩트 사상이 된다. 이는 Theorem 2‑12의 증명에서, 유계 집합의 이미지가 먼저 유계가 되고, 다시 Theorem 2‑6을 이용해 폐쇄가 컴팩트가 되므로 성립한다. 9. **전반적인 의의** - 논문은 위상군에서 ‘유계’라는 개념을 기존 거리 기반 정의와는 독립적으로, 군 연산과 위상 구조에 기반해 재정의함으로써 새로운 시각을 제공한다. - 유계성의 전이(부분군·몫군), 비유계성 조건(O‑차원·국소 컴팩트), 그리고 유계 집합과 컴팩트성 사이의 관계를 체계적으로 정리함으로써 위상군 이론의 기본 구조를 보다 깊이 이해할 수 있게 한다. - 마지막으로 컴팩트 사상이라는 새로운 사상 개념을 도입해, 위상군 사이의 연속 사상이 유계 집합을 어떻게 보존하는지를 분석함으로써 향후 조화해석, 군 작용, 동형사상 연구에 활용 가능한 도구를 제공한다.