접근 공간과 연속 격자의 메트릭 영역 해석

본 논문은 스콧이 연속 격자를 인젝티브 T₀ 위상으로 규정한 고전적 결과를 메트릭 이론으로 확장한다는 목표를 갖는다. 이를 위해 먼저 접근 공간(approach space)의 기본 개념을 소개하고, 기존 위상과 거리 사이의 관계를 재정리한다. 접근 공간은 점과 집합 사이에 비음수 실수값을 할당하는 함수 d(x,A) 로 정의되며, 이는 전통적인 거리 함수와 달리 집합 전체에 대한 정보를 동시에 제공한다. 이러한 구조는 카테고리 이론에서 코콤플리트성(co‑completeness)이라는 개념과 자연스럽게 연결된다. 코콤플리트성은 모든 체인에 대한 상한이 존재함을 의미한다. 논문은 이 성질을 접근 공간에 적용해 “접근 코콤플리트성”을 정의하고, 이를 만족하는 공간이 인젝티브 T₀ 접근 공간과 동형임을 보인다. 핵심 정리는 두 단계로 전개된다. 첫째, 연속 격자 L에 단위적·결합적