Partial quasi-metrics
type: Item
instance of: scholarly article
title: Partial quasi-metrics
zbMATH Open document ID: 1109.54021
author: M. Schellekens
author: Hans Peter Künzi
author: H. Pajoohesh
published in: Theoretical Computer Science
publication date: 2006-12-07T00:00:00Z
review text: A partial quasi-metric space \((X, p)\) consists of a set \(X\) and a distance function \(p: X\times X\to [0,\infty)\) satisfying (i) \(p(x, x)\leq\min\{p(x, y),p(y, x)\}\) whenever \(x,y\in X\), (ii) \(x= y\) iff \(p(x, x)= p(x, y)\) and \(p(y, y)= p(y, x)\) whenever \(x,y\in X\), (iii) \(p(x, z)+ p(y, y)\leq p(x, y)+ p(y, z)\) whenever \(x,y,z\in X\). Obviously, partial quasi-metrics are a simultaneous generalization of quasimetrics and of partial metrics in the sense of \textit{S. G. Matthews} [Ann. N.Y. Acad. Sci. 728, 183--197 (1994; Zbl 0911.54025)]. A triple \((X, q,w)\) is said to be a quasi-metric space with compatible weight if \((X, q)\) is a quasi-metric space and \(w: X\to [0,\infty)\) is a function satisfying \(w(y)\leq q(x, y)+ w(x)\) whenever \(x,y\in X\). It is shown that partial quasi-metric spaces and quasi-metric spaces with compatible weight are equivalent in the following sense. If \((X, p)\) is a partial quasi-metric space, then \((X, q_p,w_p)\) is a quasi-metric space with compatible weight, where \(q_p(x,y)= p(x,y)- p(x,x)\) whenever \(x,y\in X\), and \(w_p(x)= p(x,x)\) whenever \(x\in X\). Conversely, if \((X,q,w)\) is a quasi-metric space with compatible weight, then \((X, p_{qw})\) is a partial quasi-metric space, where \(p_{qw}(x,y)= q(x,y)+ w(x)\) whenever \(x,y\in X\). Using this correspondence, a partial quasi-metric space \((X, p)\) is defined to be complete if the metric space \((X,d_{q_p})\) is complete, where \(d_{q_p}(x, y)= q_p(x,y)+ q_p(y,x)\) whenever \(x,y\in X\). By applying the correspondence to a construction of \textit{S. Romaguera}, \textit{S. Oltra} and \textit{E. A. Sánchez-Pérez} [Rend. Circ. Mat. Palermo, II. Ser. 51, No. 1, 151--162 (2002; Zbl 1098.54027)] it is shown that every partial quasi-metric space has a completion. Moreover, a fixed point theorem of Matthews is extended from partial metric spaces to partial quasi-metric spaces.
reviewed by: Harald Brandenburg
Mathematics Subject Classification ID: 54E35
Mathematics Subject Classification ID: 54H25
zbMATH DE Number: 5079014
zbMATH Keywords: partial quasi-metric
zbMATH Keywords: partial metric
zbMATH Keywords: quasi-metric
zbMATH Keywords: weight
zbMATH Keywords: quasi-norm
zbMATH Keywords: completion
zbMATH Keywords: BCK-algebra
zbMATH Keywords: bicompletion
zbMATH Keywords: fixed point theorem
MaRDI profile type: Publication
full work available at URL: j.tcs.2006.07.050
OpenAlex ID: W2005409160
cites work: Q4092646
cites work: Approximation of metric spaces by partial metric spaces
cites work: Q4165379
cites work: Lengths on semigroups and groups
cites work: Partial metrizability in value quantales
cites work: Nontransitive quasi-uniformities in the Pervin quasi-proximity class
cites work: Q4228819
cites work: Uniform semigroups
cites work: Partial Metric Topology
cites work: Bicompleting weightable quasi-metric spaces and partial metric spaces
cites work: Q4373431
cites work: Q3818375
cites work: Q4432134
cites work: Duality and quasi-normability for complexity spaces
cites work: Q4500931
cites work: Extendible spaces
cites work: A characterization of partial metrizability: Domains are quantifiable.
cites work: The correspondence between partial metrics and semivaluations
cites work: Q4519777
cites work: The local triangle axiom in topology and domain theory
cites work: Q5637596
DOI: 10.1016/J.TCS.2006.07.050
description: scientific article; zbMATH DE number 5079014