Quasi Uniformities: Reconciling Domains with Metric Spaces

نویسنده

  • Michael B. Smyth
چکیده

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.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

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...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1987