# Fixed Point Results for Multivalued Maps in Metric Spaces with Generalized Inwardness Conditions

- M Frigon
^{1}Email author

**2010**:183217

**DOI: **10.1155/2010/183217

© M. Frigon 2010

**Received: **19 November 2009

**Accepted: **12 February 2010

**Published: **21 February 2010

## Abstract

We establish fixed point theorems for multivalued mappings defined on a closed subset of a complete metric space. We generalize Lim's result on weakly inward contractions in a Banach space. We also generalize recent results of Azé and Corvellec, Maciejewski, and Uderzo for contractions and directional contractions. Finally, we present local fixed point theorems and continuation principles for generalized inward contractions.

## 1. Introduction and Preliminaries

In the following denotes a complete metric space. The open ball centered in of radius is denoted . For , two nonempty, closed subsets of , the generalized Hausdorff metric is defined by

Definition 1.1.

*contraction*if has nonempty, closed values, and there exists such that

The constant
is called the *constant of contraction*.

The well known Nadler fixed point Theorem [1] says that a multivalued contraction on to itself has a fixed point. However, to insure the existence of a fixed point to a multivalued contraction defined on a closed subset of , extra assumptions are needed.

In 2000, Lim [2] obtained the following fixed point theorem for weakly inward multivalued contractions in Banach spaces using the transfinite induction.

Theorem 1.2.

Then has a fixed point.

Observe that in the definition of weakly inward maps, linear intervals play a crucial role. Indeed, for some and if and only if

Moreover, .

From this observation, generalizations of this result to complete metric spaces were recently obtained with simpler proofs by Azé and Corvellec [3], and by Maciejewski [4]. They generalized the inwardness condition using the metric left-open segment

which should be nonempty for every and "close enough" of . They also obtained results for directional -contractions in the sense of Song [5]. In 2005, Uderzo [6] established a local fixed point theorem for directional -contractions.

In this paper, we generalize their results. More precisely, we first generalize the inwardness conditions used in [2–4]. In particular, for with , one can have . Also, we slightly generalize the notion of -directional contractions.

Finally, we present local fixed point theorems and continuation principles generalizing results of Maciejewski [4] and Uderzo [6].

Here is the well known Caristi Theorem [7] which will play a crucial role in the following.

Theorem 1.3 (Caristi [7]).

Then has a fixed point.

This result, which is equivalent to the Ekeland variational Principle [8, 9], can also be deduced from the Bishop-Phelps theorem. The following formulation appeared in [10] (see also [11]) while the original formulation appeared in a different form in [12] (see also [13]).

Theorem 1.4 (Bishop and Phelps).

Let be lower semicontinuous and bounded from below, and . Then for any , there exists such that

(i) ;

(ii) for every .

The interested reader can find a multivalued version of Caristi's fixed point theorem in an article of Mizoguchi and Takahashi [14].

## 2. Generalizations of Inward Contractions

In this section, we obtain fixed point results for contractions defined on a closed subset of a metric space satisfying a generalized inwardness condition.

Theorem 2.1.

Then has a fixed point.

Proof.

Since is a contraction with closed values, is a complete metric space.

Let . By assumption, there exists such that

Defining and , respectively, by

we deduce from Caristi's theorem (Theorem 1.3) that has a fixed point which is a contradiction since . So, has a fixed point.

As a corollary, we obtain Maciejewski's result [4] which generalizes Lim's fixed point theorem for weakly inward multivalued contractions in Banach spaces [2].

Corollary 2.2 (Maciejewski [4]).

Then has a fixed point.

Proof.

Thus satisfies (2.1).

From the proof of Theorem 2.1, one sees that one can weaken the assumption that is a contraction, and hence one can generalize a result due to Azé and Corvellec [3].

Theorem 2.3.

Then has a fixed point.

Corollary 2.4 (Azé and Corvellec [3]).

Then has a fixed point.

Proof.

Choose . It is easy to see that satisfies (2.11) for every .

Remark 2.5.

Therefore, (2.8) and (2.12) are not satisfied.

Example 2.6.

Hence satisfies all the assumptions of Theorem 2.1 and in particular condition (2.1).

In the previous results, is a contraction or has to satisfy a type of contractive condition in some direction, namely,

A careful look at their proofs permits to realize that a wider class of maps can be considered. Indeed, it is easy to see that the previous results are corollaries of the following theorem which is a direct consequence of Theorem 1.3.

Theorem 2.7.

Then has a fixed point.

Corollary 2.8.

Then has a fixed point.

Corollary 2.9.

Then has a fixed point.

Example 2.10.

Let be defined by . Obviously, is expansive and satisfies the assumptions of the previous corollary. It does not satisfies (2.1) and (2.11).

## 3. Intersection Conditions

Observe that even though Theorem 2.7 generalizes Theorems 2.1 and 2.3, Condition (2.17) is quite restrictive in the multivalued context since every has to satify a suitable condition. Here is a fixed point result where at least one element of has to be in a suitable set.

Theorem 3.1.

Then has a fixed point.

Proof.

we deduce from Caristi's Theorem (Theorem 1.3) that has a fixed point which is a contradiction since . So, has a fixed point.

Example 3.2.

Let , , defined by . Observe that (2.1) is not satisfied. Indeed, for and , we have and for every .

Choose . Let with , then one has

Thus satisfies all assumptions of Theorem 3.1, and in particular it satisfies (3.1) but does not satisfy (2.1).

Corollary 3.3.

Then has a fixed point.

The previous theorem generalizes a result of Downing and Kirk [15].

Corollary 3.4 (Downing and Kirk [15]).

Then has a fixed point.

Proof.

So, (3.7) is satisfied and the conclusion follows from Corollary 3.3.

Example 3.5.

Thus, Condition (3.1) is satisfied.

Observe that if is a single-valued contraction satisfying (2.1) then for every such that ,

An analogous condition in the multivalued context leads to the following result.

Theorem 3.6.

Then has a fixed point.

Proposition 3.7.

Theorems 3.1 and 3.6 are equivalent.

Proof.

It is clear that if (3.1) is satisfied, then (3.14) is also satisfied. Thus, Theorem 3.6 implies Theorem 3.1.

Now, if assumptions of Theorem 3.6 are satisfied with some . Fix such that . Let . If , there exists such that

where . Hence assumptions of Theorem 3.1 are satisfied with .

As before, looking at the proof of Theorem 3.1, we see that we can relax the assumption that is a contraction.

Theorem 3.8.

Then has a fixed point.

We obtain as corollary a result due to Song [5] which generalizes a fixed point result due to Clarke [16].

Corollary 3.9 (Song [5]).

Let be a closed nonempty subset of , and let be a multivalued with nonempty, closed, bounded values such that

(i) is -upper semicontinuous, that is, for every and every there exists such that for every ;

Then has a fixed point.

Uderzo [6] generalized Song's result introducing the notion of *directional multi-valued*
*-contraction* (this means that
satisfies the following condition (ii)). This notion generalizes the notion of directional contractions used by Song [5] (Condition (ii) in Corollary 3.9). We show how Uderzo's result can be obtained from Theorem 3.8.

Corollary 3.10 (Uderzo [6]).

Let be a closed nonempty subset of , and let be a multivalued with nonempty, closed, bounded values such that

(i) is -upper semicontinuous;

(iii)there exist and such that ;

(iv) .

Then has a fixed point.

Proof.

It is known that the -upper semicontinuity of implies that is lower semicontinuous. Let . This set is closed and nonempty.

Let be such that . Assumption (ii) implies that there exists such that

So .

Denote

So, the restriction satisfies the assumptions of Theorem 3.8, and hence has a fixed point.

## 4. Local Fixed Point Theorems for Generalized Inward Contractions

In this section, we present local versions of fixed point theorems for generalized inward contractions.

Theorem 4.1.

Let be a closed subset of , , , and let be a multivalued map with nonempty values and closed graph. Assume that there exist and an equivalent metric on such that

(i) for every , and ;

(ii) ;

Then has a fixed point.

Proof.

This space endowed with the metric is a nonempty complete metric space since .

Applying the Bisholp-Phelps Theorem (Theorem 1.4) insures the existence of satisfying

If then is a fixed point of .

If not, by assumption (iii), there exists and such that

So, , and by (iii), . Thus, by (4.6), .

Therefore, (4.5) contracdicts (4.4). So, has a fixed point.

Corollary 4.2.

Let be a closed subset of , , , and let be a multivalued map with nonempty values and closed graph. Assume that there exist such that

(i) ;

Then has a fixed point.

As corollaries, we obtain local versions of Theorems 2.1 and 2.3.

Theorem 4.3.

Let be a closed subset of , , , and let be a multivalued map with nonempty values and closed graph. Assume that there are constants and such that

(i) ;

Then has a fixed point.

Proof.

The conclusion follows from Theorem 4.1 if we show that Condition (iii) holds. Let and , and let be given by Assumption (ii). If , choose , and if , choose such that . So,

In the case where is a contraction, the previous result can be stated more simply.

Corollary 4.4.

Let be a closed subset of , , and . Assume that is a multivalued contraction with constant for which there exits such that

(i) ;

(ii) such that for all .

Then has a fixed point.

We obtain as corollary the following result due to Maciejewski [4].

Corollary 4.5.

Let be a closed subset of , , and . Assume that is a multivalued contraction with constant such that

(i) ;

(ii) for all , where is defined in (2.8).

Then has a fixed point.

Proof.

The conclusion follows from Corollary 4.4.

Fixed point results can also be obtained for multivalued maps defined on a ball of and satisfying an intersection condition. Here is a local version of Theorem 3.8.

Theorem 4.6.

Let be a closed subset of , , , and let be a multivalued map with nonempty, closed values such that is lower semicontinuous. Assume that there exist and such that

(i) ;

Then has a fixed point.

Proof.

The space is a nonempty closed subset of since and is lower semicontinuous.

Applying the Bisholp-Phelps Theorem to insures the existence of such that

If is not a fixed point of , by Assumption (ii), there exist and such that

Hence, .

By (4.16),

this contradicts (4.15) since . So has a fixed point.

## 5. Continuation Principle for Generalized Inward Contractions

In this section, we obtain continuation principles for families of contractions satisfying a generalized inwardness condition. For and open in , we denote the boundary of relative to . Here is a generalization of Theorem in [17]. The proof is analogous.

Theorem 5.1.

Let be a closed subset of , open in , , , and continuous and increasing. Assume is a multivalued map with nonempty values and closed graph such that

(i) and for all ;

(ii) for all and all ;

Then has a fixed point if and only if has a fixed point.

Proof.

Thus, satisfies the assumptions of Theorem 4.3, and hence has a fixed point . This contradicts the maximality of since .

Corollary 5.2.

Let be a uniformly convex Banach space, open, bounded, convex, and closed, convex such that . Assume that is a nonexpansive map such that

(i) and for all ;

(ii)there exists a lower semicontinuous map defined on with and such that for every , or there exists such that .

Then has a fixed point.

Proof.

for every since is bounded.

Assumption (ii) implies that for every , there exists , such that for every ,

The previous theorem applied inductively to insures the existence of such that . The sequence has a weakly converging subsequence still denoted such that . The demi-closedness of (see [18, Theorem ]) implies that has a fixed point.

Similarly to Theorem 5.1, we can prove the following continuation principles using Theorems 4.1 and 4.6, respectively.

Theorem 5.3.

Let be a closed subset of , open in , continuous and increasing, and a multivalued map with nonempty values and closed graph. Assume that there exist and an equivalent metric on such that

(i) and for all ;

(ii) for all and all ;

(iii) for every , and ;

Then has a fixed point if and only if has a fixed point.

Theorem 5.4.

Let be a closed subset of , open in , , and and continuous and increasing. Assume is a multivalued with nonempty, closed values such that

(i) for all and all ;

(ii) for all and all ;

(iii) is lower semicontinuous for all ;

Then has a fixed point if and only if has a fixed point.

## Declarations

### Acknowledgment

This work was partially supported by CRSNG Canada.

## Authors’ Affiliations

## References

- Nadler SB Jr.:
**Multivalued contraction mappings.***Pacific Journal of Mathematics*1969,**30**(2):475–487.MathSciNetView ArticleMATHGoogle Scholar - Lim T-C:
**A fixed point theorem for weakly inward multivalued contractions.***Journal of Mathematical Analysis and Applications*2000,**247**(1):323–327. 10.1006/jmaa.2000.6866MathSciNetView ArticleMATHGoogle Scholar - Azé D, Corvellec J-N:
**A variational method in fixed point results with inwardness conditions.***Proceedings of the American Mathematical Society*2006,**134**(12):3577–3583. 10.1090/S0002-9939-06-08744-2MathSciNetView ArticleMATHGoogle Scholar - Maciejewski M:
**Inward contractions on metric spaces.***Journal of Mathematical Analysis and Applications*2007,**330**(2):1207–1219. 10.1016/j.jmaa.2006.08.025MathSciNetView ArticleMATHGoogle Scholar - Song W:
**A generalization of Clarke's fixed point theorem.***Applied Mathematics: A Journal of Chinese Universities. Series B*1995,**10**(4):463–466. 10.1007/BF02662502View ArticleMATHGoogle Scholar - Uderzo A:
**Fixed points for directional multi-valued -contractions.***Journal of Global Optimization*2005,**31**(3):455–469. 10.1007/s10898-004-0571-zMathSciNetView ArticleMATHGoogle Scholar - Caristi J:
**Fixed point theorems for mappings satisfying inwardness conditions.***Transactions of the American Mathematical Society*1976,**215:**241–251.MathSciNetView ArticleMATHGoogle Scholar - Ekeland I:
**Sur les problèmes variationnels.***Comptes Rendus de l'Académie des Sciences, Série A-B*1972,**275:**1057–1059.MathSciNetMATHGoogle Scholar - Ekeland I:
**Nonconvex minimization problems.***Bulletin of the American Mathematical Society*1979,**1**(3):443–474. 10.1090/S0273-0979-1979-14595-6MathSciNetView ArticleMATHGoogle Scholar - Dugundji J, Granas A:
*Fixed Point Theory. I, Mathematical Monographs*.*Volume 61*. Polish Scientific Publishers, Warszawa, Poland; 1982.MATHGoogle Scholar - Granas A, Dugundji J:
*Fixed Point Theory, Springer Monographs in Mathematics*. Springer, New York, NY, USA; 2003.View ArticleMATHGoogle Scholar - Bishop E, Phelps RR:
**The support functionals of a convex set.**In*Proc. Sympos. Pure Math., Vol. VII*. Edited by: Klee V. American Mathematical Society, Providence, RI, USA; 1963.Google Scholar - Phelps RR:
**Support cones in Banach spaces and their applications.***Advances in Mathematics*1974,**13:**1–19. 10.1016/0001-8708(74)90062-0MathSciNetView ArticleMATHGoogle 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 - Downing D, Kirk WA:
**Fixed point theorems for set-valued mappings in metric and Banach spaces.***Mathematica Japonica*1977,**22**(1):99–112.MathSciNetMATHGoogle Scholar - Clarke F:
**Pointwise contraction criteria for the existence of fixed points.***Canadian Mathematical Bulletin*1978,**21**(1):7–11. 10.4153/CMB-1978-002-8MathSciNetView ArticleMATHGoogle Scholar - Frigon M, Granas A:
**Résultats du type de Leray-Schauder pour des contractions multivoques.***Topological Methods in Nonlinear Analysis*1994,**4**(1):197–208.MathSciNetMATHGoogle Scholar - Browder FE:
**Semicontractive and semiaccretive nonlinear mappings in Banach spaces.***Bulletin of the American Mathematical Society*1968,**74:**660–665. 10.1090/S0002-9904-1968-11983-4MathSciNetView ArticleMATHGoogle Scholar

## Copyright

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.