×

Partial metrizability in value quantales. (English) Zbl 1060.06016

Summary: Partial metrics are metrics except that the distance from a point to itself need not be 0. These are useful in modelling partially defined information, which often appears in computer science. We generalize this notion to study “partial metrics” whose values lie in a value quantale which may be other than the reals. Then each topology arises from such a generalized metric, and for each continuous poset, there is such a generalized metric whose topology is the Scott topology and whose dual topology is the lower topology. These are both corollaries to our result that a bitopological space is pairwise completely regular if and only if there is such a generalized metric whose topology is the first topology, and whose dual topology is the second.

MSC:

06B35 Continuous lattices and posets, applications
54E35 Metric spaces, metrizability
54E55 Bitopologies
PDFBibTeX XMLCite
Full Text: DOI