Hindawi Publishing Corporation Fixed Point Theory and Applications Volume 2010, Article ID 509658, 8 pages doi:10.1155/2010/509658 ResearchArticleACommonEndPointTheoremforSet-ValuedGeneralized ψ, ϕ-Weak Contraction Mujahid Abbas 1 and Dragan D − ori´c 2 1 Department of Mathematics, Centre for Advanced Studies in Mathematics, Lahore University of Management Sciences, 54792 Lahore, Pakistan 2 Faculty of Organizational Sciences, University of Belgrade, Jove Ili ´ ca 154, 11000 Beograd, Serbia Correspondence should be addressed to Dragan D − ori ´ c, djoricd@fon.rs Received 21 August 2010; Accepted 18 October 2010 Academic Editor: Satit Saejung Copyright q 2010 M. Abbas and D. D − ori ´ c. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, d istribution, and reproduction in any medium, provided the original work is properly cited. We introduce the class of generalized ψ, ϕ-weak contractive set-valued mappings on a metric space. We establish that such mappings have a unique commonendpoint under certain weak conditions. The theorem obtained generalizes several recent results on single-valued as well as certain set-valued mappings. 1. Introduction and Preliminaries Alber and Guerre-Delabriere 1 defined weakly contractive maps on a Hilbert space and established a fixed pointtheoremfor such a map. Afterwards, Rhoades 2,usingthenotion of weakly contractive maps, obtained a fixed pointtheorem in a complete metric space. Dutta and Choudhury 3 generalized the weak contractive condition and proved a fixed pointtheoremfora selfmap, which in turn generalizes theorem 1 in 2 and the corresponding result in 1. The study of common fixed points of mappings satisfying certain contractive conditions has been at the center of vigorous research activity. Beg and Abbas 4 obtained acommon fixed pointtheorem extending weak contractive condition for two maps. In this direction, Zhang and Song 5 introduced the concept of ageneralized ϕ-weak contraction condition and obtained acommon fixed pointfor two maps, and D − ori ´ c 6 proved acommon fixed pointtheoremforgeneralized ψ, ϕ-weak contractions. On the other hand, there are many theorems in the existing literature which deal with fixed point of multivalued mappings. In some cases, multivalued mapping T defined on a nonempty set X assumes acompactvalueTx for each x in X. There are the situations when, for each x in X, Tx is assumed to be closed and bounded subset of X. To prove existence of fixed point of such 2 Fixed Point Theory and Applications mappings, it is essential for mappings to satisfy certain contractive conditions which involve Hausdorff metric. The aim of this paper is to obtain the commonend point, a special case of fixed point, of two multivlaued mappings without appeal to continuity of any map involved therein. It is also noted that our results do not require any commutativity condition to prove an existence of commonendpoint of two mappings. These results extend, unify, and improve the earlier comparable results of a number of authors. Let X, d be a metric space, and let BX be the class of all nonempty bounded subsets of X. We define the functions δ : BX × BX → R and D : BX × BX → R as follows: δ A, B sup { d a, b : a ∈ A, b ∈ B } , D A, B inf { d a, b : a ∈ A, b ∈ B } , 1.1 where R denotes the set of all positive real numbers. For δ{a},B and δ{a}, {b},we write δa, B and da, b, respectively. Clearly, δA, BδB, A. We appeal to the fact that δA, B0 if and only if A B {x} for A, B ∈ BX and 0 ≤ δ A, B ≤ δ A, B δ A, B , 1.2 for A, B, C ∈ BX.Apointx ∈ X is called a fixed point of T if x ∈ Tx. If there exists apoint x ∈ X such that Tx {x},thenx is termed as an endpoint of the mapping T. 2. Main Results In this section, we established an endpointtheorem which is a generalization of fixed pointtheoremforgeneralized ψ, ϕ-weak contractions. The idea is in line with Theorem 2.1 in 6 and theorem 1 in 5. Definition 2.1. Two set-valued mappings T, S : X → BX are said to satisfy the property of generalized ψ, φ-weak contraction if the inequality ψ δ Sx, Ty ≤ ψ M x, y − ϕ M x, y , 2.1 where M x, y max d x, y ,δ x, Sx ,δ y, Ty , 1 2 D x, Ty D y, Sx 2.2 holds for all x, y ∈ X and for given functions ψ,ϕ : R → R . Theorem 2.2. Let X, d be a complete metric space, and let T, S : X → BX be two set-valued mappings that satisfy the property of generalized ψ, φ-weak contraction, where Fixed Point Theory and Applications 3 a ψ is a continuous monotone nondecreasing function with ψt0 if and only if t 0, b ϕ is a lower semicontinuous function with ϕt0 if and only if t 0 then there exists the unique point u ∈ X such that {u} Tu Su. Proof. We construct the convergent sequence {x n } in X and prove that the limit point of that sequence is a unique common fixed pointfor T and S. Fora given x 0 ∈ X and nonnegative integer n let x 2n1 ∈ Sx 2n A 2n ,x 2n2 ∈ Tx 2n1 A 2n1 , 2.3 and let a n δ A n ,A n1 ,c n d x n ,x n1 . 2.4 The sequences a n and c n are convergent. Suppose that n is an odd number. Substituting x x n1 and y x n in 2.1 and using properties of functions ψ and ϕ,weobtain ψ δ A n1 ,A n ψδ Sx n1 ,Tx n ≤ ψ M x n1 ,x n − ϕ M x n1 ,x n ≤ ψ M x n1 ,x n , 2.5 which implies that δ A n1 ,A n ≤ M x n1 ,x n . 2.6 Now from 2.2 and from triangle inequality for δ,wehave M x n1 ,x n max d x n1 ,x n ,δ x n1 ,S n1 ,δ x n ,T n , 1 2 D x n1 ,T n D x n ,S n1 ≤ max δ A n ,A n−1 ,δ A n ,A n1 ,δ A n−1 ,A n , 1 2 D x n1 ,A n δ A n−1 ,A n1 max δ A n ,A n−1 ,δ A n ,A n1 , 1 2 δ A n−1 ,A n1 ≤ max δ A n ,A n−1 ,δ A n ,A n1 , 1 2 δ A n−1 ,A n δ A n ,A n1 max { δ A n−1 ,A n ,δ A n ,A n1 } . 2.7 4 Fixed Point Theory and Applications If δA n ,A n1 >δA n−1 ,A n ,then M x n ,x n1 ≤ δ A n1 ,A n . 2.8 From 2.6 and 2.8 it follows that M x n ,x n1 δ A n1 ,A n >δ A n−1 ,A n ≥ 0. 2.9 It furthermore implies that ψ δ A n ,A n1 ≤ ψ M x n ,x n1 − ϕ M x n ,x n1 <ψ M x n1 ,x n ψ δ A n ,A n1 2.10 which is a contradiction. So, we have δ A n ,A n1 ≤ M x n ,x n1 ≤ δ A n−1 ,A n . 2.11 Similarly, we can obtain inequalities 2.11 also in the case when n is an even number. Therefore, the sequence {a n } defined in 2.4 is monotone nonincr easing and bounded. Let a n → a when n →∞.From2.11,wehave lim n →∞ δ A n ,A n1 lim n →∞ M x n ,x n1 a ≥ 0. 2.12 Letting n →∞in inequality ψ δ A 2n ,A 2n1 ≤ ψ M x 2n ,x 2n1 − ϕ M x 2n ,x 2n1 , 2.13 we obtain ψ a ≤ ψ a − ϕ a , 2.14 which is a contradiction unless a 0. Hence, lim n →∞ a n lim n →∞ δ A n ,A n1 0. 2.15 From 2.15 and 2.3, it follows that lim n →∞ c n lim n →∞ d x n ,x n1 0. 2.16 Fixed Point Theory and Applications 5 The sequence {x n } is a Cauchy sequence. First, we prove that for each ε>0thereexists n 0 ε such that m, n ≥ n 0 ⇒ δ A 2m ,A 2n <ε. 2.17 Suppose opposite that 2.17 does not hold then there exists ε>0forwhichwecanfind nonnegative integer sequences {mk} and {nk},suchthatnk is the smallest element of the sequence {nk} for which n k >m k >k, δ A 2mk ,A 2nk ≥ ε. 2.18 This means that δ A 2mk ,A 2nk−2 <ε. 2.19 From 2.19 and triangle inequality for δ,wehave ε ≤ δ A 2mk ,A 2nk ≤ δ A 2mk ,A 2nk−2 δ A 2nk−2 ,A 2nk−1 δ A 2nk−1 ,A 2nk <ε δ A 2nk−2 ,A 2nk−1 δ A 2nk−1 ,A 2nk . 2.20 Letting k →∞and using 2.15, we can conclude that lim k →∞ δ A 2mk ,A 2nk ε. 2.21 Moreover, from δ A 2mk ,A 2nk1 − δ A 2mk ,A 2nk ≤ δ A 2nk ,A 2nk1 , δ A 2mk−1 ,A 2nk − δ A 2mk ,A 2nk ≤ δ A 2mk ,A 2mk−1 , 2.22 using 2.15 and 2.21,weget lim k →∞ δ A 2mk−1 ,A 2nk lim k →∞ δ A 2mk ,A 2nk1 ε, 2.23 and from δ A 2mk−1 ,A 2nk1 − δ A 2mk−1 ,A 2nk ≤ δ A 2nk ,A 2nk1 , 2.24 using 2.15 and 2.23,weget lim k →∞ δ A 2mk−1 ,A 2nk1 ε. 2.25 6 Fixed Point Theory and Applications Also, from the definition of M 2.2 and from 2.15, 2.23,and2.25,wehave lim k →∞ M x 2mk ,x 2nk1 ε. 2.26 Putting x x 2mk , y x 2nk1 in 2.1,wehave ψ δ A 2mk ,A 2nk1 ψ δ Sx 2mk ,Tx 2nk1 ≤ ψ M x 2mk ,x 2nk1 − ϕ M x 2mk ,x 2nk1 . 2.27 Letting k →∞and using 2.23, 2.26,weget ψ ε ≤ ψ ε − ϕ ε , 2.28 which is a contradiction with ε>0. Therefore, conclusion 2.17 is true. From the construction of the sequence {x n },it follows that the same conclusion holds for {x n }.Thus,foreachε>0thereexistsn 0 ε such that m, n ≥ n 0 ⇒ d x 2m ,x 2n <ε. 2.29 From 2.4 and 2.29,weconcludethat{x n } is a Cauchy sequence. In complete metric space X,thereexistsu such that x n → u as n →∞. The point u is endpoint of S. As the limit point u is independent of the choice of x n ∈ A n , we also get lim n →∞ δ Sx 2n ,u lim n →∞ δ Tx 2n1 ,u 0. 2.30 From M u, x 2n1 max d u, x 2n1 ,δ u, Su ,δ x 2n1 ,Tx 2n1 , 1 2 D u, Tx 2n1 D x 2n1 ,Su , 2.31 we have Mu, x 2n1 → δu, Su as n →∞.Since ψ δ Su, Tx 2n1 ≤ ψ M u, x 2n1 − ϕ M u, x 2n1 , 2.32 Fixed Point Theory and Applications 7 letting n →∞and using 2.30,weobtain ψ δ Su, u ≤ ψ δ u, Su − ϕ δ u, Su , 2.33 which implies ψδu, Su 0. Hence, δu, Su0orSu {u}. The point u is also endpointfor T. It is easy to see that Mu, uδu, Tu.Usingthatu is fixed pointfor S,wehave ψ δ u, Tu ψ δ Su, Tu ≤ ψ M u, u − ϕ M u, u ψ δ u, Tu − ϕ δ u, Tu , 2.34 and using an argument similar to the above, we conclude that δu, Tu0or{u} Tu. The point u is a unique endpointfor S and T. If there exists another fixed point v ∈ X, then Mu, vdu, v and from ψ d u, v ψ δ Su, Tv ≤ ψ M u, v − ϕ M u, v ψ d u, v − ϕ d u, v , 2.35 we conclude that u v. The proof is completed. The Theorem 2.2 established that set-valued mappings S and T under weak condition 2.1 have the unique commonendpoint u. Now, we give an example to support our result. Example 2.3. Consider X {1, 2, 3, 4, 5} as a subspa ce of real line with usual metric, dx, y |y − x|.LetS, T : X → BX be defined as S x ⎧ ⎪ ⎪ ⎪ ⎨ ⎪ ⎪ ⎪ ⎩ { 4, 5 } for x ∈ { 1, 2 } { 4 } for x ∈ { 3, 4 } { 3, 4 } for x 5 ,T x ⎧ ⎪ ⎪ ⎪ ⎨ ⎪ ⎪ ⎪ ⎩ { 3, 4 } for x ∈ { 1, 2 } { 4 } for x ∈ { 3, 4 } { 3 } for x 5 . 2.36 and take ψ,ϕ : 0, ∞ → 0, ∞ as ψt2t and ϕtt/2. From Tables 1 and 2 ,itiseasytoverifythatmappingsS and T satisfy condition 2.1. Therefore, S and T satisfy the property of generalized ψ, φ − weak contraction. Note that S and T have unique commonend point. S4 T4 {4}. Also, note that for ψtt condition 2.1, which became analog to condition 2.1 in 5, does not hold. For example, δS2,T12 while M2, 1 − φM2, 1 3/2. 8 Fixed Point Theory and Applications Ta bl e 1 δSx, Ty 12345 1 22112 2 22112 3 11001 4 11001 5 11111 Ta bl e 2 Mx, y 12345 1 44444 2 33333 3 32112 4 32102 5 43222 Remark 2.4. The Theorem 2.2 generalizes recent results on single-valued weak c ontractions given in 3, 5, 6. The example above shows that function ψ in 2.1 gives an improvement over condition 2.1 in 5. References 1 Y. I. Alber and S. Guerre-Delabriere, “Principle of weakly contractive maps in Hilbert spaces,” in New Results, in Operator Theory and Its Applications,I.GohbergandY.Lyubich,Eds.,vol.98ofOperator Theory: Advances and Applications, pp. 7–22, Birkh ¨ auser, Basel, Switzerland, 1997. 2 B. E. Rhoades, “Some theorems on weakly contractive maps,” Nonlinear Analysis: Theory, Methods & Applications, vol. 47, no. 4, pp. 2683–2693, 2001. 3 P. N. Dutta and B. S. Choudhury, “A generalisation of contraction principle in metric spaces,” Fixed Point Theory and Applications, vol. 2008, Article ID 406368, 8 pages, 2008. 4 I. Beg and M. Abbas, “Coincidence point and invariant approximation f or mappings satisfying generalized weak contractive condition,” Fixed Point Theory and Applications, vol. 2006, Article ID 74503, 7 pages, 2006. 5 Q. Zhang and Y. Song, “Fixed point theory forgeneralized ϕ-weak contractions,” Applied Mathematics Letters, vol. 22, no. 1, pp. 75–78, 2009. 6 D. D − ori ´ c, “Common fixed pointforgeneralized ψ, ϕ-weak contractions,” Applied Mathematics Letters, vol. 22, no. 12, pp. 1896–1900, 2009. . concept of a generalized ϕ- weak contraction condition and obtained a common fixed point for two maps, and D − ori ´ c 6 proved a common fixed point theorem for generalized ψ, ϕ -weak contractions Set-Valued Generalized ψ, ϕ -Weak Contraction Mujahid Abbas 1 and Dragan D − ori´c 2 1 Department of Mathematics, Centre for Advanced Studies in Mathematics, Lahore University of Management Sciences,. Hindawi Publishing Corporation Fixed Point Theory and Applications Volume 2010, Article ID 509658, 8 pages doi:10.1155/2010/509658 Research Article A Common End Point Theorem for Set-Valued Generalized