Advertisement

Vietnam Journal of Mathematics

, Volume 41, Issue 3, pp 341–352 | Cite as

Some Common Fixed Point Theorems in 0-σ-Complete Metric-Like Spaces

  • Satish Shukla
  • Stojan RadenovićEmail author
  • Vesna Ćojbašić Rajić
Open Access
Article
First Online:

Abstract

In this paper, we introduce the notion of 0-σ-complete metric-like space and prove some common fixed point theorems in such spaces. Our results unify and generalize several well-known results in the literature and the recent result of Amini-Harandi [Fixed Point Theory Appl. 2012:204, 2012]. Some examples are included which show that the generalization is proper.

Keywords

Common fixed point Metric-like space Partial metric space 

Mathematics Subject Classification (2000)

47H10 54H25 

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, [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31]). 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,z∈X:
(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 x∈X 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 x∈X 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 x∈X 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,z∈X:
(σ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 x∈X. 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 x∈X 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 x∈X 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 x∈X 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,y∈X. 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 y∈X.

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 x∈X, 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:X→X 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 z∈X, then σ(z,z)=0.

Proof

Let z∈X 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:X→X 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 1∈X 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+1∈X 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≤i≤j≤n 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,s≥n+1 we have y r−1,y s−1∈O(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,v∈X 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:X→X 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 v∈X 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:X→X 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:X→X 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:X→X satisfy
$$ \psi \bigl( \sigma (fx,fy)\bigr) \leq \psi \bigl( \sigma (gx,gy) \bigr)-\varphi \bigl(\sigma (gx,gy)\bigr) $$
(10)
for all x,y∈X, 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 1∈X 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+1∈X 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,v∈X 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.

References

  1. 1.
    Abbas, M., Jungck, J.: Common fixed point results for noncommuting mappings without continuity in cone metric spaces. J. Math. Anal. Appl. 341, 416–420 (2008) MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Abdeljawad, T.: Fixed points of generalized weakly contractive mappings in partial metric spaces. Math. Comput. Model. 54, 2923–2927 (2011) MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Abdeljawad, T., Karapinar, E., Taş, K.: Existence and uniqueness of a common fixed point on partial metric spaces. Appl. Math. Lett. 24, 1900–1904 (2011) MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Ahmad, A.G.B., Fadail, Z.M., Rajić, V.C., Radenović, S.: Nonlinear contractions in 0-complete partial metric spaces. Abstr. Appl. Anal. 2012, 451239 (2012). doi: 10.1155/2012/451239 CrossRefGoogle Scholar
  5. 5.
    Altun, I., Erduran, A.: Fixed point theorems for monotone mappings on partial metric spaces. Fixed Point Theory Appl. 2011, 508730 (2011) MathSciNetCrossRefGoogle Scholar
  6. 6.
    Altun, I., Sola, F., Simsek, H.: Generalized contractions on partial metric spaces. Topol. Appl. 157, 2778–2785 (2010) MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Amini-Harandi, A.: Metric-like spaces, partial metric spaces and fixed points. Fixed Point Theory Appl. 2012, 204 (2012). doi: 10.1186/1687-1812-2012-204 CrossRefGoogle Scholar
  8. 8.
    Aydi, H.: Fixed point results for weakly contractive mappings in ordered partial metric spaces. J. Adv. Math. Stud. 4, 1–12 (2011) MathSciNetzbMATHGoogle Scholar
  9. 9.
    Aydi, H.: Fixed point theorems for generalized weakly contractive condition in ordered partial metric spaces. J. Nonlinear Anal. Optim. 2, 269–284 (2011) MathSciNetGoogle Scholar
  10. 10.
    Aydi, H.: Some coupled fixed point results on partial metric spaces. Int. J. Math. Math. Sci. 2011, 647091 (2011) MathSciNetCrossRefGoogle Scholar
  11. 11.
    Aydi, H.: Some fixed point results in ordered partial metric spaces. J. Nonlinear Sci. Appl. 4, 210–217 (2011) MathSciNetGoogle Scholar
  12. 12.
    Aydi, H., Abbas, M., Vetro, C.: Partial Hausdorff metric and Nadler’s fixed point theorem on partial metric spaces. Topol. Appl. 159, 3234–3242 (2012) MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Bari Di, C., Kadelburg, Z., Nashine, H.K., Radenović, S.: Common fixed points of g-quasicontractions and related mappings in 0-complete partial metric spaces. Fixed Point Theory Appl. 2012, 113 (2012). doi: 10.1186/1687-1812-2012-113 CrossRefGoogle Scholar
  14. 14.
    Bukatin, M., Kopperman, R., Matthews, S., Pajoohesh, H.: Partial metric spaces. Am. Math. Mon. 116, 708–718 (2009) MathSciNetCrossRefzbMATHGoogle Scholar
  15. 15.
    Ćirić, L., Samet, B., Aydi, H., Vetro, C.: Common fixed points of generalized contractions on partial metric spaces and an application. Appl. Math. Comput. 218, 2398–2406 (2011) MathSciNetCrossRefzbMATHGoogle Scholar
  16. 16.
    Đukić, D., Kadelburg, Z., Radenović, S.: Fixed points of Geraghty-type mappings in various generalized metric spaces. Abstr. Appl. Anal. 2011, 561245 (2011). doi: 10.1155/2011/561245 Google Scholar
  17. 17.
    Heckmann, R.: Approximation of metric spaces by partial metric spaces. Appl. Categ. Struct. 7, 71–83 (1999) MathSciNetCrossRefzbMATHGoogle Scholar
  18. 18.
    Ilić, D., Pavlović, V., Rakočević, V.: Extensions of Zamfirescu theorem to partial metric spaces. Math. Comput. Model. 55, 801–809 (2012) CrossRefzbMATHGoogle Scholar
  19. 19.
    Kadelburg, Z., Nashine, H.K., Radenović, S.: Fixed point results under various contractive conditions in partial metric spaces. Rev. Real Acad. Cienc. Exact., Fis. Nat., Ser. A, Mat. (2012). doi: 10.1007/s13398-012-0066-6 Google Scholar
  20. 20.
    Matthews, S.G.: Partial metric topology. In: Proc. 8th Summer Conference on General Topology and Application. Ann. New York Acad. Sci., vol. 728, pp. 183–197 (1994) Google Scholar
  21. 21.
    Nashine, H.K., Kadelburg, Z., Radenović, S., Kim, J.K.: Fixed point theorems under Hardy–Rogers contractive conditions on 0-complete ordered partial metric spaces. Fixed Point Theory Appl. 2012, 180 (2012) CrossRefGoogle Scholar
  22. 22.
    O’Neill, S.J.: Partial metrics, valuations and domain theory. In: Proc. 11th Summer Conference on General Topology and Applications. Ann. New York Acad. Sci., vol. 806, pp. 304–315 (1996) Google Scholar
  23. 23.
    Paesano, D., Vetro, P.: Suzuki’s type characterizations of completeness for partial metric spaces and fixed points for partially ordered metric spaces. Topol. Appl. 159, 911–920 (2012) MathSciNetCrossRefzbMATHGoogle Scholar
  24. 24.
    Romaguera, S.: A Kirk type characterization of completeness for partial metric spaces. Fixed Point Theory Appl. 2010, 493298 (2010) MathSciNetCrossRefGoogle Scholar
  25. 25.
    Romaguera, S.: Fixed point theorems for generalized contractions on partial metric spaces. Topol. Appl. 159, 194–199 (2012) MathSciNetCrossRefzbMATHGoogle Scholar
  26. 26.
    Romaguera, S.: Matkowski’s type theorems for generalized contractions on (ordered) partial metric spaces. Appl. Gen. Topol. 12, 213–220 (2011) MathSciNetzbMATHGoogle Scholar
  27. 27.
    Shatanawi, W., Samet, B., Abbas, M.: Coupled fixed point theorems for mixed monotone mappings in ordered partial metric spaces. Math. Comput. Model. 55, 680–687 (2012) MathSciNetCrossRefzbMATHGoogle Scholar
  28. 28.
    Shukla, S., Fisher, B.: A generalization of Prešić type mappings in metric-like spaces. J. Oper. Theory 2013, 368501 (2013) Google Scholar
  29. 29.
    Shukla, S., Altun, I., Sen, R.: Fixed point theorems and asymptotically regular mappings in partial metric spaces. ISRN Comput. Math. 2013, 602579 (2013) Google Scholar
  30. 30.
    Shukla, S., Radenović, S.: Some common fixed point theorems for F-contraction type mappings in 0-complete partial metric spaces. J. Math. 2013, 878730 (2013) Google Scholar
  31. 31.
    Vetro, F., Radenović, S.: Nonlinear ψ-quasi-contractions of Ćirić-type in partial metric spaces. Appl. Math. Comput. 219, 1594–1600 (2012) MathSciNetCrossRefGoogle Scholar

Copyright information

© The Author(s) 2013

Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.

Authors and Affiliations

  • Satish Shukla
    • 1
  • Stojan Radenović
    • 2
    Email author
  • Vesna Ćojbašić Rajić
    • 3
  1. 1.Department of Applied MathematicsShri Vaishnav Institute of Technology and ScienceIndoreIndia
  2. 2.Faculty of Mechanical EngineeringUniversity of BelgradeBeogradSerbia
  3. 3.Faculty of EconomicsUniversity of BelgradeBeogradSerbia

Personalised recommendations