 Research
 Open Access
 Published:
A MeirKeeler common type fixed point theorem on partial metric spaces
Fixed Point Theory and Applications volume 2012, Article number: 26 (2012)
Abstract
In this article, we prove a general common fixed point theorem for two pairs of weakly compatible selfmappings of a partial metric space satisfying a generalized MeirKeeler type contractive condition. The presented theorem extends several well known results in literature.
1 Introduction
Partial metric spaces were introduced by Matthews [1] to study denotational semantics of dataflow networks. In fact, (complete) partial metric spaces constitute a suitable framework to model several distinguished examples of the theory of computation and also to model metric spaces via domain theory. For example, in the research area of computer domains and semantics, partial metric spaces have serious applications potentials (see for example, [2–5]). In 1994, Matthews [1] generalized the Banach contraction principle to the class of complete partial metric spaces: a self mapping T on a complete partial metric space (X, p) has a unique fixed point if there exists 0 ≤ k < 1 such that p(Tx, Ty) ≤ kp(x, y) for all x, y ∈ X. After the remarkable contribution of Matthews, many authors have studied on partial metric spaces and its topological properties (see for example, [1–28]).
In the sequel we recall the notion of a partial metric space and some of its properties which will be useful later on. A partial metric is a function p : X × X → [0, ∞) satisfying the following conditions
(P1) p(x, y) = p(y, x),
(P2) If p(x, x) = p(x, y) = p(y, y), then x = y,
(P3) p(x, x) ≤ p(x, y),
(P4) p(x, z) + p(y, y) ≤ p(x, y) + p(y, z),
for all x, y, z ∈ X. Then (X, p) is called a partial metric space. If p is a partial metric p on X, then the function d_{ p }: X × X → [0, ∞) given by
is a metric on X. Also, each partial metric p on X generates a T_{0} topology τ_{ p }on X with a base of the family of open pballs {B_{ p }(x, ε) : x ∈ X, ε > 0}, where B_{ p }(x, ε) = {y ∈ X : p(x, y) < p(x, x) + ε} for all x ∈ X and ε > 0. Similarly, closed pball is defined as B_{ p }[x, ε] = {y ∈ X : p(x, y) ≤ p(x, x) + ε}.
Definition 1.1. [1, 7] Let (X, p) be a partial metric space.
(i) A sequence {x_{ n }} in X converges to x ∈ X whenever \underset{n\to \infty}{\text{lim}}p\left(x,{x}_{n}\right)=p\left(x,x\right),
(ii) A sequence {x_{ n }} in X is called Cauchy whenever \underset{n,m\to \infty}{\text{lim}}p\left({x}_{n},{x}_{m}\right) exists (and finite),
(iii) (X, p) is said to be complete if every Cauchy sequence {x_{ n }} in X converges, with respect to τ_{ p }, to a point x ∈ X, that is, \underset{n,m\to \infty}{\text{lim}}p\left({x}_{n},{x}_{m}\right)=p\left(x,x\right).
(iv) A mapping f : X → X is said to be continuous at x_{0} ∈ X if for each ε > 0 there exists δ > 0 such that f(B(x_{0}, δ)) ⊂ B(f(x_{0}), ε).
Lemma 1.1. [1, 7] Let (X, p) be a partial metric space.
(a) A sequence {x_{ n }} is Cauchy if and only if {x_{ n }} is a Cauchy sequence in the metric space (X, d_{ p }),
(b) (X, p) is complete if and only if the metric space (X, d_{ p }) is complete. Moreover,
Definition 1.2. [29] Let X be a non empty set and f, g : X → 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. If w = x, then x is a common fixed point of f and g.
Definition 1.3. [29] Let f and g be two selfmaps defined on a non empty set X. Then f and g are said to be weakly compatible if they commute at every coincidence point.
Recently, Ćirić et al. [17] established a common fixed point result for two pairs of weakly compatible mappings satisfying generalized contractions on a partial metric space. For this, denote by Φ the set of nondecreasing continuous functions φ : ℝ → ℝ satisfying:

(a)
0 < φ(t) < t for all t > 0,

(b)
the series ∑_{n≥1} φ^{n}(t) converge for all t > 0.
The result [17] is the following.
Theorem 1.2. Suppose that A, B, S, andT are selfmaps of a complete partial metric space (X, p) such that AX ⊆ TX, BX ⊆ SX and
for all x, y ∈ X, where φ ∈ Φ and
If one of the ranges AX, BX, TX and SX is a closed subset of (X, p), then

(i)
A and S have a coincidence point,

(ii)
B and T have a coincidence point.
Moreover, if the pairs {A, S} and {B, T} are weakly compatible, then A, B, T, and S have a unique common fixed point.
In this manuscript, replacing (2) by some new weaker hypotheses we also establish a common fixed point result for four self maps satisfying a generalized MeirKeeler type contraction on partial metric spaces. Our theorem generalizes several well known results in the literature.
2 Main results
The following lemmas will be frequently used in the proofs of the main results.
Lemma 2.1. [6, 19] Let (X, p) be a partial metric space. Then
(a) If p(x, y) = 0, then x = y,
(b) If x ≠ y, then p(x, y) > 0.
Lemma 2.2. [6, 19] Let (X, p) be a partial metric space and x_{ n }→ z with p(z, z) = 0. Then \underset{n\to \infty}{\text{lim}}p\left({x}_{n},y\right)=p\left(z,y\right) for all y ∈ X.
Now, we are ready to state and prove our main result.
Theorem 2.3. Let A, B, S, and T be the self maps defined on a complete partial metric space (X, p) satisfying the following conditions:
(C1) AX ⊆ TX and BX ⊆ SX,
(C2) for all ε > 0, there exists δ > 0 such that for all x, y ∈ X
where M\left(x,y\right)=\text{max}\left\{p\left(Sx,Ty\right),p\left(Ax,Sx\right),p\left(By,Ty\right),\frac{1}{2}\left[p\left(Sx,By\right)+p\left(Ax,Ty\right)\right]\right\},
(C3) for all x, y ∈ X with M(x, y) > 0 ⇒ p(Ax, By) < M(x, y),
(C4) p(Ax, By) ≤ max{a[p(Sx, Ty) + p(Ax, Sx) + p(By, Ty)], b[p(Sx, By) + p(Ax, Ty]} for all x, y ∈ X, 0\le a<\frac{1}{2} and 0\le b<\frac{1}{2}.
If one of the ranges AX, BX, TX, and SX is a closed subset of (X, p), then
(I) A and S have a coincidence point,
(II) B and T have a coincidence point.
Moreover, if A and S, as well as, B and T are weakly compatible, then A, B, S, and T have a unique common fixed point.
Proof. Let x_{0} be an arbitrary point in X. Since AX ⊆ TX, there exists x_{1} ∈ X such that Tx_{1} = Ax_{0}. Since BX ⊆ SX, there exists x_{2} ∈ X such that Sx_{2} = Bx_{1}. Continuing this process, we can construct sequences {x_{ n }} and {y_{ n }} in X defined by
Suppose p(y_{2n}, y_{2n+1}) = 0 for some n. Then y_{2n}= y_{2n+1}implies that Ax_{2n}= Tx_{2n+1}= Bx_{2n+1}= Sx_{2n+2}, so T and B have a coincidence point. Further, if p(y_{2n+1}, y_{2n+2}) = 0 for some n then Ax_{2n+2}= Tx_{2n+3}= Bx_{2n+1}= Sx_{2n+2}, so A and S have a coincidence point. For the rest, assume that p(y_{ n }, y_{n+1}) ≠ 0 for all n ≥ 0.
If for some x, y ∈ X, M(x, y) = 0, then we get that Ax = Sx and By = Ty, so we proved (I) and (II).
If M(x, y) > 0 for all x, y ∈ X, then by (C3),
Hence, we have
since
It is easy that max {p(y_{2p1}, y_{2p}), p(y_{2p}, y_{2p+1})} = p(y_{2p}, y_{2p+1}) is excluded. It follows that
Similarly, one can find
We deduce that
Thus, {\left\{p\left({y}_{n},{y}_{n+1}\right)\right\}}_{n=0}^{\infty} is a decreasing sequence which is bounded below by 0. Hence, it converges to some L ∈ [0, ∞), that is,
We claim that L = 0. If L > 0, then from (8), there exist δ > 0 and a natural number m ≥ 1 such that for each n ≥ m L < d(y_{ n }, y_{n+1}) < L + δ. In particular, from this and (6)
Now by using (3), we get that p(Ax_{2m}, Bx_{2m+1}) = p(y_{2m}, y_{2m+1}) ≤ L which is a contradiction. Thus, L = 0, that is,
We claim that {y_{ n }} is a Cauchy sequence in the partial metric space (X, p). From Lemma 1.1, we need to prove that {y_{ n }} is Cauchy in the metric space (X, d_{ p }). We argue by contradiction. Then there exist ε > 0 and a subsequence {y_{n(i)}} of {y_{ n }} such that d_{ p }(y_{n(i)}, y_{n(i+1)}) > 4ε. Select δ in (C2) as 0 < δ ≤ ε. By definition of the metric d_{ p },
so p(y_{n(i)}, y_{n(i+1)}) > 2ε. Since \underset{n\to \infty}{\text{lim}}p\left({y}_{n},{y}_{n+1}\right)=0, hence there exists N ∈ ℕ such that
Let n(i) ≥ N. Then, there exist integers m(i) satisfying n(i) < m(i) < n(i + 1) such that
If not, then by triangle inequality (which holds even for partial metrics)
it is a contradiction. Without loss of generality, we can assume n(i) to be odd. Let m(i) be the smallest even integer such that
Then
and
Also, p\left({y}_{n\left(i\right)},{y}_{m\left(i\right)}\right)\le M\left({x}_{n\left(i\right)+1},{x}_{m\left(i\right)+1}\right)<\epsilon +2\frac{\delta}{3}+\frac{\delta}{6}<\epsilon +\delta, that is,
In view of (C2), this yields that p(y_{n(i)+1}, y_{m(i)+1}) ≤ ε. But then
which contradicts (10). Hence {y_{ n }} is a Cauchy sequence in the metric space (X, d_{ p }), so also in the partial metric (X, p) which is complete. Thus, there exists a point y in X such that from Lemmas 1.1, 2.2, and (9)
This implies that
Thus from (13) we have
and
Now we can suppose, without loss of generality, that SX is a closed subset of the partial metric space (X, p). From (15), there exists u ∈ X such that y = Su. We claim that p(Au, y) = 0. Suppose, to the contrary, that p(Au, y) > 0.
By (P4) and (C4) we get
Letting n → ∞ in the above inequality and using (12)(15), we obtain
it is a contradiction since 0\le a<\frac{1}{2}<1 and 0\le b<\frac{1}{2}<1. Thus, by Lemma 2.1, we deduce that
Since y = Su, then Au = Su, that is, u is a coincidence point of A and S. So we proved (I).
From AX ⊆ TX and (16), we have y ∈ TX. Hence we deduce that there exists v ∈ X such that y = Tv. We claim that p(Bv, y) = 0. Suppose, to the contrary, that p(Bv, y) > 0. From (C4) and (16), we have
as y = Su = Au = Tv and p(y, y) = 0. Since 0 ≤ a < 1 and 0 ≤ b < 1, this implies that
which is a contradiction. Then, we deduce that
that is, v is a coincidence point of B and T, then (II) holds.
Since the pair {A, S} is weakly compatible, from (16), we have Ay = ASu = SAu = Sy. We claim that p(Ay, y) = 0. Suppose, to the contrary, that p(Ay, y) > 0. We have
Using (12) and (p2), we get letting n → +∞
a contradiction. Then we deduce that
Since the pair {B, T} is weakly compatible, from (17), we have By = BTv = TBv = Ty. We claim that p(By, y) = 0. Suppose, to the contrary, that p(By, y) > 0, then by (C4) and (18), we have
since p(y, y) = 0. Thus, we get
Now, combining (18) and (19), we obtain
that is, y is a common fixed point of A, B, S, and T with p(y, y) = 0.
Now we prove the uniqueness of a common fixed point. Let us suppose that z ∈ X is a common fixed point of A, B, S, and T such that p(z, y) > 0. Using (iv), we get
which is a contradiction. Then we deduce that z = y. Thus the uniqueness of the common fixed point is proved. The proof is completed.
Repeating the proof of Theorem 2.3, we get easily the following.
Corollary 2.4. Let A, B, S, and T be the self maps defined on a partial metric space (X, p) satisfying the following conditions:
(C1) AX ⊆ TX and BX ⊆ SX,
(C2) for all ε > 0, there exists δ > 0 such that for all x, y ∈ X
where M\left(x,y\right)=\text{max}\left\{p\left(Sx,Ty\right),p\left(Ax,Sx\right),p\left(By,Ty\right),\frac{1}{2}\left[p\left(Sx,By\right)+p\left(Ax,Ty\right)\right]\right\},
(C3) for all x, y ∈ X with M(x, y) > 0 ⇒ p(Ax, By) < M(x, y),
(C4) p(Ax, By) < k[p(Sx, Ty) + p(Ax, Sx) + p(By, Ty) + p(Sx, By) + p(Ax, Ty] for all x, y ∈ X and 0\le k<\frac{1}{3}.
If one of AX, BX, SX, or TX is a complete subspace of X, then
(I) A and S have a coincidence point,
(II) B and T have a coincidence point.
Moreover, if A and S, as well as, B and T are weakly compatible, then A, B, S, and T have a unique common fixed point.
3 Some equivalence statements of MeirKeeler contraction
Jachymski [30] proved the following important lemma.
Lemma 3.1. Let \mathbb{Q} be a subset of [0, ∞) × [0, ∞). Then the following statements are equivalent:
(J 1) There exists a function δ : (0, ∞) → (0, ∞) such that for any ε > 0, δ(ε) > ε and
(J 1a) sup{δ(s) : s ∈ (0, ε)} ≥ δ(ε) and
(J 1b) \left(s,t\right)\in \mathbb{Q} and 0 ≤ s < δ(ε) imply t < ε.
(J 2) There exist functions β, η : (0, ∞) → (0, ∞) such that, for any ε > 0, β(ε) > ε, η(ε) < ε, and \left(s,t\right)\in \mathbb{Q} and 0 ≤ s < β(ε) imply t < η(ε).
(J 3) There exists an upper semi continuous function ϕ : [0, ∞) → [0, ∞) such that ϕ is nondecreasing, ϕ(s) < s for s > 0, and \left(s,t\right)\in \mathbb{Q} implies t ≤ ϕ(s).
(J 4) There exists a lowersemi continuous function δ : (0, ∞) → (0, ∞) such that for any δ is nondecreasing, for any ε > 0, δ(ε) > ε, and \left(s,t\right)\in \mathbb{Q} and 0 ≤ s < δ(ε) imply t < ε.
(J 5) There exists a lowersemi continuous function ω : [0, ∞) → [0, ∞) such that for any ω is nondecreasing, ω(s) > s for s > 0 and \left(s,t\right)\in \mathbb{Q} implies w(t) ≤ s.
Theorem 3.2. Let (X, p) be a partial metric space, and S, T, A_{ i }(i ∈ ℕ) be selfmappings on X. For x, y ∈ X and for i, j ∈ ℕ, we define
Then the following statements are equivalent.
(JT 1) There exists a lowersemi continuous function δ : (0, ∞) → (0, ∞) such that, for any ε > 0, δ(ε) > ε and for any x, y ∈ X and distinct i, j ∈ ℕ
(JT 2) There exists an uppersemi continuous function ϕ : [0, ∞) → [0, ∞) such that, ϕ is nondecreasing, ϕ(t) < t, and
for any x, y ∈ X and distinct i, j ∈ ℕ.
(JT 3) There exists a lowersemi continuous function ω : [0, ∞) → [0, ∞) such that, ω is nondecreasing, ω(s) > s for s > 0, and
for any x, y ∈ X and distinct i, j ∈ ℕ.
Proof. It follows immediately from Lemma 3.1.
Remark 3.1. In Theorem 1.2, Ćirić et al. assumed that the hypothesis p(Ax, By) ≤ ϕ(M(x, y)) is satisfied for all x, y ∈ X with ϕ ∈ Φ and obtained a common fixed point result.
In particular from the assumptions on that ϕ, (JT 2) holds for A_{1} = A and A_{2} = B. So, by Theorem 3.2, (JT 1) holds, that is; for all ε > 0, there exists δ > 0 such that for all x, y ∈ X
By Lemma 3.1 of Jachymski [31], (20) implies (as in metric cases) that the conditions (C2) and (C3) are satisfied, but nothing on the condition (C4). Conversely, in Theorem 2.3 we have assumed that (C2) and (C3) hold, but we added another condition which is (C4) in order to get a common fixed point result.
Remark 3.2. Theorem 2.3 is the analogous of Theorem 1 of Rana et al. [32] on partial metrics, except that the conditions (20) and the fact that a, b ∈ [0, 1], are replaced by the weaker conditions (C2), (C3) and a,b\in [0,{\scriptscriptstyle \frac{1}{2}}]. The condition on a and b is modified due to the fact that p(x, x) may not equal to 0 for x ∈ X. Also, Corollary 2.4 extends Theorem 2.1 of Bouhadjera and Djoudi [33] on partial metric cases. Note that Theorem 2.1 in [33] was improved recently by Akkouchi [[34], Corollary 4.4]. Indeed, the Lipschitz constant k is allowed to take values in the interval [0,{\scriptscriptstyle \frac{1}{2}}] instead of the case studied in [33], where the constant k belon gs to the smaller interval [0,{\scriptscriptstyle \frac{1}{3}}].
References
Matthews SG: Partial Metric Topology. In Papers on General Topology and Applications, Eighth Summer Conference at Queens College, Annals New York Acad Sci Edited by: Susan J. Andima, Gerald Itzkowitz, T. Yung Kong. 1994, 183–197.
Kopperman RD, Matthews SG, Pajoohesh H: What do partial metrics represent? In Spatial Representation: Discrete vs. Continuous Computational Models, Dagstuhl Seminar Proceedings Edited by: Kopperman, R, Smyth, MB, Spreen, D, Webster, J. 2005, 1–4.
Künzi HPA, Pajoohesh H, Schellekens MP: Partial quasimetrics. Theor Comput Sci 2006, 365(3):237–246. 10.1016/j.tcs.2006.07.050
Romaguera S, Schellekens M: Duality and quasinormability for complexity spaces. Appl General Topol 2002, 3: 91–112.
Schellekens MP: A characterization of partial metrizability: domains are quantifiable. Theor Comput Sci 2002, 3: 91–112.
Abdeljawad T, Karapınar E, Tas K: Existence and uniqueness of common fixed point on partial metric spaces. Appl Math Lett 2011, 24(11):1900–1904. 10.1016/j.aml.2011.05.014
Altun I, Erduran A: Fixed point theorems for monotone mappings on partial metric spaces. Fixed Point Theory Appl 2011, 1–10. 2011, (Article ID 508730)
Altun I, Sola F, Simsek H: Generalized contractions on partial metric spaces. Topol Appl 2010, 157(18):2778–2785. 10.1016/j.topol.2010.08.017
Altun I, Sadarangani K: Corrigendum to generalized contractions on partial metric spaces. Topol Appl 2010, 157: 2778–2785. Topol. Appl. 158(13), 1738–1740 (2011) 10.1016/j.topol.2010.08.017
Aydi H: Some fixed point results in ordered partial metric spaces. J Nonlinear Sci Appl 2011, 4(3):210–217.
Aydi H: Some coupled fixed point results on partial metric spaces. Int J Math Math Sci 2011, 1–11. 2011, (Article ID 647091)
Aydi H: Fixed point results for weakly contractive mappings in ordered partial metric spaces. J Adv Math Studies 2011, 4(2):1–12.
Aydi H: Fixed point theorems for generalized weakly contractive condition in ordered partial metric spaces. J Nonlinear Anal Opt Theory Appl 2011, 2(2):33–48.
Aydi H: Common fixed point results for mappings satisfying ( ψ,ϕ )weak contractions in ordered partial metric spaces. Int J Math Stat 2012, 12(2):53–64.
Aydi H: A common fixed point result by altering distances involving a contractive condition of integral type in partial metric spaces. Demonstratio Math, in press.
Aydi H, Karapınar E, Shatanawi W: Coupled fixed point results for ( ψ, φ )weakly contractive condition in ordered partial metric spaces. Comput Math Appl 2011, 62(12):4449–4460. 10.1016/j.camwa.2011.10.021
Ćirić Lj, Samet B, Aydi H, Vetro C: Common fixed points of generalized contractions on partial metric spaces and an application. Appl Math Comput 2011, 218(6):2398–2406. 10.1016/j.amc.2011.07.005
Karapınar E: Weak ϕ contraction on partial metric spaces. J Comput Anal Appl 2012, 14(2):206–210.
Karapınar E, Erhan IM: Fixed point theorems for operators on partial metric spaces. Appl Math Lett 2011, 24(11):1894–1899. 10.1016/j.aml.2011.05.013
Karapınar E: Generalizations of Caristi Kirk's theorem on partial metric spaces. Fixed Point Theory Appl 2011, 4. 2011:
Karapınar E, Yuksel U: Some common fixed point theorems in partial metric spaces. J Appl Math 2011, 1–17. 2011, (Article ID 263621)
Chi KP, Karapınar E, Thanh TD: A generalized contraction principle in partial metric spaces. Math Comput Model 2012, 55(5–6):1673–1681. 10.1016/j.mcm.2011.11.005
Karapınar E: A note on common fixed point theorems in partial metric spaces. Miskolc Math Notes 2011, 12(2):185–191.
Oltra S, Valero O: Banach's fixed point theorem for partial metric spaces. Rend Istit Mat Univ Trieste 2004, 36(1–2):17–26.
Romaguera S: Fixed point theorems for generalized contractions on partial metric spaces. Topl Appl 2012, 159: 164–199.
Samet B, Rajović M, Lazović R, Stojiljković R: Common fixedpoint results for nonlinear contractions in ordered partial metric spaces. Fixed Point Theory Appl 2011, 71. 2011:
Shatanawi W, Samet B, Abbas M: Coupled fixed point theorems for mixed monotone mappings in ordered partial metric spaces. Math Comput Model 2012, 55(3–4):680–687. 10.1016/j.mcm.2011.08.042
Valero O: On Banach fixed point theorems for partial metric spaces. Appl General Topol 2005, 6(2):229–240.
Jungck G: Compatible mappings and common fixed points. Int J Math Math Sci 1986, 9: 771–779. 10.1155/S0161171286000935
Jachymski J: Equivalent conditions and the MeirKeeler type theorems. J Math Anal Appl 1995, 194: 293–303. 10.1006/jmaa.1995.1299
Jachymski J: Common fixed point theorems for some families of maps. Ind J Pure Appl Math 1994, 25(9):925–937.
Rana R, Dimri RC, Tomar A: Some fixed point theorems on MeirKeeler type under strict contractions. Int J Comput Appl 2011, 17(3):24–30.
Bouhadjera H, Djoudi A: On common fixed point theorems of Meir and Keeler type. An Şt Univ Ovidius Constanta 2008, 16(2):39–46.
Akkouchi M: A MeirKeeler type common fixed point theorem for four mappings. Opuscula Math 2011, 31: 5–14.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors' contributions
The authors have contributed in obtaining the new results presented in this article. All authors read and approve the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Aydi, H., Karapinar, E. A MeirKeeler common type fixed point theorem on partial metric spaces. Fixed Point Theory Appl 2012, 26 (2012). https://doi.org/10.1186/16871812201226
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/16871812201226
Keywords
 Cauchy Sequence
 Common Fixed Point
 Coincidence Point
 Denotational Semantic
 Banach Contraction Principle