완전 연결 공간에서 비분리 연결성 탐구

본 논문은 “분리가능 연결”(separably connected)과 “비분리 연결”(nonseparably connected)이라는 두 개념을 중심으로, 완전 메트릭 공간에서 비분리 연결성을 구현하는 새로운 방법론을 제시한다. 첫 번째 절에서는 기본 개념과 기존 연구를 정리한다. 분리가능 연결 공간은 임의의 두 점이 가산 연결 부분집합 안에 포함될 수 있는 공간이며, 그와 대비되는 비분리 연결 공간은 모든 가산 연결 부분집합이 단일점인 경우를 말한다. Pol(1975), Simon(2001), Aron‑Maestre(2003) 등에서 비분리 연결 메트릭 공간의 예시가 제시되었지만, 이들 모두 완전 가산화가 불가능했다. 두 번째 절에서는 역극한 이론을 활용하기 위한 준비 작업으로, 연속·단조·상속적 몽타주(monotone hereditarily quotient) 사상의 성질을 정리한다. Lemma 5‑9와 Theorem 10을 통해, 각 단계에서 이러한 사상이 유지되면 역극한이 연결됨을 보인다. 이는 Puzio(1972)의 정리를 기반으로 하며, “연속·단조·상속적 몽타주”가 연결성을 보존하는 핵심 메커니즘임을 강조한다. 세 번째 절에서는 첫 번째 가산성(first countable) 공간에 대한 일반적인 메커니즘을 제시한다. 여기서는 각 점 \(x\)에 대해 함수 \(d_x(u)\in