일반화된 거리공간에서의 수열 커버링 사상

본 논문은 위상공간 사이의 연속 사상 중 ‘수열 커버링(map)’과 ‘1‑수열 커버링(map)’이라는 두 종류를 중심으로, 이들 사상이 일반화된 메트릭 공간(g‑metrizable spaces) 및 그보다 넓은 클래스인 Ω(모든 콤팩트 부분집합이 메트릭이고 가산 이웃기저를 가짐) 위에서 어떻게 작용하는지를 체계적으로 탐구한다. 먼저, 저자는 기존 문헌에서 제시된 정의들을 정리하고, 수열 커버링 사상이 ‘어떤 수열이 Y에서 수렴하면 그 전상 이미지가 X에서 수렴하는’ 성질을, 1‑수열 커버링 사상은 ‘각 점 y∈Y에 대해 특정 전상점 x∈f⁻¹(y)와 연관된 수열 선택이 가능함’을 의미한다는 점을 강조한다. 연구의 핵심 질문은 다음과 같다. - **질문 1.1**: f가 수열 커버링·경계‑콤팩트이며, X가 점‑가산 기반 또는 발전가능 공간일 때 f가 1‑수열 커버링인가? - **질문 1.2**: f가 순차적 몫·경계‑콤팩트이며, X가 위와 같은 일반화된 메트릭 성질을 가질 때 f가 의사‑수열‑커버링인가? - **질문 1.3**: f가 폐쇄·수열 커버링이며, X가 점‑가산 기반 또는 발전가능 공간일 때 f가 1‑수열 커버링인가? 이를 해결하기 위해 저자는 여러 보조 정리와 보조 개념을 도입한다. ‘sn‑네트워크(sn‑network)’와 ‘snf‑가산(sn‑finite countable)’ 공간 개념을 이용해, 각 점마다 가산 수의 순차적 이웃기저가 존재함을 보인다. 또한 ‘외부 기저(external base)’와 ‘점‑가산 기반(point‑countable base)’을 활용해, 콤팩트 부분집합의 구조를 정밀히 제어한다. **정리 3.3**에서는 X가 1차 가산이고 f가 수열 커버링·경계‑콤팩트이면, Y가 snf‑가산일 때 f는 자동으로 1‑수열 커버링임을 증명한다. 여기서 핵심은 Y의 각 비고립점 y에 대해 ∂f⁻¹(y) 안의 한 점 x_y를 선택하고, 그 점의 주변 이웃기저와 Y의 sn‑네트워크 사이의 포함 관계를 이용해, y에 수렴하는 임의의 수열을 x_y에 수렴하는 수열로 끌어올리는 것이다. **정리 3.6**은 Ω 클래스에 속하는 X에 대해 위의 결과를 일반화한다. Ω 클래스는 ‘모든 콤팩트 부분집합이 메트릭이며 가산 이웃기저를 가짐’이라는 강한 성질을 갖는데, 이는 점‑가산 기반이나 발전가능 공간이 포함되는 넓은 범위이다. 따라서 질문 1.1에 대한 긍정적 답을 제공한다. **정리 3.9**는 Y가 snf‑가산이라는 추가 가정 하에, X가 점‑가산 기반을 가질 때 경계‑분리(boundary‑separable) 사상 f가 1‑수열 커버링임을 보인다. 여기서는 Y의 sn‑네트워크가 충분히 작아야 함을 강조하며, 반례를 들어 이 조건이 없을 경우 결론이 성립하지 않음을 보여준다. **정리 3.11**과 **정리 3.12**에서는 순차적 몫(sequentially quotient)과 의사‑수열‑커버링(pseudo‑sequence‑covering) 사이의 동치성을 다룬다. 프레셰(Fréchet) 공간에서의 pseudo‑open 사상과 순차적 몫이 동등함을 이용해, Ω 클래스 내에서 경계‑콤팩트 사상이 순차적 몫이면 바로 의사‑수열‑커버링임을 증명한다. 이는 질문 1.2에 대한 긍정적 답을 제공한다. 또한, **섹션 4**에서는 g‑metrizable 공간(정규성 + σ‑locally finite weak base)을 대상으로, 열린·폐쇄 사상이 ‘강단조 단일성(strongly monotonically monolithic)’과 ‘σ‑점‑이산 k‑네트워크’를 보존한다는 새로운 보존 정리를 제시한다. 이는 기존에 메트릭 공간에서만 알려졌던 보존 성질을 보다 일반적인 위상 구조로 확장한 결과이다. 논문 말미에는 아직 해결되지 않은 몇 가지 질문(예: 모든 콤팩트 부분집합이 메트릭이면서 가산 특성을 가질 때 f가 1‑수열 커버링인지 여부)과 향후 연구 방향을 제시한다. 요약하면, 저자는 수열 커버링 사상의 구조를 일반화된 메트릭 공간에서 정밀히 분석하고, 여러 기존 결과를 확장·통합함으로써 위상수학에서 중요한 사상 클래스인 ‘수열 커버링’과 ‘1‑수열 커버링’ 사이의 관계를 명확히 규명하였다.