준메트릭 공간의 특정 초공간에 대한 계산 모델

초록

본 논문은 순차적 요네다 완비 T₁ 준메트릭 공간 (X,d)에서 비공집합 컴팩트 부분집합들의 초공간 K₀(X)를 대상으로, 형식 구(볼)들의 ω‑Plotkin 도메인 CBX를 이용한 ω‑계산 모델을 구축한다. φ:K₀(X)→CBX가 Vietoris 위상과 Scott 위상 사이의 임베딩임을 보이고, 추가적인 전제 하에 Hausdorff 준메트릭 H_d와도 동형임을 증명한다. 또한 CBX에 대수적 순차적 요네다 완비 준메트릭 D를 정의하여 (CBX,⊑,φ,D)가 정량적 ω‑계산 모델이 됨을 제시한다.

상세 분석

이 연구는 기존의 메트릭 공간에 대한 Plotkin 파워도메인(PBX) 접근법을 준메트릭 상황으로 일반화하려는 시도이다. 핵심 아이디어는 형식 구(볼)들의 집합 BX에 대해 Egli‑Milner 관계 ≺{EM}을 이용해 유한 부분집합들의 체인 완성(chain completion)을 수행함으로써 ω‑Plotkin 도메인 CBX를 정의하는 것이다. CBX는 연속 ω‑dCPO이며, 모든 ω‑체인은 최소 상한을 갖는다. 저자들은 K₀(X)와 CBX 사이에 φ(K)=⋂{(x,r)∈K}↑↑(x,r) 형태의 자연스러운 매핑을 구성한다. 이 매핑은 (X,d)가 순차적 요네다 완비 T₁ 준메트릭 공간일 때, K₀(X)에 Vietoris 위상을, CBX에 Scott 위상을 부여하면 위상학적 임베딩이 된다. 특히, 모든 컴팩트 부분집합이 d^{-1}‑precompact인 경우, Hausdorff 준메트릭 H_d가 정의하는 위상에서도 φ는 동형임을 보인다. 이는 기존 메트릭 경우에 필요한 대칭성 가정을 우회하고, Egli‑Milner 관계가 제공하는 순서 구조를 활용한 결과이다.

정량적 모델 구축을 위해 저자들은 Romaguera‑Valero가 제시한 quasi‑metric q를 BX에 도입하고, 이를 유한 부분집합에 대해 Hausdorff quasi‑metric H_q로 확장한다. 이후 H_q를 CBX에 승격시켜 D를 정의하고, D의 특수화 순서 ⊑_D가 CBX의 원래 순서 ⊑와 일치함을 증명한다. D는 요네다 완비이며, (Pf_in BX, H_q)의 요네다 완비화와 동형이다. 결과적으로 φ는 (K₀(X),H_d)에서 (CBX,D)로 등거리(isometry)이며, 이는 (CBX,⊑,φ,D)가 정량적 ω‑계산 모델임을 의미한다. 마지막으로, Smyth‑complete 혹은 ω‑algebraic 요네다 완비인 경우, 기존의 Plotkin 파워도메인 PBX와 CBX가 순서 동형임을 보이며, 두 구조가 본질적으로 동일함을 확인한다. 전체적으로, 이 논문은 비대칭적인 거리 구조에서도 도메인 이론과 초공간 이론을 연결하는 새로운 프레임워크를 제공한다.