The correspondence between partial metrics and semivaluations
type: Item
instance of: scholarly article
title: The correspondence between partial metrics and semivaluations
zbMATH Open document ID: 1052.54026
published in: Theoretical Computer Science
publication date: 2004-08-06T00:00:00Z
review text: 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. 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. 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).\)
Mathematics Subject Classification ID: 54E35
Mathematics Subject Classification ID: 54E15
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 06A12
Mathematics Subject Classification ID: 06B35
zbMATH DE Number: 2081676
zbMATH Keywords: (weightable) quasi-metrics
zbMATH Keywords: partial metrics
zbMATH Keywords: valuations
zbMATH Keywords: directed partial orders
author: M. Schellekens
reviewed by: Hans Peter Künzi
MaRDI profile type: Publication
full work available at URL: j.tcs.2003.11.016
OpenAlex ID: W2076019225
cites work: Q5331549
cites work: Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
cites work: Q4376045
cites work: Q3839070
cites work: Q3956998
cites work: Q3966761
cites work: Q4288818
cites work: Q4853314
cites work: Approximation of metric spaces by partial metric spaces
cites work: Q3203061
cites work: Q4371050
cites work: Q4228819
cites work: Partial Metric Topology
cites work: An extensional treatment of lazy data flow deadlock
cites work: Quasi-metric properties of complexity spaces
cites work: The Smyth Completion
cites work: Q4373434
cites work: Q3821265
cites work: Q3359391
cites work: Uniform lattices. I: A generalization of topological Riesz spaces and topological Boolean rings
cites work: Uniform lattices. II: Order continuity and exhaustivity
DOI: 10.1016/J.TCS.2003.11.016
description: scientific article; zbMATH DE number 2081676