Quasi Uniformities: Reconciling Domains with Metric Spaces
نویسنده
چکیده
We show that quasi-metric or quasi-uniform spaces provide, inter alia, a common generalization of cpo's and metric spaces as used in denotational semantics. To accommodate the examples suggested by computer science, a reworking of basic notions involving limits and completeness is found to be necessary. Specific results include general fixed point theorem and a sequential completion construction.
منابع مشابه
Uniformities in fuzzy metric spaces
The aim of this paper is to study induced (quasi-)uniformities in Kramosil and Michalek's fuzzy metric spaces. Firstly, $I$-uniformity in the sense of J. Guti'{e}rrez Garc'{i}a and $I$-neighborhood system in the sense of H"{o}hle and u{S}ostak are induced by the given fuzzy metric. It is shown that the fuzzy metric and the induced $I$-uniformity will generate the same $I$-neighborhood system. ...
متن کاملRelationships between completeness of fuzzy quasi-uniform spaces
In this paper, we give a kind of Cauchy 1-completeness in probabilistic quasi-uniform spaces by using 1-filters. Utilizingthe relationships among probabilistic quasi-uniformities, classical quasi-uniformities and Hutton [0, 1]-quasi-uniformities,we show the relationships between their completeness. In fuzzy quasi-metric spaces, we establish the relationshipsbetween the completeness of induced p...
متن کاملAn Introduction to the Theory of Quasi-uniform Spaces
If the symmetry condition in the definition of a pseudometric is deleted, the notion of a quasi-pseudometric is obtained. Asymmetric distance functions already occur in the work of Hausdorff in the beginning of the twentieth century when in his book on set-theory [27] he discusses what is now called the Hausdorff metric of a metric space. A family of pseudo-metrics on a set generates a uniformi...
متن کاملOn the Yoneda completion of a quasi-metric space
Several theories aimed at reconciling the partial order and the metric space approaches to Domain Theory have been presented in the literature (e.g. Flagg and Kopperman, Theoret. Comput. Sci. 177 (1) (1997) 111–138; Bonsangue et al., Theoret. Comput. Sci. 193 (1998) 1–51; Symth, Quasi-Uniformities: Reconciling Domains with Metric Spaces, Lectures Notes in Computer Science, vol. 298, Springer, B...
متن کامل