We apply the extensions of the Abian-Brown fixed point theorem for set-valued mappings on chain-complete posets to examine the existence of generalized and extended saddle points of bifunctions defined on posets. We also study the generalized and extended equilibrium problems and the solvability of ordered variational inequalities on posets, which are equipped with a partial order relation and have neither an algebraic structure nor a topological structure.
1. Introduction
Let X be a topological vector space and let C be a subset of X. Let F be a real valued function defined on C×C. A point (x*,y*)∈C×C is called a saddle point of the function F if it satisfies
(SP)F(x,y*)≤F(x*,y*)≤F(x*,y),∀x∈y∈C.
A point (x′,y′)∈C×C is called an equilibrium of the function F if it satisfies
(EP)F(x,y′)≥F(x′,y′),∀x∈C.
In optimization theory, the standard tools for dealing with the existence of saddle points and equilibria of a bifunction F are fixed point theorems with respect to set-valued mappings, Fan-KKM theorem, variational inequalities, or others, where the considered bifunction F must hold a certain type of continuity properties and the underlying subset C must satisfy some geometrical conditions, such as convexity. The problems (SP) and (EP) have been extensively studied by many authors in many fields, such as variational inequality theory, complementarity problem theory, fixed point theory, convex analysis with applications to economic theory, and game theory (see [1–6]).
The concepts defined in (SP) and (EP) have been generalized by Giannessi [7], in 1980, to the cases that the income spaces of mappings are finite-dimensional vector spaces and the outcome spaces are ordered vector spaces that are posets equipped with both topological structure and algebraic structure. The extended problems are called vector optimization problems and vector variational inequalities. Since the underlying spaces in these problems are still equipped with both topological structure and algebraic structure, then they may also be solved by the standard techniques as in solving problems (SP) and (EP).
In economic theory and social sciences, there are some examples that both of the income and outcome spaces of mappings are posets, which are equipped with neither topological structure nor algebraic structure. Then, in these circumstances, the optimization problems will be order-optimization problems, which are not normal optimization problems (with respect to real valued functions) and they cannot be solved by using the standard methods. The saddle points and equilibria of bifunction must be generalized from real valued functions to functions with values in ordered sets. In this case, more fixed point theorems on ordered sets must be acquired and some new analysis techniques dealing with mappings on ordered sets must be developed.
In [8], several extensions of the Abian-Brown fixed point theorem provided in [9] on posets are obtained, which are extensions from single valued mappings to set-valued mappings. Moreover, the author examined some nonmonetized noncooperative games where both the collections of the strategies and the ranges of the utilities for the players are posets and proved some existence theorems of extended and generalized Nash equilibria for nonmonetized, noncooperative games on chain-complete posets by applying the extensions.
On the other hand, in [10], Xie et al. generalized the extensions of the Abian-Brown fixed point theorem provided in [8] from chain-complete posets to chain-complete preordered sets for set-valued mappings. By using these generalizations and by applying the order-increasing upward property of set-valued mappings, they also prove several existence theorems of the extended and generalized Nash equilibria of nonmonetized noncooperative games on chain-complete preordered sets.
References [8, 10] mainly considered the existence of the fixed point of set-valued mappings in chain-complete posets and chain-complete preordered sets, respectively. The applications of these fixed point theorems were considered less, although [8, 10] gave some examples of nonmonetized noncooperative games on posets and preordered sets. To remedy the defect, we apply the extensions of the Abian-Brown fixed point theorem provided in [9] on posets to examine the existence of generalized and extended saddle points of bifunctions on posets. We also study the solvability of generalized and extended equilibrium problems of bifunctions and ordered variational inequalities on posets, which have neither an algebraic structure nor a topological structure.
2. Several Extensions of the Abian-Brown Fixed Point Theorem on Posets
The order-increasing property of mappings is important for the considered mappings to have a fixed point. In this section, we recall the notations of the order-increasing property of mappings, which are used in [2, 9, 11, 12].
Let (X,≽X), (U,≽U) be posets and let F:X→2U∖{⌀} be a set-valued mapping. F is said to be isotone or to be order-increasing upward, if x≼Xy in X; then, for any z∈F(x), there is a w∈F(y) such that z≼Uw. F is said to be order-increasing downward, if x≼Xy in X; then, for any w∈F(y), there is a z∈F(x) such that z≼Uw. If F is both order-increasing upward and order-increasing downward, then F is said to be order-increasing. As a special case, a single valued mapping F from a poset (X,≽X) to a poset (U,≽U) is said to be order-increasing whenever x≼Xy implies F(x)≼UF(y).
2.1. The Abian-Brown Fixed Point Theorem
Let (P,≽) be a chain-complete poset and let F: P→P be an order-increasing single valued mapping. If there is an x* in P with F(x*)≽x*, then F has a fixed point.
Similar to the well-known Kakutani contribution that extended the Brouwer fixed point theorem from single valued mappings to set-valued mappings in topological spaces, the main results of [8] extended the Abian-Brown fixed point theorem from single valued mappings to set-valued mappings in ordered sets, which are also the generalization of the Fujimoto-Tarski fixed point theorem from complete lattices to chain-complete posets. We recall the extensions obtained in [8] below.
Theorem 1.
Let (P,≽) be a chain-complete poset and let F:P→2P∖{⌀} be a set-valued mapping. If F satisfies the following three conditions,
F is order-increasing upward;
the set {z∈P:z≼u, for some u∈F(x)} is an inductively ordered set, for each x∈P;
there is a y in P with y≼u, for some u∈F(y),
then F has a fixed point; that is, there exists x*∈P such that x*∈F(x*).
Theorem 2.
Let (P,≽) be a chain-complete poset and let F:P→2P∖{⌀} be a set-valued mapping, which satisfies conditions (A1) and (A3) given in Theorem 1. If any one of the following properties holds,
(F(x),≽) is inductive with finite number of maximal elements, for every x∈P;
(F(x),≽) has a maximum element, for every x∈P;
(F(x),≽) is a chain-complete lattice, for each x∈P,
then F has a fixed point.
3. Generalized and Extended Saddle Points of Bifunctions on Posets
The generalized saddle points of bifunctions on Banach lattices were studied in [13]. In this section, we extend this concept to posets.
Definition 3.
Let (X,≽X) and (Y,≽Y) be posets. Let ≽X×Ybe the coordinate ordering relation on the Cartesian product X×Y induced by the partial orders ≽X and ≽Y. That is, for any (x1,y1) and (x2,y2)∈X×Y,
(1)(x1,y1)≽X×Y(x2,y2)iffx1≽Xx2,y1≽Yy2.
The proof of the following lemma is straight forward and is omitted.
Lemma 4.
Let (X,≽X) and (Y,≽Y) be posets. The coordinate ordering ≽X×Yon X×Y induced by the partial orders ≽X and ≽Ydefines a partial ordering relation on X×Y; and hence (X×Y,≽X×Y) is a poset. Furthermore, if (X,≽X) and (Y,≽Y)are both (conditionally) chain-complete (inductive, Dedekind complete) posets, then (X×Y,≽X×Y) is also a (conditionally) chain-complete (inductive, Dedekind complete) poset.
Definition 5.
Let (X,≽X), (Y,≽Y), and (U;≽U) be posets. Let C and D be nonempty subsets of X and Y, respectively. Let F:C×D→U be a mapping. A point (x*,y*)∈C×D is called a generalized saddle point of the mapping F if it satisfies
(GSP)F(x,y*)≼UF(x*,y*)≼UF(x*,y),∀x∈C,y∈D.
Definition 6.
Let (X,≽X), (Y,≽Y), and (U;≽U) be posets. Let C and D be nonempty subsets of X and Y, respectively. Let F:C×D→U be a mapping. F(x,y) is said to be
order-negative with respect to x, whenever for any x2≽Xx1 in C,F(x1,y)≼UF(x1,t) implies F(x2,y)≼UF(x2,t), for any y,t∈D;
order-positive with respect to y, whenever for any y2≽Yy1 in C,F(x,y1)≽UF(s,y1) implies F(x,y2)≽UF(s,y2), for any x,s∈C.
For a given mapping F:C×D→U, one defines mappings Υ:C→2D and Ψ:D→2C by
(2)Υ(x)={t∈D:F(x,t)=∧y∈DF(x,y)},foranyx∈C,Ψ(y)={s∈C:F(s,y)=∨x∈CF(x,y)},foranyy∈D.
We prove the following theorem for the existence of generalized saddle point.
Theorem 7.
Let (X,≽X), (Y,≽Y), and (U;≽U) be posets. Let C and D be nonempty chain-complete subsets of X and Y, respectively. Let F:C×D→U be a mapping. If F satisfies the following conditions,
F(x,y) is order-negative with respect to x∈C;
F(x,y) is order-positive with respect to y∈D;
for every fixed x∈C,(Υ(x),≽Y) is a nonempty inductive subset of D with finite number of maximal elements;
For every fixed y∈D,(Ψ(y),≽X) is a nonempty inductive subset of C with finite number of maximal elements;
There is an element (x′,y′)∈C×D with x′≼Xs, for some s∈Ψ(y′), and y′≼Yt, for some t∈Υ(x′),
then F has a generalized saddle point.
Proof.
From Lemma 4, (C×D,≽X×Y) is a chain-complete poset. Define T:C×D→2C×D∖{⌀} by
(3)T(x,y)=Ψ(y)×Υ(x),∀(x,y)∈C×D.
From conditions (3) and (4), T is well defined.
Next we show that T is order-increasing upward. To this end, we show that, for any (x1,y1) and (x2,y2)∈C×D, (x2,y2)≽X×Y(x1,y1) implies T(x1,y1)⊆T(x2,y2). For any given (s1,t1)∈T(x1,y1), we have s1∈Ψ(y1) and t1∈Υ(x1); that is,
(4)F(s1,y1)=∨x∈CF(x,y1),(5)F(x1,t1)=∧y∈DF(x1,y).
From (4), we have F(s1,y1)≽UF(x,y1), for all x∈C. Since y2≽Yy1, then, from condition (2) in this theorem that F(x,y) is order-positive with respect to y∈D, it implies F(s1,y2)≽UF(x,y2), for all x∈C.
That is, F(s1,y2)=∨x∈CF(x,y2). We obtain s1∈Ψ(y2). So
(6)Ψ(y1)⊆Ψ(y2).
From (5), similar to the proof of (6), for x2≽Xx1, we can show that
(7)Υ(x1)⊆Υ(x2).
Combining (6) and (7), we get
(8)Ψ(y1)×Υ(x1)⊆Ψ(y2)×Υ(x2).
That is, T(x1,y1)⊆T(x2,y2). It implies that T is order-increasing upward.
We claim that an element (p,q) is a maximal element of Ψ(y)×Υ(x), if and only if p is a maximal element of Ψ(y) and q is a maximal element of Υ(x). In fact, if p is a maximal element of Ψ(y) and q is a maximal element of Υ(x), then for any (s,t)∈Ψ(y)×Υ(x), we have p≽Xs or p⋈Xs and q≽Yt or q⋈Xt, which imply (p,q)≽X×Y(s,t) or (p,q)⋈X×Y(s,t). So (p,q) is a maximal element of Ψ(y)×Υ(x). On the other hand, if p is not a maximal element of Ψ(y) or q is not a maximal element of Υ(x), say, p is not a maximal element of Ψ(y), then there is s∈Ψ(y) with s≻Xp; that is, (s,q)≻X×Y(p,q). It implies that (p,q) cannot be a maximal element of Ψ(y)×Υ(x). Hence, from Lemma 4 and conditions (3) and (4) in this theorem, (T(x,y),≽X×Y) is an inductive poset with finite number of maximal elements.
From condition (5) of this theorem, it is clearly seen that the element (x′,y′)∈C×D with x′≼Xs, for some s∈Ψ(y′) and y′≼Yt and for some t∈Υ(x′), satisfies
(9)(s,t)∈Ψ(y′)×Υ(x′)=T(x′,y′),(x′,y′)≼X×Y(s,t).
Hence the mapping T from C×D to 2C×D∖{⌀} satisfies all conditions in Theorem 2 with respect to condition (A2′).So T has a fixed point; say (x*,y*)∈C×D; that is, (x*,y*)∈T(x*,y*). Then we have x*∈Ψ(y*) andy*∈Υ(x*). So
(10)F(x*,y*)=∨x∈CF(x,y*),F(x*,y*)=∧y∈DF(x*,y).
It is equivalent to
(11)F(x,y*)≼UF(x*,y*)≼UF(x*,y),∀x∈C,y∈D.
Definition 8.
Let (X,≽X),(Y,≽Y) and (U;≽U) be posets. Let C and D be nonempty subsets of X and Y, respectively. Let F:C×D→U be a mapping. A point (x*,y*)∈C×D is called an extended saddle point of the mapping F if it satisfies
(ESP)F(x,y*)⊁UF(x*,y*)⊁UF(x*,y),∀x∈C,y∈D.
Definition 9.
Let (X,≽X),(Y,≽Y) and (U;≽U) be posets. Let C and D be nonempty subsets of X and Y, respectively. Let F:C×D→U be a mapping. F(x,y) is said to be
order-nonnegative with respect to x, whenever for any x2≽Xx1 in C,F(x1,y)⊁UF(x1,t) implies F(x2,y)⊁UF(x2,t), for any y,t∈D;
order-nonpositive with respect to y, whenever for any y2≽Yy1 in C,F(x,y1)⊀UF(s,y1) implies F(x,y2)⊀UF(s,y2), for any x,s∈C.
For a given mapping F:C×D→U, define γ:C→2D and ζ:D→2C by
(12)γ(x)={t∈D:F(x,t)⊁UF(x,y),∀y∈D},foranyx∈C,ζ(y)={s∈C:F(s,y)⊀UF(x,y),∀x∈C},foranyy∈D.
Theorem 10.
Let (X,≽X),(Y,≽Y), and (U;≽U) be posets. Let C and D be nonempty chain-complete subsets of X and Y, respectively. Let F:C×D→U be a mapping. If F satisfies the following conditions,
F(x,y) is order-nonnegative with respect to x∈C;
F(x,y) is order-nonpositive with respect to y∈D;
for every fixed x∈C,(γ(x),≽Y) is a nonempty inductive subset of D with finite number of maximal elements;
for every fixed y∈D,(ζ(y),≽X) is a nonempty inductive subset of C with finite number of maximal elements;
there is an element (x′,y′)∈C×D with x′≼Xs, for some s∈ζ(y′) and y′≼Yt and for some t∈γ(x′),
then F has an extended addle point.
Proof.
Define T:C×D→2C×D∖{⌀} by
(13)T(x,y)=ζ(y)×γ(x),∀(x,y)∈C×D.
From conditions (3) and (4) in this theorem, T is well defined. Next we show that T is order-increasing upward. To this end, we show that, for any (x1,y1),(x2,y2)∈C×D,(x2,y2)≽X×Y(x1,y1) implies T(x1,y1)⊆T(x2,y2). For any given (s1,t1)∈T(x1,y1), we have s1∈ζ(y1) and t1∈γ(x1); that is,
(14)F(s1,y1)⊀UF(x,y1),∀x∈C,(15)F(x1,t1)⊁UF(x1,y),∀y∈D.
Since y2≽Yy1, then, from condition (2) in this theorem that F(x,y) is order-nonpositive with respect to y∈D. (14) implies F(s1,y2)⊀UF(x,y2), for all x∈C. We obtain s1∈ζ(y2). So
(16)ζ(y1)⊆ζ(y2).
Similar to (16), for x2≽Xx1, from condition (1) in this theorem, we can show that
(17)γ(x1)⊆γ(x2).
Combining (16) and (17), we get ζ(y1)×γ(x1)⊆ζ(y2)×γ(x2). That is, T(x1,y1)⊆T(x2,y2). It implies that T is order-increasing upward.
From the proof of Theorem 7 and conditions (3) and (4) in this theorem, we have that, for any (x,y)∈C×D,(T(x,y),≽C) is an inductive poset with finite number of maximal elements. From condition (5) in this theorem, it is clearly seen that the element(x′,y′)∈C×D with x′≼s, for some s∈ζ(y′) and y′≼t and for some t∈γ(x′), satisfies (s,t)∈ζ(y′)×γ(x′)=T(x′,y′) and (x′,y′)≼X×Y(s,t). Hence the mapping T satisfies all conditions in Theorem 2 with respect to condition (A2′). So T has a fixed point; say (x*,y*)∈C×D; that is, (x*,y*)∈T(x*,y*). Then we have x*∈ζ(y*)andy*∈γ(x*). So
(18)F(x*,y*)⊀UF(x,y*),∀x∈C,F(x*,y*)⊁UF(x*,y),∀y∈D.
That is
(19)F(x,y*)⊁UF(x*,y*)⊁UF(x*,y),∀x∈C,y∈D.
4. Generalized and Extended Equilibrium Problems of Bifunctions on PosetsDefinition 11.
Let (X,≽X) and (U;≽U) be posets. Let C be a nonempty subset of X. Let F:C×C→U be a mapping. A point x*∈C is called a generalized equilibrium of the mapping F if it satisfies
(GEP)F(x*,x)≽UF(x*,x*),∀x∈C.
For a given mapping F:C×C→U, define Γ:C→2C by
(20)Γ(x)={t∈C:F(x,t)=∧y∈CF(x,y)},foranyx∈C.
We prove the following theorem for the existence of generalized equilibrium. The proof is similar to the proofs of Theorems 7 and 10.
Theorem 12.
Let (X,≽X) and (U;≽U) be posets. Let C be a nonempty chain-complete subset of X. Let F:C×C→U be a mapping. If F satisfies the following conditions,
F(x,y) is order-negative with respect to x∈C;
for every fixed x∈C,(Γ(x),≽X) is a nonempty inductive subset of C with finite number of maximal elements;
there is an element x′∈C with x′≼Xs, for some s∈Γ(x′),
then F has a generalized equilibrium.
Proof.
Taking the mapping Γ defined by (20),
(21)Γ(x)={t∈C:F(x,t)=∧y∈CF(x,y)},foranyx∈C.
From condition (2) in this theorem, Γ:C→2C∖{⌀} is well defined.
Next we show that Γ is order-increasing upward. To this end, we show that, for any x1,x2∈C,x2≽Xx1 implies Γ(x1)⊆Γ(x2). For any given t1∈Γ(x1), we have
(22)F(x1,t1)=∧y∈DF(x1,y).
That is, F(x1,t1)≼UF(x1,y), for all y∈D. Since x2≽Xx1, then, from condition (1) in this theorem that F(x,y) is order-negative with respect to x∈C, it implies F(x2,t1)≼UF(x2,y), for all y∈D. That is, F(x2,t1)=∧y∈DF(x2,y). We obtain t1∈Γ(x2). Hence we have Γ(x1)⊆Γ(x2). It implies that Γ is order-increasing upward. From condition (3) in this theorem, it is clearly seen that the element x′∈C with x′≼s, for some s∈Γ(x′), satisfies s∈Γ(x′) and x′≼Xs. Hence the mapping Γ from C to 2C∖{⌀} satisfies all conditions in Theorem 2 with respect to condition (A2′). So Γ has a fixed point; say x*∈C; that is, x*∈Γ(x*). Then we have F(x*,x*)=∧y∈CF(x*,y), which is equivalent to
(23)F(x*,x)≽UF(x*,x*),∀x∈C.
Definition 13.
Let (X,≽X) and (U;≽U) be posets. Let C be a nonempty subset of X. Let F:C×C→U be a mapping. A point x*∈C is called an extended equilibrium of the mapping F if it satisfies
(EEP)F(x*,x)⊀UF(x*,x*),∀x∈C.
It is clear to see that any generalized equilibrium of a mapping is an extended equilibrium of this mapping. For a given mapping F:C×C→U,define φ:C→2C by
(24)φ(x)={t∈C:F(x,y)⊀UF(x,t),∀y∈C},foranyx∈C.
Theorem 14.
Let (X,≽X) and (U;≽U) be posets. Let C be a nonempty chain-complete subset of X. Let F:C×C→U be a mapping. If F satisfies the following conditions,
F(x,y) is order-nonnegative with respect to x∈C;
for every fixed x∈C,(φ(x),≽X) is a nonempty inductive subset of C with finite number of maximal elements;
there is an element x′∈C with x′≼Xs, for some s∈φ(x′),
then F has an extended equilibrium.
Proof.
Taking the mapping φ defined by (24),
(25)φ(x)={t∈C:F(x,y)⊀UF(x,t),∀y∈C},foranyx∈C.
From condition (2) in this theorem, the mapping φ:C→2C∖{⌀} is well defined.
Next we show that φ is order-increasing upward. To this end, we show that, for any x1,x2∈C,x2≽Xx1 implies φ(x1)⊆φ(x2). For any given t1∈φ(x1), we have F(x1,y)⊀UF(x1,t1), for all y∈C. That is,
(26)F(x1,t1)⊁UF(x1,y),∀y∈C.
Since x2≽Xx1, then, from condition (1) in this theorem, F(x,y) is order-nonnegative with respect to x∈C, and (26) implies F(x2,t1)⊁UF(x2,y), for all y∈C. That is, F(x2,y)⊀UF(x2,t1), for all y∈C. We obtain t1∈φ(x2). So, we have φ(x1)⊆(x2). Then the rest of the proof is similar to the proof of Theorem 12.
5. Generalized and Extended Ordered Variational Inequalities on Posets
Let (X,≽X) and (U;≽U) be posets. We denote M(X,U) for the collection of all mappings from XtoU.
Definition 15.
Let (X,≽X) and (U;≽U) be posets and C a nonempty subset of X. Let F:C→M(X,U) be a mapping. A generalized ordered variational inequality problem associated with C, F, and U, denoted by GOVI(C,F,U), is to find a point x*∈C, such that
(27)F(x*)(x)≽UF(x*)(x*),∀x∈C.
Such a point x*∈C is called a generalized solution to the problem GOVI (C, F, U).
Definition 16.
Let (X,≽X) and (U;≽U) be posets and C a nonempty subset ofX. Let F:C→M(X,U)be a mapping. F is said to be order-negative on C, whenever, for any x2≽Xx1 in C,F(x1)(y)≼UF(x1)(t) implies F(x2)(y)≼UF(x2)(t), for anyy,t∈X.
Theorem 17.
Let (X,≽X) and (U;≽U) be posets. Let C be a nonempty chain-complete subset of X. Let F:C→M(X,U) be a mapping. If F satisfies the following conditions,
F is order-negative on C;
for every fixed x∈C, the poset ({t∈C:F(x)(t)=∧y∈CF(x)(y)},≽X) is a nonempty inductive subsetof C with finite number of maximal elements;
there is an element x′∈C with x′≼Xs, for some s∈C satisfying F(x′)(s)=∧y∈CF(x′)(y),
then the problem GOVI (C, F, U) has a generalized solution.
Proof .
Define a mapping Γ by
(28)Γ(x)={t∈C:F(x)(t)=∧y∈CF(x)(y)},foranyx∈C.
From condition (2) in this theorem, Γ:C→2C∖{⌀} is well defined. Next we show that Γ is order-increasing upward. To this end, we show that, for any x1,x2∈C,x2≽Xx1 implies Γ(x1)⊆Γ(x2). For any given t1∈Γ(x1), we have F(x1)(t1)=∧y∈CF(x1)(y). That is,
(29)F(x1)(t1)≼UF(x1)(y),∀y∈C.
Since x2≽Xx1, then, from condition (1) in this theorem that F is order-negative on C, (29) implies F(x2)(t1)≼UF(x2)(y), for all y∈C. That is, F(x2)(t1)=∧y∈CF(x2)(y). We obtain t1∈Γ(x2). Hence we have Γ(x1)⊆Γ(x2). It implies that Γis order-increasing upward. From condition (3) in this theorem, it is clearly seen that the element x′∈Cwithx′≼s, for some s∈Γ(x′), satisfies s∈Γ(x′) and x′≼Xs. Hence the mapping Γ from C to 2C∖{⌀} satisfies all conditions in Theorem 2 with respect to condition (A2′). So Γ has a fixed point; say x*∈C; that is, x*∈Γ(x*). We have F(x*)(x*)=∧y∈CF(x*)(y). It is equivalent to
(30)F(x*)(x)≽UF(x*)(x*),∀x∈C.
Definition 18.
Let (X,≽X) and (U;≽U) be posets and C a nonempty subset of X. Let F:C→M(X,U) be a mapping. An extended ordered variational inequality problem associated with C, F, and U, denoted by (EOVI(C,F,U)), is to find a point x*∈C, such that
(EOVI(C,F,U))F(x*)(x)⊀UF(x*)(x*),∀x∈C.
Such a point x*∈C is called an extended solution to the problem (EOVI(C,F,U)).
Definition 19.
Let (X,≽X) and (U;≽U) be posets and C a nonempty subset of X. Let F:C→M(X,U) be a mapping. F is said to be order-nonnegative on C, whenever, for any x2≽Xx1 in C,F(x1)(y)⊁UF(x1)(t) implies F(x2)(y)⊁UF(x2)(t), for any y,t∈X.
Theorem 20.
Let (X,≽X) and (U;≽U) be posets. Let C be a nonempty chain-complete subset of X. Let F:C→M(X,U) be a mapping. If F satisfies the following conditions,
Fis order-nonnegative on C;
for every fixed x∈C,({t∈C:F(x,y)⊀UF(x,t), for all y∈C},≽X), is a nonempty inductive subset of C with finite number of maximal elements;
there is an element x′∈C with x′≼Xs, for some s∈C satisfying F(x′,y)⊀UF(x′,s), for all y∈C,
then the problem (EOVI(C,F,U)) has an extended solution.
Proof.
Define a mapping φ by
(31)φ(x)={t∈C:F(x)(y)⊀UF(x)(t),∀y∈C},foranyx∈C.
From condition (2) in this theorem, φ:C→2C∖{⌀} is well defined. Next we show that φ is order-increasing upward. To this end, we show that, for any x1,x2∈C,x2≽Xx1 implies φ(x1)⊆φ(x2).For any given t1∈φ(x1), we have F(x1)(y)⊀UF(x1)(t1), for all y∈C. That is,
(32)F(x1)(t1)⊁UF(x1)(y),∀y∈C.
Since x2≽Xx1, then, from condition (1) in this theorem that F is order-nonnegative on C, (32) implies F(x2)(t1)⊁UF(x2)(y), for all y∈C. That is, F(x2)(y)⊀UF(x2)(t1), for all y∈C. We obtain t1∈φ(x2). Hence we obtain φ(x1)⊆φ(x2). Then the rest of the proof is similar to the proof of Theorem 17.
6. Concluding Remarks
In Sections 3 to 5 the existence of generalized and extended saddle points and equilibriums and the solvability of ordered variational inequalities are proved by applying fixed point Theorems 2 listed in Section 2 with respect to condition (A2′). As some special cases, the results in Sections 3 to 5 can be obtained by applying Theorem 2 with respect to condition (A2′′) or (A2′′′).
It is clearly seen that, from different fixed point theorems, one can obtain various results for solving some optimization problems. Note that all extensions of the Abian-Brown fixed point theorem listed in Section 2 are considered with chain-complete posets. There are many examples in applications that the underlying spaces are not chain-complete. This aspect can be more precisely demonstrated by the following useful example.
For any positive integer n, let (ℝn;≽n) denote the n-dimensional poset where ℝn is the n-dimensional Euclidean space equipped with the coordinate partial order ≽n, which is defined as follows: for any x=(x1,x2,…,xn),y=(y1,y2,…,yn)∈ℝn,x≽ny whenever xj≥yj, for j=1,2,…,n. Then (ℝn;≽n) is not chain-complete, and it is conditionally chain-complete.
So if we are able to get some fixed point theorem on conditionally chain-complete posets, then we can study some optimization problems under more general underlying spaces: conditionally chain-complete posets, which include all problems studied in Sections 3 to 5 in this paper as special cases.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgments
The authors greatly appreciate the anonymous referees’ comments and suggestions, which improved the presentation of this paper.
BohnenblustH. F.KarlinS.On a theorem of Ville1950Princeton, NJ, USAPrinceton University Press155160Annals of Mathematics Studies, no. 24MR0041415ZBL0041.25701CarlS.HeikkiläS.2011New York, NY, USASpringerxiv+47710.1007/978-1-4419-7585-0MR2760654HuangN.-J.FangY.-P.On vector variational inequalities in reflexive Banach spaces200532449550510.1007/s10898-003-2686-zMR2191183ZBL1097.49009KonnovI. V.YaoJ. C.On the generalized vector variational inequality problem19972061425810.1006/jmaa.1997.5192MR1429278ZBL0878.49006von NeumannJ.MorgensternO.1944Princeton, NJ, USAPrinceton University Pressxviii+625MR0011937ZhangC. J.Beijing, ChinaSciences Press2004 (Chinese)GiannessiF.CottleR. W.GiannessiF.LionsJ. L.Theorems of alternative, quadratic programs and complementarity problems1980Chichester, UKJohn Wiley & Sons151186MR578747ZBL0484.90081LiJ.Several extensions of the Abian-Brown fixed point theorem and their applications to extended and generalized Nash equilibria on chain-complete posets201440921084109210.1016/j.jmaa.2013.07.070MR3103220OkE. A.forthcomingXieL.LiJ.YangW.Order-clustered fixed point theorems on chain-complete preordered sets and their applications to extended and generalized Nash equilibria20132013, article 19210.1186/1687-1812-2013-192MR3095319AliprantisC. D.BurkinshawO.2006Dordrecht, The NetherlandsSpringerxx+376MR2262133DunfordN.SchwartzJ. T.1988New York, NY, USAJohn Wiley & Sonsxiv+858Wiley Classics LibraryMR1009162LiJ.Applications of fixed point theory to generalized Nash equilibria of nonmonetized noncooperative games on Banach lattices201318111MR3137399