- Research Article
- Open Access
Fixed Point Theorems for Set-Valued Contraction Type Maps in Metric Spaces
© A. Amini-Harandi and D. O’Regan. 2010
- Received: 13 August 2009
- Accepted: 13 January 2010
- Published: 14 February 2010
We first give some fixed point results for set-valued self-map contractions in complete metric spaces. Then we derive a fixed point theorem for nonself set-valued contractions which are metrically inward. Our results generalize many well-known results in the literature.
- Real Number
- Point Theorem
- Differentiable Function
- Fixed Point Theorem
- Triangle Inequality
Theorem 1.1 (Nadler ).
Mizoguchi and Takahashi  proved the following generalization of Theorem 1.1.
Corollary (Mizoguchi and Takahashi ).
Also, Reich  has proved that if for each , is nonempty and compact, then the above result holds under the weaker condition for each . To set up our results in the next section, we introduce some definitions and facts.
Theorem 1.4 (Bae ).
Then is called the metrically inward set of at (see );
In Section 2 we generalize Corollary 1.2 and Theorem 1.4.
In the first result of this section, we use the technique in  to extend Corollary 1.2.
In the following, we present a fixed point theorem for nonself set-valued contraction type maps which are metrically inward.
Note that Theorem 2.3 does not follow from Theorem 3.3 of Bae  by replacing the metric by . In Theorem 2.3, we assume is metrically inward with respect to but to apply Theorem 3.3 of  with rather than , we need to be metrically inward with respect to .
Letting for each , we get the following corollary due to Bae .
Let be a differentiable function with such that is positive and decreasing in and . Now we show that satisfies all the conditions of Theorem 2.3. Obviously, is continuous and increasing. Since , then by L'Hopital's rule . Thus Now we prove that for each , . To show this let for . Then . Since and is increasing, we get for each and we are done. Finally, we show that for each , we have . Let for . Then . If , then . Since , we obtain for each and we are finished. In the case, , if and only if . Since for and for , then , and we are finished (note that we proved above that ).
The authors would like to thank the referees for careful reading and giving valuable comments. This work was supported in part by the Shahrekord University. The first author would like to thank this support.
- Nadler SB Jr.: Multi-valued contraction mappings. Pacific Journal of Mathematics 1969, 30: 475–488.MathSciNetView ArticleMATHGoogle Scholar
- Banach S: Sur les opération dans les ensembles et leur application aux équations intégrales. Fundamenta Mathematicae 1922, 3: 133–181.MATHGoogle Scholar
- Mizoguchi N, Takahashi W: Fixed point theorems for multivalued mappings on complete metric spaces. Journal of Mathematical Analysis and Applications 1989,141(1):177–188. 10.1016/0022-247X(89)90214-XMathSciNetView ArticleMATHGoogle Scholar
- Reich S: Fixed points of contractive functions. Bollettino dell'Unione Matematica Italiana 1972,5(4):26–42.MATHMathSciNetGoogle Scholar
- Bae JS: Fixed point theorems for weakly contractive multivalued maps. Journal of Mathematical Analysis and Applications 2003,284(2):690–697. 10.1016/S0022-247X(03)00387-1MathSciNetView ArticleMATHGoogle Scholar
- Suzuki T: Mizoguchi-Takahashi's fixed point theorem is a real generalization of Nadler's. Journal of Mathematical Analysis and Applications 2008,340(1):752–755. 10.1016/j.jmaa.2007.08.022MathSciNetView ArticleMATHGoogle Scholar
This article is published under license to BioMed Central Ltd. 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.