Existence of extended Nash equilibriums of nonmonetized noncooperative games
- Chunxiang Zhao^{1},
- Shihuang Hong^{1}Email author and
- Chunhong Li^{1}
https://doi.org/10.1186/s13663-015-0314-5
© Zhao et al.; licensee Springer. 2015
Received: 17 December 2014
Accepted: 21 April 2015
Published: 6 May 2015
Abstract
In this paper, we consider extended Nash equilibriums of nonmonetized noncooperative games. By using a modified fixed point theorem of set-valued mappings on partially ordered sets, we prove an existence theorem of extended Nash equilibriums of the nonmonetized noncooperative game. Finally, an example is given to illustrate the advantages of our results.
Keywords
partially ordered set fixed point nonmonetized noncooperative game extended Nash equilibriumMSC
06A06 47H10 58J20 91A06 91A101 Introduction
The generalized Nash equilibrium problem is an extension of the standard Nash equilibrium problem, in which the strategy set of each player depends on the strategies of all the other players as well as on his own. This problem has recently attracted much attention due to its applications in various fields like mathematics, management, economics and engineering. For details, we refer the reader to a recent survey paper by Facchinei and Kanzow [1] and the references therein. Very recently, a special class of generalized Nash equilibriums in which the noncooperative games possess strategies as subsets of vector spaces and the ranges of the payoff functions as partially ordered sets (posets) was examined by many researchers, for example, Carl et al. [2], Li et al. [3–5] and Xie et al. [6, 7]. Such games are said to be nonmonetized noncooperative (NNGs for short).
The existence of generalized Nash equilibriums has become the focus of research in NNGs. For instance, in [2, 4] the authors proved the existence via different fixed point theorems on Banach lattices. Since a Banach lattice is equipped with some metric topology and algebraic structures, the proofs of the existence follow the same idea as the traditional games, applying fixed point theorems in topological vector spaces. To avoid this, very recently, in [5] the authors obtained the existence results on lattices, which are equipped with neither a topological structure nor an algebraic structure, but only with a special partial order, i.e., a lattice order. Moreover, in [6] the authors extended the concept of generalized Nash equilibrium to extended Nash equilibrium and proved an existence theorem of extended Nash equilibriums of the NNG by applying a fixed point theorem on posets.
Motivated by the works mentioned above, in this paper we also consider extended Nash equilibriums of the NNG and establish an existence result due to an improved fixed point theorem corresponding to [2] for set-valued mappings on posets without the consideration of a topological structure nor an algebraic structure. We relax the assumptions of the order compactness and the chain-completeness and hence our result compares favorably with that of [6]. Finally, we will give an example to show the advantages of our results.
2 Preliminaries
In this section, we recall briefly some definitions and properties of posets. For more details, we refer to [2–6] and [8–10].
Let \(\mathcal{P}=(\mathcal{P},\preceq)\) be a poset with the partial order ⪯. An element \(u\in\mathcal{P}\) is called an upper bound of a subset A of \(\mathcal{P}\) if \(x\preceq u\) for each \(x\in A\). If \(u\in A\), we say that u is the greatest element of A and denote \(u=\max A\). The supremum of A, denoted by supA, is an element \(u_{0}\) which is an upper bound of A and \(u_{0}\preceq v\) as long as v is another upper bound of A. It is clear that \(\max A=\sup A\) if they exist. The maximal element of A is an element \(y\in A\) which satisfies \(y=z\) whenever \(z\in A\) and \(y\preceq z\). Obviously, if \(u\in A\) is an upper bound of A, then u is a maximal element of A. The lower bound, the smallest element (minA), the infimum (infA), and the minimal element of A can be similarly defined.
For given posets \((X,\preceq^{X})\) and \((U,\preceq^{U})\), a single-valued mapping F from \((X,\preceq^{X})\) into \((U,\preceq^{U})\) is said to be order increasing if \(F(x)\preceq^{U} F(y)\) whenever \(x\preceq^{X}y\).
In the following definition, we require some weaker conditions compared with Definitions 2.1 and 2.2 of [6].
Definition 2.1
- (i)
inductive if every \(c.c.\) \(C\subset\mathcal{P}\) has an upper bound in \(\mathcal{P}\) and strongly inductive if supC exists in \(\mathcal{P}\) for every \(c.c.\) \(C\subset \mathcal{P}\);
- (ii)
inversely inductive if every \(c.c.\) in \(\mathcal{P}\) has a lower bound in \(\mathcal{P}\) and strongly inversely inductive whenever every \(c.c.\) \(C\subset\mathcal{P}\) has the infimum in \(\mathcal{P}\);
- (iii)
bi-inductive whenever it is both inductive and inversely inductive and strongly bi-inductive whenever it is both strongly inductive and strongly inversely inductive.
Lemma 2.2
If \(\mathcal{P}\) is a bi-inductive poset, then every subset \(A\subset\mathcal{P}\) is also a bi-inductive poset.
The following fixed point theorem on posets, which improves the corresponding result of [2], will play an essential role in our main results.
Theorem 2.3
- (H0)
there exist \(u_{0}, v_{0}\in\mathcal{P}\) with \(u_{0}\preceq v_{0}\) such that \(F[X]=\bigcup_{x\in X}F(x)\subset[u_{0}, v_{0}]\);
- (H1)
if \(p\in\mathcal{P}\), then \(\min F(p)\) and \(\max F(p)\) exist and belong to \(\mathcal{P}\). Moreover, \(\min F(p)\) is a lower bound of \(F[X\cap[p]]\) and \(\max F(p)\) is an upper bound of \(F[X\cap(p]]\);
- (H2)
the set \(\{\max F(p):p\in\mathcal{P}\}\) is a strongly inversely inductive subset of X and the set \(\{\min F(p):p\in \mathcal{P}\}\) is a strongly inductive subset of X.
Proof
Let \(G(p)=\min F(p)\) for each \(p\in\mathcal{P}\). By virtue of (H1), G is well defined and an increasing mapping from \(\mathcal {P}\) into itself. From (H2) it follows that every \(c.c.\) of \(G[\mathcal {P}]\) has a supremum in \(\mathcal{P}\). Moreover, \(u_{0}\preceq G(u_{0})\) with \(u_{0}\) given in (H0). Hence, \(G[[u_{0})]\subset[u_{0})\) by the fact that G is increasing.
- (i)
\(\mathcal{P}_{k}=\{u_{0}^{k-1}, u_{1}^{k-1},\ldots\}\cup\{ u_{0}^{k}\}\) with \(u_{0}^{k}=\sup\{u_{i}^{k-1}\}\) and \(u_{i}^{k}=G(u_{i-1}^{k})\) for \(i,k=1,2,\ldots\) ;
- (ii)
\(u_{i-1}^{k}\preceq u_{i}^{k}, u_{j}^{k-1}\preceq u_{t}^{k}\) and \(u_{i}^{0}=u_{i}\) for \(i, k=1,2,\ldots\) and \(j,t=0,1,\ldots\) .
Now we prove that \(u_{*}\) is a lower bound of \(\mathscr{F}(X)\). Suppose that this is not true. Then there exists a point \(x\in\mathscr{F}(X)\) such that \(u_{*}\npreceq x\). Note that \(x\in F(x)\), we have \(\min \mathcal{Q}=u_{0}\preceq x\) by (H0). On the other hand, for any \(y\in \mathcal{Q}\) and \(y\preceq x\), in view of the condition (H1) and the definition of G, we see that \(G(y)\) is a lower bound of \(F(x)\). This implies that \(G(y)\preceq x\). Now the composition of \(\mathcal{Q}\), combining with \(u_{0}\in\mathcal{Q}\), guarantees that \(u_{*}\preceq x\), which contradicts the choice of x. Consequently, \(u_{*}\) is a lower bound of \(\mathscr{F}(X)\).
Finally, we observe that \(u_{*}=G(u_{*})=\min F(u_{*})\in F(u_{*})\), which implies that \(u_{*}\in\mathscr{F}(X)\) and hence \(u_{*}=\min\mathscr {F}(X)\). Moreover, \(u_{*}=\min F(u_{*})\in\mathcal{P}\) by (H1).
Similar to the above discussion, we can prove the existence of the greatest fixed point \(u^{*}\) of F. This proof is complete. □
3 Main results
Definition 3.1
[6]
- (1)
the set of n players, which is denoted by \(N=\{1,2,\ldots ,n\}\);
- (2)
the collection of n strategy sets \(S=\{S_{1},S_{2},\ldots ,S_{n}\}\), where \(S_{i}\) stands for the strategy set of player i for \(i\in N\), which is also written as \(S=S_{1}\times S_{2}\times\cdots\times S_{n}\);
- (3)
the set of n payoff functions \(P=\{P_{1},P_{2},\ldots,P_{n}\} \), where \(P_{i}\), a mapping from \(S_{1}\times S_{2}\times\cdots\times S_{n}\) into the poset \((U,\preceq^{U})\), is the payoff function of player i for \(i\in N\);
- (4)
the outcome space \((U,\preceq^{U})\), which is a poset.
Definition 3.2
[6]
Lemma 3.3
[6]
Let \(\mathscr{P}=\{A:A\subset S\mbox{ is a }c.c.\}\). We introduce a partial order on \(\mathscr{P}\) as follows: \(A\preceq B\) if and only if \(A\subseteq B\) and \(A\prec B\) if and only if \(A\preceq B\) but \(A\neq B\) for all \(A,B\in\mathscr{P}\).
Lemma 3.4
\((\mathscr{P}, \preceq)\) has a maximal element and a minimal element.
Proof
On the contrary, suppose that, for each \(A\in\mathscr{P}\), there exists at least an element \(B\in\mathscr{P}\) such that \(A\prec B\). Let \(f(A)=B\). Then f is a mapping from \(\mathscr{P}\) into itself and satisfies \(A\prec f(A)\) for each \(A\in\mathscr{P}\). We assert that every countable chain of \(\mathscr{P}\) has a supremum in \(\mathscr{P}\). In fact, if \(\mathscr{C}=\{A_{1},A_{2},\ldots\}\) is a countable chain of \(\mathscr{P}\), then \(A_{k}\) is a countable subset of S for \(k=1,2,\ldots\) . Let \(A=\bigcup_{k=1}^{\infty }A_{k}\). It is easy to see that A belongs to \(\mathscr{P}\) and is a supremum of \(\mathscr{C}\). In the light of Lemma 2.5 in [11], f has a fixed point \(A_{0}=f(A_{0})\in \mathscr{P}\). On the other hand, from the definition of f we have \(A_{0}\prec f(A_{0})\). This is a contradiction. Therefore, \(\mathscr{P}\) has a maximal element. Analogously, we can prove the existence of a minimal element. This proof is complete. □
In this sequel, the maximal element (resp. minimal element) of \(\mathscr{P}\) is said to be a maximal \(c.c.\) (resp. minimal \(c.c.\)) of S.
Lemma 3.5
If S is inductive (inversely inductive), then S has a maximal element \(s^{0}\) (minimal element \(s_{0}\)). Moreover, \(\sup\mathcal{P}^{*}\) exists and equals \(s^{0}\) (\(\inf\mathcal{P}_{*}\) exists and equals \(s_{0}\)) where \(\mathcal{P}^{*} (\mathcal{P}_{*})\) is a maximal \(c.c.\) (minimal \(c.c.\)) of S.
Proof
Lemma 3.4 guarantees the existence of the maximal \(c.c.\) \(\mathcal{P}^{*}\) of S and the inductive hypothesis further guarantees the existence of the upper bound \(s^{0}\) of \(\mathcal{P}^{*}\). We first check that \(s^{0}\) is a maximal element of S. To this end, we choose an element \(x\in S\) with \(s^{0}\preceq^{S} x\). If \(x\notin\mathcal{P}^{*}\), then \(B=\mathcal{P}^{*}\cup\{x\}\) is also a \(c.c.\), i.e., \(B\in\mathscr{P}\). Obviously, \(\mathcal{P}^{*}\prec B\), which is a contradiction since \(\mathcal{P}^{*}\) is the maximal element of \(\mathscr{P}\). Consequently, \(x\in\mathcal{P}^{*}\). Since \(s^{0}\) is the upper bound of \(\mathcal{P}^{*}\), we have \(x\preceq^{S} s^{0}\). Hence \(x=s^{0}\) and this implies that \(s^{0}\) is a maximal element of S. Note that \(s^{0}\in\mathcal{P}^{*}\), we see that \(s^{0}\) is the supremum of \(\mathcal{P}^{*}\). The proof for the existence of a minimal element of S is analogous. This proof is complete. □
We are in a position to state and prove the main result of this paper.
Theorem 3.6
- (I)
every player’s strategy set \((S_{i},\preceq_{i})\) (\(i\in N\)) is a strongly inductive and inversely inductive poset,
- (II)every player’s payoff function \(P_{i}:S\rightarrow U\) (\(i\in N\)) satisfies$$P_{i}(x)\preceq^{U} P_{i}(y)\quad \textit{if and only if} \quad x\preceq^{S} y\quad \textit{for any }x,y\in S\textit{ and }i\in N, $$
Proof
Lemma 3.4 guarantees that S has at least a maximal \(c.c.\) \(\mathcal{P}\). Let \(\mathcal{P}=\{\xi_{1},\xi_{2}, \ldots\}\), where \(\xi_{k}=(x_{1}^{k}, x_{2}^{k}, \ldots, x_{n}^{k})\) and \(\xi_{j}=(x_{1}^{j}, x_{2}^{j}, \ldots, x_{n}^{j})\) are comparable with respect to \(\preceq^{S}\) for \(k,j=1,2,\ldots\) . For any fixed \(i\in N\), let \(S^{0}_{i}=\{x_{i}^{k}\} _{k=1}^{\infty}\). Then \(S_{i}^{0}\subset S_{i}\) and \(S_{i}^{0}\) is obviously a \(c.c.\) of \(S_{i}\) for \(i\in N\). Hence there exist an upper bound \(\tilde {s}_{i}\) and a lower bound \(\tilde{t}_{i}\) of \(S_{i}^{0}\) since \(S_{i}\) is bi-inductive for \(i\in N\). We will verify that \(S_{i}^{0}\) is a maximal \(c.c.\) of \(S_{i}\) for \(i\in N\). Suppose that this is not true. There exists some \(i_{0}\in N\) such that \(S_{i_{0}}^{0}\) is not a maximal \(c.c.\) of \(S_{i_{0}}\), i.e., there exists another \(c.c.\) \(A_{i_{0}}\) of \(S_{i_{0}}\) such that \(S_{i_{0}}^{0}\subset A_{i_{0}}\) and hence there exists a with \(a\in A_{i_{0}}\) and \(a\notin S_{i_{0}}^{0}\). We have three cases:
Case 1. \(a\prec_{i_{0}} x_{i_{0}}^{k}\) for all \(k=1,2,\ldots\) ;
Case 2. \(x_{i_{0}}^{k}\prec_{i_{0}} a\) for all \(k=1,2,\ldots\) ;
Case 3. there exists a positive integer \(k_{1}\) such that \(x^{k_{1}}_{i_{0}}\prec_{i_{0}}a\prec_{i_{0}}x^{k_{1}+1}_{i_{0}}\).
In case 1, let \(\eta=(y^{1}, y^{2}, \ldots, y^{n})\) with \(y^{i}=\tilde{t}_{i}\) if \(i\neq i_{0}\) and \(y^{i_{0}}=a\). Then \(\eta\notin\mathcal{P}\) and \(\eta\prec^{S} \xi_{k}\) for \(k=1,2,\ldots\) . Thus \(\{\eta\}\cup\mathcal {P}\) is a \(c.c.\) of S and \(\mathcal{P}\subset\{\eta\}\cup\mathcal {P}\), which contradicts the maximality of \(\mathcal{P}\). Assume that case 2 occurs. We take \(y^{i}=\tilde{s}_{i}\) instead of \(y^{i}=\tilde{t}_{i}\) if \(i\neq i_{0}\) and \(y^{i_{0}}=a\) for every component \(y^{i}\) of η given in case 1. Thus we have that \(\eta\notin\mathcal{P}\), \(\xi _{k}\prec^{S}\eta\), \(\mathcal{P}\subset\{\eta\}\cup\mathcal{P}\) and \(\{\eta\}\cup \mathcal{P}\) is a \(c.c.\) of S, which contradicts the maximality of \(\mathcal{P}\) again. If case 3 occurs, then, for η given in case 1, instead of \(y^{i}=\tilde{t}_{i}\), we choose \(y^{i}=x_{i}^{k_{1}}\) for \(i\neq i_{0}\) and \(y^{i_{0}}=a\). Hence \(\xi_{k_{1}}\prec ^{S}\eta\prec^{S}\xi_{k_{1}+1}\). It is similarly able to get a contradiction. Consequently, \(S_{i}^{0}\) is a maximal \(c.c.\) of \(S_{i}\) for \(i\in N\).
From Lemma 3.5 it follows that the supremum \(s^{0}_{i}\) and the infimum \(s_{0i}\) of \(S_{i}^{0}\) exist for \(i\in N\). We next claim that \(s_{i}^{0}=\max S^{0}_{i}\) and \(s_{0i}=\min S^{0}_{i}\). In fact, if \(s_{i}^{0}\neq\max S^{0}_{i}\), then \(s_{i}^{0}\notin S_{i}^{0}\) and \(S^{0}_{i}\subset S^{0}_{i}\cup\{s_{i}^{0}\}\) is a \(c.c.\) of \(S_{i}\), which contradicts the maximality of \(S_{i}^{0}\). Analogously, we can prove \(s_{0i}=\min S^{0}_{i}\). Let \(\xi ^{0}:=(s_{1}^{0},s_{2}^{0},\ldots,s_{n}^{0})\) and \(\xi_{0}:=(s_{01},s_{02},\ldots ,s_{0n})\). It is clear that \(\xi^{0},\xi_{0}\in\mathcal{P}\). This further implies that \(\xi^{0}=\max\mathcal{P}\) and \(\xi_{0}=\min \mathcal{P}\). In addition, it is easy to see that, for any \(x_{-i}\in {S_{-i}}\), \(P_{i}(s^{0}_{i},x_{-i})\) (resp. \(P_{i}(s_{0i},x_{-i})\)) is a maximal element (resp. minimal element) of \(P_{i}(S_{i},x_{-i})\) with respect to the partial order \(\preceq^{U}\).
From the definition of T, it follows that \(\max T(x)=\xi^{0}\) and \(\min T(x)=(\min T_{1}(x), \min T_{2}(x),\ldots, \min T_{n}(x))\) for every \(x\in S\). This implies that \(T(S)\subseteq[\xi_{0}, \xi^{0}]\) and hence T satisfies the hypothesis (H0) of Theorem 2.3.
For any \(\xi_{k}=(x_{1}^{k}, x_{2}^{k}, \ldots, x_{n}^{k})\in\mathcal{P}\), we observe that \(\max T(\xi_{k})=\xi^{0}=(s_{1}^{0}, s_{2}^{0},\ldots, s_{n}^{0})\) and \(\min T(\xi_{k})=(z'_{1}, z'_{2},\ldots, z'_{n})\) with \(z'_{i}=\min T_{i}(\xi _{k})\) (\(i\in N\)). Let \(z'=(z'_{1}, z'_{2}, \ldots, z'_{n})\). Then \(\min T(\xi _{k})=z'\). Taking any \(x''\in S\cap(\xi_{k}]\) and \(z''_{i}\in T_{i}(x'')\) for \(i\in N\), we have \(z''_{i}\preceq_{i} s_{i}^{0}=\max T_{i}(\xi_{k})\), i.e., \(\max T_{i}(\xi_{k})\) is an upper bound of \(T_{i}(x'')\). The arbitrariness of \(x''\) induces that \(\max T_{i}(\xi_{k})\) is also an upper bound of \(T_{i}[S\cap(\xi_{k}]]\) and the arbitrariness of \(i\in N\) induces that \(\max T(\xi_{k})\) is an upper bound of \(T[S\cap(\xi_{k}]]\). Similarly, taking any \(y''\in S\cap[\xi_{k})\), by the condition (II), we get \(P_{i}(z'_{i},x_{-i}^{k})\preceq^{U} P_{i}(z'_{i},y''_{-i})\preceq^{U} P_{i}(z''_{i},y''_{-i})\), which implies that \(\min T_{i}(\xi_{k})=z'_{i}\preceq _{i} z''_{i}\). Hence \(\min T_{i}(\xi_{k})\) is a lower bound of \(T_{i}(y'')\). The arbitrariness of \(y''\) guarantees that \(\min T_{i}(\xi_{k})\) is a lower bound of \(T_{i}[S\cap[\xi_{k})]\) and the arbitrariness of \(i\in N\) reduces that \(\min T(\xi_{k})\) is a lower bound of \(T[S\cap[\xi_{k})]\) once more. Consequently, T satisfies (H1) of Theorem 2.3.
Note that \(\{\max T(\xi_{k}):\xi_{k}\in\mathcal{P}\}=\{\xi^{0}\}\), Obviously, it is a strongly inversely inductive subset of S. Since \(S_{i}\) is a strongly inductive poset, Lemma 3.3 induces that S is also a strongly inductive poset. In the light of Lemma 2.2, the set \(\{\min T(\xi_{k}):\xi_{k}\in\mathcal{P}\}\subseteq S\) is a strongly inductive subset of S. Therefore, T satisfies (H2) of Theorem 2.3. As a conclusion of Theorem 2.3, T has the greatest fixed point \(x^{*}\) and the smallest fixed point \(x_{*}\) in \(\mathcal{P}\).
Corollary 3.7
- (III)
for any fixed \(i\in N\) and \(x_{-i}\in{S_{-i}}\), \(P_{i}(S_{i},x_{-i})\) is an inversely inductive poset in \((U, \preceq^{U})\),
Proof
In order to check that all conditions of Theorem 3.6 are satisfied, it suffices to check that \(S_{i}\) is inversely inductive for each \(i\in N\). Let \(C=\{x_{k}\}_{k=1}^{\infty}\) be an arbitrary \(c.c.\) of \(S_{i}\). Then, for fixed \(x_{-i}\in S_{-i}\), by the condition (II) \(P_{i}(C, x_{-i})\) is also a \(c.c.\) of \(P_{i}(S_{i}, x_{-i})\). By means of (III), there exists \(y\in P_{i}(S_{i}, x_{-i})\) such that \(y \preceq^{U} P_{i}(x_{k}, x_{-i})\) for each \(k=1,2,\ldots\) . We can choose \(x\in S_{i}\) such that \(y=P_{i}(x, x_{-i})\). By means of the condition (II), we have \(x\preceq_{i} x_{k}\) for \(k=1,2,\ldots\) , that is, x is a lower bound of C. Consequently, \(S_{i}\) is inversely inductive. Now Theorem 3.6 guarantees the desired results. □
4 Example
The purpose of this section is to show the advantages of our results by the following example.
Example 4.1
(Military manufacture example)
Suppose that a war is kindling between two countries C1 and C2. To strengthen the combat effectiveness, they both intend to invest funds to acquire more weapons. Suppose that there are two military factories F1 and F2 offering the weapons to the two countries C1 and C2, respectively. As there is shortage of funds, each country can only invest 80 million dollars into its military factory. Suppose that the two factories just produce two weapons of the same type, tankers and fighter planes. The manufacturing cost of a tanker is 20 million dollars and a fighter plane will cost 30 million dollars. Suppose that the incomes are determined by the number of the two weapons that the factory can make. An arbitrarily considered outcome is a set of the total combat effectiveness of a factory. Let U be the collection of all possible outcomes. Assume that the combat effectiveness of a tanker and a fighter plane is incomparable. It is obvious that \((U,\preceq^{U})\) is a poset.
From what has been described above, we easily get the feasible strategy set of Fi as \(S_{i}=\{A_{1}=(4,0),A_{2}=(3,0),A_{3}=(2,1),A_{4}=(1,2),A_{5}=(0,2)\}\), where the first and second components of \(A_{k}\) with \(k \in\{1,2,\ldots,5\}\) denote the number of tankers and the number of fighter planes produced by Fi, respectively. Let \(P_{i}:S\rightarrow U\) be the payoff function of Fi, where, for any \(x\in S\), \(P_{i}(x)\) denotes the total combat effectiveness of the weapons produced by Fi. We are now in the position to find an extended Nash equilibrium of this NNG.
Proof
It is obvious that the strategy set \((S_{i},\preceq_{i})\) is a strongly inductive and inversely inductive poset. Therefore the condition (I) of Theorem 3.6 is satisfied. For any two strategies \(x=(x_{1},x_{2}), y=(y_{1},y_{2})\in S\) with \(x\preceq^{S} y\), we have \(x_{i}\preceq_{i} y_{i}\) for each \(i\in\{1,2\}\), which means that for each factory, both the number of tankers and the number of fighter planes produced in x are less than that in y. Hence, the total combat effectiveness of the weapons in x is weaker than that in y for each factory, that is, \(P_{i}(x)\preceq^{U} P_{i}(y)\) for \(i\in\{1,2\}\). Then the sufficiency of (II) in Theorem 3.6 is satisfied. We now show that the game also meets the necessity of (II). For any given \(P_{i}(x),P_{i}(y)\in U\) with \(P_{i}(x)\preceq^{U} P_{i}(y)\), \(i\in\{1,2\}\), we are in the position to prove that \(x\preceq^{S} y\). If x and y are incomparable, then the numbers of tankers and fighter planes in x will not simultaneously be less or more than that in y. This implies that neither \(P_{i}(x)\preceq ^{U} P_{i}(y)\) nor \(P_{i}(y)\preceq^{U} P_{i}(x)\) since the combat effectiveness of a tanker and a fighter plane is incomparable. Therefore, x and y are comparable by hypothesis \(P_{i}(x)\preceq^{U} P_{i}(y)\), that is, \(x\preceq^{S} y\) or \(y\preceq^{S} x\). By the sufficiency of (II), if \(y\preceq^{S} x\), then \(P_{i}(y)\preceq^{U} P_{i}(x)\), which is a contradiction. Consequently, \(x\preceq^{S} y\). By virtue of Theorem 3.6, the game has maximal and minimal extended Nash equilibriums. In fact, it easily checks that the strategy \((A_{1},A_{1})\in S\) is not only a maximal extended Nash equilibrium but also a minimal extended Nash equilibrium of this game. □
Declarations
Acknowledgements
The article was supported by Natural Science Foundation of China (71471051) and Natural Science Foundation of Zhejiang Province (LY12A01002).
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Authors’ Affiliations
References
- Facchinei, F, Kanzow, C: Generalized Nash equilibrium problems. Ann. Oper. Res. 175, 177-211 (2010). doi:https://doi.org/10.1007/s10479-009-0653-x View ArticleMATHMathSciNetGoogle Scholar
- Carl, S, Heikkilä, S: Fixed Point Theory in Ordered Sets and Applications: From Differential and Integral Equations to Game Theory. Springer, New York (2010) Google Scholar
- Li, JL: Several extensions of the Abian-Brown fixed theorem and their applications to extended and generalized Nash equilibria on chain-complete posets. J. Math. Anal. Appl. 409, 1084-1092 (2014) View ArticleMATHMathSciNetGoogle Scholar
- Li, JL: Applications of fixed point theory to generalized Nash equilibriums of nonmonetized noncooperative games on Banach lattices. Nonlinear Anal. Forum 18, 1-11 (2013) View ArticleMATHMathSciNetGoogle Scholar
- Li, JL, Park, S: Generalized Nash equilibria of nonmonetized noncooperative games on lattices. Br. J. Econ. Manag. Trade 4(1), 97-110 (2014) View ArticleMathSciNetGoogle Scholar
- Xie, LS, Li, JL, Wen, CF: Applications of fixed point theory to extended Nash equilibriums of nonmonetized noncooperative games on posets. Fixed Point Theory Appl. 2013, 235 (2013) View ArticleMathSciNetGoogle Scholar
- Xie, LS, Li, JL, Yang, WS: Order-clustered fixed point theorems on chain-complete preordered sets and their applications to extended and generalized Nash equilibria. Fixed Point Theory Appl. 2013, 192 (2013) View ArticleMathSciNetGoogle Scholar
- Agarwal, R, Balaj, M, O’Regan, D: A unifying approach to variational relation problems. J. Optim. Theory Appl. 155, 417-429 (2012). doi:https://doi.org/10.1007/s10957-012-0090-x View ArticleMATHMathSciNetGoogle Scholar
- Aliprantis, CD, Burkinshaw, O: Positive Operators. Springer, Berlin (2006) View ArticleMATHGoogle Scholar
- Dunford, N, Schwartz, JT: Linear Operators. Part I: General Theory. Wiley-Interscience, New York (1988) MATHGoogle Scholar
- Hong, SH, Qiu, ZY: Fixed points of discontinuous multivalued operators in ordered spaces with applications. Fixed Point Theory Appl. 2010, 745769 (2010). doi:https://doi.org/10.1155/2010/745769 View ArticleMathSciNetGoogle Scholar