About this Journal Submit a Manuscript Table of Contents
Abstract and Applied Analysis

Volume 2014 (2014), Article ID 497092, 5 pages

http://dx.doi.org/10.1155/2014/497092
Research Article

A Fixed Point Theorem for Multivalued Mappings with -Distance

Department of Mathematics, Faculty of Science and Arts, Kirikkale University, Yahsihan, 71450 Kirikkale, Turkey

Received 13 June 2014; Accepted 20 July 2014; Published 24 July 2014

Academic Editor: Poom Kumam

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.

Abstract

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.

1. Introduction

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 [19]). 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 [12] 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 [1318]. On the other hand, Fisher [19] 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 [2023].

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 [24]. 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 [24]). 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.

Example 2 (see [24]). Let be given by the formulae . It is clear that . Then each self-mapping on a metric space satisfying (1) is an -contraction such that

It is clear that for , such that the inequality also holds. Therefore satisfies Banach contraction with ; thus is a contraction.

Example 3 (see [24]). Let be given by the formulae . It is clear that . Then each self-mapping on a metric space satisfying (1) is an -contraction such that

We can find some different examples for the function belonging to in [24]. 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 [24]). Let be a complete metric space and let be an -contraction. Then has a unique fixed point in .

Following Wardowski, Mınak et al. [25] 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 [26] and [27], 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 [20]). Suppose and are sequences in and is a complete metric space. If and then .

Lemma 7 (see [20]). 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) and so

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.

Acknowledgment

The authors are grateful to the referees because their suggestions contributed to improving the paper.

References

  1. 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. View at Publisher · View at Google Scholar · View at MathSciNet
  2. 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. View at Publisher · View at Google Scholar · View at MathSciNet
  3. M. A. Kutbi and W. Sintunavarat, “The existence of fixed point theorems via w-distance and α-admissible mappings and applications,” Abstract and Applied Analysis, vol. 2013, Article ID 165434, 8 pages, 2013. View at Publisher · View at Google Scholar · View at MathSciNet
  4. 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. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  5. 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. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  6. W. Sintunavarat and P. Kumam, “Weak condition for generalized multi-valued (f,α,β)-weak contraction mappings,” Applied Mathematics Letters, vol. 24, no. 4, pp. 460–465, 2011. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  7. 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. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  8. 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. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  9. 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.
  10. 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. View at Publisher · View at Google Scholar · View at MathSciNet
  11. 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.
  12. S. B. Nadler, “Multi-valued contraction mappings,” Pacific Journal of Mathematics, vol. 30, pp. 475–488, 1969. View at Publisher · View at Google Scholar · View at MathSciNet
  13. 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  14. L. Ćirić, “Multi-valued nonlinear contraction mappings,” Nonlinear Analysis, vol. 71, no. 7-8, pp. 2716–2723, 2009. View at Publisher · View at Google Scholar · View at Scopus
  15. 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  16. S. Reich, “Fixed points of contractive functions,” Bollettino della Unione Matematica Italiana, vol. 5, pp. 26–42, 1972. View at MathSciNet
  17. S. Reich, “Some fixed point problems,” Atti della Accademia Nazionale dei Lincei, vol. 57, no. 3-4, pp. 194–198, 1974. View at MathSciNet
  18. 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. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  19. B. Fisher, “Set-valued mappings on metric spaces,” Fundamenta Mathematicae, vol. 112, no. 2, pp. 141–145, 1981. View at MathSciNet
  20. 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. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  21. B. Fisher, “Common fixed points of mappings and set-valued mappings,” Rostocker Mathematisches Kolloquium, no. 18, pp. 69–77, 1981. View at MathSciNet
  22. B. Fisher, “Fixed points for set-valued mappings on metric spaces,” Bulletin: Malaysian Mathematical Society, vol. 2, no. 4, pp. 95–99, 1981. View at MathSciNet
  23. B. Fisher, “Common fixed points of set-valued mappings,” Punjab University Journal of Mathematics, vol. 14-15, pp. 155–163, 1981-1982.
  24. 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. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  25. 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.
  26. I. Altun, G. Mınak, and H. Dağ, “Multivalued F-contractions on complete metric space,” Journal of Nonlinear and Convex Analysis. In press.
  27. Ö. Acar, G. Durmaz, and G. Mınak, “Generalized multivalued F-contractions on complete metric spaces,” Bulletin of the Iranian Mathematical Society. In press.
  28. I. Altun, G. Durmaz, G. Mınak, and S. Romaguera, “Multivalued almost F-contractions on complete metric spaces,” Filomat. In press.
  29. 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.