Computational Models of Certain Hyperspaces of Quasi-metric Spaces

DOI10.2168/LMCS-7(4:1)2011MaRDI QIDQ3224691zbMATH OpenFDO

Authors Mahdi Aliakbari, M. Pourmahdian

Publication date 2 April 2012

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1108.3736

zbMATH Keywords

\(\omega \)-computational models\(\omega \)-Plotkin domainhyperspace of non-empty compact subsetsquasi-metric spacesSmyth completenessYoneda completeness

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Metric spaces, metrizability (54E35) Semantics in the theory of computing (68Q55)

Abstract: In this paper, for a given sequentially Yoneda-complete T_1 quasi-metric space (X,d), the domain theoretic models of the hyperspace K_0(X) of nonempty compact subsets of (X,d) are studied. To this end, the $omega$-Plotkin domain of the space of formal balls BX, denoted by CBX is considered. This domain is given as the chain completion of the set of all finite subsets of BX with respect to the Egli-Milner relation. Further, a map $phi:K_0(X)ightarrowCBX$ is established and proved that it is an embedding whenever K_0(X) is equipped with the Vietoris topology and respectively CBX with the Scott topology. Moreover, if any compact subset of (X,d) is d^{-1}-precompact, phi is an embedding with respect to the topology of Hausdorff quasi-metric H_d on K_0(X). Therefore, it is concluded that (CBX,sqsubseteq,phi) is an $omega$-computational model for the hyperspace K_0(X) endowed with the Vietoris and respectively the Hausdorff topology. Next, an algebraic sequentially Yoneda-complete quasi-metric D on CBX$isintroducedinsuchawaythatthespecializationorder$sqsubseteq_D$isequivalenttotheusualpartialorderofCBXand,furthermore,$phi:({cal K}_0(X),H_d) ightarrow({�f C}{�f B}X,D)$isanisometry.Thisshowsthat(CBX,sqsubseteq,phi,D)isaquantitative$omega$-computational model for (K_(X),H_d).

Recommendations

• Hyperspaces of a weightable quasi-metric space: application to models in the theory of computation
• A computational model for metric spaces
• A quantitative computational model for complete partial metric spaces via formal balls
• Complete partial metric spaces have partially metrizable computational models
• scientific article; zbMATH DE number 1231569
• A quasi-metric computational model from modular functions on monoids
• Computational approximations of compact metric spaces
• Some computational aspects of metric fixed-point theory
• scientific article; zbMATH DE number 1222111
• Models of hyperspaces

Cited in

(3)

• Completeness of hyperspaces of compact subsets of quasi-metric spaces
• A quantitative computational model for complete partial metric spaces via formal balls
• Hyperspaces of a weightable quasi-metric space: application to models in the theory of computation

This page was built for publication: Computational Models of Certain Hyperspaces of Quasi-metric Spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3224691)