적절 및 외부 연속성에 관한 연구

초록

본 논문에서는 공간과 적절한 사상들의 범주에서 연속성 이론을 기술하고 전개한다. 이를 자연스럽게 확장함으로써 외부 공간과 사상에 대한 연속성 이론을 도출한다.

상세 요약

이 논문은 위상수학과 범주론이 교차하는 지점에서 ‘적절(proper) 사상’과 ‘외부(exterior) 공간’이라는 두 개념을 연계시켜, 기존의 순서(sequence) 이론을 새로운 범주적 틀 안에 재구성한다는 점에서 학문적 의의가 크다. 먼저, 적절 사상이란 컴팩트한 부분집합의 원상(preimage)이 다시 컴팩트함을 보장하는 연속 사상을 말한다. 이는 일반 위상공간에서 컴팩트성 보존이라는 강한 제약을 부과함으로써, 대수적 위상수학, 미분기하학, 그리고 대수기하학 등에서 자주 등장하는 ‘정상성(normality)’이나 ‘완비성(completeness)’과 같은 성질과 자연스럽게 연결된다. 논문은 이러한 적절 사상들을 객체(object)로, 적절 사상 사이의 합성(composition)을 사상(morphism)으로 하는 범주 PropSeq를 정의하고, 이 범주 내에서 ‘순차성(sequentiality)’이라는 개념을 재정의한다. 전통적인 순차 공간은 수열의 수렴을 통해 위상 구조를 기술하지만, 적절 사상 범주에서는 수열뿐 아니라 ‘외부’ 구조—즉, 무한히 멀리 떨어진 점들을 포함하는 외부 집합—까지 고려해야 한다.

‘외부 공간’은 기존 위상공간에 ‘외부 집합(exterior set)’이라는 추가적인 구조를 부여하여, 컴팩트화(compactification)와 유사한 역할을 수행한다. 외부 집합은 보통 필터(filter)나 이상(ideal) 형태로 정의되며, 이를 통해 무한 원소에 대한 수렴 개념을 확장한다. 논문은 이러한 외부 구조를 갖는 공간들을 ExtSeq라는 범주로 묶고, 적절 사상 범주와의 사상(함수) 관계를 탐구한다. 특히, 적절 사상과 외부 사상이 서로 완전함수적(full and faithful) 관계를 이루며, 두 범주 사이에 ‘연속성 보존 사상(continuity-preserving functor)’이 존재함을 증명한다.

이러한 이론적 전개는 두 가지 중요한 함의를 가진다. 첫째, 기존의 순차 위상 이론이 갖는 제한—예를 들어, 비-첫째 가산(非第一可数) 공간에서 수열만으로는 위상을 완전히 기술할 수 없다는 점—을 극복하고, 외부 구조를 도입함으로써 보다 일반적인 위상 공간을 다룰 수 있게 만든다. 둘째, 적절 사상과 외부 사상의 범주적 관점을 통해, 컴팩트화, 한계점(ends) 이론, 그리고 대수적 위상수학에서 등장하는 ‘외부 동형(equivalence at infinity)’과 같은 개념들을 통합적으로 이해할 수 있는 새로운 틀을 제공한다.

논문의 방법론은 먼저 적절 사상의 기본 성질을 정리하고, 이를 이용해 ‘적절 순차성(proper sequentiality)’이라는 새로운 위상적 성질을 정의한다. 이어서 외부 공간에 대한 기존 문헌(예: B. B. B. 외부 위상학)과의 연계성을 검토하고, 외부 순차성(exterior sequentiality)의 정의와 주요 정리를 제시한다. 마지막으로 두 이론 사이의 사상(함수)와 동형 사상(isomorphism)을 구축함으로써, 적절 및 외부 순차성 이론이 서로 보완적이며, 실제 위상적 문제—예컨대, 무한 차원 매니폴드의 끝 구조 분석이나, 비-콤팩트 리만 곡면의 모듈러 공간 연구—에 적용 가능함을 시사한다.

향후 연구 과제로는 (1) 적절·외부 순차성 범주에 대한 동형 사상군의 구조 분석, (2) 이론을 이용한 구체적인 컴팩트화 기법의 개발, (3) 대수기하학적 스키마의 ‘무한점’ 해석에의 적용 등이 제시된다. 이러한 방향은 위상수학뿐 아니라, 수학 물리학, 특히 양자장론에서 무한대 경계 조건을 다루는 문제와도 깊은 연관성을 가질 것으로 기대된다.