메트리제이션 문제의 이중 해법: 고전적 정리와 플래그의 양자격자 접근

초록

본 논문은 메트리제이션 문제를 두 관점에서 조명한다. 첫 번째는 Bing‑Nagata‑Smirnov 정리를 이용해 Top M이라는 정규 T₀ 공간들의 부분범주로 코도메인을 제한함으로써 Met → Top의 전사함수 O를 범주 동형으로 만드는 방법이다. 두 번째는 Flagg가 제시한 값 양자량(value quantale) 기반 연속공간(Met T) 범주를 도입해 도메인을 확대하고, 모든 위상공간을 값 양자량 연속공간으로 표현함으로써 O가 본질적으로 전사임을 보인다. 두 접근법은 서로 보완적이며 일종의 범주적 이중성을 형성한다.

상세 분석

논문은 먼저 전통적인 메트리제이션 이론을 범주론적 시각으로 재구성한다. 메트릭 공간(Met)의 객체 (S,d)를 열린 볼록 집합 {B_r(x)} 로 생성된 위상 O(S,d)와 연결시키는 전사함수 O: Met → Top은 완전 충실하지만, 일반적으로 전사적이지 않다. 이를 보완하기 위해 코도메인을 Top M, 즉 정규 T₀ 공간이면서 σ‑이산 기저를 갖는 위상공간들의 전완 부분범주로 제한한다. Bing‑Nagata‑Smirnov 정리는 “S가 메트리제이션 가능 ⇔ S가 T₀, 정규, σ‑이산 기저를 가진다”는 동등성을 제공하므로, O는 Met에서 Top M으로 강제적으로 전사화된다. 이때 역함수 M: Top M → Met은 각 위상공간 S에 대해 정리에서 보장된 메트릭 d를 선택해 (S,d)로 보내며, 두 삼각형 중 첫 번째를 완성한다.

두 번째 접근은 Flagg의 값 양자량(value quantale) 이론을 차용한다. 값 양자량 V는 완전 격자이며, 추가 연산 +가 교환적·결합적이고 0과 ∞에 대해 적절히 작용한다. V‑연속공간 (X,d)은 거리 함수 d: X×X → V가 d(x,x)=0, 삼각 부등식 d(x,z) ≤ d(x,y)+d(y,z)를 만족한다는 일반화된 메트릭 구조이다. 특히 V=