AAA Abstract and Applied Analysis 1687-0409 1085-3375 Hindawi Publishing Corporation 232413 10.1155/2014/232413 232413 Research Article Fixed Point Theorems of Set-Valued Mappings in Partially Ordered Hausdorff Topological Spaces Jiang Shujun 1 http://orcid.org/0000-0002-4408-5590 Li Zhilong 2 Luo Shihua 2 Romaguera Salvador 1 Department of Mathematics Jiangxi University of Finance and Economics Nanchang 330013 China jxufe.edu.cn 2 School of Statistics Jiangxi University of Finance and Economics Nanchang 330013 China jxufe.edu.cn 2014 3032014 2014 19 12 2013 20 02 2014 30 3 2014 2014 Copyright © 2014 Shujun Jiang et al. 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.

In this work, several fixed point theorems of set-valued monotone mappings and set-valued Caristi-type mappings are proved in partially ordered Hausdorff topological spaces, which indeed extend and improve many recent results in the setting of metric spaces.

1. Introductions

In 1976, Caristi  proved Caristi’s fixed point theorem [1, 2], which has been the subject of intensive research in the past decades, and has found many applications in nonlinear analysis. Recall that this general fixed point theorem states that each mapping T : X X has a fixed point provided that ( X , d ) is a complete metric space and there exists a lower semicontinuous and bounded below function φ : X such that d ( x , T x ) φ ( x ) - φ ( T x ) for each x X . Kirk  gave an elegant proof of primitive Caristi’s result by investigating the existence of maximal elements of a partially ordered metric space ( X , ) , where is a partial order defined by (1) x y d ( x , y ) φ ( y ) - φ ( x ) , x , y X . Since then, Kirk’s method has been widely used in the generalizations of primitive Caristi’s result and the study of fixed point theorems of monotone mappings with respect to a partial order introduced by a functional and many satisfactory fixed point results have been obtained in metric spaces (see ).

The purpose of this paper is to generalize the results of  to general topological spaces. Under suitable assumptions, we proved several fixed point theorems of set-valued monotone mappings and set-valued Caristi-type mappings in partially ordered Hausdorff topological spaces, which indeed extend and improve many recent results in the setting of metric spaces.

2. Main Results

Let X be a Hausdorff topological space and let be a partial order on X . For each x X , let [ x , + ) = { z X : x z } and let ( - , x ] = { z X : z x } .

Let D be a nonempty subset of X and T : X 2 X , where 2 X denote the family of all nonempty subset of X . T is increasing on D , if for each x , y D with x y and each u T x , there exists v T y such that u v ; T is quasi-increasing on D , if for each x , y D with x y and each v T y , there exists u T x such that u v . T has compact value on D , if T x is compact for each x D . T is a Caristi-type mapping, if for each x X , there exists y T x such that x y .

Let 1 be the inverse partial order of . It is clear that T : X 2 X is increasing on D with respect to 1 if T is quasi-increasing on D with respect to .

In this paper, we make the following assumptions:

for each totally ordered set N X , there exists a sequence { x n } N such that for each x N with x sup N , there exists some x n 0 { x n } such that x x n 0 ;

for each totally ordered set N X , there exists a sequence { x n } N such that for each x X with x inf N , there exists some x n 0 { x n } such that x n 0 x ;

for each increasing sequence { x n } X , there exists a subsequence { x n k } { x n } and some x X such that x n k x ;

for each decreasing sequence { x n } X , there exists a subsequence { x n k } { x n } and some x X such that x n k x ;

for each { x n } , { y n } X with x n y n for each n , if there exists some x , y X such that x n x and y n y , then x y ;

for each sequence { x n } X with y x n for some y X and each n , if there exists x X such that x n x , then y x ;

there exists a functional φ : X such that (2) φ ( y ) < φ ( x ) , x , y X , x y , x y .

Theorem 1.

Let X be a Hausdorff topological space, let be a partial order on X , and let T : X 2 X . Assume that ( A 1 ) , ( A 3 ) , and ( A 5 ) are satisfied. If there exists x 0 X such that T x 0 [ x 0 , + ) Ø , T is increasing and has compact value on [ x 0 , + ) . Then T has a maximal fixed point in x * [ x 0 , + ) ; that is, let x be a fixed point of T in [ x 0 , + ) such that x * x , and then x = x * .

Proof.

Let (3) Q = { x [ x 0 , + ) : T x [ x , + ) Ø } . Clearly, Q is nonempty since x 0 Q . We divide the proof into four steps.

Step  1. We show that ( A 3 ) holds on Q . Let { x n } Q be an arbitrary increasing sequence. By ( A 3 ) , there exists a subsequence { x n k } { x n } and some x X such that (4) x n k x . Let n k in (4), and then by ( A 5 ) we have x 0 x ; that is, x [ x 0 , + ) since x 0 x n k for each n k . For arbitrary given n k 0 , we have x n k 0 x n k and hence x n k 0 x by ( A 5 ) . Moreover the arbitrary property of n k 0 forces the following: (5) x n k x , n k . Since x n k Q , there exists y n k T x n k such that (6) x n k y n k , n k . By (5), x [ x 0 , + ) and the increasing property of T on [ x 0 , + ) , there exists z n k T x such that y n k z n k for each n k . This together with (6) implies that (7) x n k z n k , n k . Since T has compact value on [ x 0 , ) , then T x is compact and so there exists a subsequence { z n k i } { z n k } and z T x such that (8) z n k i z . Note that x n k i z n k i for each n k i , and then by (4), (8), and ( A 5 ) , we have x z . This implies that z T x [ x , + ) Ø and so x Q since x [ x 0 , + ) . Hence ( A 3 ) holds on Q .

Step  2. We show that each increasing sequence { u n } Q has an upper bound in Q . Since ( A 3 ) holds on Q by Step  1, there exists a subsequence { u n k } { u n } and some u Q such that (9) u n k u . Note that for arbitrary given n , u n u n k for all n k n , and then by (9) and ( A 5 ) we have u n u . Moreover the arbitrary property of n forces u n u for each n ; that is, u is an upper bound of { x n } .

Step  3. We show that each totally ordered set { x α } α Γ Q has an upper bound in Q , where Γ is a directed set.

If there exists x { x α } such that x = sup α Γ x α , then x is an upper bound of { x α } α Γ and hence the proof is finished. Thus we may assume that x sup α Γ x α for each x { x α } . By ( A 1 ) , there is a sequence { x α n } { x α } such that there exists x α n 0 { x α n } such that (10) x x α n 0 . Set (11) u n = max { x α 1 , x α 2 , , x α n } , n 1 . Note that { x α } is totally ordered, and then { u n } is well defined and is an increasing sequence with x α n u n for all n . By step 2, { u n } has an upper bound in Q ; denote it by x ¯ . Moreover by (10) and (11), (12) x x α n 0 u n 0 x ¯ , x { x α } , which implies that x ¯ is an upper bound of { x α } .

Step  4. We show that T has a maximal fixed point in [ x 0 , + ) . By Zorn’s lemma, ( Q , ) has a maximal element x * ; that is, for each x Q with x * x , we must have x = x * . Since x * Q , there exists y * T x * such that x * y * . Moreover by the increasing property of T on [ x 0 , + ) , there exists z * T y * such that y * z * . This indicates that z * T y * [ y * , + ) Ø and hence y * Q . Finally the maximality of x * in Q implies that x * = y * T x * ; that is, x * is a maximal fixed point of T in [ x 0 , + ) . The proof is complete.

Theorem 2.

Let X be a Hausdorff topological space, let be a partial order on X , and let T : X 2 X . Assume that ( A 2 ) , ( A 4 ) , and ( A 5 ) are satisfied. If there exists x 0 X such that T x 0 ( - , x 0 ] Ø , T is quasi-increasing and has compact value on ( - , x 0 ] . Then T has a minimal fixed point in x * ( - , x 0 ] ; that is, let x be a fixed point of T in ( - , x 0 ] such that x x * , and then x = x * .

Proof.

Let 1 be the inverse partial order of . It is clear that ( A 1 ) and ( A 3 ) are satisfied with respect to 1 by ( A 2 ) and ( A 4 ) . Set [ x , + ) 1 = { z X : x 1 z } and ( - , x ] 1 = { z X : z 1 x } . Obviously, [ x , + ) 1 = ( - , x ] , ( - , x ] 1 = [ x , + ) , T x 0 [ x 0 , + ) 1 Ø , and T is increasing and has compact value on [ x 0 , + ) 1 . Applying Theorem 1 on ( X , 1 ) , we find that T has a maximal fixed point x * [ x 0 , + ) 1 = ( - , x 0 ] corresponding to 1 . Let x ( - , x 0 ] be a fixed point of T . If x x * , then x * 1 x and hence x = x * by the maximality of x * corresponding to 1 ; that is, x * is a minimal fixed point of T in ( - , x 0 ] corresponding to . The proof is complete.

Example 3.

Let X = { 0 } { 1 / n : n = 1,2 , 3 , } with the usual metric d ( x , y ) = x - y for each x , y X and the usual order x y x y for each x , y X . It is easy to check that ( A 1 ) ( A 5 ) are satisfied.

Let T : X 2 X be defined by (13) T 0 = 0 , T 1 = X , T 1 n = 1 n + 1 , n 2 . Clearly, T is an increasing mapping and has compact value on X . Note that 0 T 0 and [ 0 , + ) = X ; then by Theorem 1, T has a maximal fixed point x = 1 .

Let K : X 2 X be defined by (14) K 0 = X , K 1 = 1 , K 1 n = 1 n + 1 , n 2 . Clearly, K is a quasi-increasing mapping and has compact value on X . Note that K 1 1 and ( - , 1 ] = X ; then by Theorem 2, K has a minimal fixed point x = 0 .

The following theorem extends primitive Caristi’s result to Hausdorff topological spaces.

Theorem 4.

Let X be a Hausdorff topological space and let be a partial order on X . Assume that ( A 1 ) , ( A 3 ) , and ( A 6 ) are satisfied. Then each set-valued Caristi-type mapping T : X 2 X has fixed point in X .

Proof.

In analogy to Step  2 in the proof of Theorem 1, by ( A 3 ) and ( A 6 ) , we can prove that each increasing sequence { u n } X has an upper bound in X . Thus following Step  3 in the proof of Theorem 1, each totally ordered chain of X has an upper bound by ( A 1 ) . Moreover by Zorn’s lemma, ( X , ) has a maximal element; denote it by x * . Note that there exists some y * T x * such that x * y * ; then x * = y * by the maximality of x * and hence x * is a fixed point of T . The proof is complete.

The following lemma shows that the conditions ( A 1 ) and ( A 2 ) are not hard to be satisfied.

Lemma 5.

Let X be a nonempty set and let be a partial order on X . If ( A 7 ) is satisfied and φ is bounded below (resp., bounded above), then ( A 1 ) (resp., ( A 2 ) ) is satisfied.

Proof.

We only show ( A 1 ) is satisfied, and the proof of the other case is similar.

Let { x α } α Γ be a totally ordered set of X , where Γ is a directed set, and set M = { φ ( x α ) : α Γ } . Note that φ is bounded below; then inf M exists, and so there exists a subset { α n } of Γ such that (15) lim n φ ( x α n ) = inf M . Let β Γ be an element such that x β sup α Γ x α ; then φ ( x β ) inf M by ( A 7 ) . Suppose that x α n x β for each n . By ( A 7 ) , φ ( x β ) φ ( x α n ) for each n , and consequently, we have φ ( x β ) = inf M by (15). This is a contradiction, and so there exists some n 0 such that (16) x β x α n 0 . This shows that ( A 1 ) is satisfied. The proof is complete.

Remark 6.

It follows from Lemma 5 that Theorems 14 are still valid while ( A 1 ) (resp., ( A 2 ) ) is replaced with ( A 7 ) provided that φ is bounded below (resp., bounded above).

3. Applications to Metric Spaces

In this section, we shall show that most of the fixed point results in the setting of metric spaces of  could be derived from Theorems 14.

Let ( X , d ) be a metric space and let be a partial order on X . We list the conditions used in [3, 6, 9, 10] as follows:

η : + + is a continuous, nondecreasing, and subadditive (i.e., η ( t + s ) η ( t ) + η ( s ) for each t , s + ) function with η - 1 ( { 0 } ) = { 0 } ;

there exists a functional φ : X and a function η : + + with η - 1 ( { 0 } ) = { 0 } such that η ( d ( x , y ) ) φ ( x ) - φ ( y ) for each x , y X with x y , where is a partialorder on X ;

for each x X , the order interval { y X : x y } is closed;

for each x X , the order interval { y X : y x } is closed;

η : + + is nondecreasing.

Remark 7.

(i) It is easy to check that ( A 9 ) ( A 7 ) , ( A 10 ) ( A 6 ) , and ( A 10 ) + ( A 11 ) ( A 5 ) .

(ii) Let be a relation on X defined by (17) x y η ( d ( x , y ) ) φ ( x ) - φ ( y ) , x , y X , where η : + + and φ : X . It follows from [3, Lemma  4.1] that introduced by (17) is a partial order on X provided that ( A 8 ) is satisfied. Clearly, the partial order on X introduced by (17) is certainly a partial order such that ( A 9 ) is satisfied, and hence ( A 7 ) is satisfied.

Lemma 8.

Let ( X , d ) be a complete metric space and let be a partial order on X . Assume that ( A 9 ) and ( A 12 ) are satisfied. Then

if φ is bounded below, then ( A 3 ) is satisfied;

if φ is bounded above, then ( A 4 ) is satisfied.

Proof.

(i) Let { x n } X be an increasing sequence. It suffices to show that { x n } is a Cauchy sequence. If otherwise, there exists an increasing subsequence { x n i } { x n } and δ > 0 such that (18) d ( x n i , x n i + 1 ) δ , i . Then by ( A 9 ) and ( A 12 ) , we have (19) φ ( x n i ) - φ ( x n i + 1 ) η ( δ ) , i , which implies that { φ ( x n i ) } is a decreasing sequence of reals and hence convergent since φ is bounded below. Moreover by (19), we have (20) φ ( x n i + 1 ) φ ( x n 1 ) - i η ( δ ) , i . Let i , and by η - 1 ( { 0 } ) = { 0 } we have lim i φ ( x n i ) = - , which is a contradiction. And consequently, { x n } is a Cauchy sequence.

(ii) Let { x n } X be a decreasing sequence. It suffices to show that { x n } is a Cauchy sequence. If otherwise, there exists a decreasing subsequence { x n i } { x n } and δ > 0 such that (18) is satisfied. Then by ( A 9 ) and ( A 12 ) , we have (21) φ ( x n i + 1 ) - φ ( x n i ) η ( δ ) , i , which implies that { φ ( x n i ) } is an increasing sequence of reals and hence convergent since φ is bounded above. Moreover by (21), we have (22) φ ( x n i + 1 ) φ ( x n 1 ) + i η ( δ ) , i . Let i , and by η - 1 ( { 0 } ) = { 0 } we have lim i φ ( x α n i ) = + , which is a contradiction. And consequently, { x n } is a Cauchy sequence. The proof is complete.

By Lemma 8, Remark 6 and (i) of Remark 7, we have the following two corollaries.

Corollary 9.

Let ( X , d ) be a complete metric space, let be a partial order on X , and let T : X 2 X . Assume that ( A 9 ) ( A 12 ) are satisfied, φ is a bounded below (resp., bounded above) functional, there exists x 0 X such that T x 0 [ x 0 , + ) Ø (resp., T x 0 ( - , x 0 ] Ø ), and T is increasing (resp., quasi-increasing) and has compact value on [ x 0 , + ) (resp., ( - , x 0 ] ). Then T has a maximal fixed point x * [ x 0 , + ) (resp., a minimal fixed point x * ( - , x 0 ] ).

Corollary 10 (see [<xref ref-type="bibr" rid="B6">6</xref>, Theorem  5]).

Let ( X , d ) be a complete metric space, and let be a partial order on X . Assume that ( A 9 ) , ( A 10 ) , and ( A 12 ) are satisfied and φ is a bounded below functional. Then each set-valued Caristi-type mapping T : X 2 X has fixed point in X .

In analogy to the proof of [6, Lemma  1], we can prove the following lemma by (i) of Remark 7.

Lemma 11.

Let ( X , d ) be a complete metric space and let be a relation on X introduced by (17). Assume that ( A 8 ) is satisfied. Then

if φ is lower semicontinous on X , then ( A 10 ) is satisfied;

if φ is upper semicontinuous on X , then ( A 11 ) is satisfied;

if φ is continuous, then ( A 5 ) is satisfied.

The following two corollaries directly follow from Corollaries 9 and 10, Lemma 11, and Remark 7.

Corollary 12.

Let ( X , d ) be a complete metric space, let be a relation on X introduced by (17), and let T : X 2 X . Assume that ( A 8 ) is satisfied, φ : X is a continuous and bounded below (resp., bounded above) functional, there exists x 0 X such that T x 0 [ x 0 , + ) Ø (resp., T x 0 ( - , x 0 ] Ø ), and T is increasing (resp., quasi-increasing) and has compact value on [ x 0 , + ) (resp., ( - , x 0 ] ). Then T has a maximal fixed point x * [ x 0 , + ) (resp., a minimal fixed point x * ( - , x 0 ] ).

Corollary 13 (see [<xref ref-type="bibr" rid="B3">3</xref>, Theorem 4.2]).

Let ( X , d ) be a complete metric space and let T : X 2 X . Assume that ( A 8 ) is satisfied, φ : X is a lower semicontinuous and bounded below functional, and for each x X , there exists y T x such that η ( d ( x , y ) ) φ ( x ) - φ ( y ) . Then T has fixed point in X .

Remark 14.

(i) Theorems  3 and  4 in  are special cases of Corollary 12 with η ( t ) = t .

(ii) Note that each single-valued mapping T : X X naturally has compact value on X . Then (i) of both Theorems  1 and 2 in  immediately follows from Corollary 9, and Theorem  2 in  is directly derived from Corollary 12. Moreover, if η ( t ) = t , then Corollary 12 is reduced to Theorems  3 and 4 in .

Remark 15.

It follows from Remark  2 in  that generalized Caristi’s fixed point theorems obtained by Feng and Liu , Khamsi , and Li  are equivalent to primitive Caristi’s result  and all the relating results in  could be obtained by Corollary 10; contrarily, Corollary 10 could not be derived from the results of . Therefore, Theorem 4 indeed improves the results in .

Conflict of Interests

The authors declare that they there is no conflict of interests.

Authors’ Contribution

The authors have contributed in obtaining the new results presented in this paper. All authors read and approved the final paper.

Acknowledgments

The work was supported by Natural Science Foundation of China (11161022), Natural Science Foundation of Jiangxi Province (20114BAB211006, 20122BAB201015), Educational Department of Jiangxi Province (GJJ12280, GJJ13297), and Program for Excellent Youth Talents of JXUFE (201201).

Caristi J. Fixed point theorems for mappings satisfying inwardness conditions Transactions of the American Mathematical Society 1976 215 241 251 MR0394329 10.1090/S0002-9947-1976-0394329-4 ZBL0305.47029 Kirk W. A. Caristi's fixed point theorem and metric convexity Colloquium Mathematicum 1976 36 1 81 86 MR0436111 ZBL0353.53041 Feng Y. Liu S. Fixed point theorems for multi-valued contractive mappings and multi-valued Caristi type mappings Journal of Mathematical Analysis and Applications 2006 317 1 103 112 10.1016/j.jmaa.2005.12.004 MR2205314 ZBL1094.47049 Khamsi M. A. Remarks on Caristi's fixed point theorem Nonlinear Analysis: Theory, Methods & Applications 2009 71 1-2 227 231 10.1016/j.na.2008.10.042 MR2518029 ZBL1175.54056 Li Z. Remarks on Caristi's fixed point theorem and Kirk's problem Nonlinear Analysis: Theory, Methods & Applications 2010 73 12 3751 3755 10.1016/j.na.2010.07.048 MR2728551 ZBL1201.54036 Li Z. Jiang S. Maximal and minimal point theorems and Caristi’s fixed point theorem Fixed Point Theory and Applications 2011 2011 article 103 10.1186/1687-1812-2011-103 ZBL06201234 Zhang X. Fixed point theorems of monotone mappings and coupled fixed point theorems of mixed monotone mappings in ordered metric spaces Acta Mathematica Sinica 2001 44 4 641 646 MR1850165 ZBL1011.54038 Zhang X. Fixed point theorems of multivalued monotone mappings in ordered metric spaces Applied Mathematics Letters 2010 23 3 235 240 10.1016/j.aml.2009.06.011 MR2565182 ZBL1203.54052 Li Z. Fixed point theorems in partially ordered complete metric spaces Mathematical and Computer Modelling 2011 54 1-2 69 72 10.1016/j.mcm.2011.01.035 MR2801865 ZBL1225.54030 Jiang S. Li Z. Largest and least fixed point theorems of increasing mappings in partially ordered metric spaces Fixed Point Theory and Applications 2013 2013 article 74 10.1186/1687-1812-2013-74 MR3047128