- About this Journal
- Abstracting and Indexing
- Aims and Scope
- Annual Issues
- Article Processing Charges
- Articles in Press
- Author Guidelines
- Bibliographic Information
- Citations to this Journal
- Contact Information
- Editorial Board
- Editorial Workflow
- Free eTOC Alerts
- Publication Ethics
- Reviewers Acknowledgment
- Submit a Manuscript
- Subscription Information
- Table of Contents
Abstract and Applied Analysis
Volume 2012 (2012), Article ID 190862, 11 pages
Common Fixed Point Results for Four Mappings on Partial Metric Spaces
1Faculty of Science and Arts, University of Amasya, Amasya, Turkey
2Department of Mathematics, Faculty of Science, University of Gazi, Teknikokullar, 06500 Ankara, Turkey
3Department of Mathematics, Faculty of Science and Arts, University of Artvin Coruh, Seyitler Yerleskesi, 08000 Artvin, Turkey
Received 23 March 2012; Revised 8 June 2012; Accepted 7 September 2012
Academic Editor: Paul Eloe
Copyright © 2012 A. Duran Turkoglu and Vildan Ozturk. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
We give fixed point results for four mappings which satisfy almost generalized contractive condition on partial metric space and we support the results with an example.
1. Introduction and Preliminaries
In , Matthews discussed some properties of convergence of sequence and proved the fixed point theorems for contractive mapping on partial metric spaces: any mapping of a complete partial metric space into itself that satisfies, where , the inequality for all , has a unique fixed point. Recently, many authors (see [3–15]) have focused on this subject and generalized some fixed point theorems from the class of metric spaces.
The definition of partial metric space is given by Matthews (see ) as follows.
Definition 1.1. Let be a nonempty set and let satisfy (PM1) , (PM2) , (PM3) , (PM4) ,for all , and , where . Then the pair is called a partial metric space (in short PMS) and is called a partial metric on .
Let be a PMS. Then, the functions given by are ordinary equivalent metrics on . Each partial metric on generates a topology on with a base of the family of open -balls , where for all and .
We give same topological definitions on partial metric spaces.
Definition 1.3 (see [1, 2, 4]). (i) A sequence in a PMS converges to if and only if .(ii) A sequence in a PMS is called a Cauchy sequence if and only if exists (and finite).(iii) A PMS is said to be complete if every Cauchy sequence in converges, with respect to , to a point such that .(iv) A mapping is said to be continuous at if for every , there exists such that .
Lemma 1.4 (see [1, 2, 4]). (A) A sequence is Cauchy in a PMS if and only if is Cauchy in a metric space . (B) A PMS is complete if and only if the metric space is complete. Moreover, where is a limit of in .
Remark 1.5 (see ). Let be a PMS. Therefore,(A) if , then ;(B) if , then .
Lemma 1.6 (see ). Assume as in a PMS such that . Then for every .
On the other hand, Kannan  proved a fixed point theorem for a map satisfying a contractive condition that did not require continuity at each point. Afterward Sessa  introduced the notion of weakly commuting maps, which generalized the concept of commuting maps. Then Jungck generalized this idea, first to compatible mappings  and then to weakly compatible mappings .
A pair of self-mappings on is said to be weakly compatible if they commute at their coincidence point (i.e., whenever ). A point is called point of coincidence of a family , , of self-mappings on if there exists a point such that for all .
The concept of almost contraction property was given to as follows by Berinde.
Definition 1.7 (see [20, 21]). Let be a metric space. A map is called an almost contraction if there exist a constant and some such that for all Berinde called this as “weak contraction” in , then he renamed it as “almost contraction” in [21, 22], also Berinde  proved some fixed point theorems for almost contraction in complete metric space. Definition 1.7 is a special case of the following definition (choose , is the identity map on ).
Definition 1.8 (see ). Let be a metric space. A map is called an almost contraction with respect to a mapping if there exist a constant and some such that for all ,
Babu et al.  considered the class of mappings that satisfy “condition (B).”
Let be a metric space. A map is said to satisfy “condition (B)” if there exist a constant and some such that for all ,
In recent paper, Altun and Acar  introduced the notion of weak contraction in the sense of Berinde in partial metric space.
Definition 1.9 (see ). Let be a partial metric space. A map is called -weak contraction if there exist a and some such that for all .
In this paper, we give a fixed point theorem for four mappings satisfying almost generalized contractive condition in  on partial metric spaces.
2. Main Results
Theorem 2.1. Let be a complete partial metric space and , , and be self maps on , with and . If there exists and with such that for any , , where,
If and are weakly compatible and one of , and is a complete subspace of , then , , , and have a common fixed point.
Proof. Let be an arbitrary point in . Since , we can find such that and also, as , there exist such that . In general, is chosen such that and such that , we obtain a sequences in such that
Suppose for some . Thus, and have a coincidence point. Due to (2.1), we have
Therefore, by , we have , that is, . So, and have a coincidence point.
Suppose now that for all . From (2.1), we obtain where Due to (2.7), we have Due to PM4, we have Hence, . If , then by (2.7) Since , the inequality (2.9) yields a contradiction. Hence, , then by (2.7) we have Thus, one can observe that Consider now Hence, regarding (2.13), we have Moreover, After standard calculation, we obtain that is a Cauchy sequence in , that is, as , . Since is complete, by Lemma 1.4, is complete and sequence is convergent in to say . From Lemma 1.4, Since is a Cauchy sequence in , we have We assert that . Without loss of generality, we assume that , Similarly, Taking into account (2.20), the expression (2.19) yields Inductively, we obtain Due to (2.13), Regarding , we can observe that .
Since in , , , , converge to .
Now we show that is the fixed point for maps and . Assume that is complete, there exists such that . We will show that . On the contrary, assume that .
From, (2.1) we have where Since and . We get Since , we get . Therefore, . Since the maps and are weakly compatible, we have . We will also show that . From (2.1), we have where Since and , then Since , . By Remark 1.5, we get .
Similarly, we show that is also fixed point of and . Hence, .
The proofs for the cases in which , , or is complete are similar.
Last, we show is unique. Suppose on the contrary that there is another common fixed point of , , , and . Then where Thus, Therefore, and Remark 1.5 . So, is the unique common fixed point os , , , and .
Example 2.2. Let endowed with the partial metric given by for all . It is clear that is a complete partial metric space. Define the mappings , , , by We have . For , , Then, the contractive condition (2.1) is satisfied for every , . Moreover, is weakly compatible. So all conditions of Theorem 2.1 are satisfied. We deduce the existence and uniqueness of a common fixed point of and . Here, 0 is the unique common fixed point.
Corollary 2.3. Let is complete PMS and and be self maps on , with . If there exists and such that where, for every , . If is weakly compatible and one of and is a complete subspace of , then and have a common fixed point.
Remark 2.4. It is easy to see that for every map , is weakly compatible, where is identity map on , so by taking in Theorem 2.1 we have the following results.
Corollary 2.5. Let is complete PMS and and be self maps on . If there exists and such that for every , , where Then and have a common fixed point.
- S. G. Matthews, “Partial Metric topology,” in Proceedings of the 8th Summer Conference at Queens College, S. Andima, Ed., vol. 728 of Papers on General Topology and Applications, Annals of the New York Academy of Sciences, pp. 183–197, 1992.
- S. G. Matthews, “Partial metric topology,” Research Report 212, Department of Computer Science, University of Warwick, 1992.
- T. Abdeljawad, “Fixed points for generalized weakly contractive mappings in partial metric spaces,” Mathematical and Computer Modelling, vol. 54, no. 11-12, pp. 2923–2927, 2011.
- I. Altun and A. Erduran, “Fixed point theorems for monotone mappings on partial metric spaces,” Fixed Point Theory and Applications, vol. 2011, Article ID 508730, 10 pages, 2011.
- I. Altun, F. Sola, and H. Simsek, “Generalized contractions on partial metric spaces,” Topology and Its Applications, vol. 157, no. 18, pp. 2778–2785, 2010.
- H. Aydi and and E. Karapinar, “A Meir-Keeler common type fixed point theo-rem on partial metric spaces,” Fixed Point Theory and Applications, vol. 2012, Article ID 26, 10 pages, 2012.
- L. Ćirić, M. Abbas, R. Saadati, and N. Hussain, “Common fixed points of almost generalized contractive mappings in ordered metric spaces,” Applied Mathematics and Computation, vol. 217, no. 12, pp. 5784–5789, 2011.
- K. P. Chi, E. Karapinar, and T. D. Thanh, “A generalized contraction prin-ciple in partial metric spaces,” Mathematical and Computer Modelling, vol. 55, pp. 1673–1681, 2012.
- D. Ilić, V. Pavlović, and V. Rakočević, “Some new extensions of Banach's contraction principle to partial metric space,” Applied Mathematics Letters, vol. 24, no. 8, pp. 1326–1330, 2011.
- E. Karapinar, “Generalizations of Caristi Kirk's theorem on partial metric spaces,” Fixed Point Theory and Applications, vol. 2011, article 4, 2011.
- E. Karapınar and U. Yüksel, “Some common fixed point theorems in partial metric spaces,” Journal of Applied Mathematics, vol. 2011, Article ID 263621, 16 pages, 2011.
- S. Oltra and O. Valero, “Banach's fixed point theorem for partial metric spaces,” Rendiconti dell'Istituto di Matematica dell'Università di Trieste, vol. 36, no. 1-2, pp. 17–26, 2004.
- S. Romaguera, “Fixed point theorems for generalized contractions on partial metric spaces,” Topology and Its Applications, vol. 159, no. 1, pp. 194–199, 2012.
- I. A. Rus, “Fixed point theory in partial metric spaces,” Analele Universitattii de Vest, Timitsoara, vol. 46, no. 2, pp. 149–160, 2008.
- O. Valero, “On Banach fixed point theorems for partial metric spaces,” Applied General Topology, vol. 6, no. 2, pp. 229–240, 2005.
- R. Kannan, “Some results on fixed points,” Bulletin of the Calcutta Mathematical Society, vol. 60, pp. 71–76, 1968.
- S. Sessa, “On a weak commutativity condition of mappings in fixed point considerations,” Institut Mathématique. Publications, vol. 32, no. 46, pp. 149–153, 1982.
- G. Jungck, “Common fixed points for commuting and compatible maps on compacta,” Proceedings of the American Mathematical Society, vol. 103, no. 3, pp. 977–983, 1988.
- G. Jungck, “Common fixed points for noncontinuous nonself maps on nonmetric spaces,” Far East Journal of Mathematical Sciences, vol. 4, no. 2, pp. 199–215, 1996.
- V. Berinde, “Approximating fixed points of weak contractions using the Picard iteration,” Nonlinear Analysis, vol. 9, no. 1, pp. 43–53, 2004.
- V. Berinde, “General constructive fixed point theorems for Ćirić-type almost contractions in metric spaces,” Carpathian Journal of Mathematics, vol. 24, no. 2, pp. 10–19, 2008.
- V. Berinde and M. Păcurar, “Fixed points and continuity of almost contractions,” Fixed Point Theory, vol. 9, no. 1, pp. 23–34, 2008.
- G. V. R. Babu, M. L. Sandhya, and M. V. R. Kameswari, “A note on a fixed point theorem of Berinde on weak contractions,” Carpathian Journal of Mathematics, vol. 24, no. 1, pp. 8–12, 2008.
- M. Abbas and D. Ilić, “Common fixed points of generalized almost nonexpansive mappings,” Filomat, vol. 24, no. 3, pp. 11–18, 2010.
- I. Altun and O. Acar, “Fixed point theorems for weak contractions in the sense of Berinde on partial metric spaces,” Topology and Its Applications, vol. 159, no. 10-11, pp. 2642–2648, 2012.
- A. Aghajani, S. Radenović, and J. R. Roshan, “Common fixed point results for four mappings satisfying almost generalized (S,T)-contractive condition in partially ordered metric spaces,” Applied Mathematics and Computation, vol. 218, no. 9, pp. 5665–5670, 2012.