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

논문은 먼저 도메인 이론과 준메트릭 공간 이론의 기본 개념을 정리하고, 형식 구(볼) B_X와 그 위에 정의된 Egli‑Milner 관계 ≺_{EM}을 소개한다. B_X는 (x,r) 형태의 원소들로 구성되며, 순서 ⊑는 (x,r)⊑(y,s) ⇔ d(x,y)≤r−s 로 정의된다. 이때 B_X가 directed complete poset이 되려면 (X,d)가 순차적 요네다 완비 T₁ 준메트릭 공간이어야 함을 언급한다. 다음으로, 유한 부분집합들의 집합 P_fin B_X에 ≺_{EM}을 적용해 추상 기초(abstract basis)를 만든 뒤, 그 체인 완성(chain completion)을 수행하여 ω‑Plotkin 도메인 C B_X를 정의한다. C B_X는 연속 ω‑dCPO이며, 모든 ω‑체인은 최소 상한을 갖는다. 저자들은 C B_X의 원소를 ‘라운드 아이디얼(round ideal)’ 형태로 기술하고, 각 아이디얼이 유한 구들의 증가 체인으로 표현될 수 있음을 보인다. 핵심 매핑 φ는 K₀(X)의 각 비공집합 컴팩트 집합 K에 대해 φ(K)=⋂_{(x,r)∈K}↑↑(x,r) 로 정의된다. 여기서 ↑↑(x,r)는 (x,r)의 Egli‑Milner 상향 폐쇄이다. φ는 일대일이며, K₀(X)의 Vietoris 위상 τ_V와 C B_X의 Scott 위상 σ 사이에서 연속이고 개방 사상이므로 위상학적 임베딩이 된다. 특히, (X,d)가 순차적 요네다 완비 T₁이면 φ는 최대 원소들을 보존하여 φ(Max K₀(X))=Max C B_X 를 만족한다. 추가 가정으로, 모든 컴팩트 부분집합이 d^{-1}‑precompact이면 Hausdorff 준메트릭 H_d가 K₀(X)에 T₁ 위상을 제공한다. 이 경우 φ는 H_d와 C B_X의 Scott 위상 사이에서도 등거리(isometry)임을 보이며, 따라서 (C B_X,⊑,φ) 가 Hausdorff 위상에 대한 ω‑계산 모델이 된다. 정량적 모델을 만들기 위해, 저자들은 Romaguera‑Valero가 제시한 quasi‑metric q를 B_X에 정의한다. q((x,r),(y,s))=max{d(x,y),r−s} 로 설정하고, 이를 유한 부분집합에 대해 Hausdorff quasi‑metric H_q로 확장한다. 이후 H_q를 C B_X에 승격시켜 D를 정의하고, D의 특수화 순서 ⊑_D가 기존 순서 ⊑와 일치함을 증명한다. D는 요네다 완비이며, (P_fin B_X, H_q)의 요네다 완비화와 동형이다. 따라서 φ는 (K₀(X),H_d)에서 (C B_X,D)로 등거리이며, (C B_X,⊑,φ,D) 가 정량적 ω‑계산 모델이 된다. 마지막 섹션에서는 기존의 Plotkin 파워도메인 P B_X와 새롭게 만든 ω‑Plotkin 도메인 C B_X를 비교한다. (X,d)가 Smyth‑complete이며 모든 컴팩트 부분집합이 d^{-1}‑precompact이거나, (X,d) 가 ω‑algebraic 요네다 완비인 경우, P B_X와 C B_X가 순서 동형임을 보인다. 이를 통해 두 도메인 구조가 본질적으로 동일함을 확인하고, 본 연구가 제시한 ω‑Plotkin 도메인 접근법이 기존 방법을 일반화한다는 결론을 내린다. 전체적으로, 논문은 비대칭 거리 구조에서도 도메인 이론을 활용해 초공간의 위상 및 거리 구조를 정확히 모델링할 수 있음을 입증한다.