Hacettepe Journal of Mathematics and Statistics Volume 4() (03), 9 FIXED POINTS OF MULTIVALUED MAPPING SATISFYING CIRIC TYPE CONTRACTIVE CONDITIONS IN G-METRIC SPACES Mujahid Abbas, Talat Nazır and B. E. Rhoades Received : 0 : 0 : Accepted 0 : 0 : 0 Keywords: spaces. Abstract In this paper, study of necessary conditions for existence of fixed point of multivalued mappings satisfying Ciric type contractive conditions in the setting of generalized metric spaces is initiated. Examples to support our results are presented. Since every symmetric generalized metric reduces to an ordinary metric, we give a new example of a nonsymmetric generalized metric to justify the study of fixed point theory in generalized metric spaces. Multivalued mappings, fixed point, non symmetric, generalized metric 000 AMS Classification: 47H0, 54H5, 54E50.. Introduction and Preliminaries The study of fixed points of mappings satisfying certain contractive conditions has been at the center of rigorous research activity. Mustafa and Sims [0] generalized the concept of a metric space. Based on the notion of generalized metric spaces, Mustafa et al. ([9,, ]) obtained some fixed point theorems for mappings satisfying different contractive conditions. Abbas and Rhoades [] motivated the study of common fixed point theory in generalized metric spaces. Recently, Saadati et al. [4] proved some fixed Department of Mathematics, COMSATS Institute of Information Technology, 060, Abbottabad, Pakistan. E-mail: (M. Abbas) ABBAS@lums.edu.pk E-mail: (T. Nazır) talt@ciit.net.pk Department of Mathematics, Indiana University, Bloomington, IN 47405-706. E-mail: (B. E. Rhoades) rhoades@indiana.edu
M. Abbas, T. Nazır, B. E. Rhoades point results for contractive mappings in partially ordered G metric spaces. Abbas et al. [] obtain some periodic point results in generalized metric spaces. The aim of this paper is to prove various fixed points results for multivalued mappings taking closed values in generalized metric spaces. It is worth mentioning that our results do not rely on the notion of continuity of the mappings involved therein. Our results extend and unify various comparable results in ([4], [5] and [3]). Consistent with Mustafa and Sims [0], the following definitions and results will be needed in the sequel... Definition. Let X be a nonempty set. Suppose that a mapping G : X X X R + satisfies: (a) G(x, y, z) = 0 if x = y = z; (b) 0 < G(x, y, z) for all x, y X, with x y; (c) G(x, x, y) G(x, y, z) for all x, y, z X, with y z; (d) G(x, y, z) = G(p{x, y, z}), where p is a permutation of x, y, z (symmetry); (e) G(x, y, z) G(x, a, a) + G(a, y, z) for all x, y, z, a X. Then G is called a G metric on X and (X, G) is called a G metric space... Definition. A sequence {x n} in a G metric space X is: (i) a G Cauchy sequence if, for any ε > 0, there is an n 0 N ( the set natural number ) such that for all n, m, l n 0, G(x n, x m, x l ) < ε, (ii) a G Convergent sequence if, for any ε > 0, there is an x X and an n 0 N, such that for all n, m n 0, G(x, x n, x m) < ε. A G metric space on X is said to be G complete if every G Cauchy sequence in X is G convergent in X. It is known that {x n} G converges to x X if and only if G(x m, x n, x) 0 as n, m [0]..3. Proposition. [0] Let X be a G metric space. Then the following are equivalent: () {x n} is G convergent to x. () G(x n, x n, x) 0 as n. (3) G(x n, x, x) 0 as n. (4) G(x n, x m, x) 0 as n, m..4. Definition. A G metric on X is said to be symmetric if G(x, y, y) = G(y, x, x) for all x, y X..5. Proposition. Every G metric on X will define a metric d G on X by d G(x, y) = G(x, y, y) + G(y, x, x), x, y X. For a symmetric G metric space d G(x, y) = G(x, y, y), x, y X. However, if G is not symmetric, then the following inequality holds: 3 G(x, y, y) dg(x, y) 3G(x, y, y), x, y X. Now we give an example of non-symmetric G metric..6. Example. Let X = {,, 3}, G : X X X R +, be defined as
Fixed Points of Multivalued Mapping Satisfying Ciric Type... 3 (x, y, z) G(x, y, z) (,, ), (,, ), (3, 3, 3) 0 (,, ), (,, ), (,, ), (,, 3), (, 3, ), (3,, ), (,, 3), (, 3, ), (3,, ), (,, ), (,, ), (,, ), (, 3, 3), (3,, 3), (3, 3, ) (,, 3), (, 3, ), (,, 3), (, 3, ), (3,, ), (3,, ), (, 3, 3), (3,, 3), (3, 3, ) Note that G satisfies all of the axioms of a generalized metric but G(,, 3) G(, 3, 3). Therefore G is not a symmetric on X. Let X be a G metric space. We denote by P (X) the family of all nonempty subsets of X, and by P cl (X) the family of all nonempty closed subsets of X. A point x in X is called a fixed point of a multivalued mapping T : X P cl (X) provided x T x. The collection of all fixed point of T is denoted by F ix(t ).. Fixed Point Theorems Kannan [4] proved a fixed point theorem for a single valued self mapping T of a metric space X satisfying the property d(t x, T y) h{d(x, T x) + d(y, T y)} for all x, y in X and for a fixed h [0, ). Cirić [3] proved a fixed point theorem for a single valued self mapping T of a metric space X satisfying the property d(t x, T y) ad(x, y) + bd(x, T x) + cd(y, T y) + e[d(x, T y) + d(y, T x)] for all x, y in X and for a fixed a, b, c, e 0 with a + b + c + e <. Latif and Beg [5] introduced the notion of a K multivalued mapping, which is the extension of Kannan mappings, to multivalued mappings. Continuing in this direction, Rus et al. [3] coined the term R multivalued mapping, which is a generalization of a K multivalued mapping. In this section, we obtain some fixed point theorems for a multivalued mapping satisfying Ciric type contractive conditions on generalized metric spaces without using the continuity condition... Theorem. Let X be a complete G metric space and T : X P cl (X). If for each x, y X, u x T (x) there exist u y T (y) such that (.) G(u x, u y, u y) h max{g(x, y, y), G(x, u x, u x), G(y, u y, u y), where h [0, ), then T has a fixed point. [G(x, uy, uy) + G(y, ux, ux)]}, Proof. Let x 0 be an arbitrary point of X, and x T (x 0). Then there exists an x T (x ) such that G(x, x, x ) h max{g(x 0, x, x ), G(x 0, x, x ), G(x, x, x ), [G(x0, x, x) + G(x, x, x)]} = h max{g(x 0, x, x ), G(x, x, x ), [G(x0, x, x)]}.
4 M. Abbas, T. Nazır, B. E. Rhoades But, from property (e) of Definition., G(x 0, x, x ) and we now have [G(x0, x, x) + G(x, x, x)] max{g(x 0, x, x ), G(x, x, x )}, (.) G(x, x, x ) h max{g(x 0, x, x ), G(x, x, x )}. If G(x, x, x ) = 0, then, by () of proposition in [0], x = x. Then x T (x ) = T (x ), and x is a fixed point of T. If G(x, x, x ) 0, then (.) becomes G(x, x, x ) hg(x 0, x, x ). Continuing this process, we obtain a sequence {x n} in X, that is for x n T (x n ), there exists x n+ T (x n) such that G(x n, x n+, x n+) h max{g(x n, x n, x n), G(x n, x n, x n), G(x n, x n+, x n+), (G(x n, x n+, x n+) + G(x n, x n, x n))/} = h max{g(x n, x n, x n), G(x n, x n+, x n+), (G(x n, x n+, x n+))/} = h max{g(x n, x n, x n), G(x n, x n+, x n+)}. Without loss of generality we may assume that x n x n+ for each n, since, otherwise, it follows that x n+ is a fixed point of T. Thus we have G(x n, x n+, x n+) hg(x n, x n, x n)... h n G(x 0, x, x ). For any m > n, repeated use of property (e) gives G(x n, x m, x m) G(x n, x n+, x n+) +... + G(x m, x m, x m) [h n + h n+ +... + h m ]G(x 0, x, x ) hn G(x0, x, x), h and so G(x n, x m, x m) 0 as n, m. Hence {x n} is a G Cauchy sequence. By the G completeness of X, there exist a u X such that {x n} converges to u. Let n N be given. Then, for each x n T (x n ), there exists a u n T (u) such that Now, if implies that G(u n, u n, u) G(x n, u n, u n) + G(x n, x n, u) h max{g(x n, u, u), G(x n, x n, x n), G(u, u n, u n), [G(xn, un, un) + G(u, xn, xn)]} + G(xn, xn, u) h max{g(x n, u, u), G(x n, x n, x n), G(u n, u n, u), [G(xn, u, u) + G(un, un, u) + G(xn, xn, u)]} + G(xn, xn, u). max{g(x n, u, u), G(x n, x n, x n), G(u n, u n, u), [G(xn, u, u) + G(un, un, u) + G(u, xn, xn)]} = G(x n, u, u), G(u n, u n, u) hg(x n, u, u) + G(x n, x n, u).
Fixed Points of Multivalued Mapping Satisfying Ciric Type... 5 Taking limit as n, implies G(u n, u n, u) 0, and u n u. If then max{g(x n, u, u), G(x n, x n, x n), G(u n, u n, u), [G(xn, u, u) + G(un, un, u) + G(xn, xn, u)]} = G(x n, x n, x n), G(u n, u n, u) hg(x n, x n, x n) + G(x n, x n, u) hg(x n, u, u) + G(x n, x n, u). On letting limit n, implies G(u n, u n, u) 0, and u n u. In case then max{g(x n, u, u), G(x n, x n, x n), G(u n, u n, u), [G(xn, u, u) + G(un, un, u) + G(xn, xn, u)]} = G(u n, u n, u), G(u n, u n, u) hg(u n, u n, u) + G(x n, x n, u) which further implies that G(u n, u n, u) G(xn, xn, u). h Taking the limit as n, implies G(u n, u n, u) 0, gives u n u. Finally, if max{g(x n, u, u), G(x n, x n, x n), G(u n, u n, u), [G(xn, u, u) + G(un, un, u) + G(xn, xn, u)]} = [G(xn, u, u) + G(un, un, u) + G(xn, xn, u)], then G(u n, u n, u) h [G(xn, u, u) + G(un, un, u) + G(xn, xn, u)] + G(xn, xn, u) h G(xn, u, u) + G(u, un, un) + 3 G(xn, xn, u), which further implies G(u n, u n, u) hg(x n, u, u) + 3G(x n, x n, u). Taking the limit as n, implies that G(u n, u n, u) 0. Thus u n u as n. Since u n T (u) and T (u) is closed, it follows that u T (u). The following corollary generalizes Theorem 3. of Rus et al. [3] to G metric spaces... Corollary. Let X be a complete G metric space and T : X P cl (X). If for each x, y X, u x T (x), there exists a u y T (y) such that (.3) G(u x, u y, u y) a G(x, y, y) + a G(x, x, y) + a 3G(x, u x, u x) + a 4G(x, x, u x) + a 5G(y, u y, u y) + a 6G(y, y, u y),
6 M. Abbas, T. Nazır, B. E. Rhoades where a i 0 for i =,,..., 6 and a + a 3 + a 5 + (a + a 4 + a 6) <, then T has a fixed point. Proof. Note that (.3) implies that G(u x, u y, u y) h max{g(x, y, y), G(x, u x, u x), G(y, u y, u y), G(x, x, y), where h = a + a 3 + a 5 + (a + a 4 + a 6) <. Which further implies that G(x, x, ux), G(y, y, uy) }, G(u x, u y, u y) h max{g(x, y, y), G(x, u x, u x), G(y, u y, u y)}, and the result follows from Theorem...3. Example. Let X = [0, ) and G(x, y, z) = max{ x y, y z, z x } be a symmetric G metric on X. Define T : X P cl (X) as T x = [0, x 6 ]. Now for case x = y, u x T x. Take u y = 0, then G(u x, u y, u y) = u x x 6 (0) + 3 ( 5x 6 ) + 3 (x) (x y) + (x y) + (x ux) + (x ux) + (y uy) + (y uy) = a G(x, y, y) + a G(x, x, y) + a 3G(x, u x, u x) +a 4G(x, x, u x) + a 5G(y, u y, u y) + a 6G(y, y, u y). Thus (.3) is satisfied with a + a 3 + a 5 + (a + a 4 + a 6) =. Now when x < y, u x T x. Take u y = 0, then G(u x, u y, u y) = u x x 6 (0) + 3 ( 5x 6 ) + 3 (x) (y x) + (y x) + (x ux) + (x ux) + (y uy) + (y uy) = a G(x, y, y) + a G(x, x, y) + a 3G(x, u x, u x) +a 4G(x, x, u x) + a 5G(y, u y, u y) + a 6G(y, y, u y). Thus (.3) is satisfied with a + a 3 + a 5 + (a + a 4 + a 6) =.
Fixed Points of Multivalued Mapping Satisfying Ciric Type... 7 Finally for, y < x, u x T x. Take u y = y 6, then G(u x, u y, u y) = u x u y u x + u y (x + y) 6 (x y) + 3 ( 5x 6 ) + 3 ( 5y 6 ) (x y) + (x y) + (x ux) + (x ux) + (y uy) + (y uy) = a G(x, y, y) + a G(x, x, y) + a 3G(x, u x, u x) +a 4G(x, x, u x) + a 5G(y, u y, u y) + a 6G(y, y, u y). Thus (.3) is satisfied with a + a 3 + a 5 + (a + a 4 + a 6) =. Hence all conditions of Corollary. are satisfied. Moreover, T has a fixed point..4. Corollary. Let X be a complete G metric space and T : X P cl (X). If for each x, y X, u x T (x), there exist u y T (y) such that (.4) G(u x, u y, u y) αg(x, y, y) + βg(x, u x, u x) + γg(y, u y, u y), where α, β, γ 0 and α + β + γ <, then T has a fixed point..5. Example. Let X = {0, } and a nonsymmetric G metric from X to R + be define as Define T : X P cl (X) as T (0) = T () = {0, }. G(0, 0, 0) = G(,, ) = 0, G(0, 0, ) = G(0,, 0) = G(, 0, 0) = 0.5, G(0,, ) = G(, 0, ) = G(,, 0) =. Now if x = 0, y = 0, u x T (0). Then two cases arise. When u x = 0, take u y = 0 T (y), then G(u x, u y, u y) = G(0, 0, 0) = 0 When u x =, take u y = T (y), then = 8 (0) + 3 8 (0) + 3 8 (0) = αg(0, 0, 0) + βg(0, 0, 0) + γg(0, 0, 0) G(u x, u y, u y) = G(,, ) = 0 < 8 (0) + 3 8 () + 3 8 () Thus (.4) is satisfied with α + β + γ = 7 8. = αg(0, 0, 0) + βg(0,, ) + γg(0,, )
8 M. Abbas, T. Nazır, B. E. Rhoades For case x = 0, y =, u x T (0). Then for u x = 0, take u y = 0 T (y), then G(u x, u y, u y) = 0 < 8 () + 3 8 (0) + 3 8 (0.5) And when u x =, take u y = 0 T (y), then = αg(0,, ) + βg(0, 0, 0) + γg(, 0, 0) G(u x, u y, u y) = G(, 0, 0) = 0.5 < 8 () + 3 8 () + 3 8 (0.5) Thus (.4) is satisfied with α + β + γ = 7 8. = αg(0,, ) + βg(0,, ) + γg(, 0, 0) For case x =, y = 0, u x T (). Then for u x = 0, take u y = 0, we have G(u x, u y, u y) = 0 < 8 (0.5) + 3 8 (0.5) + 3 8 (0) = αg(, 0, 0) + βg(, 0, 0) + γg(0, 0, 0) and when u x =, again by taking u y =, we have G(u x, u y, u y) = G(,, ) = 0 < 8 (0.5) + 3 8 (0) + 3 8 () Thus (.4) is satisfied with α + β + γ = 7 8. = αg(, 0, 0) + βg(,, ) + γg(0,, ) Finally for x =, y =, u x T (), then for the case u x = 0, take u y = 0 T (), we have G(u x, u y, u y) = 0 < 8 (0) + 3 8 (0.5) + 3 8 (0.5) And if u x =, take u y = T (), implies = αg(,, ) + βg(, 0, 0) + γg(, 0, 0) G(u x, u y, u y) = G(,, ) = 0 = 8 (0) + 3 8 (0) + 3 8 (0) = αg(,, ) + βg(,, ) + γg(,, ) Thus (.4) is satisfied with α + β + γ = 7. Hence all the conditions of Corollary.4 are 8 satisfied and F ix(t ) 0. The following corollary generalizes Theorem 4. of Latif and Beg [5] to G metric Spaces.
Fixed Points of Multivalued Mapping Satisfying Ciric Type... 9.6. Corollary. Let X be a complete G metric space and T : X P cl (X). If for each x, y X, u x T (x), there exist u y T (y) such that G(u x, u y, u y) h[g(x, u x, u x) + G(y, u y, u y)], where 0 h <, then T has a fixed point..7. Corollary. Let X be a complete G metric space and T : X P cl (X). If for each x, y X, u x T (x), there exist u y T (y) such that G(u x, u y, u y) λg(x, y, y), where 0 λ <, then T has a fixed point. References [] Abbas, M. and Rhoades, B. E. Common fixed point results for non-commuting mappings without continuity in generalized metric spaces, Appl. Math. and Computation 5, 6 69, 009. [] Abbas, M., Rhoades, B. E. and Nazir T. Some periodic point results in generalized metric spaces, Appl. Math. and Computation 7, 4094-4099, 00. [3] Cirić, Lj.Generalized contractions and fixed-point theorems, Publ. Inst. Math. (6), 9-6, 97. [4] Kannan, R. Some results on fixed points, Bull. Calcutta, Math. Soc. 60, 7 76, 968. [5] Latif, A. and Beg, I. Geometric fixed points for single and multivalued mappings, Demons. Math., 30 (4), 79 800, 997. [6] Matkowski, J. Fixed point theorems for mappings with a contractive iterate at a point, Proceedings of the American Mathematical Society, 6(), 344-348, 977. [7] Rus, I. A., Petrusel A. and Sintamarian A. Data dependence of fixed point set of some multivalued weakly Picard operators, Nonlinear Analysis 5, 944-959, 003. [8] Saadati, R., Vaezpour, S. M., Vetro, P. and Rhoades, B. E. Fixed point theorems in generalized partially ordered G metric spaces, Mathematical and Computer Modelling, in press, 00. [9] Mustafa, Z. and Sims, B. Some remarks concerning D metric spaces, Proc. Int. Conf. on Fixed Point Theory and Applications, Valencia (Spain), 89 98, 003. [0] Mustafa, Z. and Sims, B. A new approach to generalized metric spaces, J. of Nonlinear and Convex Analysis, 7 (), 89 97, 006. [] Mustafa, Z., Obiedat, H. and Awawdehand, F. Some fixed point theorem for mapping on complete G metric spaces, Fixed Point Theory Appl., 008, Article ID 89870, pages. [] Mustafa, Z. and Sims, B. Fixed point theorems for contractive mapping in complete G metric spaces, Fixed Point Theory Appl., Article ID 9775, 0 pages, 009. [3] Rus, I. A., Petrusel, A. and Sintamarian, A. Data dependence of fixed point set of some multivalued weakly Picard operators, Nonlinear Analysis 5, 944 959, 003. [4] Saadati, R., Vaezpour, S. M., Vetro, P. and Rhoades, B. E. Fixed point theorems in generalized partially ordered G metric spaces, Math. and Comp. Modelling, 5 (5-6), 797 80, 00.