Computational Models of Certain Hyperspaces of Quasi-metric Spaces

Details Computational Models of Certain Hyperspaces of Quasi-metric Spaces Computational Models of Certain Hyperspaces of Quasi-metric Spaces

2011-08-18

arxiv.org/abs/1108.3736v2

LMCS 7 (4:1) 2011

Computer Science

Logic in Computer Science

25 pages

Scientific paper

10.2168/LMCS-7(4:1)2011

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)\rightarrow CBX$ 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$ is introduced in such a way that the specialization order $\sqsubseteq_D$ is equivalent to the usual partial order of CBX and, furthermore, $\phi:({\cal K}_0(X),H_d)\rightarrow({\bf C}{\bf B}X,D)$ is an isometry. This shows that (CBX,\sqsubseteq,\phi,D) is a quantitative $\omega$-computational model for (K_(X),H_d).

Affiliated with

Also associated with

No associations

Rating

Computational Models of Certain Hyperspaces of Quasi-metric Spaces does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Computational Models of Certain Hyperspaces of Quasi-metric Spaces, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Computational Models of Certain Hyperspaces of Quasi-metric Spaces will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-181330