몹시 단순한 공간의 몫에서 위상 기본군의 밀도와 무디스크리트성

본 논문은 위상공간 X와 그 부분집합 A에 대해, 몫사상 p:X→X/A가 유도하는 위상 기본군 동형사상 p_*:π₁^{qtop}(X,x₀)→π₁^{qtop}(X/A,*) 의 이미지가 언제 π₁^{qtop}(X/A,*) 에 밀집하는지를 다양한 조건 아래에서 조사한다. 1. **기본 정의와 배경** - π₁^{qtop}(X,x₀) 는 루프공간 Ω(X,x₀) 에 자연적인 몫위상을 부여해 얻는 ‘준위상군’이며, 역함수와 좌·우 평행이동이 연속이다. - 기존 연구(Vietoris, Smale, Calcut‑Gompf‑McCarthy 등)는 주로 대수적 동형사상의 전사성을 다루었으나, 위상 구조까지 고려한 결과는 드물다. 2. **주요 정리 I (열린 A, 폐쇄가 경로연결)** - 가정: A⊂X 가 열린 집합이며 \overline{A} 가 경로연결. - 결과: 임의의 a∈A에 대해 p_* 의 상이 π₁^{qtop}(X/A,*) 에 **밀집**한다, 즉 \overline{Im(p_*)}=π₁^{qtop}(X/A,*) . - 증명 개요: 루프 α:I→X/A 의 ‘*가 아닌 구간’ α^{-1}({*}^c) 을 유한 개의 연결 구간으로 분해한다. 각 구간의 양 끝점을 A 안의 경로로 연결해 X 안의 루프 \tilde{α} 를 만든 뒤, p∘\tilde{α} 와 α 가 동형동치임을 보인다. 이 과정을 모든 구간에 적용해 원래 루프를 임의의 작은 열린 집합 안에서 근사하는 루프들의 열을 구성하고, 위상군의 기본 열린 집합 정의에 따라 수렴을 확인한다. 3. **주요 정리 II (폐쇄 A, X가 첫 번째 가산·경로연결·국소 경로연결)** - 가정: A⊂X 가 폐쇄이며 X 는 첫 번째 가산, 경로연결, 국소 경로연결 공간. 또한 \overline{A}=A 가 경로연결. - 결과: 위와 동일하게 p_* 의 상이 π₁^{qtop}(X/A,*) 에 밀집한다. - 핵심 아이디어: X\A 와 X/A\{*\} 사이의 동형 q 를 이용해, 폐쇄 A 를 제외한 부분에서 루프를 그대로 옮기고, A 내부에서 경로연결성을 이용해 ‘구간 보정’ 과정을 수행한다. 4. **다중 부분집합 A₁,…,A_n 의 경우** - 위 두 정리를 귀납적으로 적용하면, 각 A_i 가 위의 조건(열린이면 폐쇄가 경로연결, 폐쇄이면 위의 가정)을 만족할 때, \