Bicompleting weightable quasi-metric spaces and partial metric spaces
- 141 Downloads
We show that the bicompletion of a weightable quasi-metric space is a weightable quasi-metric space. From this result we deduce that any partial metric space has an (up to isometry) unique partial metric bicompletion. Some other consequences are derived. In particular, applications to two interesting examples of partial metric spaces which appear in Computer Science, as the domain of words and the complexity space, are given.
AMS (2000) Subject classification54-04 54E50 54C30 68Q25 68Q55
Keywordsweightable quasi-metric partial metric bicompletion domain of words complexity space
Unable to display preview. Download preview PDF.
- Kahn G.,The semantics of a simple language for parallel processing, in: Proc. IFIP Congress, Elsevier North-Holland, Amsterdam,74 (1974), 471–475.Google Scholar
- Künzi H. P. A.,Nonsymmetric topology, in: Proc. Szekszárd Conference, Bolyai Soc. Math. Studies,4 (1993), Hungary (Budapest 1995), 303–338.Google Scholar
- Salbany S.,Bitopological Spaces, Compactifications and Completions, Math. Monographs, Dept. Math. Univ. Cape Town,1 (1974).Google Scholar
- Smyth M. B.,Totally bounded spaces and compact ordered spaces as domains of computation, in G. M. Reed, A. W. Roscoe and R. F. Wachter editors, Topology and Category Theory in Computer Science, Oxford University Press, (1991), 207–229.Google Scholar