Abstract
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.
Similar content being viewed by others
References
Di Concilio A.,Spazi quasimetrici e topologie ad essi associate, Rend. Accad. Sci. Fis. Mat. Napoli,38 (1971), 113–130.
Escardo M. H.,PCF extended with real numbers, Theoretical Computer Science,162 (1996), 79–115.
Fletcher P., Lindgren W. F.,Quasi-uniform Spaces, Marcel Dekker, New York, (1982).
Kahn G.,The semantics of a simple language for parallel processing, in: Proc. IFIP Congress, Elsevier North-Holland, Amsterdam,74 (1974), 471–475.
Künzi H. P. A.,Nonsymmetric topology, in: Proc. Szekszárd Conference, Bolyai Soc. Math. Studies,4 (1993), Hungary (Budapest 1995), 303–338.
Künzi H. P. A., Vajner V.,Weighted quasi-metric, in: Proc. 8th Summer Conference on General Topology and Applications. Ann. New York Acad. Sci.,728 (1994), 64–77.
Matthews S. G.,Partial metric topology, in: Proc. 8th Summer Conference on General Topology and Applications. Ann. New York Acad. Sci.,728 (1994), 183–197.
O’Neill S. J.,Partial metrics, valuations and domain theory, in: Proc. 11th Summer Conference on General Topology and Applications. Ann. New York Acad. Sci.,806 (1996), 304–315.
Romaguera S., Schellekens M.,Quasi-metric properties of complexity spaces, Topology Appl.,98 (1999), 311–322.
Salbany S.,Bitopological Spaces, Compactifications and Completions, Math. Monographs, Dept. Math. Univ. Cape Town,1 (1974).
Schellekens M.,The Smyth completion: a common foudation for denonational semantics and complexity analysis, in: Proc. MFPS 11, Electronic Notes in Theoretical Computer Science1 (1995), 211–232.
Schellekens M.,On upper weightable spaces, in: Proc. 11th Summer Conference on General Topology and Applications. Ann. New York Acad. Sci.,806 (1996), 348–363.
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.
Author information
Authors and Affiliations
Additional information
The second and third listed authors are partially supported by grants from Spanish Ministry of Science and Technology, BFM 2000-III, and Polytechnical University of Valencia.
Rights and permissions
About this article
Cite this article
Oltra, S., Romaguera, S. & Sánchez-Pérez, E.A. Bicompleting weightable quasi-metric spaces and partial metric spaces. Rend. Circ. Mat. Palermo 51, 151–162 (2002). https://doi.org/10.1007/BF02871458
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02871458