Three extensions of Ćirić quasicontraction on partial metric spaces
© Ilić et al.; licensee Springer. 2013
Received: 18 July 2013
Accepted: 15 October 2013
Published: 19 November 2013
In this paper we define and study three extensions of the notion of Ćirić quasicontraction to the context of partial metric spaces. For such mappings, we prove fixed point theorems. Among other things, we generalize a recent result of Altun, Sola and Simsek, of Ilić et al., of Matthews, and the main result of Ćirić is also recovered. The theory is illustrated by some examples.
Keywordsfixed point partial metric space quasicontraction
1 Introduction and preliminaries
is called a quasicontraction. Let us remark that Ćirić  (see also [2, 3]) introduced and studied quasicontractions as one of the most general types of contractive maps. The well-known Ćirić result is that every quasicontraction T possesses a unique fixed point.
There exist many generalizations of the concept of metric spaces in the literature. In particular, Matthews  introduced the notion of partial metric space as a part of the study of denotational semantics of dataflow networks, showing that the Banach contraction mapping theorem can be generalized to the partial metric context for applications in program verification. After that, fixed point results in partial metric spaces have been studied by many other authors.
References [5–31] are some works in this line of research. The existence of several connections between partial metrics and topological aspects of domain theory were pointed out in, e.g., [11, 24, 32–34].
In this paper we study fixed point results about certain extensions of the notion of Ćirić quasicontraction to the setting of partial metric spaces, and we give some generalized versions of the fixed point theorem of Matthews as well as the main result of Ilić et al. . The theory is illustrated by some examples.
Throughout this paper, the letters ℝ, , ℚ, ℕ denote the sets of real numbers, nonnegative real numbers, rational numbers and positive integers, respectively.
if and only if ,
If is a partial metric space, then , , is a metric on X, converges to with respect to if and only if (1.2) holds, and is a complete partial metric space if and only if is a complete metric space (see [4, 21]).
A sequence in a partial metric space is called 0-Cauchy  if . We say that is 0-complete if every 0-Cauchy sequence in X converges, with respect to p, to a point such that . Note that every 0-Cauchy sequence in is Cauchy in , and that every complete partial metric space is 0-complete. A paradigm for partial metric spaces is the pair where and for , which provides an example of a 0-complete partial metric space which is not complete.
2 Auxiliary results
In this section we define three extensions of the notion of Ćirić quasicontraction to the context partial metric spaces and establish a few auxiliary results that will be used in the next, main section.
holds for all , then we shall say that T is a p-quasicontraction.
Lemma 2.1 Let be a partial metric space, be a -quasicontraction, and n, m and k be integers such that .
Proof This is an easy induction on k. For this follows from (2.1) and the assumptions made. Now suppose that the assertion holds for some and all , and let be such that we have for all .
From and (2.1) we see that there must hold for some if , or for some if ; in either case, we have .
There cannot be any such that because this would imply . Thus, by the induction hypothesis, there are such that , whence . □
- (1)for all , there holds(2.4)
- (2)if we put , then for some we have(2.5)
Proof (1) Fix and put .
It is easy to see that there must be some with . Indeed, take any such that . If , we are done. Otherwise , so for some . Therefore either , i.e., for any , or , thus .
so , where l is the least integer such that and . So it must either be or . The latter possibility in the case gives directly, and if , then, since the minimality of l implies , we must have for some that and again .
Take such that and such that . By (2.6) we may assume that . Also by (2.6) there must be some such that and for all . Denote by the least such integer.
Since for all and since , Lemma 2.1 implies that for some , we have . But , a contradiction. □
for each , there is some such that for all , we have ;
- (2)if , then(2.8)
To prove (1), fix any . From , we see that there is some such that and such that for all we have .
Let . If for some , then . Otherwise, as , by Lemma 2.1 there are such that .
To prove (2) suppose . Take any positive and let be as claimed to exist in (1). We will show that for any , it must be that . Indeed, suppose that for some this were not true. By (2) of Lemma 2.2, there is an integer l such that and . Let m be the least such integer. Then by our assumption , so, by the choice of m, we must have . Hence . Since by definition of and m it must be , the last inequality now yields , i.e., , a contradiction. □
Now simply take the limit as in the above inequality. □
3 Main results
In this paper we study three extensions of Ćirić quasicontraction to a partial metric space. For such mappings, we prove fixed point theorems. Among other things, we generalize a recent result of Altun, Sola and Simsek, and we give some generalized versions of the fixed point theorem of Matthews, and the main result of Ćirić is also recovered. The theory is illustrated by some examples.
for each , the sequence converges with respect to to some point such that ;
there is some such that and .
Denote . Using the construction described bellow, we will find a specific such that and later on we prove that we must actually have for that particular point u. This will complete the proof.
Set and .
so we must have .
For , this is just (3.3).
We finally prove . By (3.4) we only need to show . For a proof by contradiction, assume this is not the case. Then .
We have , which follows by (3.3) and (3.5) after taking the limit as in . But now yields , i.e., , a contradiction. □
Theorem 3.2 Let be a complete partial metric space and be a -quasicontraction. Then there is a unique fixed point of T. For each , the sequence converges with respect to to some point such that , and there is the equality .
Hence either or and the assertion follows. □
Theorem 3.3 Let be a 0-complete partial metric space and be a p-quasicontraction. Then there is a unique fixed point of T. Furthermore, we have and for each the sequence converges to u with respect to .
Proof By Lemma 2.3 we have . Also by Lemma 2.2.
i.e., , a contradiction.
So and thus by 0-completeness of there is some such that . But by Lemma 2.4 we have so . The argument for uniqueness of the fixed point is standard. □
Remark 3.1 Recently a very interesting paper by Haghi, Rezapour and Shahzad  showed up in which the authors associated to each partial metric space a metric space by setting and if and proved that is 0-complete if and only if is complete. They then proceeded to demonstrate how using the associated metric d some of the fixed point results in partial metric spaces can easily be deduced from the corresponding known results in metric spaces.
Let us point out that these considerations can apply neither to -quasicontractions nor to -quasicontractions, since the terms and on the right-hand side of (2.1) and on the right-hand side of (2.2) do not get multiplied by α. Thus Theorems 3.1 and 3.2 cannot follow from the result of Ćirić they generalize.
On the other hand, using the approach of Haghi, Rezapour and Shahzad, we now show how Theorem 3.3 can be directly deduced from Ćirić’s result .
for all . We check that for all it holds , so that the main result from  can immediately be applied. Since in the case the inequality trivially holds, suppose . So .
Since , it suffices to show that . Let be such that . If , then . If , then, since , it follows that .
Remark 3.2 Even though the results of Haghi et al. can deduce the same fixed point as the corresponding partial metric fixed point result, using the partial metric version computers evaluate faster since many nonsense terms are omitted. This is very important in computer science due to its cost and explains the vast body of partial metric fixed point results found in literature.
Now we give corollaries of the above theorems.
Corollary 3.1 ()
the set is nonempty;
there is a unique such that ;
for each , the sequence converges with respect to the metric to u.
Finally, if is a fixed point, then by the preceding discussion , i.e., so . □
Then there is a unique such that . Furthermore, and for each , the sequence converges with respect to the metric to z.
As a corollary we obtain the already mentioned result of Matthews (see also Corollary 2 of  and ). Let us remark that the result of Matthews is for a complete partial metric space, but it is true for a 0-complete partial metric space.
Corollary 3.3 (Matthews )
Then there is a unique such that . Also and for each the sequence converges with respect to the metric to z.
Remark 3.3 In the case is a metric, by Theorem 3.3, the main result of Ćirić  is recovered. Theorem 3.3 also implies Corollaries 1-4 of , and the next Hardy and Rogers type  fixed point result. This result, under some extra conditions, was proved as one of the main results, Theorem 2 of .
Then there is a unique such that . Also and for each the sequence converges with respect to the metric to z.
Thus T is a -quasicontraction on X which is not a p-quasicontraction. By Theorem 3.2, there is a unique fixed point . Also we have .
and define (thus if , then and ). Here ‘’ stands for the domain of the function x. Then is a partial metric space (see ) and a complete one as can easily be verified.
, (this condition is vacuous if ) and if in addition , then .
Note that taking, e.g., and , we have and so . Thus the contractive condition of Corollary 3.1 is not satisfied. Nevertheless, there is a unique fixed point of T - the sequence defined by for all . We will show that T is a p-quasicontraction. Consider arbitrary .
Case 1. There is a nonnegative integer i with such that . Denote by k the least such nonnegative integer. Thus simply means that and if , then for all with , we must have .
If , then so .
If , then (because in this case we must have but ). Hence .
Case 2. for all and (meaning and x is the restriction of y to the set ).
If , then .
If , then , and so .
Case 3. for all and . This reduces to the previous case.
has infinitely many fixed points - these are exactly the sequence and the restrictions of to the sets . Due to the existence of infinitely many fixed points, cannot be a -quasicontraction. We verify that is a -quasicontraction.
Given arbitrary , we distinguish three cases exactly as we did with the operator T.
Case 1. There is a nonnegative integer i with such that . This is handled exactly as in the corresponding case with the operator T: if k is the least such nonnegative integer, then or according to whether or , respectively.
Case 2. for all and . If , then , and so . If , then , so .
Case 3. for all and . This reduces to the previous case.
This work was supported by Grant No. 174025 of the Ministry of Science, Technology and Development, Republic of Serbia.
- Ćirić LB: A generalization of Banach’s contraction principle. Proc. Am. Math. Soc. 1974, 45: 267–273.Google Scholar
- Ćirić, LB: Some recent results in metrical fixed point theory. University of Belgrade, Beograd (2003)Google Scholar
- Rhoades BE: A comparison of various definitions of contractive mappings. Trans. Am. Math. Soc. 1977, 226: 257–290.MathSciNetView ArticleGoogle Scholar
- Matthews SG: Partial metric topology. Ann. New York Acad. Sci. 728. Proc. 8th Summer Conference on General Topology and Applications 1994, 183–197.Google Scholar
- Abdeljawad T, et al.: Existence and uniqueness of a common fixed point on partial metric spaces. Appl. Math. Lett. 2011, 24(11):1894–1899. 10.1016/j.aml.2011.05.014MathSciNetView ArticleGoogle Scholar
- Abdeljawad T, et al.: A generalized contraction principle with control functions on partial metric spaces. Comput. Math. Appl. 2012, 63(3):716–719. 10.1016/j.camwa.2011.11.035MathSciNetView ArticleGoogle Scholar
- Abdeljawad T, et al.: Coupled fixed points for Meir-Keeler contractions in ordered partial metric spaces. Math. Probl. Eng. 2012., 2012: Article ID 327273Google Scholar
- 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.017MathSciNetView ArticleGoogle Scholar
- Aydi H, et al.: Berinde type generalized contractions on partial metric spaces. Abstr. Appl. Anal. 2013., 2013: Article ID 312479Google Scholar
- Aydi H, Vetro C, Sintunavarat W, Kumam P: Coincidence and fixed points for contractions and cyclical contractions in partial metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 124Google Scholar
- Bukatin M, Kopperman R, Matthews S, Pajoohesh H: Partial metric spaces. Am. Math. Mon. 2009, 116: 708–718. 10.4169/193009709X460831MathSciNetView ArticleGoogle Scholar
- Chi KP, et al.: A generalized contraction principle in partial metric spaces. Math. Comput. Model. 2012, 55(5–6):1673–1681. 10.1016/j.mcm.2011.11.005View ArticleGoogle Scholar
- Ćirić LB, Samet B, Aydi H, Vetro C: Common fixed points of generalized contractions on partial metric spaces and an application. Appl. Math. Comput. 2011, 218: 2398–2406. 10.1016/j.amc.2011.07.005MathSciNetView ArticleGoogle Scholar
- Di Bari C, Kadelburg Z, Nashine HK, Radenović S: Common fixed points of g -quasicontractions and related mappings in 0-complete partial metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 113Google Scholar
- Di Bari C, Milojević M, Radenović S, Vetro P: Common fixed points for self-mappings on partial metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 140Google Scholar
- Di Bari C, Vetro P: Fixed points for weak ϕ -contractions on partial metric spaces. Int. J. Eng. Contemp. Math. Sci. 2011, 1(1):5–13.Google Scholar
- Erhan M, et al.: Fixed point theorems for operators on partial metric spaces. Appl. Math. Lett. 2011, 24(11):1900–1904. 10.1016/j.aml.2011.05.013MathSciNetView ArticleGoogle Scholar
- Karapinar E: A note on common fixed point theorems in partial metric spaces. Miskolc Math. Notes 2011, 12(2):185–191.MathSciNetGoogle Scholar
- Karapinar E: Generalizations of Caristi Kirk’s theorem on partial metric spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 4Google Scholar
- Nashine, HK, et al.: Fixed point results in orbitally complete partial metric spaces. Bull. Malays. Math. Sci. Soc. 36(4) (2013)Google Scholar
- Oltra S, Valero O: Banach’s fixed theorem for partial metric spaces. Rend. Ist. Mat. Univ. Trieste 2004, 36: 17–26.MathSciNetGoogle Scholar
- Paesano D, Vetro P: Common fixed points in a partially ordered partial metric space. Int. J. Anal. 2013., 2013: Article ID 428561Google Scholar
- Paesano D, Vetro P: Suzuki’s type characterizations of completeness for partial metric spaces and fixed points for partially ordered metric spaces. Topol. Appl. 2012, 159(3):911–920. 10.1016/j.topol.2011.12.008MathSciNetView ArticleGoogle Scholar
- Rabarison, AF: Partial metrics. Supervised by Hans-Peter A. Künzi, African Institute for Mathematical Sciences (2007)Google Scholar
- Rakočević V, et al.: On cyclic generalized weakly C -contractions on partial metric spaces. Abstr. Appl. Anal. 2013., 2013: Article ID 831491Google Scholar
- Roldan A, et al.:Multidimensional fixed point theorems in partially ordered complete partial metric spaces under-contractivity conditions. Abstr. Appl. Anal. 2013., 2013: Article ID 634371Google Scholar
- Romaguera S: A Kirk type characterization of completeness for partial metric spaces. Fixed Point Theory Appl. 2010., 2010: Article ID 493298 10.1155/2010/493298Google Scholar
- Tas K, et al.: Fixed point theorem on partial metric spaces involving rational expressions. Miskolc Math. Notes 2013, 14(1):135–142.MathSciNetGoogle Scholar
- Vaezpour M, et al.: A common fixed point theorem for cyclic operators on partial metric spaces. Filomat 2012, 26(2):407–414. 10.2298/FIL1202407KMathSciNetView ArticleGoogle Scholar
- Vetro C, Vetro F: Common fixed points of mappings satisfying implicit relations in partial metric spaces. J. Nonlinear Sci. Appl. 2013, 6(3):152–161.MathSciNetGoogle Scholar
- Vetro F, Radenović S: Nonlinear ψ -quasi-contractions of Ćirić-type in partial metric spaces. Appl. Math. Comput. 2012, 219: 1594–1600. 10.1016/j.amc.2012.07.061MathSciNetView ArticleGoogle Scholar
- Bukatin MA, Shorina SY: Partial metrics and co-continuous valuations. Lecture Notes in Computer Science 1378. In Foundations of Software Science and Computation Structure. Edited by: Nivat M. Springer, Berlin; 1998:125–139.View ArticleGoogle Scholar
- Matthews SG: An extensional treatment of lazy data flow deadlock. Theor. Comput. Sci. 1995, 151: 195–205. 10.1016/0304-3975(95)00051-WMathSciNetView ArticleGoogle Scholar
- Schellekens MP: The correspondence between partial metrics and semivaluations. Theor. Comput. Sci. 2004, 315: 135–149. 10.1016/j.tcs.2003.11.016MathSciNetView ArticleGoogle Scholar
- Ilić D, Pavlović V, Rakočević V: Some new extensions of Banach’s contraction principle to partial metric space. Appl. Math. Lett. 2011, 24: 1326–1330. 10.1016/j.aml.2011.02.025MathSciNetView ArticleGoogle Scholar
- Haghi RH, Rezapour S, Shahzad N: Be careful on partial metric fixed point results. Topol. Appl. 2013, 160: 450–454. 10.1016/j.topol.2012.11.004MathSciNetView ArticleGoogle Scholar
- Hardy GE, Rogers TD: A generalization of a fixed point theorem of Reich. Can. Math. Bull. 1973, 16: 201–206. 10.4153/CMB-1973-036-0MathSciNetView ArticleGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.