연결공간의 구조와 응용: 새로운 차원의 위상과 결합

초록

연결공간의 기본 개념을 정립하고, 구조 생성, 극한·공극한 존재, 텐서곱에 의한 닫힌 모노이달 구조, 동형사상과 호모토피, 스매시 곱을 통한 포인티드 공간의 모노이달 범주를 탐구한다. 또한 유한 연결공간을 유향 비순환 그래프로 표현하고, 링크의 새로운 수치 불변량인 연결 차수를 정의한다. 마지막으로 Brunn‑Debrunner‑Kanenobu 정리를 소개해 모든 유한 적분 연결공간이 링크로 구현될 수 있음을 언급한다.

상세 요약

본 논문은 기존 위상학에서 다루지 않았던 ‘연결공간(connectivity space)’이라는 새로운 범주를 체계적으로 구축한다. 먼저, 연결구조는 부분집합들의 집합 𝓚⊆𝒫(X) 로 정의되며, 공집합과 전체집합을 포함하고, 임의의 부분집합들의 합집합이 다시 𝓚에 속한다는 폐쇄성을 만족한다. 이러한 정의는 전통적인 연결성 개념을 추상화한 것으로, 일반 위상공간의 연결성보다 더 넓은 범위의 구조를 포괄한다.

논문은 특히 ‘생성(generation)’ 과정에 주목한다. 임의의 부분집합족 𝓐⊆𝒫(X) 로부터 최소 연결구조 ⟨𝓐⟩를 구성하는 방법을 제시하고, 이 과정이 전이함수와 동형사상의 보존성을 어떻게 보장하는지를 상세히 증명한다. 이를 통해 모든 연결공간이 어떤 기본 집합으로부터 생성될 수 있음을 보이며, 이는 범주론적 관점에서 자유 객체(free object)와 유사한 역할을 한다.

다음으로, 연결공간 범주 Cnx와 그 변형인 적분 연결공간(Integral Connectivity Spaces, Icnx)에서 극한(limit)과 공극한(colimit)의 존재를 검토한다. 저자는 Cnx가 완전하고 코완전함을 보이기 위해, 부분집합들의 교집합·합집합 연산이 각각 곧 극한·공극한에 대응함을 이용한다. 특히, 적분 연결공간에서는 텐서곱 ⊗가 정의되며, 이는 두 공간의 연결구조를 최소 공통 상위 구조로 결합하는 연산이다. 이 텐서곱은 닫힌 모노이달 구조를 제공하여, 내부함수 객체