A Kirk type characterization of completeness for partial metric spaces

From MaRDI portal
(Redirected from Publication:963594)





Let \((X,d)\) a metric space. A mapping \(f:X\to X\) is called a Caristi's mapping if there exists a lower semicontinuous function \( \phi :X\to [0,+\infty )\) satisfying \[ d(x,f x)\leq \phi (x)-\phi (f x), \] for all \(x\in X\). \textit{W. A. Kirk} [Colloq. Math. 36, 81--86 (1976; Zbl 0353.53041)] proved that a metric space \((X,D)\) is complete if and only if every Caristi's mapping has a fixed point. A map \(p:X\times X\to [0,+\infty )\) is said to be a partial metric if for all \(x,y,x \in X\): (i) \(x=y \Leftrightarrow p(x,x)=p(x,y)=p(y,y)\); (ii) \(p(x,x)\leq p(x,y)\); (iii) \(p(x,y)=p(y,x)\), (iv)\( p(x,z)\leq p(x,y)+ p(y,z)-p(y,y).\) In this paper the author studies the relationship between the existence of fixed points for Caristi's type mappings and completeness in a partial metric space.



Cites work


Cited in
(only showing first 100 items - show all)








This page was built for publication: A Kirk type characterization of completeness for partial metric spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q963594)