Advanced Search

Query:

Fill in the form and click »Search«...

Format:

Display: entries per page entries

Zbl 1052.54026
Schellekens, M.P.
The correspondence between partial metrics and semivaluations. (English)
[J] Theor. Comput. Sci. 315, No. 1, 135-149 (2004). ISSN 0304-3975

The author contributes to the study of the connections between (special) distance functions, namely so-called partial metrics (equivalently, weighted quasi-metrics), and valuations on ordered structures. His investigations are mainly motivated by various important examples from Theoretical Computer Science. The article introduces the notion of a semivaluation which is shown to form a natural generalization of the notion of a valuation on a lattice to the context of semilattices. \par The central result of the paper establishes a bijection between partial metric semilattices and semivaluation spaces in the context of quasi-metric semilattices. The results shed new light on the nature of partial metrics and allow for a simplified representation of well-known partial metric spaces, where the semivaluation involved is simply the partial metric self-distance function. \par If $(X,\preceq)$ is a meet semilattice then a real-valued function $f:(X,\preceq)\rightarrow [0,\infty)$ is called a meet valuation if $\forall x,y,z\in X,$ $f(x \sqcap z)\geq f(x\sqcap y)+f(y \sqcap z)-f(y)$ and $f$ is a meet co-valuation if $\forall x,y,z\in X,$ $f(x \sqcap z)\leq f(x \sqcap y)+ f(y \sqcap z)-f(y).$
[Hans Peter Künzi (Rondebosch)]

MSC 2000:: *54E35 Metric spaces, metrizability
54E15 Uniform structures and generalizations
68Q55 Semantics
06A12 Semilattices
06B35 Continuous lattices

Keywords: (weightable) quasi-metrics; partial metrics; valuations; directed partial orders

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering Article Journal

	Scientific prize winners of the ICM 2010
	Overhang
	Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.

Advanced Search

Zentralblatt MATH Berlin [Germany]