Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2013, Article ID 349305, 6 pages http://dx.doi.org/10.1155/2013/349305 Research Article On Fixed Point Theory of Monotone Mappings with Respect to a Partial Order Introduced by a Vector Functional in Cone Metric Spaces Zhilong Li1 and Shujun Jiang2 1 2 School of Statistics, Jiangxi University of Finance and Economics, Nanchang 330013, China Department of Mathematics, Jiangxi University of Finance and Economics, Nanchang 330013, China Correspondence should be addressed to Zhilong Li; lzl771218@sina.com Received 19 November 2012; Revised 11 January 2013; Accepted 23 January 2013 Academic Editor: Micah Osilike Copyright © 2013 Z. Li and S. 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. 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: π₯ βΊ π¦ ⇐⇒ π (π₯, π¦) βͺ― π (π₯) − π (π¦) , (1) 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., π : π → 2π ) such that ∀π₯ ∈ π, π₯ βΊ ππ₯ (resp., ∀π₯ ∈ π, ∃π¦ ∈ ππ₯, π₯ βΊ π¦) (2) 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, PresΜicΜ-type mappings, cone metric, G-metric spaces, and so forth, we refer the readers to [13–24]. In particular, when πΈ = R, the partial order defined by (1) is reduced to the one defined by Caristi [2] who denote it by βΊ1 . Zhang [25, 26] and Li [27] considered the existence of fixed points of a mapping π : π → π (resp., π : π → 2π ) such that π₯0 βΊ1 ππ₯0 (resp., ∃π¦ ∈ ππ₯0 , π₯0 βΊ1 π¦) , (3) for some π₯0 ∈ π, and proved some maximal and minimal fixed point theorems at the expense that π is monotone with respect to the partial order βΊ1 . 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 2 Abstract and Applied Analysis 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 π, π ≥ 0, and π ∩ (−π) = {π}, where π is the zero element of πΈ. A cone π of πΈ determines a partial order βͺ― on πΈ by π₯ βͺ― π¦ ⇔ π¦ − π₯ ∈ π for all π₯, π¦ ∈ π. For all π₯, π¦ ∈ πΈ with π¦ − π₯ ∈ int π, we write π₯ βͺ π¦, where int π 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 πΈ, sup π΄ exists in πΈ. Equivalently, π is total order minihedral if, for all lower bounded nonempty total ordered subset π΄ of πΈ, inf π΄ exists in πΈ. Let πΈ be a normed vector space. A cone π of πΈ is continuous [1, 3] if, for all subset π΄ of πΈ, inf π΄ exists implies inf π₯∈π΄βπ₯ − inf π΄β = 0, and sup π΄ exists implies supπ₯∈π΄βπ₯ − sup π΄β = 0. A cone π of πΈ is normal [30] if there exists π > 0 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 π₯, π¦, π₯ ∈ π, (π1) π(π₯, π¦) = π if and only if π₯ = π¦, (π2) π(π₯, π¦) = π(π¦, π₯), π σ³¨ π₯ if and only if limπ → ∞ π(π₯π , π₯) = π, and (π, π). Then π₯π → {π₯π } is Cauchy if and only if limπ,π → ∞ π(π₯π , π₯π ) = π 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 π : π → 2π is increasing on π΄ if, for all π₯, π¦ ∈ π΄ with π₯ βΊ π¦ and all π’ ∈ ππ₯, there exists V ∈ ππ¦ such that π’ βΊ V. A set-valued mapping π : π → 2π is quasi-increasing if, for all π₯, π¦ ∈ π΄ with π₯ βΊ π¦ and all V ∈ ππ¦, there exists π’ ∈ ππ₯ such that π’ βΊ V. 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 π : π → 2π be a setvalued mapping such that ππ₯ is compact for all π₯ ∈ π. Assume that there exists π₯0 ∈ π such that π is bounded below on [π₯0 , +∞), π is increasing on [π₯0 , +∞), and ππ₯0 ∩[π₯0 , +∞) =ΜΈ 0. Then π has a maximal fixed point π₯∗ ∈ [π₯0 , +∞). Proof. Since π is a total order minihedral cone and πΈ is a normed space, then π is a normal cone by Remark 1. Set (π3) π(π₯, π¦) βͺ― π(π₯, π§) + π(π§, π¦). 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 π0 such that π(π₯π , π₯) βͺ π for all π ≥ π0 . A sequence {π₯π } in (π, π) is Cauchy [28] if, for all π ∈ π with π βͺ π, there exists a positive integer π0 such that π(π₯π , π₯π ) βͺ π for all π, π ≥ π0 . 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 π σ³¨ π₯. If, limπ → ∞ π(π₯π ) = π(π₯) for all {π₯π } ⊆ π such that π₯π → 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 π1 = {π₯ ∈ [π₯0 , +∞) : ππ₯ ∩ [π₯, +∞) =ΜΈ 0} . (4) Clearly, π1 is nonempty since π₯0 ∈ π1 . Let {π₯πΌ }πΌ∈Γ ⊆ π1 be an increasing chain, where Γ is a directed set. Then by (1) we have π (π₯πΌ , π₯π½ ) βͺ― π (π₯πΌ ) − π (π₯π½ ) , (5) for all πΌ, π½ ∈ Γ with πΌ βͺ― π½. This implies that {π(π₯πΌ )} is a decreasing chain in πΈ. Since π is total order minihedral and π is bounded below on [π₯0 , +∞), then inf πΌ∈Γ π(π₯πΌ ) exists in πΈ. Moreover, inf πΌ∈Γ βπ(π₯πΌ ) − inf πΌ∈Γ π(π₯πΌ )β = 0 since π is continuous. Therefore there exists an increasing sequence {π₯πΌπ } ⊆ {π₯πΌ } such that limπ → ∞ βπ(π₯πΌπ ) − inf πΌ∈Γ π(π₯πΌ )β = 0, that is, lim π (π₯πΌπ ) = inf π (π₯πΌ ) . π→∞ πΌ∈Γ (6) Abstract and Applied Analysis 3 By (1) we have for all π ∈ N such that π ≥ π, π (π₯πΌπ , π₯πΌπ ) βͺ― π (π₯πΌπ ) − π (π₯πΌπ ) . (7) Let π → ∞, by (6) we have limπ,π → ∞ [π(π₯πΌπ ) − π(π₯πΌπ )] = π and hence limπ,π → ∞ π(π₯πΌπ , π₯πΌπ ) = π by the normality of π. Moreover by Remark 2, {π₯πΌπ } is a Cauchy sequence in π. Therefore by the completeness of π, there exists some π₯ ∈ π such that π π₯πΌπ σ³¨σ³¨σ³¨σ³¨→ π₯. (8) Note that {π₯πΌπ } is an increasing sequence of π1 , then by (1), we have for all π, π (π₯0 , π₯πΌπ ) βͺ― π (π₯0 ) − π (π₯πΌπ ) , (9) And, for all π ≥ π0 , π (π₯πΌπ , π₯πΌπ ) βͺ― π (π₯πΌπ ) − π (π₯πΌπ ) , 0 0 (10) where π0 is an arbitrary integer. Let π → ∞, then by (8) and the continuity of π we have π(π₯0 , π₯) βͺ― π(π₯0 ) − π(π₯) and π(π₯πΌπ , π₯) βͺ― π(π₯πΌπ )−π(π₯), that is, π₯ ∈ [π₯0 , +∞) and π₯πΌπ βΊ π₯. 0 0 0 Moreover the arbitrary property of π0 forces that π₯πΌπ βΊ π₯, (11) for all π. By π₯πΌπ ∈ π1 , there exists π¦π ∈ ππ₯πΌπ such that π₯πΌπ βΊ π¦π , (12) for all π. Since π is increasing on [π₯0 , +∞), then by (11) and π₯ ∈ [π₯0 , +∞), there exists π§π ∈ ππ₯ such that π¦π βΊ π§π , (13) for all π. This together with (12) implies that π₯πΌπ βΊ π§π , (14) for all π. Note that ππ₯ is compact, and there exists a subsequence {π§ππ } ⊆ {π§π } and π§ ∈ ππ₯ such that π§ππ σ³¨→ π§. (15) From (14) we have π₯πΌπ βΊ π§ππ for all ππ and hence by (1), π π (π₯πΌπ , π§ππ ) βͺ― π (π₯πΌπ ) − π (π§ππ ) , π π (16) for all ππ . Let ππ → ∞, then by (8), (15), and the continuity of π we have π(π₯, π§) βͺ― π(π₯) − π(π§), that is, π₯ βΊ π§. This implies that ππ₯ ∩ [π₯, +∞) =ΜΈ 0 and hence π₯ ∈ π1 by π₯ ∈ [π₯0 , +∞). For all πΌ ∈ Γ, if there exists some π0 such that π₯πΌ βΊ π₯πΌπ , 0 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 inf πΌ∈Γ π(π₯πΌ ) − π(π₯π½ ) ∈ π; that is, π(π₯π½ ) βͺ― inf πΌ∈Γ π(π₯πΌ ). So we have π(π₯π½ ) = inf πΌ∈Γ π(π₯πΌ ) 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 π1 . By Zorn’s lemma, (π1 , βΊ) has a maximal element π₯∗ ; that is, for all π₯ ∈ π1 , π₯∗ βΊ π₯ implies π₯ = π₯∗ . By π₯∗ ∈ π1 , there exists π¦∗ ∈ ππ₯∗ such that π₯∗ βΊ π¦∗ . Moreover by the increasing property of π on [π₯0 , +∞), there exists π§∗ ∈ ππ¦∗ such that π¦∗ βΊ π§∗ . Thus we have π₯∗ βΊ π§∗ by π₯∗ βΊ π¦∗ . This indicates π§∗ ∈ ππ₯∗ ∩ [π₯∗ , +∞) and hence π§∗ ∈ π1 . Finally the maximality of π₯∗ in π1 forces that π₯∗ = π§∗ ∈ ππ₯∗ ; that is, π₯∗ is a maximal fixed point of π in [π₯0 , +∞). 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 π : π → 2π be a set-valued mapping such that ππ₯ is compact for all π₯ ∈ π. Assume that there exists π¦0 ∈ π such that π is bounded above on (−∞, π¦0 ], π is quasi-increasing on (−∞, π¦0 ], and ππ¦0 ∩ (−∞, π¦0 ] =ΜΈ 0. Then π has a minimal fixed point π₯∗ ∈ (−∞, π¦0 ]. Proof. Set π2 = {π₯ ∈ (−∞, π¦0 ] : ππ₯ ∩ (−∞, π₯] =ΜΈ 0} . (17) Clearly, π2 =ΜΈ 0. By the same method used in the proof of Theorem 3, we can prove that (π2 , βΊ) has a minimal element π₯∗ which is also a minimal fixed point of π in (−∞, π¦0 ]. 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 singlevalued mapping. Assume that there exists π₯0 ∈ π such that π is bounded below on [π₯0 , +∞), π is increasing on [π₯0 , +∞), and π₯0 βΊ ππ₯0 . Then π has a maximal fixed point π₯∗ and a least fixed point π₯∗ in [π₯0 , +∞) such that π₯∗ βΊ π₯∗ . Proof. By Theorem 3 and Remark 5, π has a maximal fixed point π₯∗ ∈ [π₯0 , +∞) and hence πΉ = {π₯ ∈ [π₯0 , +∞) : π₯ = ππ₯} =ΜΈ 0. Set π = {πΌ = [π₯, +∞) : π₯ ∈ [π₯0 , +∞) , π₯ βΊ ππ₯, πΉ ⊆ πΌ} . (18) Clearly, [π₯0 , +∞) ∈ π and hence π =ΜΈ 0. Define a relation β on π by πΌ1 β πΌ2 ⇐⇒ πΌ1 ⊆ πΌ2 , (19) for all πΌ1 , πΌ2 ∈ π, then it is easy to check that β is a partial order on π. 4 Abstract and Applied Analysis Let {πΌπΌ }πΌ∈Γ be a decreasing chain of π, where πΌπΌ = [π₯πΌ , +∞). From (1), (18), and (19) we find that {π₯πΌ }πΌ∈Γ is an increasing chain of π, where π = {π₯ ∈ [π₯0 , +∞) : π₯ βΊ ππ₯, πΉ ⊆ [π₯, +∞)} . (20) Set π1 = {π₯ ∈ [π₯0 , +∞) : π₯ βΊ ππ₯}. Clearly, π ⊆ π1 . Following the proof of Theorem 3, there exists π₯ ∈ π1 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 [π₯0 , +∞) implies that, for all π₯ ∈ πΉ and all π, π₯πΌπ βΊ ππ₯πΌπ βΊ ππ₯ = π₯, (21) π (π₯πΌπ , π₯) βͺ― π (π₯πΌπ ) − π (π₯) , (22) and hence by (1), for all π₯ ∈ πΉ and all π. Let π → ∞, then by (8) and the continuity of π we have π(π₯, π₯) βͺ― π(π₯) − π(π₯); that is, π₯ βΊ π₯, (23) for all π₯ ∈ πΉ. This together with π₯ ∈ π1 implies π₯ ∈ π. Then in analogy to the proof of Theorem 3, by (6), (8), and π₯ ∈ π Μ ∈ π. By (18), we we can prove {π₯πΌ }πΌ∈Γ has an upper bound π₯ Μ is an upper bound of {π₯πΌ }πΌ∈Γ have [Μ π₯, +∞) ∈ π. Note that π₯ in π, then [Μ π₯, +∞) ⊆ πΌπΌ for all πΌ ∈ Γ and hence by (19), π₯, +∞) β πΌπΌ , [Μ (24) 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 π₯0 βΊ π₯∗ βΊ ππ₯∗ and π₯∗ βΊ π₯, (25) for all π₯ ∈ πΉ. By the increasing property of π, we have π₯0 βΊ π₯∗ βΊ ππ₯∗ βΊ π(ππ₯∗ ) 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 [π₯0 , +∞) 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 singlevalued mapping. Assume that there exists π₯0 ∈ π such that π is bounded above on (−∞, π¦0 ], π is increasing on (−∞, π¦0 ], and ππ¦0 βΊ π¦0 . Then π has a minimal fixed point π₯∗ and a largest fixed point in π₯∗ in (−∞, π₯0 ] such that π₯∗ βΊ π₯∗ . Proof. By Theorem 4 and Remark 5, π has a minimal fixed point in π₯∗ ∈ (−∞, π¦0 ]. Set π = {π½ = (−∞, π₯] : π₯ ∈ (−∞, π¦0 ] , ππ₯ βΊ π₯, πΉ ⊆ π½} . (26) Define a relation βπ on π as follows: π½1 βπ π½2 ⇐⇒ π½1 ⊆ π½2 , (27) for all π½1 , π½2 ∈ π, 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 (−∞, π¦0 ]. 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 π₯0 , π¦0 ∈ π with π₯0 βΊ π¦0 such that π is increasing on [π₯0 , π¦0 ] and π₯0 βΊ ππ₯0 , ππ¦0 βΊ π¦0 . Then π has a largest fixed point π₯∗ and a least fixed point π₯∗ in [π₯0 , π¦0 ] such that π₯∗ βΊ π₯∗ . Proof. For all π₯ ∈ [π₯0 , π¦0 ], by (1) we have π(π¦0 ) βͺ― π(π₯) βΊ π(π₯0 ); that is, π is bounded on [π₯0 , π¦0 ]. In an analogy to the proof of Theorem 3, we can prove π has a maximal fixed point and a minimal fixed point in [π₯0 , π¦0 ] by investigating the existence of maximal element and minimal element, respectively, in π·1 = {π₯ ∈ [π₯0 , π¦0 ] : π₯ βΊ ππ₯} and π·2 = {π₯ ∈ [π₯0 , π¦0 ] : ππ₯ βΊ π₯}. Let π1 = {πΌ = [π₯, π¦0 ] : π₯ ∈ [π₯0 , π¦0 ] , π₯ βΊ ππ₯, πΊ ⊆ πΌ} , π2 = {π½ = [π₯0 , π₯] : π₯ ∈ [π₯0 , π¦0 ] , ππ₯ βΊ π₯, πΊ ⊆ π½} , (28) where πΊ = {π₯ ∈ [π₯0 , π¦0 ] : ππ₯ = π₯} is nonempty. Define β1 on π1 and β2 on π2 , respectively, by πΌ1 β1 πΌ2 ⇐⇒ πΌ1 ⊆ πΌ2 , ∀πΌ1 , πΌ2 ∈ π1 , π½1 β2 π½2 ⇐⇒ π½1 ⊆ π½2 , ∀π½1 , π½2 ∈ π2 , (29) then it is easy to check that β1 and β2 are partial orders on π1 and π2 , respectively. In an analogy to the proof of Theorem 4, we can prove (π1 , β1 ) has a minimal element πΌ∗ = [π₯∗ , π¦0 ] and (π2 , β2 ) has a minimal element π½∗ = [π₯0 , π¦∗ ]. By the definitions of π1 and π2 , we have π₯∗ , π¦∗ ∈ [π₯0 , π¦0 ], π₯∗ βΊ π₯ βΊ π¦∗ , (30) π₯∗ βΊ ππ₯∗ βΊ ππ¦∗ βΊ π¦∗ . (31) Moreover by (30) and the increasing property of π on [π₯0 , π¦0 ], for all π₯ ∈ πΊ, we have π₯0 βΊ ππ₯0 βΊ ππ₯∗ βΊ π₯ βΊ ππ¦∗ βΊ ππ¦0 βΊ π¦0 , (32) and so by (31), π₯∗ βΊ ππ₯∗ βΊ π (ππ₯∗ ) βΊ π (ππ¦∗ ) βΊ ππ¦∗ βΊ π¦∗ . (33) ∗ From (32) and (33) we have that [ππ₯∗ , π¦0 ] ∈ π1 , [π₯0 , ππ¦ ] ∈ π2 , and [ππ₯∗ , π¦0 ] β1 πΌ∗ , [π₯0 , ππ¦∗ ] β2 π½∗ , ∗ (34) which implies [ππ₯∗ , π¦0 ] = πΌ∗ and [π₯0 , ππ¦ ] = π½∗ by the minimality of πΌ∗ and π½∗ . This means that ππ₯∗ = π₯∗ and ππ¦∗ = π¦∗ . Hence π₯∗ is the least fixed point and π¦∗ is the largest fixed point of π in [π₯0 , π¦0 ] by (31). The proof is complete. Abstract and Applied Analysis 5 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]. 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. Now we give an example to demonstrate Theorem 3. Example 10. Let π = {1, 2, 3, 4}, πΈ = R2 with the norm βπ’β = √π’12 + π’22 for all π’ = (π’1 , π’2 ) ∈ R2 and π = R2+ . Clearly, π is a strongly minihedral and continuous cone of πΈ. Define a mapping π : R × R → π by σ΅¨1/2 σ΅¨ σ΅¨ σ΅¨ π (π₯, π¦) = (σ΅¨σ΅¨σ΅¨π₯ − π¦σ΅¨σ΅¨σ΅¨ , σ΅¨σ΅¨σ΅¨π₯ − π¦σ΅¨σ΅¨σ΅¨ ) , ∀π₯, π¦ ∈ R, (35) then (R, π) is a complete cone metric space over π and hence (π, π) is a complete cone metric subspace of (R, π). Define a vector functional π : [1, +∞) → πΈ by 6 3√2 + 2√3 π (π₯) = ( , ), √π₯ π₯ (36) for all π₯ ∈ [1, +∞). For arbitrary π₯ ∈ [1, +∞), let {π₯π } ⊆ |⋅| π [1, +∞) be a sequence such that π₯π → σ³¨ π₯, then π₯π σ³¨→ π₯ and hence βπ(π₯π ) − π(π₯)β → 0, that is, limπ → ∞ π(π₯π ) = π(π₯). This means that π : [1, +∞) → πΈ is sequentially continuous; in particular, π : π → πΈ is sequentially continuous. From (35) and (36) it is easy to check that 1 βΊ 1, 1 βΊ 2, 2 βΊ 2, 3 βΊ 3, 1 βΊ 3, 2 βΊ 3, 3 β 4, 1 βΊ 4, 2 βΊ 4, 4 βΊ 4, (37) 4 β 3, where βΊ is the partial order defined by (1). Let π : π → 2π be a set-valued mapping such that π1 = {3, 4} , π3 = {1, 2, 3, 4} , π2 = {1, 3} , π4 = {1, 2, 3} . (38) Fix π₯0 = 2, then [π₯0 , +∞) = {π₯ ∈ π : 2 βΊ π₯} = {2, 3, 4} by (37), and so ππ₯0 ∩ [π₯0 , +∞) = {3} =ΜΈ 0. For π₯, π¦ ∈ [π₯0 , +∞), if π₯ βΊ π¦ and π₯ =ΜΈ π¦, then we have only two cases: π₯ = 2 βΊ 3 = π¦ and π₯ = 2 βΊ 4 = π¦ by (37). Fix π₯ = 2 and π¦ = 3, for all π’ ∈ ππ₯, there exists V = 3, 4 ∈ ππ¦ such that π’ βΊ V. Fix π₯ = 2 and π¦ = 4, for all π’ ∈ ππ₯, there exists V = 3 ∈ ππ¦ such that π’ βΊ V. This means that π : π → 2π is increasing on [π₯0 , +∞). Therefore all the conditions of Theorem 3 are satisfied and hence π has a fixed point 3 ∈ [π₯0 , +∞). Fix π₯ = 4; for all π¦ ∈ π4, we have π₯ = 4 β π¦ 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]. References [1] 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. [2] J. Caristi, “Fixed point theorems for mappings satisfying inwardness conditions,” Transactions of the American Mathematical Society, vol. 215, pp. 241–251, 1976. [3] 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. [4] W. A. Kirk and J. Caristi, “Mappings theorems in metric and Banach spaces,” Bulletin de l’AcadeΜmie Polonaise des Sciences, vol. 23, no. 8, pp. 891–894, 1975. [5] W. A. Kirk, “Caristi’s fixed point theorem and metric convexity,” Colloquium Mathematicum, vol. 36, no. 1, pp. 81–86, 1976. [6] 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. [7] 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. [8] 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. [9] 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. [10] M. A. Khamsi, “Remarks on Caristi’s fixed point theorem,” Nonlinear Analysis: Theory, Methods & Applications, vol. 71, no. 1-2, pp. 227–231, 2009. [11] 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. [12] 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. [13] I. Altun and V. RakocΜevicΜ, “Ordered cone metric spaces and fixed point results,” Computers & Mathematics with Applications, vol. 60, no. 5, pp. 1145–1151, 2010. [14] H. K. Nashine, Z. Kadelburg, and S. RadenovicΜ, “Coincidence and fixed point results in ordered G-cone metric spaces,” Mathematical and Computer Modelling, vol. 57, no. 3-4, pp. 701– 709, 2013. [15] D. R. Kurepa, “Tableaux ramifieΜs d’ensembles, Espaces pseudodistancieΜs,” Comptes Rendus de l’AcadeΜmie des Sciences, vol. 198, pp. 1563–1565, 1934. 6 [16] P. P. Zabrejko, “πΎ-metric and πΎ-normed linear spaces: survey,” Collectanea Mathematica, vol. 48, no. 4–6, pp. 825–859, 1997. [17] Z. Kadelburg, S. RadenovicΜ, and V. RakocΜevicΜ, “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. [18] S. JankovicΜ, Z. Kadelburg, and S. RadenovicΜ, “On cone metric spaces: a survey,” Nonlinear Analysis: Theory, Methods & Applications, vol. 74, no. 7, pp. 2591–2601, 2011. [19] Z. Kadelburg, M. PavlovicΜ, and S. RadenovicΜ, “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. [20] M. A. Alghamdi, S. H. Alnafei, S. RadenovicΜ, 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. [21] I. ArandjelovicΜ, Z. Kadelburg, and S. RadenovicΜ, “Boyd-Wongtype common fixed point results in cone metric spaces,” Applied Mathematics and Computation, vol. 217, no. 17, pp. 7167–7171, 2011. [22] S. H. Alnafei, S. RadenovicΜ, 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. [23] W. Shatanawi, V. CΜ. RajicΜ, S. RadenovicΜ, and A. Al-Rawashdeh, “Mizoguchi-Takahashi-type theorems in tvs-cone metric spaces,” Fixed Point Theory and Applications, vol. 2012, article 106, 2012. [24] S. RadenovicΜ and Z. Kadelburg, “Quasi-contractions on symmetric and cone symmetric spaces,” Banach Journal of Mathematical Analysis, vol. 5, no. 1, pp. 38–50, 2011. [25] 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). [26] X. Zhang, “Fixed point theorems of multivalued monotone mappings in ordered metric spaces,” Applied Mathematics Letters, vol. 23, no. 3, pp. 235–240, 2010. [27] Z. Li, “Fixed point theorems in partially ordered complete metric spaces,” Mathematical and Computer Modelling, vol. 54, no. 1-2, pp. 69–72, 2011. [28] 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. [29] Y. H. Du, “Total order minihedral cones,” Journal of Systems Science and Mathematical Sciences, vol. 8, no. 1, pp. 19–24, 1988. [30] K. Deimling, Nonlinear Functional Analysis, Springer, Berlin, Germany, 1985. Abstract and Applied Analysis Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Mathematical Problems in Engineering Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Algebra Hindawi Publishing Corporation http://www.hindawi.com Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Journal of Hindawi Publishing Corporation http://www.hindawi.com Stochastic Analysis Abstract and Applied Analysis Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com International Journal of Mathematics Volume 2014 Volume 2014 Discrete Dynamics in Nature and Society Volume 2014 Volume 2014 Journal of Journal of Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Applied Mathematics Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Optimization Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014