위상 전순서 공간의 준유사거리화

초록

본 논문은 2차 가산이며 완전 정규 전순서 구조를 가진 위상공간이 준유사거리(pseudo‑metric) p에 의해 완전히 기술될 수 있음을 증명한다. p가 0이 되는 쌍은 정확히 순서 관계 ≤와 일치하고, p와 그 전치 p⁻¹가 생성하는 위상은 원래 위상 T와 동일하다. 또한 이러한 공간들은 순서 동형으로 정렬된 힐베르트 큐브의 부분공간과 동등함을 보이며, 기존 비위상학(bitopology) 결과와의 연계도 명확히 한다.

상세 분석

논문은 먼저 전순서(topological preordered) 공간 (E,T,≤)의 기본 개념을 정리하고, 완전 정규성(complete regularity)과 2차 가산성(second countability)이 동시에 만족될 때, 즉 메트릭화 가능성의 전통적 조건이 전순서 구조에 어떻게 적용되는지를 탐구한다. 핵심은 ‘준유사거리(quasi‑pseudo‑metric)’ p를 구성하는 방법에 있다. p는 일반적인 비대칭 거리 함수로, p(x,y)=0 ⇔ x≤y 를 만족하도록 설계된다. 이를 위해 저자들은 기존의 연속 실함수 집합 𝔽⊂C(E,ℝ)를 이용해 p(x,y)=sup{f(y)−f(x) | f∈𝔽, f는 ≤‑단조} 로 정의한다. 이 정의는 p가 비대칭이면서도 삼각 부등식을 만족함을 보장하고, p와 그 전치 p⁻¹가 각각 상위 위상과 하위 위상을 생성한다는 점에서 비위상학의 두 위상 구조와 자연스럽게 연결된다.

다음 단계에서는 p가 생성하는 위상 τ(p)와 원래 위상 T가 일치함을 증명한다. 여기서는 완전 정규성에 의해 얻어지는 ‘Urysohn‑type’ 연속 함수들의 풍부함을 활용한다. 구체적으로, 임의의 열린 집합 U와 점 x∈U에 대해, x와 U의 경계 사이에 충분히 작은 p‑거리 ε를 잡을 수 있음을 보이며, 이는 τ(p)의 기본 열린 집합이 T의 기본 열린 집합과 동일함을 의미한다.

또한, 논문은 이러한 전순서 공간이 순서 동형(order‑homeomorphic)으로 정렬된 힐베르트 큐브 I^ℕ(≤_lex) 의 부분공간에 삽입될 수 있음을 보인다. 여기서 힐베르트 큐브는