1 Introduction and Preliminaries

Matthews [20] introduced the notion of partial metric space as a part of the study of denotational semantics of dataflow network. In this space, the usual metric is replaced by partial metric with an interesting property that the self-distance of any point of the space may not be zero. Further, Matthews showed that the Banach contraction principle is valid in partial metric spaces and can be applied in program verification. Later, several authors generalized the result of Metthews (see, for example, [219, 2131]). O’Neill [22] generalized the concept of partial metric space a bit further by admitting negative distances. The partial metric defined by O’Neill is called dualistic partial metric. Heckmann [17] generalized it by omitting small self-distance axiom. The partial metric defined by Heckmann is called weak partial metric. Romaguera [24] introduced the notion of 0-Cauchy sequence, 0-complete partial metric spaces and proved some characterizations of partial metric spaces in terms of completeness and 0-completeness.

Recently, Amini-Harandi [7] generalized the partial metric spaces by introducing the metric-like spaces and proved some fixed point theorems in such spaces. Amini-Harandi defined the σ-completeness of metric-like spaces. In this paper, we introduce the notion of 0-σ-completeness which generalizes the notion of the σ-completeness of [7] as well as the notion of the 0-completeness of [24]. Also, we prove common fixed point results in such spaces which generalize the results of Amini-Harandi and several well-known results of metric, partial metric spaces in metric-like spaces.

First we recall some definitions and facts about partial metric and metric-like spaces.

Definition 1

[20, 24]

A partial metric on a nonempty set X is a function \(p:X\times X\rightarrow \mathbb{R}^{+}\) (\(\mathbb{R}^{+}\) stands for nonnegative reals) such that for all x,y,zX:

(p1):

x=y if and only if p(x,x)=p(x,y)=p(y,y);

(p2):

p(x,x)≤p(x,y);

(p3):

p(x,y)=p(y,x);

(p4):

p(x,y)≤p(x,z)+p(z,y)−p(z,z).

A partial metric space is a pair (X,p) such that X is a nonempty set and p is a partial metric on X. A sequence {x n } in (X,p) converges to a point xX if and only if p(x,x)=lim n→∞ p(x n ,x). A sequence {x n } in (X,p) is called a p-Cauchy sequence if lim n,m→∞ p(x n ,x m ) exists and is finite. (X,p) is said to be complete if every p-Cauchy sequence {x n } in X converges to a point xX such that p(x,x)=lim n,m→∞ p(x n ,x m ). A sequence {x n } in (X,p) is called 0-Cauchy sequence if lim n,m→∞ p(x n ,x m )=0. The space (X,p) is said to be 0-complete if every 0-Cauchy sequence in X converges to a point xX such that p(x,x)=0.

Definition 2

[7]

A metric-like on a nonempty set X is a function \(\sigma:X\times X\rightarrow \mathbb{R}^{+}\) such that for all x,y,zX:

(σ1):

σ(x,y)=0 implies x=y;

(σ2):

σ(x,y)=σ(y,x);

(σ3):

σ(x,y)≤σ(x,z)+σ(z,y).

A metric-like space is a pair (X,σ) such that X is a nonempty set and σ is a metric-like on X. Note that a metric-like satisfies all the conditions of metric except that σ(x,x) may be positive for xX. Each metric-like σ on X generates a topology τ σ on X whose base is the family of open σ-balls

$$ B_{\sigma}(x,\epsilon)=\bigl\{y\in X\colon|\sigma(x,y)-\sigma(x,x)|< \epsilon\bigr\} \quad \mbox{for all} \ x\in X\ \mbox{and}\ \epsilon>0. $$

A sequence {x n } in X converges to a point xX if and only if lim n→∞ σ(x n ,x)=σ(x,x). A sequence {x n } is said to be σ-Cauchy if lim n,m→∞ σ(x n ,x m ) exists and is finite. A metric-like space (X,σ) is called complete if for each σ-Cauchy sequence {x n }, there exists xX such that

$$ \lim_{n\rightarrow\infty}\sigma(x_{n},x)=\sigma(x,x)= \lim _{m,n\rightarrow\infty}\sigma(x_{n},x_{m}). $$

Every partial metric space is a metric-like space but the converse may not be true.

Example 1

[7]

Let X={0,1} and \(\sigma\colon X\times X\rightarrow \mathbb{R}^{+}\) be defined by

$$\sigma(x,y)=\left \{\begin{array}{l@{\quad}l} 2 & \hbox{if}\ x=y=0, \\ 1 & \hbox{otherwise.} \end{array} \right . $$

Then (X,σ) is a metric-like space, but it is not a partial metric space, as \(\sigma(0,0)\not\leq\sigma(0,1)\).

Example 2

Let \(X=\mathbb{R}, k\geq0\) and \(\sigma\colon X\times X\rightarrow \mathbb{R}^{+}\) be defined by

$$\sigma(x,y)=\left \{\begin{array}{l@{\quad}l} 2k & \hbox{if}\ x=y=0, \\ k & \hbox{otherwise}. \end{array} \right . $$

Then (X,σ) is a metric-like space, but for k>0, it is not a partial metric space, as \(\sigma(0,0)\not\leq\sigma(0,1)\).

Definition 3

Let (X,σ) be a metric-like space. A sequence {x n } in X is called a 0-σ-Cauchy sequence if lim n,m→∞ σ(x n ,x m )=0. The space (X,σ) is said to be 0-σ-complete if every 0-σ-Cauchy sequence in X converges with respect to τ σ to a point xX such that σ(x,x)=0.

It is obvious that every 0-σ-Cauchy sequence is a σ-Cauchy sequence in (X,σ) and every σ-complete metric-like space is 0-σ-complete. Also, every 0-complete partial metric space is a 0-σ-complete metric-like space. The following example shows that the converse assertions of these facts do not hold.

Example 3

Let \(X=[0,\infty)\cap \mathbb{Q}\) and \(\sigma\colon X\times X\rightarrow \mathbb{R}^{+}\) be defined by

$$\sigma(x,y)=\left \{\begin{array}{l@{\quad}l} 2x & \hbox{if} \ x=y, \\ \max\{x,y\} &\hbox{otherwise} \end{array} \right . $$

for all x,yX. Then (X,σ) is a metric-like space. Note that (X,σ) is not a partial metric space, as \(\sigma(1,1)=2\not\leq \sigma(1,0)=1\). Now, it is easy to see that (X,σ) is a 0-σ-complete metric-like space, while it is not a σ-complete metric-like space.

Remark 1

It is not hard to see that, if σ(x n ,x)→σ(x,x)=0, then σ(x n ,y)→σ(x,y) for all yX.

For the following definition and proposition we refer to [1].

Definition 4

Let f and g be self maps of a set X. If w=fx=gx for some xX, then x is called a coincidence point of f and g, and w is called a point of coincidence of f and g. The pair f,g of self maps is weakly compatible if they commute at their coincidence points.

Proposition 1

Let f and g be weakly compatible self maps of a set X. If f and g have a unique point of coincidence w=fx=gx, then w is the unique common fixed point of f and g.

The following lemmas will be useful in the sequel.

Lemma 1

Let (X,σ) be a metric-like space and let {x n } be a sequence in X such that

$$ \lim_{n\rightarrow \infty }\sigma ( x_{n+1},x_n) =0. $$
(1)

If {x n } is not a 0-σ-Cauchy sequence in (X,σ), then there exist ε>0 and two sequences {m k } and {n k } of positive integers such that n k >m k >k and the following four sequences tend to ε + when k→∞:

$$ \bigl\{\sigma ( x_{m_k},x_{n_k})\bigr\}, \bigl\{ \sigma ( x_{m_k},x_{n_k+1})\bigr\},\bigl\{\sigma ( x_{m_k-1},x_{n_k})\bigr\}, \bigl\{\sigma ( x_{m_k-1},x_{n_k+1}) \bigr\} . $$
(2)

Proof

Suppose that {x n } is a sequence in (X,σ) satisfying (1) which is not 0-σ-Cauchy. Then there exist ε>0 and sequences {m k } and {n k } of positive integers such that

$$ n_k>m_k>k, \qquad\sigma (x_{m_k},x_{n_k-1}) <\varepsilon, \qquad\sigma (x_{m_k},x_{n_k}) \geq \varepsilon $$

for all positive integers k. Then

$$ \varepsilon \leq \sigma ( x_{m_k},x_{n_k}) \leq \sigma (x_{n_k},x_{n_k-1}) +\sigma ( x_{n_k-1},x_{m_k})< \varepsilon +\sigma ( x_{n_k},x_{n_k-1}) . $$

Using (1) we conclude that

$$ \lim_{k\rightarrow \infty }\sigma ( x_{m_k},x_{n_k}) =\varepsilon^{+}. $$
(3)

Further,

$$ \sigma (x_{m_k},x_{n_k}) \leq \sigma (x_{m_k},x_{n_k+1}) +\sigma ( x_{n_k+1},x_{n_k}) $$

and

$$ \sigma (x_{m_k},x_{n_k+1}) \leq \sigma (x_{m_k},x_{n_k}) +\sigma (x_{n_k},x_{n_k+1}). $$

Passing to the limit when k→∞ and using (1) and (3), we obtain

$$ \lim_{k\rightarrow \infty }\sigma (x_{m_k},x_{n_k+1})= \varepsilon ^{+}. $$

The remaining two sequences in (2) tend to ε + can be proved in a similar way. □

Lemma 2

Let (X,σ) be a metric-like space, f,g:XX be mappings such that the following condition is satisfied:

$$ \sigma({fx,fy})\leq\psi\bigl(M(x,y)\bigr)\quad\mathit{for~all}\ x,y\in X, $$
(4)

where ψ:[0,∞)→[0,∞) is a function satisfying ψ(t)<t for all t>0 and

$$\begin{aligned} M(x,y)&=\max\bigl\{\sigma(gx,gy),\sigma(gx,fx),\sigma(gy,fy),\sigma(gx,fy), \\ &\quad \sigma(gy,fx),\sigma(gx,gx),\sigma(gy,gy)\bigr\}. \end{aligned}$$

If f and g have a point of coincidence zX, then σ(z,z)=0.

Proof

Let zX be the point of coincidence of f and g and u be the corresponding coincidence point, that is, gu=fu=z. Suppose to the contrary that σ(z,z)>0.

Using (4) we obtain

$$\begin{aligned} \sigma(z,z) =&\sigma(fu,fu)\leq \psi\bigl(M(u,u)\bigr) \\ \leq& \psi\bigl(\max\bigl\{\sigma(gu,gu),\sigma(gu,fu),\sigma(gu,fu), \sigma(gu,fu),\sigma(gu,fu),\sigma(gu,gu), \\ &\sigma(gu,gu)\bigr\}\bigr) \\ \leq& \psi\bigl(\max\bigl\{\sigma(z,z),\sigma(z,z),\sigma(z,z),\sigma(z,z), \sigma(z,z),\sigma(z,z),\sigma(z,z)\bigr\}\bigr) \\ =&\psi\bigl(\sigma(z,z)\bigr). \end{aligned}$$

Thus, using the definition of ψ it follows from the above inequality that σ(z,z)<σ(z,z), a contradiction. Therefore, σ(z,z)=0. □

Now we can state our main results.

2 Main Results

The following theorem is a generalization and improvement of Theorem 2.4 of Amini-Harandi [7].

Theorem 1

Let (X,σ) be a metric-like space. Suppose mappings f,g:XX satisfy

$$ \sigma({fx,fy})\leq\psi\bigl(M(x,y)\bigr)\quad\mathit{for~all}\ x,y \in X, $$
(5)

where ψ:[0,∞)→[0,∞) is a nondecreasing function satisfying ψ(t)<t for all t>0, \(\lim_{s\rightarrow t^{+}}\psi(s)<t\) for all t>0, lim t→∞(tψ(t))=∞ and

$$\begin{aligned} M(x,y)&=\max\bigl\{\sigma(gx,gy),\sigma(gx,fx),\sigma(gy,fy), \sigma(gx,fy) , \sigma(gy,fx), \\ &\quad \sigma(gx,gx),\sigma(gy,gy)\bigr\}. \end{aligned}$$

If the range of g contains the range of f and f(X) or g(X) is a closed subset of X, then f and g have a unique point of coincidence in X. Moreover, if f and g are weakly compatible, then f and g have a unique common fixed point v and σ(v,v)=0.

Proof

We construct a sequence {y n } in X as follows: let x 0 be an arbitrary point in X. Choose a point x 1X such that fx 0=gx 1=y 1 (say). This can be done, since the range of g contains the range of f. Continuing this process, having chosen x n X, we obtain x n+1X such that fx n =gx n+1=y n (say). Thus, we obtain the sequence {y n }={gx n+1} such that fx n =gx n+1=y n for all \(n\in\Bbb{N}\). Consider the two possible cases.

Suppose that y n =y n+1 for some \(n\in \Bbb{N}\). Then gx n =fx n =y n is a point of coincidence and the proof is finished.

Suppose that y n y n+1 for all n≥0. We shall show that {y n } is a 0-σ-Cauchy sequence in X.

We denote by O(y k ;n) the set of points {y k ,y k+1,…,y k+n } and by O(y k ) the set of points {y k ,y k+1,…,y k+n ,…}. First we show that O(y 0) is a bounded set and for each \(n\in \mathbb{N}\) there exists k=k(n)∈{0,1,2,…,n} such that

$$ \delta_{n}(y_{0})=\mbox{diam} \bigl(O(y_{0};n)\bigr)=\sigma(y_{0},y_{k}). $$
(6)

Suppose, to the contrary that there are positive integers i,j such that 1≤ijn and

$$ \delta_{n}(y_{0})=\sigma(y_{i},y_{j})>0. $$

By (5) we obtain

$$\begin{aligned} \delta_{n}(y_{0}) =&\sigma(y_{i},y_{j})= \sigma(fx_{i},fx_{j})\leq\psi\bigl(M(x_{i},x_{j}) \bigr) \\ \leq& \psi\bigl(\max\bigl\{\sigma(gx_{i},gx_{j}), \sigma(gx_{i},fx_{i}),\sigma(gx_{j},fx_{j}), \sigma(gx_{i},fx_{j}),\sigma(gx_{j},fx_{i}), \\ &\sigma(gx_{i},gx_{i}),\sigma(gx_{j},gx_{j}) \bigr\}\bigr) \\ =&\psi\bigl(\max\bigl\{\sigma(y_{i-1},y_{j-1}), \sigma(y_{i-1},y_{i}),\sigma(y_{j-1},y_{j}), \sigma(y_{i-1},y_{j}),\sigma(y_{j-1},y_{i}), \\ &\sigma(y_{i-1},y_{i-1}),\sigma(y_{j-1},y_{j-1}) \bigr\}\bigr) \\ \leq& \psi\bigl(\delta_{n}(y_{0})\bigr)< \delta_{n}(y_{0}), \end{aligned}$$

a contradiction and the proof of (6) is complete.

Again, using the triangle inequality, (5) and (6) we obtain

$$\begin{aligned} \delta_{n}(y_{0}) \leq& \sigma(y_{0},y_{1})+ \sigma(y_{1},y_{k}) \\ =&\sigma(y_{0},y_{1})+\sigma(fx_{1},fx_{k}) \\ \leq&\sigma(y_{0},y_{1})+\psi\bigl(M(x_{1},x_{k}) \bigr) \\ \leq& \sigma(y_{0},y_{1})+\psi\bigl(\max\bigl\{ \sigma(gx_{1},gx_{k}), \sigma(gx_{1},fx_{1}), \sigma(gx_{k},fx_{k}),\sigma(gx_{1},fx_{k}), \\ &\sigma(gx_{k},fx_{1}),\sigma(gx_{1},gx_{1}), \sigma(gx_{k},gx_{k})\bigr\}\bigr) \\ =& \sigma(y_{0},y_{1})+\psi\bigl(\max\bigl\{ \sigma(y_{0},y_{k-1}),\sigma(y_{0},y_{1}), \sigma(y_{k-1},y_{k}),\sigma(y_{0},y_{k}), \\ &\sigma(y_{k-1},y_{1}),\sigma(y_{0},y_{0}), \sigma(y_{k-1},y_{k-1})\bigr\}\bigr) \\ \leq& \sigma(y_{0},y_{1})+\psi\bigl(\delta_{n}(y_{0}) \bigr), \end{aligned}$$

that is

$$ \delta_{n}(y_{0})-\psi\bigl( \delta_{n}(y_{0})\bigr)\leq \sigma(y_{0},y_{1}). $$
(7)

By definition, {δ n (y 0)} is a nonincreasing sequence of nonnegative numbers, therefore there exists lim n→∞ δ n (y 0). Suppose lim n→∞ δ n (y 0)=∞, then by (7) and the choice of ψ we obtain

$$ \infty=\lim_{n\rightarrow\infty}\bigl[\delta_{n}(y_{0})- \psi\bigl(\delta_{n}(y_{0})\bigr)\bigr]\leq \sigma(y_{0},y_{1})<\infty, $$

a contradiction. Therefore, lim n→∞ δ n (y 0)<∞. Let lim n→∞ δ n (y 0)=δ(y 0) then

$$ \delta(y_{0})=\mbox{diam}\bigl(\{y_{0},y_{1}, \ldots,y_{n},\ldots\}\bigr)=\mbox{diam}\bigl(O(y_{0})\bigr)< \infty. $$

Thus, O(y 0) is bounded. Now we shall show that {y n } is a 0-σ-Cauchy sequence.

Set δ(y n )=diam(O(y n )), then δ(y n )≤δ(y 0)<∞ for all n=0,1,2,…, therefore {δ(y n )} is a nonincreasing sequence of nonnegative numbers and so it converges to some δ≥0. We shall show that δ=0. Suppose δ>0, then for any n≥1 and r,sn+1 we have y r−1,y s−1O(y n ) and so

$$\begin{aligned} \delta(y_{n+1}) =&\sup\bigl\{\sigma(y_{r},y_{s}) \colon r,s\geq n+1\bigr\} \\ =&\sup\bigl\{\sigma(fx_{r},fx_{s})\colon r,s\geq n+1\bigr \} \\ \leq&\sup\bigl\{\psi\bigl(M(x_{r},x_{s})\bigr)\colon r,s \geq n+1\bigr\} \\ \leq&\sup\bigl\{\psi\bigl(\sigma(gx_{r},gx_{s}), \sigma(gx_{r},fx_{r}),\sigma(gx_{s},fx_{s}), \sigma(gx_{r},fx_{s}),\sigma(gx_{s},fx_{r}) \bigr), \\ &\sigma(gx_{r},gx_{r}),\sigma(gx_{s},gx_{s}) \colon r,s\geq n+1\bigr\} \\ =&\sup\bigl\{\psi\bigl(\sigma(y_{r-1},y_{s-1}), \sigma(y_{r-1},y_{r}),\sigma(y_{s-1},y_{s}), \sigma(y_{r-1},y_{s}),\sigma(y_{s-1},y_{r}) \bigr) \\ &\sigma(y_{r-1},y_{r-1}),\sigma(y_{s-1},y_{s-1}) \colon r,s\geq n+1\bigr\} \\ \leq& \psi\bigl(\delta(y_{n})\bigr). \end{aligned}$$

As δδ(y n ) for all n=0,1,2,…, from the above inequality we have δ<ψ(δ(y n )) and by the choice of ψ we obtain

$$0<\delta\leq\lim_{n\rightarrow\infty}\psi\bigl(\delta(y_{n}) \bigr)=\lim_{s\rightarrow \delta^{+}}\psi(s)<\delta, $$

a contradiction. Therefore, we have lim n→∞diam({y n ,y n+1,…})=lim n→∞ δ(y n )=δ=0, and so, lim n,m→∞ σ(y n ,y m )=0, that is, {y n }={gx n+1} is a 0-σ-Cauchy sequence. If g(X) is a closed set in (X,σ), there exist u,vX such that v=gu and

$$ \lim_{n\rightarrow\infty}\sigma(y_{n},v)=\lim _{n,m\rightarrow\infty}\sigma(y_{n},y_{m})=\sigma(v,v)=0. $$

We shall show that σ(v,fu)=0. Suppose σ(v,fu)>0, then using (5) we obtain

$$\begin{aligned} \sigma(v,fu) &\leq \sigma(v,y_{n+1})+ \sigma(y_{n+1},fu)=\sigma(v,y_{n+1})+\sigma(fx_{n+1},fu) \\ &\leq \sigma(v,y_{n+1})+\psi\bigl(M(x_{n+1},u)\bigr) \\ &\leq \sigma(v,y_{n+1})+\psi\bigl(\max\bigl\{\sigma(gx_{n+1},gu), \sigma(gx_{n+1},fx_{n+1}),\sigma(gu,fu), \\ &\quad \sigma(gx_{n+1},fu),\sigma(gu,fx_{n+1}),\sigma(gx_{n+1},gx_{n+1}), \sigma(gu,gu)\bigr\}\bigr) \\ &\leq \sigma(v,y_{n+1})+\psi\bigl(\max\bigl\{\sigma(y_{n},v), \sigma(y_{n},y_{n+1}),\sigma(v,fu),\sigma(y_{n},fu), \\ &\quad \sigma(v,y_{n+1}),\sigma(y_{n},y_{n}), \sigma(v,v)\bigr\}\bigr). \end{aligned}$$
(8)

By Remark 1, lim n→∞ σ(y n ,fu)=σ(v,fu). Thus for large enough n, from (8) we obtain

$$ \sigma(v,fu)\leq\sigma(v,y_{n+1})+\psi\bigl(\max\bigl\{ \sigma(v,fu),\sigma(y_{n},fu)\bigr\}\bigr). $$
(9)

If σ(v,fu)≤σ(y n ,fu) then from (9) we obtain

$$\sigma(v,fu)\leq\sigma(v,y_{n+1})+\psi\bigl(\sigma(y_{n},fu) \bigr) $$

and as n→∞, by the definition of ψ we obtain σ(v,fu)<σ(v,fu), a contradiction. If σ(y n ,fu)≤σ(v,fu) then again from (9) we obtain

$$\sigma(v,fu)\leq\sigma(v,y_{n+1})+\psi\bigl(\sigma(v,fu)\bigr) $$

and as n→∞ we obtain σ(v,fu)<ψ(σ(v,fu))<σ(v,fu), a contradiction. Therefore σ(v,fu)=0, that is, fu=gu=v. Thus u is a coincidence point and v is a point of coincidence of f and g. Suppose there exists another point of coincidence v 1 of f and g and u 1 is the corresponding coincidence point, that is, fu 1=gu 1=v 1. Then by Lemma 2, we obtain σ(v 1,v 1)=0.

If σ(v,v 1)>0 then it follows from (5) that

$$\begin{aligned} \sigma(v,v_{1}) =&\sigma(fu,fu_{1})\leq\psi \bigl(M(u,u_{1})\bigr) \\ \leq&\psi\bigl(\max\bigl\{\sigma(gu,gu_{1}),\sigma(gu,fu), \sigma(gu_{1},fu_{1}), \sigma(gu,fu_{1}), \sigma(gu_{1},fu), \\ &\sigma(gu,gu),\sigma(gu_{1},gu_{1})\bigr\}\bigr) \\ \leq&\psi\bigl(\max\bigl\{\sigma(v,v_{1}),\sigma(v,v), \sigma(v_{1},v_{1}),\sigma(v,v_{1}), \sigma(v_{1},v), \sigma(v,v),\sigma(v_{1},v_{1}) \bigr\}\bigr) \\ \leq&\psi\bigl(\sigma(v,v_{1})\bigr)<\sigma(v,v_{1}), \end{aligned}$$

a contradiction. Therefore we obtain σ(v,v 1)=0, that is, v=v 1. Thus, the point of coincidence of f and g is unique.

Suppose that f and g are weakly compatible, then by Remark 1, f and g have a unique common fixed point v which is also a unique point of coincidence of f and g and σ(v,v)=0.

In the case when f(X) is a closed set in (X,σ) the proof is similar. □

Taking g=I X (the identity mapping of X) in the above theorem we obtain the following improvement of Theorem 2.4 of Amini-Harandi [7] (in the sense that σ-completeness of space is replaced by 0-σ-completeness as well as the uniqueness of fixed point is established).

Corollary 1

Let (X,σ) be a 0-σ-complete metric-like space. Suppose a mapping f:XX satisfies

$$ \sigma({fx,fy})\leq\psi\bigl(M(x,y)\bigr)\quad\textit{for~all}\ x,y \in X, $$

where ψ:[0,∞)→[0,∞) is a nondecreasing function satisfying ψ(t)<t for all t>0, \(\lim_{s\rightarrow t^{+}}\psi(s)<t\) for all t>0, lim t→∞(tψ(t))=∞ and

$$M(x,y)=\max\bigl\{\sigma(x,y),\sigma(x,fx),\sigma(y,fy),\sigma(x,fy), \sigma(y,fx),\sigma(x,x),\sigma(y,y)\bigr\}. $$

Then f has a unique fixed point vX and σ(v,v)=0.

Now we give some examples which illustrate our results.

Example 4

Let X={0,1,2,3} and \(\sigma\colon X\times X\rightarrow \mathbb{R}^{+}\) be defined by

$$\sigma(x,y)=\left \{\begin{array}{l@{\quad}l} 2x & \hbox{if}\ x=y, \\ \max\{x,y\} & \hbox{otherwise.} \end{array} \right . $$

Then (X,σ) is a σ-complete metric-like space. Note that (X,σ) is not a partial metric space as \(\sigma(2,2)=4\not\leq\sigma(1,2)=2\). Define f,g:XX by

$$f0=0,f1=0,f2=2,f3=1\quad\mbox{and}\quad g0=0,g1=1,g2=3,g3=3. $$

Note that Theorem 2.4 of [7] is not applicable on f because σ(f2,f2)=4, σ(2,2)=4, σ(2,f2)=4, therefore there is no function ψ which satisfies the conditions of Theorem 2.4 of [7] in such a way that the contractive condition of Theorem 2.4 of [7] is satisfied. On the other hand, if we take \(\psi(t)=\frac{2}{3}t\) then all the conditions of Theorem 1 are satisfied and f and g have a unique common fixed point, namely 0.

Example 5

Let \(X=[0,\infty)\cap\mathbb{Q}\) and \(\sigma\colon X\times X\rightarrow \mathbb{R}^{+}\) be defined by

$$\sigma(x,y)=\left \{\begin{array}{l@{\quad}l} 2x & \hbox{if}\ x=y, \\ \max\{x,y\} & \hbox{otherwise.} \end{array} \right . $$

Then (X,σ) is a 0-σ-complete metric-like space. Define f,g:XX by

$$fx=\left \{\begin{array}{l@{\quad}l} 0 & \hbox{if}\ x=1, \\ \frac{3x}{2} & \hbox{otherwise,} \end{array} \right . \quad\mbox{and}\quad gx=\left \{\begin{array}{l@{\quad}l} 1 & \hbox{if}\ x=1, \\ 2x & \hbox{otherwise}. \end{array} \right . $$

Then all the conditions of Theorem 1 are satisfied with \(\psi(t)=\frac{3}{4}t\) and f and g have a unique common fixed point, namely 0. Note that (X,σ) is not a σ-complete metric-like space, therefore Theorem 2.4 of [7] is not applicable. Also, for g=I X , contractive conditions of Theorem 2.4 of [7] are not satisfied by f.

In the next theorem we give an improvement to Theorem 2.7 of [7].

Let Ψ={ψψ:[0,∞)→[0,∞) is continuous, nondecreasing and ψ −1({0})={0}},

Φ={φφ:[0,∞)→[0,∞) is lower semi-continuous and φ −1({0})={0}}.

Theorem 2

Let (X,σ) be a 0-σ-complete metric-like space. Suppose mappings f,g:XX satisfy

$$ \psi \bigl( \sigma (fx,fy)\bigr) \leq \psi \bigl( \sigma (gx,gy) \bigr)-\varphi \bigl(\sigma (gx,gy)\bigr) $$
(10)

for all x,yX, where ψΨ, φΦ. If the range of g contains the range of f and f(X) or g(X) is a closed subset of X, then f and g have a unique point of coincidence in X. Moreover, if f and g are weakly compatible, then f and g have a unique common fixed point v and σ(v,v)=0.

Proof

Let us prove first that the point of coincidence of f and g is unique (if it exists). Suppose that w 1 and w 2 are two distinct points of coincidence of f and g. Therefore there exist two point u 1 and u 2 such that fu 1=gu 1=w 1 and fu 2=gu 2=w 2. If σ(w 1,w 1)>0, then (10) implies that

$$\begin{aligned} \psi \bigl( \sigma ( w_1,w_1) \bigr) =&\psi \bigl( \sigma( fu_1,fu_1) \bigr) \\ \leq &\psi \bigl( \sigma (gu_1,gu_1)\bigr) -\varphi \bigl(\sigma (gu_1,gu_1)\bigr) \\ =&\psi \bigl( \sigma (w_1,w_1)\bigr) -\varphi \bigl( \sigma (w_1,w_1)\bigr) \\ <&\psi \bigl( \sigma (w_1,w_1)\bigr), \end{aligned}$$

a contradiction. Therefore σ(w 1,w 1)=0. Similarly, σ(w 2,w 2)=0. Further, if σ(w 1,w 2)>0, we have

$$\begin{aligned} \psi \bigl( \sigma ( w_1,w_2) \bigr) =&\psi \bigl( \sigma ( fu_1,fu_2) \bigr) \leq \psi \bigl( \sigma ( gu_1,gu_2) \bigr) -\varphi \bigl( \sigma ( gu_1,gu_2) \bigr) \\ =&\psi \bigl( \sigma ( w_1,w_2) \bigr) -\varphi \bigl( \sigma ( w_1,w_2) \bigr) <\psi \bigl( \sigma ( w_1,w_2) \bigr), \end{aligned}$$

a contradiction. Therefore σ(w 1,w 2)=0, that is, w 1=w 2. Thus, the point of coincidence of f and g is unique (if it exists).

We construct a sequence {y n } in X as follows: let x 0 be an arbitrary point in X. Choose a point x 1X such that fx 0=gx 1=y 1 (say). This can be done, since the range of g contains the range of f. Continuing this process, having chosen x n X, we obtain x n+1X such that fx n =gx n+1=y n (say). Thus, we obtain the sequence {y n }={gx n+1} such that fx n =gx n+1=y n for all \(n\in\Bbb{N}\). Consider the two possible cases.

Suppose that y n =y n+1 for some \(n\in \Bbb{N}\). Hence y n =gx n =fx n is a point of coincidence and then the proof is finished.

Suppose that y n y n+1 for all n≥0. In this case, we have

$$\begin{aligned} \psi \bigl(\sigma ( y_{n+1},y_n)\bigr) &=\psi \bigl(\sigma ( fx_{n+1},fx_n)\bigr) \\ &\leq\psi \bigl(\sigma ( gx_{n+1},gx_{n})\bigr) -\varphi \bigl(\sigma ( gx_{n+1},gx_{n})\bigr) \\ &=\psi \bigl(\sigma ( y_{n},y_{n-1})\bigr) -\varphi \bigl( \sigma ( y_{n},y_{n-1})\bigr) \\ &<\psi \bigl(\sigma ( y_n,y_{n-1})\bigr). \end{aligned}$$
(11)

Now, according to the properties of function ψ it follows that the sequence {σ(gx n+1,gx n )} is nonincreasing. Therefore, σ(y n+1,y n )→σ ≥0 when n→∞.

We prove now that σ =0. Indeed, passing to the limit in (11) when n→∞, we obtain ψ(σ )≤ψ(σ )−φ(σ ) and σ =0, by the properties of functions ψΨ,φΦ. Hence, lim n→∞ σ(y n+1,y n )=0.

We next prove that {y n }={gx n+1} is a 0-σ-Cauchy sequence in the metric-like space (X,σ). Suppose that is not the case. Then using Lemma 1, we see that there exist ε>0 and two sequences {m k } and {n k } of positive integers and sequences

$$\sigma (x_{m_k},x_{n_k}),\sigma (x_{m_k},x_{n_k+1}), \sigma (x_{m_k-1},x_{n_k}),\sigma (x_{m_k-1},x_{n_k+1}), $$

all tend to ε +, when k→∞. Applying condition (10) to elements \(x=x_{m_{k} }\) and \(y=x_{n_{k} +1}\) and putting y n =fx n =gx n+1 for each n≥0, we get

$$ \psi \bigl(\sigma ( y_{m_{k} },y_{n_{k} +1}) \bigr) \leq \psi \bigl(\sigma (y_{m_{k}-1},y_{n_{k}})\bigr)-\varphi \bigl(\sigma \bigl((y_{m_{k} -1},y_{n_{k}}) \bigr) \bigr) . $$
(12)

Letting k→∞ in (12), we obtain

$$\psi (\varepsilon ) \leq \psi (\varepsilon )-\varphi (\varepsilon), $$

which is a contradiction if ε>0.

This shows that {y n }={gx n+1} is a 0-σ-Cauchy sequence in (X,σ).

If g(X) is closed in (X,σ) then there exist u,vX such that v=gu and

$$ \lim_{n\rightarrow\infty}\sigma (y_{n},v) =\lim _{n,m\rightarrow \infty}\sigma (y_n,y_m)=\sigma (v,v)=0. $$

Now, putting x=x n ,y=u,gu=v and y n =fx n =gx n+1 in (10) we obtain

$$ \psi \bigl(\sigma (y_n,fu) \bigr) \leq \psi \bigl( \sigma(y_{n-1},v) \bigr) -\varphi \bigl(\sigma (y_{n-1},v) \bigr). $$
(13)

Letting n→∞ in (13) and applying Remark 1, we get

$$\psi \bigl(\sigma (v,fu)\bigr)\leq \psi \bigl(\sigma(v,v)\bigr)-\varphi \bigl( \sigma (v,v)\bigr) =\psi (0)-\varphi (0) =0, $$

that is, fu=gu. Thus, f and g have a unique point of coincidence. By Proposition 1, f and g have a unique common fixed point.

In the case when f(X) is a closed set in (X,σ) the proof is similar. □

Remark 2

For ψ(t)=t in the above theorem, we obtain Theorem 2.7 of [7]. Also, in the above theorem φ is only lower semi-continuous, while in Theorem 2.7 of [7] φ is nondecreasing and continuous.