Abstract and Applied Analysis

Volume 2013 (2013), Article ID 349305, 6 pages

http://dx.doi.org/10.1155/2013/349305

## On Fixed Point Theory of Monotone Mappings with Respect to a Partial Order Introduced by a Vector Functional in Cone Metric Spaces

^{1}School of Statistics, Jiangxi University of Finance and Economics, Nanchang 330013, China^{2}Department of Mathematics, Jiangxi University of Finance and Economics, Nanchang 330013, China

Received 19 November 2012; Revised 11 January 2013; Accepted 23 January 2013

Academic Editor: Micah Osilike

Copyright © 2013 Zhilong Li and Shujun Jiang. 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.

#### Abstract

We presented some maximal and minimal fixed point theorems of set-valued monotone mappings with respect to a partial order introduced by a vector functional in cone metric spaces. In addition, we proved not only the existence of maximal and minimal fixed points but also the existence of the largest and the least fixed points of single-valued increasing mappings. It is worth mentioning that the results on single-valued mappings in this paper are still new even in the case of metric spaces and hence they indeed improve the recent results.

#### 1. Introductions

Throughout this paper, let be a complete cone metric space over a total minihedral and continuous cone of a normed vector space . A vector functional introduces a partial order on as follows: for all , where is the partial order on determined by the cone . Using the partial order introduced by the vector functional , Agarwal and Khamsi [1] extended Caristi's fixed point theorem [2] to the case of cone metric space and proved that all mapping (resp., ) such that has a fixed point provided that is lower semicontinuous and bounded below on . In [1, 3], the authors studied Kirk's problem [4, 5] in the case of cone metric spaces and obtained some generalized Caristi's fixed point theorems in cone metric spaces. For the researches on the generalization of primitive Caristi's result in the case of metric spaces, we refer the readers to [6–12]. For other references concerned with various fixed point results for one, two, three, or four self-mappings in the setting of metric, ordered metric, partial metric, Prešić-type mappings, cone metric, G-metric spaces, and so forth, we refer the readers to [13–24].

In particular, when , the partial order defined by (1) is reduced to the one defined by Caristi [2] who denote it by . Zhang [25, 26] and Li [27] considered the existence of fixed points of a mapping (resp., ) such that for some , and proved some maximal and minimal fixed point theorems at the expense that is monotone with respect to the partial order .

In this paper, we shall extend the results of Zhang [25, 26] and Li [27] to the case of cone metric spaces. Some maximal and minimal fixed point theorems of set-valued monotone mappings with respect to the partial order are established in cone metric spaces. In addition, not only the existence of maximal and minimal fixed points but also the existence of largest and least fixed points is proved for single-valued increasing mappings. It is worth mentioning that the results on single-valued mappings in this paper are still new even in the case of metric spaces and hence they indeed improve the results of Zhang [25] and Li [27].

#### 2. Preliminaries

First, we recall some definitions and properties of cones and cone metric spaces; these can be found in [1, 3, 17–24, 28–30].

Let be a topological vector space. A cone of is a nonempty closed subset of such that for all and all , and , where is the zero element of . A cone of determines a partial order on by for all . For all with , we write , where is the interior of .

Let be a cone of a topological vector space. is total order minihedral [29] if, for all upper bounded nonempty total ordered subset of , exists in . Equivalently, is total order minihedral if, for all lower bounded nonempty total ordered subset of , exists in .

Let be a normed vector space. A cone of is continuous [1, 3] if, for all subset of , exists implies , and exists implies . A cone of is normal [30] if there exists such that for all , implies , and the minimal is called a normal constant of . Equivalently, A cone of is normal provided that for all with for all , and imply for some .

*Remark 1. * A total order minihedral cone of a normed space is certainly normal see [29].

Let be a nonempty set and a cone of a topological vector space . A cone metric [28] is a mapping such that for all , if and only if , , .

A pair is called a cone metric space over if is a cone metric. Let be a cone metric space over a cone of a topological vector space . A sequence in converges [28] to (denote ) if, for all with , there exists a positive integer such that for all . A sequence in is Cauchy [28] if, for all with , there exists a positive integer such that for all . A cone metric space is complete [28] if all Cauchy sequence in converges to a point . A vector functional is sequentially continuous at some if for all such that . If, for all , is sequentially continuous at , then is sequentially continuous.

*Remark 2. *Let be a cone metric space over a normal cone of a normed vector space and a sequence in . Then if and only if , and is Cauchy if and only if see [28].

Let be a nonempty set and a partial order on . For all with , set , , and . Let be a nonempty subset of . A set-valued mapping is increasing on if, for all with and all , there exists such that . A set-valued mapping is quasi-increasing if, for all with and all , there exists such that . In particular, a single-valued mapping is increasing on if, for all with , .

A point is called a fixed point of a set-valued (resp., single-valued) mapping if (resp. ). Let be a nonempty subset of and let be a fixed point of a mapping . is called a maximal (resp. minimal) fixed point of in if for all fixed point of , (resp., ) implies . is called a largest (resp., least) fixed point of in if, for all fixed point of , (resp., ). A largest (resp., least) fixed point of in is naturally a maximal (resp., minimal) fixed point in , but the converse may not be true.

#### 3. Fixed Point Theorems

In this section, we always assume that the partial order is defined by (1).

Theorem 3. * Let be a complete partially ordered cone metric space over a total order minihedral and continuous cone of a normed vector space . Let be a sequentially continuous vector functional and let be a set-valued mapping such that is compact for all . Assume that there exists such that is bounded below on , is increasing on , and . Then has a maximal fixed point .*

*Proof. *Since is a total order minihedral cone and is a normed space, then is a normal cone by Remark 1. Set
Clearly, is nonempty since . Let be an increasing chain, where is a directed set. Then by (1) we have
for all with . This implies that is a decreasing chain in . Since is total order minihedral and is bounded below on , then exists in . Moreover, since is continuous. Therefore there exists an increasing sequence such that , that is,
By (1) we have for all such that ,
Let , by (6) we have and hence by the normality of . Moreover by Remark 2, is a Cauchy sequence in . Therefore by the completeness of , there exists some such that
Note that is an increasing sequence of , then by (1), we have for all ,
And, for all ,
where is an arbitrary integer. Let , then by (8) and the continuity of we have and , that is, and . Moreover the arbitrary property of forces that
for all . By , there exists such that
for all . Since is increasing on , then by (11) and , there exists such that
for all . This together with (12) implies that
for all . Note that is compact, and there exists a subsequence and such that
From (14) we have for all and hence by (1),
for all . Let , then by (8), (15), and the continuity of we have , that is, . This implies that and hence by .

For all , if there exists some such that , then is an upper bound of by (11). Otherwise, there exists some such that for all . Thus by (1) we have for all . Let , by (6) we have ; that is, . So we have and hence for all . Note that is a decreasing chain, then for all . Moreover for all since is an increasing chain. Hence has an upper bound in . By Zorn's lemma, has a maximal element ; that is, for all , implies . By , there exists such that . Moreover by the increasing property of on , there exists such that . Thus we have by . This indicates and hence . Finally the maximality of in forces that ; that is, is a maximal fixed point of in . The proof is complete.

Theorem 4. * Let be a complete partially ordered cone metric space over a total order minihedral and continuous cone of a normed vector space . Let be a sequentially continuous vector functional and be a set-valued mapping such that is compact for all . Assume that there exists such that is bounded above on , is quasi-increasing on , and . Then has a minimal fixed point .*

*Proof. *Set
Clearly, . By the same method used in the proof of Theorem 3, we can prove that has a minimal element which is also a minimal fixed point of in . The proof is complete.

*Remark 5. * If is a single-valued mapping, then is naturally compact for all . Hence both of Theorems 3 and 4 are still valid for a single-valued mapping.

In particular when is a single-valued mapping, we have the following further results.

Theorem 6. *Let be a complete partiallly ordered cone metric space over a total order minihedral and continuous cone of a normed vector space . Let be a sequentially continuous vector functional and let be a single-valued mapping. Assume that there exists such that is bounded below on , is increasing on , and . Then has a maximal fixed point and a least fixed point in such that .*

*Proof. *By Theorem 3 and Remark 5, has a maximal fixed point and hence . Set
Clearly, and hence . Define a relation on by
for all , then it is easy to check that is a partial order on .

Let be a decreasing chain of , where . From (1), (18), and (19) we find that is an increasing chain of , where
Set . Clearly, . Following the proof of Theorem 3, there exists and an increasing sequence satisfying (6) such that (8) and (11) are satisfied. From we have that for all and all . Thus the increasing property of on implies that, for all and all ,
and hence by (1),
for all and all . Let , then by (8) and the continuity of we have ; that is,
for all . This together with implies . Then in analogy to the proof of Theorem 3, by (6), (8), and we can prove has an upper bound . By (18), we have . Note that is an upper bound of in , then for all and hence by (19),
for all . This means is a lower bound of in . By Zorn's lemma, has a minimal element; denote it by . By (18) we have and
for all . By the increasing property of , we have and for all , which implies and . Moreover by (19), . The minimality of in forces that and so we have . Finally by (25), is a least fixed point of in and . The proof is complete.

Theorem 7. *Let be a complete partially ordered cone metric space over a total order minihedral and continuous cone of a normed vector space . Let be a sequentially continuous vector functional and let be a single-valued mapping. Assume that there exists such that is bounded above on , is increasing on , and . Then has a minimal fixed point and a largest fixed point in in such that .*

*Proof. *By Theorem 4 and Remark 5, has a minimal fixed point in . Set
Define a relation on as follows:
for all , then is a partial order on . In an analogy to the proof of Theorem 4, we can prove has a minimal element and is a largest fixed point of in . The proof is complete.

Theorem 8. *Let be a complete partially ordered cone metric space over a total order minihedral and continuous cone of a normed vector space . Let be a sequentially continuous mapping and let be a single-valued mapping. Assume that there exists with such that is increasing on and . Then has a largest fixed point and a least fixed point in such that .*

*Proof. *For all , by (1) we have ; that is, is bounded on . In an analogy to the proof of Theorem 3, we can prove has a maximal fixed point and a minimal fixed point in by investigating the existence of maximal element and minimal element, respectively, in and . Let
where is nonempty. Define on and on , respectively, by
then it is easy to check that and are partial orders on and , respectively. In an analogy to the proof of Theorem 4, we can prove has a minimal element and has a minimal element . By the definitions of and , we have ,
Moreover by (30) and the increasing property of on , for all , we have
and so by (31),
From (32) and (33) we have that , , and
which implies and by the minimality of and . This means that and . Hence is the least fixed point and is the largest fixed point of in by (31). The proof is complete.

*Remark 9. *Theorems 3–8 are extensions of [4, Theorems 3 and 4] and [2, Theorems 3, 4, and 5] to the case of cone metric spaces. It is worth mentioning that in Theorems 4, 7, and 8, not only the existence of maximal and minimal fixed points but also the existence of largest and least fixed points is obtained. Therefore Theorems 4, 7, and 8 are still new even in the case of metric space and hence they indeed improve [2, Theorems 3, 4, and 6].

Now we give an example to demonstrate Theorem 3.

*Example 10. *Let , with the norm for all and . Clearly, is a strongly minihedral and continuous cone of . Define a mapping by
then is a complete cone metric space over and hence is a complete cone metric subspace of . Define a vector functional by
for all . For arbitrary , let be a sequence such that , then and hence , that is, . This means that is sequentially continuous; in particular, is sequentially continuous. From (35) and (36) it is easy to check that
where is the partial order defined by (1). Let be a set-valued mapping such that
Fix , then by (37), and so . For , if and , then we have only two cases: and by (37). Fix and , for all , there exists such that . Fix and , for all , there exists such that . This means that is increasing on . Therefore all the conditions of Theorem 3 are satisfied and hence has a fixed point .

Fix ; for all , we have by (37); that is, (2) is not satisfied. Therefore the existence of fixed points could not be obtained by generalized Caristi's fixed point theorems in cone metric spaces of [1, 3].

#### 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), and Program for Excellent Youth Talents of JXUFE (201201). The authors are grateful to the editor and referees for their critical suggestions led to the improvement of the presentation of the work.

#### References

- R. P. Agarwal and M. A. Khamsi, “Extension of Caristi's fixed point theorem to vector valued metric spaces,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 74, no. 1, pp. 141–145, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Caristi, “Fixed point theorems for mappings satisfying inwardness conditions,”
*Transactions of the American Mathematical Society*, vol. 215, pp. 241–251, 1976. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. H. Cho, J. S. Bae, and K. S. Na, “Fixed point theorems for multivalued contractive mappings and multivalued Caristi type mappings in cone metric spaces,”
*Fixed Point Theory and Applications*, vol. 2012, article 133, 2012. View at Publisher · View at Google Scholar - W. A. Kirk and J. Caristi, “Mappings theorems in metric and Banach spaces,”
*Bulletin de l'Académie Polonaise des Sciences*, vol. 23, no. 8, pp. 891–894, 1975. View at Google Scholar · View at MathSciNet - W. A. Kirk, “Caristi's fixed point theorem and metric convexity,”
*Colloquium Mathematicum*, vol. 36, no. 1, pp. 81–86, 1976. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. R. Jachymski, “Caristi's fixed point theorem and selections of set-valued contractions,”
*Journal of Mathematical Analysis and Applications*, vol. 227, no. 1, pp. 55–67, 1998. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. S. Bae, “Fixed point theorems for weakly contractive multivalued maps,”
*Journal of Mathematical Analysis and Applications*, vol. 284, no. 2, pp. 690–697, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - T. Suzuki, “Generalized Caristi's fixed point theorems by Bae and others,”
*Journal of Mathematical Analysis and Applications*, vol. 302, no. 2, pp. 502–508, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Y. Q. Feng and S. Y. Liu, “Fixed point theorems for multi-valued contractive mappings and multi-valued Caristi type mappings,”
*Journal of Mathematical Analysis and Applications*, vol. 317, no. 1, pp. 103–112, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. A. Khamsi, “Remarks on Caristi's fixed point theorem,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 71, no. 1-2, pp. 227–231, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Z. Li, “Remarks on Caristi's fixed point theorem and Kirk's problem,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 73, no. 12, pp. 3751–3755, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Z. Li and S. Jiang, “Maximal and minimal point theorems and Caristi's fixed point theorem,”
*Fixed Point Theory and Applications*, vol. 2011, article 103, 2011. View at Publisher · View at Google Scholar · View at MathSciNet - I. Altun and V. Rakočević, “Ordered cone metric spaces and fixed point results,”
*Computers & Mathematics with Applications*, vol. 60, no. 5, pp. 1145–1151, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - H. K. Nashine, Z. Kadelburg, and S. Radenović, “Coincidence and fixed point results in ordered G-cone metric spaces,”
*Mathematical and Computer Modelling*, vol. 57, no. 3-4, pp. 701–709, 2013. View at Publisher · View at Google Scholar - D. R. Kurepa, “Tableaux ramifiés d'ensembles, Espaces pseudo-distanciés,”
*Comptes Rendus de l'Académie des Sciences*, vol. 198, pp. 1563–1565, 1934. View at Google Scholar - P. P. Zabrejko, “$K$-metric and $K$-normed linear spaces: survey,”
*Collectanea Mathematica*, vol. 48, no. 4–6, pp. 825–859, 1997. View at Google Scholar · View at MathSciNet - Z. Kadelburg, S. Radenović, and V. Rakočević, “A note on the equivalence of some metric and cone metric fixed point results,”
*Applied Mathematics Letters*, vol. 24, no. 3, pp. 370–374, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Janković, Z. Kadelburg, and S. Radenović, “On cone metric spaces: a survey,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 74, no. 7, pp. 2591–2601, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Z. Kadelburg, M. Pavlović, and S. Radenović, “Common fixed point theorems for ordered contractions and quasicontractions in ordered cone metric spaces,”
*Computers & Mathematics with Applications*, vol. 59, no. 9, pp. 3148–3159, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. A. Alghamdi, S. H. Alnafei, S. Radenović, and N. Shahzad, “Fixed point theorems for convex contraction mappings on cone metric spaces,”
*Mathematical and Computer Modelling*, vol. 54, no. 9-10, pp. 2020–2026, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - I. Arandjelović, Z. Kadelburg, and S. Radenović, “Boyd-Wong-type common fixed point results in cone metric spaces,”
*Applied Mathematics and Computation*, vol. 217, no. 17, pp. 7167–7171, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. H. Alnafei, S. Radenović, and N. Shahzad, “Fixed point theorems for mappings with convex diminishing diameters on cone metric spaces,”
*Applied Mathematics Letters*, vol. 24, no. 12, pp. 2162–2166, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - W. Shatanawi, V. Ć. Rajić, S. Radenović, and A. Al-Rawashdeh, “Mizoguchi-Takahashi-type theorems in tvs-cone metric spaces,”
*Fixed Point Theory and Applications*, vol. 2012, article 106, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - S. Radenović and Z. Kadelburg, “Quasi-contractions on symmetric and cone symmetric spaces,”
*Banach Journal of Mathematical Analysis*, vol. 5, no. 1, pp. 38–50, 2011. View at Google Scholar · View at MathSciNet - X. Zhang, “Fixed point theorems of monotone mappings and coupled fixed point theorems of mixed monotone mappings in ordered metric spaces,”
*Acta Mathematica Sinica*, vol. 44, no. 4, pp. 641–646, 2001 (Chinese). View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - X. Zhang, “Fixed point theorems of multivalued monotone mappings in ordered metric spaces,”
*Applied Mathematics Letters*, vol. 23, no. 3, pp. 235–240, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Z. Li, “Fixed point theorems in partially ordered complete metric spaces,”
*Mathematical and Computer Modelling*, vol. 54, no. 1-2, pp. 69–72, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - L. G. Huang and X. Zhang, “Cone metric spaces and fixed point theorems of contractive mappings,”
*Journal of Mathematical Analysis and Applications*, vol. 332, no. 2, pp. 1468–1476, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Y. H. Du, “Total order minihedral cones,”
*Journal of Systems Science and Mathematical Sciences*, vol. 8, no. 1, pp. 19–24, 1988. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - K. Deimling,
*Nonlinear Functional Analysis*, Springer, Berlin, Germany, 1985. View at MathSciNet