International Journal of Mathematical Analysis Vol. 11, 2017, no. 6, 267-275 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ijma.2017.717 Caristi-type Fixed Point Theorem of Set-Valued Maps in Metric Spaces Sa adatul Fitri and Mohamad Muslikh Department of Mathematics Faculty of Sciences, University of Brawijaya Jl.Veteran 17, Malang 65143, East Java, Indonesia Corresponding author Copyright c 2017 Sa adatul Fitri and Mohamad Muslikh. This article is 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 In this article are presented existence of non-negative function forms ϕ of Caristi s fixed point theorem for set-valued mapping on a complete metric space that has compact values. In this case, be formed function ϕ of the set-valued as a support function. By it,the existence fixed point was shown. Mathematics Subject Classification: 58C06, 47H10, 47H09 Keywords: Set-Valued, Fixed point theorem, Contraction-type mappings 1 Introduction In [7], S.B. Nadler has introduced the notion of contraction set-valued function by using the Hausdorff metric. By it, he has proved a set-valued version of the well-known Banach contraction principle and states that each closed bounded valued contraction map on a complete metric space has a fixed point. Since then various fixed point results concerning set-valued contractions have appeared. The real generalization of the Nadler s fixed point theorem was obtained by S. Reich [9], T. Suzuki [10], and A. Latif [5]. All of the result it using the concept of the distance on space of all a subset. In addition, the other
268 Sa adatul Fitri and Mohamad Muslikh researcher applying Caristi s fixed point theorem on set-valued mapping such as N. Mizoguchi (see [6]) and J.R Jachymski [4]. They don t involve Hausdorff metric in the space of all subsets as that discussed by Nadler. In this article, author s would be applying Caristi s fixed point theorem on set-valued maps but unlike that do by the researcher that cited above. We will highlight an existence of function ϕ that is the main characteristic of Caristi type mapping. Furthermore, various types function ϕ would be used to prove existence a fixed point of set-valued maps has compact values. 2 Preliminary Notes Let X, Y be a metric space and P 0 (Y ) the collection of all non-empty subsets of Y. The mapping F : X P 0 (Y ) is called set-valued maps. A solution x of the inclusion x F ( x) is called a fixed point of F. The graph of a set-valued map F is defined by G r (F ) = {(x, y) X Y y F (x)} Definition 2.1. Let B be the unit ball of Y. A set-valued F : X P 0 (Y ) is called upper semi-continuous at x 0 if, for all ɛ > 0, there exists a neighborhood N(x 0 ) of x 0 such that F (x) B ɛ (F (x 0 )) for all x N(x 0 ). It is upper semicontinuous on X if, it is upper semi-continuous at all points x X. We are to introduce the class of functions ϕ : X [0, + ] and to associate them with their domain Dom(ϕ) = {x X ϕ(x) < + } (1) Definition 2.2. A functions ϕ : X [0, + ] is strict if Dom(ϕ) is nonempty. Definition 2.3. We shall say that a functions ϕ : X [0, + ] is lower semi-continuous at x 0 X if for all ɛ > 0, there exists δ > 0 such that for every x B δ (x 0 ). ϕ(x 0 ) ɛ ϕ(x) (2) Where B δ (x 0 ) = {x X d(x 0, x) < δ} be the ball with center point x 0 and radius δ > 0 of X. We shall say that ϕ is lower semi-continuous on X if it is lower semicontinuous at every point of X. A function is upper semi-continuous if ( ϕ) is lower semi-continuous and continuous if it is lower semi-continuous and upper semi-continuous.
Caristi-type fixed point theorem 269 Theorem 2.4. (Caristi)(see [6]) Let (X.d) be a complete metric space and F : X P 0 (X) be a set-valued maps. Suppose there exists ϕ : X [0, + ] is a strict and lower semi continuous function such that for each x X, there exists y F (x) such that Then the set-valued map F has a fixed point. ϕ(y) + d(x, y) ϕ(x). (3) Since we are discussing fixed-point theorem, we shall proof another result in which ϕ is no longer assumed to be lower semi-continuous; However, the set-valued map F must have a closed graph.(see [1]) Theorem 2.5. Let X be a complete metric space. We consider a set-valued map F : X P 0 (X) with a closed graph. If there exists a strict function ϕ : X [0, + ] satisfying condition (3), then the set-valued F has a fixed point. Proof. By hypothesis we take a point x 0 Dom(ϕ), there exists x 1 F (x 0 ) such that d(x 1, x 0 ) ϕ(x 0 ) ϕ(x 1 ) For a point x n X, there exists x n+1 F (x n ) such that d(x n+1, x 1 ) ϕ(x n ) ϕ(x n+1 ) (4) This implies that the sequence of positive number ϕ(x n ) is decreasing; thus, it converges to a number, α. Adding the inequalities (4) from n = p to n = q 1, the triangle inequality implies that d(x p, x q ) d(x p, x p+1 ) + d(x p+1, x p+2 ) + + d(x q 2, x q 1 ) + d(x q 1, x q ) (ϕ(x p ) ϕ(x p+1 )) + (ϕ(x p+1 ) ϕ(x p+2 )) + + (ϕ(x q 2 ) ϕ(x q 1 )) + (ϕ(x q 1 ) ϕ(x q )) ϕ(x p ) ϕ(x q ). Since the term on the right tends to (α α) = 0 as p and q tend to infinity, we deduce that the sequence of the x n is Cauchy sequence which thus converges to an element x since the space is complete. Since the pairs (x n, x n+1 ) belong to the graph of F, which is closed, and converge to the pair ( x, x) which thus belongs to the graph of F, the limit point x is fixed point of F.
270 Sa adatul Fitri and Mohamad Muslikh 3 Main Results In the main result, we present the function ϕ that defined as the support function of set-valued be given. Let (X, d) be a metric space with the metric d. For set-valued map F : X P 0 (X) we defined a function ϕ F : X [0, + ] as for all x X. ϕ F (x) = d(x, F (x)) = inf d(x, y) [0, + ] (5) y F (x) In [3] be state that if F : X P 0 (X) is a upper semi continuous and non empty closed values then ϕ F is lower semi continuous. In addition, be showed that if F : X CB(X) is contraction then ϕ F is continuous, where CB(X) is a collection all closed bounded subset of X [4]. Proposition 3.1. Suppose F : X P 0 (X) is a set-valued map with properties y F (x), F (y) F (x). (6) If F is a compact values on X, then the function ϕ F : X [0, + ] in (5) satisfies inequality (3). Proof. Since F (x) is compact for each x X there exits y F (x) such that d(x, y) = d(x, F (x)) = ϕ F (x) is finite. ϕ F (y) + d(x, y) = inf d(y, z) + d(x, y) d(y, z) + d(x, y), z F (y) for each z F (y). According to hypothesis if y F (x) then F (y) F (x). Consequently, for each z F (y) the point z is belong in F (x). Taking the infimum with respect to z on F (x) so that inequality above to be ϕ F (y) + d(x, y) inf d(y, z) + d(x, y) = 0 + d(x, y) = d(x, y) = ϕ F (x). z F (x) Lemma 3.2. Let F : X P 0 (X) is set-valued map. If function ϕ : X [0, + ] is strict and satisfies inequality (3), then the function ϕ F (x) ϕ(x) for each x X. Proof. By hypothesis for each x X there exists y F (x) such that d(x, y) ϕ(x) ϕ(y) ϕ(x).
Caristi-type fixed point theorem 271 It follow that we obtained for each x X. ϕ F (x) = d(x, F (x)) = inf d(x, y) d(x, y) ϕ(x) <, y F (x) The following theorem is the main result. Theorem 3.3. Let X be a complete metric space. We consider a set-valued map F : X P 0 (X) satisfying (6) and F compact on X, then F has a fixed point. Proof. According to Proposition 3.1 the function ϕ F (x) = d(x, F (x)) is satisfies inequality(3) and f F is finite by Lemma 3.2. We then apply Theorem 2.5 to deduce that F has a fixed point. We shall proof another result in which F is no longer asummed to be satisfies (6); However, the set-valued map F must upper semi-continuous. Theorem 3.4. Let X be a complete metric space. We consider a set-valued map F : X P 0 (X) is upper semi-continuous. If F compact values on X, then F has a fixed point. Proof. We know that ϕ F (x) = inf y F (x) d(x, y). Set valued F upper semicontinuous at x X. Then for each ɛ > 0 there exists δ > 0 such that F (t) B ɛ (F (x)) for each t B δ (x). For each ɛ > 0 and x X there exists y F (x) such that d(x, y) < ϕ F (x) + ɛ, we obtained ϕ F (y) + d(x, y) = d(y, F (y)) + d(x, y) < d(y, F (y)) + f F (x) + ɛ Since F upper semi-continuous, choose y F (x) such that y B δ (x), then F (y) B ɛ (F (x)), it follow that ϕ F (y) + d(x, y) < d(y, F (y)) + ϕ F (x) + ɛ < ɛ + ϕ F (x) + ɛ < ϕ F (x) + 2ɛ
272 Sa adatul Fitri and Mohamad Muslikh Since arbitrary ɛ > 0 we obtained ϕ F (y) + d(x, y) ϕ F (x). Thus ϕ F satisfies (3) and it is clear ϕ F finite. We then apply again Theorem 2.5 to deduce that F has a fixed point. For set valued F : X P 0 (X) and for some ε 0 > 0 we considering a set B ε0 (F (x)) = {y X d(y, F (x)) ε 0 }. We associate any ε > 0 with the function ϕ ε : X [0, ] defined by for each x X. ϕ ε0 (x) = d(x, B ε0 (F (x)) = inf{d(x, y) y B ε0 (F (x))} (7) Lemma 3.5. If δ, ε 0 > 0 and δ ε 0, then for all x X. Proof. Suppose x X. For δ ε 0, we obtain sets ϕ ε0 (x) ϕ δ (x) ϕ F (x). (8) F (x) B δ (F (x)) B ε0 (F (x)) We choose element y F (x), x δ B δ (F (x)) and x ε0 B ε0 (F (x)), we obtained If take for all infimum of sets, then inf d(x, x ε ) x ε0 B ε0 (F (x)) d(x, x ε0 ) d(x, x δ ) d(x, y). Thus proved, ϕ ε0 (x) ϕ δ (x) ϕ F (x). inf d(x, x δ ) x δ B δ (F (x)) inf d(x, y) y (F (x)) We know that ϕ ε (x) = d(x, B ε (F (x))) = inf{d(x, y) y B ε (F (x))}. For y B ɛ (F (x)), we defined function by ϕ ɛ (y) = d(y, B ε (F (y))) = inf{d(y, z) z B ε (F (y))}. We obtained ϕ ε (x) + ϕ ε (y) = inf{d(x, y) + d(y, z) y B ε (F (x)), z B ε (F (y))}. In general, for each x X, there exists sequence x n X such that x = x 0, x n+1 B ε (F (x n )). For ε > 0, we defined function ϕ ε : X [0. + ] by { } ϕ ε (x) = inf d(x n, x n+1 ) x = x 0, x n+1 B ε (F (x n )). (9) For n = 0, ϕ ε (x) = inf{d(x, x 1 ) x = x 0, x 1 B ε (G(x))} = ϕ ε0 (x).
Caristi-type fixed point theorem 273 Theorem 3.6. If ɛ > 0 and the function ϕ ε : X [0, + ] with defined as (9), then there exists x ε B ε (F (x)) such that ϕ ε (x ε ) + d(x, x ε ) ϕ ε (x) + ε. (10) Proof. Take ɛ > 0, there exists a sequence x n X such that x 0 = x, x n+1 B ɛ (F (x n )) and Now, d(x n, x n+1 ) ϕ ε (x) + ε. d(x, x 1 ) + ϕ ε (x 1 ) d(x, x 1 ) + d(x n, x n+1 ) = n=1 d(x n, x n+1 ) ϕ ɛ (x) + ε. Thus we take x ɛ = x 1 Lemma 3.7. Suppose set-valued F is upper semi-continuous with compact values on X. Then for all ε > 0 there exist a sub sequence x εk converging to an element x F (x) such that, for all δ > 0, there exists k(δ), such that for each k k(δ), ϕ δ ( x) + d(x, x εk ) d( x, x εk ) f εk + ε k (11) Proof. We fix x. Since F (x) is compact, for each ε > 0, choose subsequence x εk B εk (F (x)) and it is converges to x F (x). Since F upper semi-continuous, for any δ > 0 there exists an integer k(δ) > 0 such that for each k > k(δ) B εk (F (x εk )) B δ (F ( x)). Consequently any sequence x n such that x 0 = x εk, x n+1 B εk (F (x n )) may be associated with sequence the same such that x 0 = x, x n+1 B δ (F (x n )). Thus, taking into account (10), { } ϕ δ ( x) d( x, x εk ) + inf d(x n, x n+1 ) x 0 = x εk, x n+1 B εk (F (x n )) = d( x, x εk ) + f εk (x εk ) d( x, x εk ) d(x, x εk ) + ϕ εk (x) + ε k.
274 Sa adatul Fitri and Mohamad Muslikh Theorem 3.8. If lim ε 0 ϕ ɛ (x) = ϕ 0 (x), then ϕ 0 satisfies (3) and ϕ 0 = ϕ F. Proof. If k tend to infinity then inequality (11) to be and letting δ tend to 0, we obtain ϕ δ ( x) + d(x, x) ϕ 0 (x) ϕ 0 ( x) + d(x, x) ϕ 0 (x) (12) where x F (x). Thus ϕ 0 satisfies (3) and following Lemma 3.2 and (8), we have ϕ F (x) ϕ 0 (x) ϕ F (x). or ϕ 0 (x) = ϕ F (x) for each x X. We now define contraction type for set-valued. Definition 3.9. [1] The set-valued map F : X P 0 (X) is called contraction in the sense that there exists λ (0, 1) such that for all x, y X F (y) B(F (x), λ) (13) Theorem 3.10. Let X be a complete metric space. We consider a set-valued map F : X P 0 (X) is contraction in the sense Definition 3.9. If F upper semi-continuous with compact values, then F has fixed point. Proof. We using, in this case, the function ϕ 0 (x) = lim ε 0 ϕ ε (x), for all x X. Since set valued F upper semi-continuous with compact values on X, from Theorem 3.8 we obtained. ϕ 0 (y) + d(x, y) ϕ 0 (x). with y F (x). Thus ϕ 0 satisfies (3). Now we show that ϕ 0 is a finite function. Take an arbitrary x X and from (13) ϕ 0 (x) = lim ϕ ε (x) ε 0 d(x n, x n+1 ) lim ε 0 = d(x, x 1 ) + lim ε 0 ϕ ε (x 1 ) = d(x, x 1 ) + ϕ 0 (x 1 ) = d(x, x 1 ) + ϕ F (x 1 ) = d(x, x 1 ) + d(x 1, F (x 1 )) = d(x, x 1 ) + d(x 1, x 2 ) d(x, x 1 ) + λd(x, x 1 ) = (1 + λ)d(x, x 1 ) < + We then apply Theorem 3.3 to deduce that G has a fixed point.
Caristi-type fixed point theorem 275 References [1] J. P. Aubin, Optima and Equilibria: An Introduction to Nonlinear Analysis, Springer-Verlag Berlin Heidelberg, New York, 1998. https://doi.org/10.1007/978-3-662-03539-9 [2] J. Caristi, Fixed point theorems for mappings satisfying indwardness conditions, Trans. Am. Math. Soc., 251 (1976), 241 251. https://doi.org/10.1090/s0002-9947-1976-0394329-4 [3] D. Downing and W.A. Kirk, A Generalization of Caristi s Theorem with Applications to Nonlinear Mapping Theory, Pacific Journal of Mathematics, 69 (1977), no. 2, 339 346. https://doi.org/10.2140/pjm.1977.69.339 [4] J.R. Jachymski, Caristi s Fixed point theorem and selections of set-valued contractions, J. Math. Anal. Appl., 227 (1998), 55 67. https://doi.org/10.1006/jmaa.1998.6074 [5] A. Latif and M.A. Kutbi, On Multivalued Caristi Type Fixed Point Theorem, Acta Universitatis Apulensi, 28 (2011), 179 188. [6] N. Mizoguchi and W. Takahashi, Fixed Point Theorem for Multivalued mappings on Complete Metric Space, Journal of Mathematical Analysis and Appl., 141 (1989), 177 188. https://doi.org/10.1016/0022-247x(89)90214-x [7] S.B. Nadler, Multi-valued contraction mappings, Pacific J. Math., 30 (1969), 475 488. https://doi.org/10.2140/pjm.1969.30.475 [8] A. Petrusel, Caristi type operator and application, Studia Univ. Babes Bolyat, Mathematica, XLVIII (2003), no. 3, 115 123. [9] S. Reich, Some remarks concerning contraction mapping, Canad. Math. Bull. 14 (1971), no. 1, 121 124. https://doi.org/10.4153/cmb-1971-024-9 [10] T. Suzuki, Generalized Distance and Existence Theorem in complete metric space, Journal of Mathematical Analysis and Applications, 253 (2001), 440 458. https://doi.org/10.1006/jmaa.2000.7151 Received: January 31, 2017; Published: March 11, 2017