Abstract
In this paper, we introduce the concept of order-clustered fixed point of set-valued mappings on preordered sets and give several generalizations of the extension of the Abian-Brown fixed point theorem provided in (Mas-Colell et al. in Microeconomic Theory, 1995), which is from chain-complete posets to chain-complete preordered sets. By using these generalizations and by applying the order-increasing upward property of set-valued mappings, we prove several existence theorems of the extended and generalized Nash equilibria of nonmonetized noncooperative games on chain-complete preordered sets.
MSC:46B42, 47H10, 58J20, 91A06, 91A10.
Similar content being viewed by others
1 Introduction
In traditional game theory, fixed point theory in topological spaces or metric spaces has been an essential tool for the proof of the existence of Nash equilibria of noncooperative games, in which the payoff functions of the players take real values (see [1–6]). Recently, the concept of nonmonetized noncooperative games has been introduced where the payoff functions of the players take values in ordered sets, on which the topological structure may not be equipped. The existence of generalized and extended Nash equilibria of nonmonetized noncooperative games has been studied by applying fixed point theorems to ordered sets. These games are also named generalized games by some authors (see [7–13]). Naturally, fixed point theory on ordered sets has revealed its crucial importance in this new subject in game theory.
For single-valued mappings, Tarski provided a fixed point theorem on complete lattices; and Abian and Brown extended it to a fixed point theorem on chain-complete posets (see [14]). In [15], Fujimoto generalized Tarski’s fixed point theorem from single-valued mappings to set-valued mappings on complete lattices and gave some applications to vector-complementarity problems. Very recently, in [8] and [12], Li provided several versions of extension of both the Abian-Brown fixed point theorem and the Fujimoto-Tarski fixed point theorem to set-valued mappings on chain-complete posets, which are applied to prove the existence of generalized and extended Nash equilibria of nonmonetized noncooperative games on posets. We list one of them below for easy reference.
Theorem 2.2 in [12] Let be a chain-complete poset and let be a set-valued mapping. If F satisfies the following three conditions:
-
A1. F is order-increasing upward;
-
A2′. is inductive with a finite number of maximal elements for every ;
-
A3. There is a y in P with for some .
Then F has a fixed point, that is, there exists such that .
In some nonmonetized noncooperative games, both the domains and the ranges of payoff functions may be preordered sets instead of posets; that is, some different elements in the domain or in the range may be order-indifferent or order-equivalent. This is the motivation to consider the fixed point theorems on preordered sets in this paper. This aspect can be more precisely demonstrated by the following example.
For any positive integer k, let denote the k-dimensional Euclidean space. Let be the binary relation on , which is defined as: whenever for . It is clear that is a preorder relation on . Hence is a preordered set. Then any noncooperative game with all the strategies in and the values of payoff in , for some positive integers m and n, is a nonmonetized noncooperative game, which will be defined in Section 3.
In Section 2 of this paper, we generalize the extensions of the Abian-Brown fixed point theorem provided in [12] from chain-complete posets to chain-complete preordered sets for set-valued mappings. Evidently, they are also generalizations of the Fujimoto-Tarski fixed point theorem from complete lattices to chain-complete preordered sets. In Sections 3 and 4, we apply these generalizations to prove some existence theorems of the extended and generalized Nash equilibria of nonmonetized noncooperative games on chain-complete preordered sets.
2 Order-clustered fixed point
In this section, we recall and provide some concepts and properties of preordered sets, and we introduce the concept of order-clustered fixed point of set-valued mapping on preordered sets. Then we generalize the Abian-Brown fixed point theorem from single-valued mappings to set-valued mappings, which is also from complete lattices to preordered sets. Here we closely follow the notations from [7, 16, 17], and [14].
Let P be a nonempty set. An ordering relation ≽ on P is said to be a preorder whenever it satisfies the following two conditions:
-
1.
(reflexive) for every ;
-
2.
(transitive) and imply for all .
Then P, together with the preorder ≽, is called a preordered set, which is denoted by . Furthermore, a preorder ≽ on a preordered set P is said to be a partial order if, in addition to the above two properties, it also satisfies
-
3.
(antisymmetric) and imply for every .
In this case, is simply called a poset.
Remark 2.1 It is worth mentioning for clarification that a preordered set equipped with the preorder ≽ on P is defined as a partially ordered system (p.o.s.) in [17].
Let be a preordered set. If A is a subset of P, then an element u of P is called an upper bound of A if for each ; if , then u is called a greatest element (or a maximum element) of A. The collection of all greatest elements (maximum elements) of A is denoted by maxA. A lower bound of A and a smallest element (or a minimum element) of A can be defined similarly. The collection of all smallest elements (minimum elements) of A is denoted by minA. If the set of all upper bounds of A has a smallest element, we call it a supremum of A; and the collection of all supremum elements of A is denoted by supA or ∨A. An infimum of A is similarly defined as a greatest element of the set of all lower bounds of A, provided that it exists; and the collection of all infimum elements of A is denoted by infA or ∧A.
It is important to note that, from the above definitions, if A is a subset of a preordered set , then maxA, minA, supA and infA are the subsets of P. In particular, if A is a subset of a poset , then maxA, minA, supA and infA are singletons, provided that they are nonempty. In this case, maxA, minA, supA and infA are simply written as the contained elements, respectively.
An element is said to be a maximal element of the subset A of the preordered set if for any with implies . Similar to the definition of maximal element, a minimal element of A can be defined. Then every greatest element (smallest element) of the subset A of the preordered set is a maximal element (minimum element) of A; the converse does not hold.
A subset C of the preordered set is said to be totally ordered (or a chain in P) whenever, for every pair , either or . Following [17] and [4], we have the following definition.
Definition 2.2 A preordered set is said to be
-
(i)
inductive if every totally ordered subset of (chain in) P has an upper bound in P;
-
(ii)
chain-complete whenever, for every totally ordered subset C of (a chain in) P, the set of all supremum elements of C is a nonempty subset of P; that is, .
In game theory and decision theory, the decision makers may consider having indifference (same) utilities at some order-equivalent elements in a preordered set. It is the motivation to introduce the following concepts of order-equivalent elements and order-equivalent classes in a preordered set.
Let be a preordered set. For any , we say that x, y are -order equivalent (-order indifferent), which is denoted by , whenever both and hold. It is clear that is an equivalence relation on P. For any , let denote the order-equivalent class (order-indifferent class) containing x, which is called a -cluster (or simply an order cluster, or a cluster, if there is no confusion caused). Let or denote the collection of all order clusters in the preordered set . So, for every .
Given two preordered sets and , we say that a single-valued mapping is order-increasing (or order-preserving) if in X implies in U. An order-increasing single-valued mapping is said to be strictly order-increasing whenever implies . We say that a set-valued mapping is order-increasing upward if in X and imply that there is such that . F is said to be order-increasing downward if in X and imply that there is such that . A set-valued mapping F is said to be order-increasing whenever F is order-increasing both upward and downward.
Order-increasing mappings from a preordered set to a preordered set have the following equivalent classes preserving property.
Lemma 2.3 Let and be two preordered sets and let be an order-increasing single-valued mapping. Then, for every x in X, implies in U.
Proof Without any confusion, is understood to be an order-equivalence class in with respect to the preorder and is understood to be an order-equivalence class in with respect to the preorder . For every x in X, if and only if both of and hold in X. Then the order-increasing property of F implies that both of and hold in U. That is, . □
In game theory and decision theory, there are useful mappings between two preordered sets which map order-indifferent elements in X to order-indifferent elements in U. That is, if the inputs of the mapping F are -order equivalent elements in X, then the outputs of F are -order equivalent elements in U. This leads us to the following definition.
Definition 2.4 Let and be two preordered sets and let be a single-valued mapping. F is said to be order cluster-preserving, whenever
Lemma 2.5 Every order-preserving single-valued mapping from a preordered set to a preordered set is cluster-preserving.
Proof The order cluster-preserving property (2.1) immediately follows from Lemma 2.3. □
Definition 2.6 Let be a preordered set and let be a set-valued mapping. An element is called
-
1.
a fixed point of F, whenever ;
-
2.
an -clustered fixed point (an order-clustered fixed point, or simply a clustered fixed point) of F, whenever there is a such that .
Definition 2.6 can be explained as follows: an element is an order-clustered fixed point of F, whenever there is a with such that . Since , then we have the following property:
It is clear that the inverse of the above implication does not hold. Hence, order-clustered fixed points are generalizations of the fixed points. It is important to notice that if is a poset, then an order-clustered fixed point coincides with a fixed point.
Let be a chain-complete preordered set and let be a set-valued mapping. Following Fujimoto [15], we have the following notation:
Theorem 2.7 Let be a chain-complete preordered set and let be a set-valued mapping. If F satisfies the following three conditions:
-
A1.
F is order-increasing upward;
-
A2.
is an inductive subset of P for each ;
-
A3.
There is a y in P with for some .
Then F has an order-clustered fixed point, that is, there exists with such that .
Proof Let
It is clear that the element y given in assumption A3 is in A; and therefore . Very similarly to the proof of the extension of Tarski’s fixed point theorem by Fujimoto in [15], by applying isotonic property A1 and assumption A2 in this theorem, we can show that the set A is inductive. To this end, take an arbitrary totally ordered subset (a chain) . Since C is also a chain of the chain-complete preordered set , then and . Take an arbitrary element . So, for any , from (2.3), there is a with . On the other hand, from and , applying assumption A1, there is such that ; and hence for every . It implies
From assumption A2, is inductive; and therefore the totally ordered subset (chain) C of has an upper bound in , say c, with . From (2.2), it yields that there is a such that .
Since and c is an upper bound of C, we have . Then we obtain
which implies that . Hence b is an upper bound of the given chain C in A; and therefore A is inductive.
Then applying Zorn’s lemma (Theorem I.2.7 in [17]), the inductive set A has a maximal element, say . Equation (2.3) implies that there is such that . For this element with , from assumption A1 in this theorem, there is with , which implies that . Since is a maximal element of A, from , we must have . Hence, is an order-clustered fixed point of F. This theorem is proved. □
Theorem 2.8 Let be a chain-complete preordered set and let be a set-valued mapping. If F satisfies conditions A1 and A3 given in Theorem 2.7 and
A2′. is inductive with a finite number of maximal element clusters for every ,
then F has an order-clustered fixed point.
Proof Take the same set as defined in the proof of Theorem 2.7. Assumption A3 in this theorem also implies . Then we show that A is inductive. To this end, take an arbitrary chain C of A. Since is a chain-complete preordered set, then and . Pick an arbitrary element . For every , there is a point satisfying . On the other hand, from , assumption A1 implies that there is an such that . Then we obtain a mapping satisfying the following order inequality:
From assumption A2′ in this theorem, we can write the set of maximal element clusters of by , for some positive integer m, with . We claim that there are elements and , for some j with , such that
In fact, from (2.4), we have, for every , . Since is inductive and is the set of all the maximal element clusters of , then, for any given , we must have
By applying (2.6), the proof of (2.5) is similar to the proof of Theorem 2.2 in [12]. Then, from the claim (2.5), we have for some j with ; and hence . This implies that C has an upper bound b in A; and therefore, A is inductive. The rest of the proof is very similar to the proof of Theorem 2.7. □
As a consequence of Theorem 2.8, we obtain the following special cases of the extensions of the Abian-Brown fixed point theorem in preordered sets.
Corollary 2.9 Let be a chain-complete preordered set and let be a set-valued mapping. If F satisfies conditions A1 and A3 given in Theorem 2.7 and
A2″. has a maximum element for every ,
then F has an order-clustered fixed point.
If we consider some special cases of the chain-complete preordered set for which condition A3 can be automatically satisfied, then we obtain the following corollaries that can also be considered as extensions of both the Fujimoto-Tarski fixed point theorem from complete lattices to a chain-complete preordered set∖and the Abian-Brown fixed point theorem from single-valued mappings to set-valued mappings on chain-complete preordered sets.
Corollary 2.10 Let be a chain-complete preordered set with in P. Let be a set-valued mapping. If F satisfies condition A1 given in Theorem 2.7 and one of conditions A2, A2′, or A2″ given in Theorems 2.7, 2.8 and Corollary 2.9, respectively, then F has an order-clustered fixed point.
Proof Take in P, then for any , we obviously have . So, satisfies assumption A3 in Theorem 2.7. □
As consequences, when posets are considered as special preordered sets, the extensions of the Abian-Brown fixed point theorem in posets provided in [12] immediately follow from Corollary 2.10. As a matter of fact, we have the following result on a chain-complete poset, which is more general than the extension of Tarski’s fixed point theorem on complete lattice by Fujimoto [15].
Corollary 2.11 Let be a chain-complete poset with ∧P exists in P. Let be a set-valued map. If F satisfies condition A1 given in Theorem 2.7 and one of conditions A2, A2′, or A2″ given in Theorems 2.7, 2.8, and Corollary 2.9, respectively, then F has a fixed point.
3 Applications to the extended Nash equilibria of nonmonetized noncooperative games on chain-complete preordered sets
In this section, we recall the concepts of the nonmonetized noncooperative games and the generalized and extended Nash equilibria of these games on preordered sets, which were studied in [8–13]. Then we apply the extensions of the Abian-Brown fixed point theorem provided in the last section to prove some existence theorems for the extended Nash equilibrium of nonmonetized noncooperative games on chain-complete preordered sets, which can be considered as extensions of the results proved by Li in [12], which are on chain-complete posets.
Definition 3.1 Let n be a positive integer greater than 1. An n-person nonmonetized noncooperative game consists of the following elements:
-
1.
the set of n players, which is denoted by ;
-
2.
the collection of n strategy sets , for the n players respectively, such that is a chain-complete preordered set for player , with notation ;
-
3.
the outcome space that is a preordered set;
-
4.
the n payoff functions , where is the payoff function for the player i that is a mapping from to the preordered set , for . We define .
This game is denoted by .
The rule to play in an n-person nonmonetized noncooperative game is that when all n players simultaneously and independently choose their own strategies , where , for , then the player i will receive his or her utility (payoff) . For any , and for every given , as usual, we define
Then and x can simply be written as . Moreover, we define
An n-person nonmonetized noncooperative game defined in this section is also called a generalized game (see [7]). Now we recall the extensions of the concept of Nash equilibrium of noncooperative games to the generalized Nash equilibrium and the extended Nash equilibrium of nonmonetized noncooperative games.
Definition 3.2 In an n-person nonmonetized noncooperative game , a selection of strategies is called
-
1.
a generalized Nash equilibrium of this game if, for every , the following order inequality holds:
-
2.
an extended Nash equilibrium of this game if, for every , the following order inequality holds:
It is clear that any generalized Nash equilibrium of an n-person nonmonetized noncooperative game is an extended Nash equilibrium of this game; and the converse may not be true.
Lemma 3.3 Let be a preordered set for every . Let be the coordinate ordering on S induced by the preorders , that is, for any with and ,
Then is a preorder on S; and hence is a preordered set. Furthermore, if every is chain-complete (inductive), then is also chain-complete (inductive). Moreover, we have
Furthermore, for any , we have , where stands for an -cluster in and are order clusters in , respectively.
Proof The proof is straightforward and is omitted here. □
Let A be a subset of a preordered set . The following subset of P is called the ≽-downward set of A denoted by ,
The following theorem provides a result for the existence of an extended Nash equilibrium of nonmonetized noncooperative games on preordered sets.
Theorem 3.4 Let be an n-person nonmonetized noncooperative game. Suppose that for every player , and for any , is a cluster-preserving single-valued mapping that satisfies the following conditions:
-
G1.
is an inductive subset of the preordered set ;
-
G2.
The -downward set of the inverse image is an inductive subset of ;
-
G3.
For in S, if with is a maximal element of , then there is with such that is a maximal element of .
If there are , satisfying that
then this game Γ has an extended Nash equilibrium . Moreover, every element in is an extended Nash equilibrium of Γ.
Proof The first part of the proof is similar to the proof of Theorem 3.4 in [12]. Since is a chain-complete preordered set for every , then from Lemma 3.3, is also a chain-complete preordered set equipped with the product order .
For every fixed , we define a set-valued mapping by
From assumption G1 of this theorem, for every fixed element , is an inductive subset of U. By applying Zorn’s lemma, the range has a maximal element; and therefore is a nonempty subset of . Hence, the map is well defined. Then we define a set-valued mapping by
Now we prove that the mapping T satisfies all conditions A1, A2 and A3 in the first extension of the Abian-Brown fixed point theorem in a chain-complete preordered set provided in the preceding section.
At first, we show that T satisfies assumption A1: T is -increasing upward. For any given in S and for any , for every , we have , that is, is a maximal element of . Then from hypothesis G3 of this theorem, there is with such that is a maximal element of , that is, . Take . We obtain that and . Hence, T is isotone.
Secondly, we prove that the mapping T satisfies assumption A2 in Theorem 2.7. For an arbitrary x in S, with respect to the mapping T and from (2.2), we write
For every , with respect to the mapping , we have
From assumption G2 of this theorem, the -downward set of {: is a maximal element of } is inductive, which implies that is an inductive subset of S, so is .
Finally, for the given elements in this theorem, from condition (3.1), we have and is a maximal element of . This implies that with ; and hence the mapping T satisfies assumption A3.
Thus the mapping satisfies all conditions A1, A2 and A3 in Theorem 2.7. Since S is a chain-complete preordered set, applying Theorem 2.7, T has an order-clustered fixed point . Hence, there is such that . This implies ; that is,
For every , it is equivalent to
The following is from the definition of the product order on :
Then from (3.3), implies for . Since the payoff function is a cluster-preserving single-valued mapping, from and Definition 2.4, it yields that
Combining (3.2) and (3.4), we have
This shows that is an extended Nash equilibrium of this game. With the same argument as above, we can show that, for any , holds. Then, repeating the argument from (3.2) to (3.5), we obtain that is also an extended Nash equilibrium of this game. This completes the proof of this theorem. □
We can apply Theorem 2.8, which is a different version of the extensions of the Abian-Brown fixed point theorem on preordered sets, to similarly show the following result. We list it as a theorem without giving the proof.
Theorem 3.5 Let be an n-person nonmonetized noncooperative game. Suppose that for every player , is a cluster-preserving single-valued mapping. If, for any in addition to that, satisfies assumptions G1, G3, and condition (3.1) given in Theorem 3.4, also satisfies the following condition:
G2′. The inverse image is inductive with a finite number of maximal element clusters for each .
Then there is an -cluster in S, in which every element is an extended Nash equilibrium of Γ.
In case the condition holds for the strategy set , for every i, condition (3.1) in Theorems 3.4 and 3.5 can be removed. As a consequence of Theorem 3.5, we have the following.
Corollary 3.6 Let be an n-person nonmonetized noncooperative game. Suppose that for every player , and for any , is a cluster-preserving single-valued mapping. If, for any in addition to that, satisfies assumptions G1 and G3, also satisfies one of assumptions G2 or G2′ given in Theorem 3.4 and Theorem 3.5, then there is an -cluster in S, in which every element is an extended Nash equilibrium of Γ.
Proof Take and let q be a maximum element of . It is clear that p and q satisfy condition (3.1) given in Theorem 3.4. □
4 Applications to the generalized Nash equilibria of nonmonetized noncooperative games on chain-complete preordered sets
It is clear that for , the order inequality implies . Hence, the generalized Nash equilibria can be considered as special cases of the extended Nash equilibria of n-person nonmonetized noncooperative games. The conditions for the existence of a generalized Nash equilibrium of an n-person nonmonetized noncooperative game should be stronger than the conditions for the existence of an extended Nash equilibrium applied to the theorems in the preceding section.
Theorem 4.1 Let be an n-person nonmonetized noncooperative game. Suppose that for every player , is a cluster-preserving single-valued mapping, and for any , in addition to that, satisfies the following two conditions:
g1. is a subset of with a maximum element;
g3. For in S, if with is a maximum element of , then there is with such that is a maximum element of ,
also satisfies one of the following conditions:
g2. The -downward set of the inverse image {: is a maximum element of } is an inductive subset of ;
g2′. The inverse image is inductive with a finite number of maximal element clusters for each .
If there are , satisfying that
then there is an -cluster in S, in which every element is a generalized Nash equilibrium of Γ.
Proof The proof of this theorem is similar to the proof of Theorem 3.4. For every fixed , we define a mapping by
We also define the product mapping by
Then, similarly to the proof of Theorem 3.4, we can show that the mapping T has an order-clustered fixed point . Hence, there is such that . This implies ; that is,
It is equivalent to the following: for every , we have
From (3.3), implies for every fixed . Since is a cluster-preserving single-valued mapping from (2.1) in Definition 2.4, it implies
Combining (4.1) and (4.2), we have
This shows that is a generalized Nash equilibrium of this game. Similarly to the proof of Theorem 3.4, we can show that for any , is also a generalized Nash equilibrium of this game. This completes the proof of this theorem. □
Similar to Corollary 3.6, if we consider some special collections of strategies with lower bound, then we obtain the following consequence of Theorem 4.1, where condition (3.1)′ can be removed.
Corollary 4.2 Let be an n-person nonmonetized noncooperative game. Suppose that for every player , , and for any , satisfies assumptions g1 and g3. If satisfies one of assumptions g2 or g2′ given in Theorem 4.1, then there is an -cluster in S, in which every element is a generalized Nash equilibrium of Γ.
References
Aubin JP: Mathematical Methods of Games and Economic Theory. North-Holland, Amsterdam; 1979.
Bohnenblust HF, Karlin S: Contributions to the Theory of Games. Princeton University Press, Princeton; 1950.
Mas-Colell A, Whinston MD, Green JR: Microeconomic Theory. Oxford University Press, Oxford; 1995.
Samuelson P: Foundations of Economic Analysis. Harvard University Press, Cambridge; 1947.
Zhang CJ: Set-Valued Analysis with Applications in Economics. Sciences Press, Beijing; 2004. (Chinese)
Von Neumann J, Morgenstern O: The Theory of Games and Economic Behavior. Princeton University Press, Princeton; 1944.
Carl S, Heikkilä S: Fixed Point Theory in Ordered Sets and Applications: From Differential and Integral Equations to Game Theory. Springer, New York; 2010.
Li, JL: Extended and generalized Nash equilibria of nonmonetized noncooperative games on complete lattices (submitted)
Li JL: Applications of fixed point theory to generalized Nash-equilibriums of nonmonetized noncooperative games on Banach lattices. Nonlinear Anal. Forum 2013, 18: 1–11.
Li, JL: Extended Nash equilibria of nonmonetized noncooperative games on preordered sets. Int. Game Theory Rev. (to appear)
Li, JL, Park, S: Generalized Nash-equilibriums of nonmonetized noncooperative games on lattices. Br. J. Econ. Manag. Trade (to appear)
Li, JL: Several extensions of the Abian-Brown fixed point theorem and their applications to extended and generalized Nash equilibria on chain-complete posets. J. Math. Anal. Appl. (to appear)
Xie, LS, Li, JL, Wen, CF: Applications of fixed point theory to extended Nash-equilibriums of nonmonetized noncooperative games on posets (to appear)
Ok, EA: Order theory (forthcoming)
Fujimoto T: An extension of Tarski’s fixed point theorem and its applications to isotone complementarity problems. Math. Program. 1984, 28: 116–118. 10.1007/BF02612716
Aliprantis CD, Burkinshaw O: Positive Operators. Springer, Berlin; 2006.
Dunford N, Schwartz JT: Linear Operators. Part I. Wiley, New York; 1988.
Acknowledgements
The authors are grateful to the anonymous reviewers for their valuable suggestions, which really improved the presentation of this paper. First author was partially supported by the National Natural Science Foundation of China (11171137). Third author was partially supported by the National Natural Science Foundation of China (Grant 11101379).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Authors LX and JL initialed the basic ideas and definitions of this manuscript, and then all the three authors LX, JL and WY worked together in proving all theorems.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Xie, L., Li, J. & Yang, W. 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). https://doi.org/10.1186/1687-1812-2013-192
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1812-2013-192