Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ Theoretical Computer...arrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
Theoretical Computer Science
Article
License: Elsevier Non-Commercial
Data sources: UnpayWall
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
Theoretical Computer Science
Article . 2006
License: Elsevier Non-Commercial
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao
Theoretical Computer Science
Article . 2006 . Peer-reviewed
License: Elsevier Non-Commercial
Data sources: Crossref
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao
zbMATH Open
Article . 2006
Data sources: zbMATH Open
DBLP
Article . 2006
Data sources: DBLP
versions View all 5 versions
addClaim

Partial quasi-metrics

Authors: Hans-Peter A. Künzi; Homeira Pajoohesh; Michel P. Schellekens;

Partial quasi-metrics

Abstract

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.

Related Organizations
Keywords

Partial quasi-metric, Partial metric, Fixed-point and coincidence theorems (topological aspects), Bicompletion, Quasi-norm, fixed point theorem, weight, Quasi-metric, Weight, Completion, partial metric, Theoretical Computer Science, bicompletion, Metric spaces, metrizability, BCK-algebra, quasi-norm, completion, partial quasi-metric, quasi-metric, Computer Science(all)

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    68
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Top 10%
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Top 10%
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
68
Top 10%
Top 10%
Average
hybrid