Meir and Keeler were right (Q2401576)

The author deals with fixed point theorems in d-metric spaces (a d-metric is a function satisfying symmetry, the triangle inequality and the implication \(p(x,y)=0\Rightarrow x=y\)) which are 0-complete (i.e., \(\lim_{m,n\to\infty} p(x_n,x_m)=0\Rightarrow \lim_{n\to\infty} p(x_n,x)=0\) for some \(x\in X\)), and proves that a self mapping \(f:X\to X\) has a unique fixed point \(x\) with \(\lim_{n\to\infty}p(f^nx_0,x)=p(fx,x)=0\) for every \(x_0\in X\) under the following alternative assumptions [Meir and Keeler assumption] for each \(\alpha>0\), there exists an \(\varepsilon>0\) such that \(\alpha\leq p(y,x)<\alpha+\varepsilon\) implies \(p(fy,fx)<\alpha\). or [Matkowski and Ćirić assumption] \(p(fy,fx)>0\) yields \(p(fy,fx)<p(y,x)\), and for each \(\alpha>0\), there exists an \(\varepsilon>0\) such that \(p(y,x)<\alpha+\varepsilon\) implies \(p(fy,fx)\leq \alpha\). A slightly more general result is presented for 0-complete partial metric spaces. The last part of the paper gives some new common fixed point theorems in d-metric spaces.