Recent Results on Fixed Point Approximations and ApplicationsView this Special Issue
Research Article | Open Access
Özlem Acar, Ishak Altun, "A Fixed Point Theorem for Multivalued Mappings with -Distance", Abstract and Applied Analysis, vol. 2014, Article ID 497092, 5 pages, 2014. https://doi.org/10.1155/2014/497092
A Fixed Point Theorem for Multivalued Mappings with -Distance
We mainly study fixed point theorem for multivalued mappings with -distance using Wardowski’s technique on complete metric space. Let be a metric space and let be a family of all nonempty bounded subsets of . Define by Considering -distance, it is proved that if is a complete metric space and is a multivalued certain contraction, then has a fixed point.
Fixed point theory concern itself with a very basic mathematical setting. It is also well known that one of the fundamental and most useful results in fixed point theory is Banach fixed point theorem. This result has been extended in many directions for single and multivalued cases on a metric space (see [1–9]). Fixed point theory for multivalued mappings is studied by both Pompeiu-Hausdorff metric [10, 11], which is defined on (the family of all nonempty, closed, and bounded subsets of ), and -distance, which is defined on (the family of all nonempty and bounded subsets of ). Using Pompeiu-Hausdorff metric, Nadler  introduced the concept of multivalued contraction mapping and show that such mapping has a fixed point on complete metric space. Then many authors focused on this direction [13–18]. On the other hand, Fisher  obtained different type of multivalued fixed point theorems defining -distance between two bounded subsets of a metric space . We can find some results about this way in [20–23].
In this paper, we give some new multivalued fixed point results by considering the -distance. For this we use the recent technique, which was given by Wardowski . For the sake of completeness,we will discuss its basic lines. Let be the set of all functions satisfying the following conditions:(F1) is strictly increasing; that is, for all such that , .(F2)For each sequence of positive numbers if and only if .(F3)There exists such that .
Definition 1 (see ). Let be a metric space and let be a mapping. Given , we say that is -contraction, if there exists such that
Taking different functions in (1), one gets a variety of -contractions, some of them being already known in the literature. The following examples will certify this assertion.
It is clear that for , such that the inequality also holds. Therefore satisfies Banach contraction with ; thus is a contraction.
We can find some different examples for the function belonging to in . In addition, Wardowski concluded that every -contraction is a contractive mapping, that is, Thus, every -contraction is a continuous mapping.
Also, Wardowski concluded that if , with for all and is nondecreasing, then every -contraction is an -contraction.
He noted that, for the mappings and , and a mapping is strictly increasing. Hence, it was obtained that every Banach contraction satisfies the contractive condition (3). On the other side, [24, Example 2.5] shows that the mapping is not an -contraction (Banach contraction) but still is an -contraction. Thus, the following theorem, which was given by Wardowski, is a proper generalization of Banach Contraction Principle.
Theorem 4 (see ). Let be a complete metric space and let be an -contraction. Then has a unique fixed point in .
Following Wardowski, Mınak et al.  introduced the concept of Ćirić type generalized -contraction. Let be a metric space and let be a mapping. Given , we say that is a Ćirić type generalized -contraction if there exists such that where Then the following theorem was given.
Theorem 5. Let be a complete metric space and let be a Ćirić type generalized -contraction. If or is continuous, then has a unique fixed point in .
Considering the Pompeiu-Hausdorff metric , both Theorems 4 and 5 were extended to multivalued cases in  and , respectively (see also [28, 29]). In this work, we give a fixed point result for multivalued mappings using the -distance. First recall some definitions and notations which are used in this paper.
Let be a metric space. For , we define If we write and also if , then . It is easy to prove that for If is a sequence in , we say that converges to and write if and only if(i) implies that for some sequence with for ,(ii)for any , such that for , where
Lemma 6 (see ). Suppose and are sequences in and is a complete metric space. If and then .
Lemma 7 (see ). If is a sequence of nonempty bounded subsets in the complete metric space and if for some , then .
2. Main Result
In this section, we prove a fixed point theorem for multivalued mappings with -distance and give an illustrative example.
Definition 8. Let be a metric space and let be a mapping. Then is said to be a generalized multivalued -contraction if and there exists such that for all with , where
Theorem 9. Let be a complete metric space and let be a multivalued -contraction. If is continuous and is closed for all , then has a fixed point in .
Proof. Let be an arbitrary point and define a sequence in as for all . If there exists for which , then is a fixed point of and so the proof is completed. Thus, suppose that, for every , . So and for all . Then, we have from (10)
Denote , for . Then, for all and, using (10), the following holds: From (14), we get . Thus, from (F2), we have From (F3) there exists such that By (14), the following holds for all : Letting in (17), we obtain that From (18), there exits such that for all . So we have for all . In order to show that is a Cauchy sequence consider such that . Using the triangular inequality for the metric and from (19), we have By the convergence of the series , we get as . This yields that is a Cauchy sequence in . Since is a complete metric space, the sequence converges to some point ; that is, . Now, suppose is continuous. In this case, we claim that . Assume the contrary; that is, . In this case, there exist an and a subsequence of such that for all . (Otherwise, there exists such that for all , which implies that . This is a contradiction, since .) Since for all , then we have Taking the limit and using the continuity of , we have , which is a contradiction. Thus, we get . This completes the proof.
Example 10. Let and . Then is a complete metric space. Define by
We claim that is multivalued -contraction with respect to and . Because of the , , we can consider the following cases while and is empty or singleton.
Case 1. For and , we have
Case 2. For and , we have
Case 3. For , we have This shows that is multivalued -contraction; therefore, all conditions of theorem are satisfied and so has a fixed point in .
On the other hand, for and , since and , we get then does not satisfy for .
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
The authors are grateful to the referees because their suggestions contributed to improving the paper.
- M. U. Ali, T. Kamran, W. Sintunavarat, and P. Katchang, “Mizoguchi-Takahashi's fixed point theorem with functions,” Abstract and Applied Analysis, vol. 2013, Article ID 418798, 4 pages, 2013.
- S. Chauhan, M. Imdad, C. Vetro, and W. Sintunavarat, “Hybrid coincidence and common fixed point theorems in Menger probabilistic metric spaces under a strict contractive condition with an application,” Applied Mathematics and Computation, vol. 239, pp. 422–433, 2014.
- M. A. Kutbi and W. Sintunavarat, “The existence of fixed point theorems via -distance and -admissible mappings and applications,” Abstract and Applied Analysis, vol. 2013, Article ID 165434, 8 pages, 2013.
- W. Sintunavarat and P. Kumam, “Coincidence and common fixed points for hybrid strict contractions without the weakly commuting condition,” Applied Mathematics Letters, vol. 22, no. 12, pp. 1877–1881, 2009.
- W. Sintunavarat and P. Kumam, “Gregus type fixed points for a tangential multi-valued mappings satisfying contractive conditions of integral type,” Journal of Inequalities and Applications, vol. 2011, article 3, 12 pages, 2011.
- W. Sintunavarat and P. Kumam, “Weak condition for generalized multi-valued -weak contraction mappings,” Applied Mathematics Letters, vol. 24, no. 4, pp. 460–465, 2011.
- W. Sintunavarat and P. Kumam, “Common fixed point theorem for hybrid generalized multi-valued contraction mappings,” Applied Mathematics Letters, vol. 25, no. 1, pp. 52–57, 2012.
- W. Sintunavarat and P. Kumam, “Common fixed point theorem for cyclic generalized multi-valued contraction mappings,” Applied Mathematics Letters, vol. 25, no. 11, pp. 1849–1855, 2012.
- W. Sintunavarat, S. Plubtieng, and P. Katchang, “Fixed point result and applications on b-metric space endowed with an arbitrary binary relation,” Fixed Point Theory and Applications, vol. 2013, article 296, 2013.
- R. P. Agarwal, D. O'Regan, and D. R. Sahu, Fixed Point Theory for Lipschitzian-type Mappings with Applications, Springer, New York, NY, USA, 2009.
- V. Berinde and M. Păcurar, “The role of the Pompeiu-Hausdorff metric in fixed point theory,” Creative Mathematics and Informatics, vol. 22, no. 2, pp. 35–42, 2013.
- S. B. Nadler, “Multi-valued contraction mappings,” Pacific Journal of Mathematics, vol. 30, pp. 475–488, 1969.
- M. Berinde and V. Berinde, “On a general class of multi-valued weakly Picard mappings,” Journal of Mathematical Analysis and Applications, vol. 326, no. 2, pp. 772–782, 2007.
- L. Ćirić, “Multi-valued nonlinear contraction mappings,” Nonlinear Analysis, vol. 71, no. 7-8, pp. 2716–2723, 2009.
- N. Mizoguchi and W. Takahashi, “Fixed point theorems for multivalued mappings on complete metric spaces,” Journal of Mathematical Analysis and Applications, vol. 141, no. 1, pp. 177–188, 1989.
- S. Reich, “Fixed points of contractive functions,” Bollettino della Unione Matematica Italiana, vol. 5, pp. 26–42, 1972.
- S. Reich, “Some fixed point problems,” Atti della Accademia Nazionale dei Lincei, vol. 57, no. 3-4, pp. 194–198, 1974.
- T. Suzuki, “Mizoguchi-Takahashi's fixed point theorem is a real generalization of Nadler's,” Journal of Mathematical Analysis and Applications, vol. 340, no. 1, pp. 752–755, 2008.
- B. Fisher, “Set-valued mappings on metric spaces,” Fundamenta Mathematicae, vol. 112, no. 2, pp. 141–145, 1981.
- I. Altun, “Fixed point theorems for generalized -weak contractive multivalued maps on metric and ordered metric spaces,” Arabian Journal for Science and Engineering, vol. 36, no. 8, pp. 1471–1483, 2011.
- B. Fisher, “Common fixed points of mappings and set-valued mappings,” Rostocker Mathematisches Kolloquium, no. 18, pp. 69–77, 1981.
- B. Fisher, “Fixed points for set-valued mappings on metric spaces,” Bulletin: Malaysian Mathematical Society, vol. 2, no. 4, pp. 95–99, 1981.
- B. Fisher, “Common fixed points of set-valued mappings,” Punjab University Journal of Mathematics, vol. 14-15, pp. 155–163, 1981-1982.
- D. Wardowski, “Fixed points of a new type of contractive mappings in complete metric spaces,” Fixed Point Theory and Applications, vol. 2012, article 94, 2012.
- G. Mınak, A. Helvac, and I. Altun, “C'iric' type generalized F-contractions on complete metric spaces and fixed point results,” Filomat. In press.
- I. Altun, G. Mınak, and H. Dağ, “Multivalued F-contractions on complete metric space,” Journal of Nonlinear and Convex Analysis. In press.
- Ö. Acar, G. Durmaz, and G. Mınak, “Generalized multivalued F-contractions on complete metric spaces,” Bulletin of the Iranian Mathematical Society. In press.
- I. Altun, G. Durmaz, G. Mınak, and S. Romaguera, “Multivalued almost F-contractions on complete metric spaces,” Filomat. In press.
- M. Olgun, G. Mınak, and I. Altun, “A new approach to Mizoguchi-Takahashi type fixed point theorem,” Journal of Nonlinear and Convex Anslysis. In press.
Copyright © 2014 Özlem Acar and Ishak Altun. 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.