 Research
 Open access
 Published:
Equivalence results between Nash equilibrium theorem and some fixed point theorems
Fixed Point Theory and Applications volumeÂ 2016, ArticleÂ number:Â 69 (2016)
Abstract
We show that the Kakutani and Brouwer fixed point theorems can be obtained by directly using the Nash equilibrium theorem. The corresponding setvalued problems, such as the Kakutani fixed point theorem, Walras equilibrium theorem (setvalued excess demand function), and generalized variational inequality, can be derived from the Nash equilibrium theorem, with the aid of an inverse of the Berge maximum theorem. For the singlevalued situation, we derive the Brouwer fixed point theorem, Walras equilibrium theorem (singlevalued excess demand function), KKM lemma, and variational inequality from the Nash equilibrium theorem directly, without any recourse.
1 Introduction
It is well known that fixed point theorems play an important role in game theory and mathematical economics [1â€“3]. Nash [4] firstly defined the best response correspondence and applied the Berge maximum theorem and Kakutani fixed point theorem to prove the existence of Nash equilibrium points in finite games, where finitely many players may choose from a finite number of pure strategies in finitedimensional Euclidean spaces. Later, Debreu [5] extended finite games to noncooperative games with nonlinear payoff functions and obtained the following equilibrium theorem.
Theorem 1.1
Let \(N=\{1,\ldots ,n\}\) be a finite set of players. For each \(i\in N\), \(X_{i}\) is a nonempty, convex, and compact subset of the \(n_{i}\)dimensional Euclidean space, \(f_{i}:X:=\prod_{i\in N}X_{i}\longrightarrow\mathbb{R}\) is continuous, and \(f_{i}(x_{i},x_{i})\) is quasiconcave in \(x_{i}\) for any \(x_{i}\), where \(i=N\backslash\{i\}\). Then, there exists \(x^{\ast}\in X\) such that
Such \(x^{*}\) is called an equilibrium of the game \(\Gamma=(X_{1},\ldots ,X_{n};f_{1},\ldots,f_{n})\).
In recent years, a great deal of mathematical effort has been devoted to prove the equivalence between the KKM principle and several fixed point theorems or minimax inequalities. Park [8] showed a sequence of equivalent formulations for the KKM principle in abstract convex spaces. From the statements of [8, 9] we know that the fixed point theorem, minimax inequility, and Nash equilibrium theorem can be derived from the KKM principle. However, to the best of our knowledge, there is no proof for the Kakutani and Brouwer fixed point theorems via the Nash equilibrium theorem, although we can find in the previous literature many proofs or equivalent results for these two theorems [2, 8, 9]. In this paper, we fill these gaps. In SectionÂ 2, we show that the Kakutani fixed point theorem, Walras equilibrium theorem (setvalued excess demand function), and generalized variational inequality can be derived from the Nash equilibrium theorem with the aid of an inverse of the Berge maximum theorem [10, 11]. In SectionÂ 3, for the singlevalued situation, we derive the Brouwer fixed point theorem, Walras equilibrium theorem (singlevalued excess demand function), KKM lemma, and variational inequality from the Nash equilibrium theorem directly, without any recourse.
2 Kakutani fixed point theorem via Nash equilibrium theorem
To obtain the Kakutani fixed point theorem from the Nash equilibrium theorem, we need an inverse of the Berge maximum theorem.
Theorem 2.1
(Berge maximum theorem) (see [2, 6])
Let X be a subset of the ndimensional Euclidean space \(\mathbb{R}^{n}\), and Y be a subset of the mdimensional Euclidean space \(\mathbb{R}^{m}\). Let \(u:X\times Y\longrightarrow\mathbb{R}\) be continuous, and let \(S: X\rightrightarrows Y\) be continuous and nonempty compactvalued. Then, the correspondence \(K: X\rightrightarrows Y\) defined by
is upper semicontinuous and compactvalued.
In 1997, Komiya [10] considered an inverse of the Berge maximum theorem, and Zhou [11] gave a simple alternative proof.
Theorem 2.2
(Inverse of Berge maximum theorem)
Let X be a subset of the ndimensional Euclidean space \(\mathbb {R}^{n}\), and \(K:X\rightrightarrows\mathbb{R}^{m}\) be a nonempty convex compactvalued and upper semicontinuous correspondence. Then there exists a continuous function \(v: X \times\mathbb{R}^{m} \longrightarrow[0, 1]\) such that

(i)
\(K(x)= \{y\in\mathbb{R}^{m}:v(x,y)=\max_{z\in\mathbb {R}^{m}}v(x,z) \}\), \(\forall x\in X\);

(ii)
\(v(x,y)\) is quasiconcave in y for any \(x\in X\).
We begin by proving the following results.
2.1 Kakutani fixed point theorem
Komiya [10] showed that the Kakutani fixed point theorem can be derived from the existence theorem of maximal elements with the aid of TheoremÂ 2.2. However, in this section, by using different methods, we derive the Kakutani fixed point theorem.
Theorem 2.3
(Kakutani fixed point theorem)
Let X be a nonempty, convex, bounded, and closed subset of \(\mathbb{R}^{n}\), and \(F:X\rightrightarrows X\) be a nonempty convex compactvalued and upper semicontinuous correspondence. Then, there exists \(x^{\ast}\in X\) such that \(x^{\ast}\in F(x^{\ast})\).
Proof
We apply TheoremÂ 2.2 to find a continuous function \(f:X\times\mathbb{R}^{n}\longrightarrow[0,1]\) such that
and \(f(x,y)\) is quasiconcave in y for any \(x\in X\). Since \(F(x)\subset X\),
Next, define the mapping \(g:X\times X \longrightarrow\mathbb{R}\) by
Obviously, g is continuous on \(X\times X\), and \(g(x,\cdot)\) is concave on X for any \(x\in X\).
For the game \(\Gamma=(X,X;f,g)\), by TheoremÂ 1.1 there exists \((x^{\ast},y^{\ast})\in X\times X\) such that
Therefore, \(y^{\ast}\in F(x^{\ast})\) and \(x^{\ast}=y^{\ast}\), which implies \(x^{\ast}\in F(x^{\ast})\). This completes the proof.â€ƒâ–¡
2.2 Walras equilibrium theorem (setvalued excess demand function)
Walras equilibrium may be formulated as follows. Let there be n commodities, and \(P\subset\mathbb{R}^{n}\) be the set of all price vectors,
The excess demand function \(\zeta(p)=(\zeta_{1}(p),\ldots,\zeta_{n}(p))\) is a correspondence from P to \(\mathbb{R}^{n}\). AÂ price vector \(p^{\ast}\in P\) is an equilibrium if there exists \(z^{\ast}\in\zeta(p^{\ast})\) such that
Theorem 2.4
(Walras equilibrium theorem)
Let an excess demand function \(\zeta(p)\) satisfy the following conditions:

(i)
\(\zeta:P\rightrightarrows\mathbb{R}^{n}\) is a nonempty convex compactvalued and upper semicontinuous correspondence;

(ii)
the weak Walras law holds:
$$\langle p,z\rangle\leq0,\quad \forall p\in P, \forall z\in\zeta(p). $$
Then there exists at least one equilibrium \(p^{\ast}\), that is, there exists \(z^{\ast}\in\zeta(p^{\ast})\) such that
Proof
Let \(Z=co\zeta(P)\), where \(co\zeta(P)\) is the convex hull. CorollaryÂ 5.33 and LemmaÂ 17.84 of [12] yield that Z is a nonempty, convex, and compact subset of \(\mathbb{R}^{n}\). We apply TheoremÂ 2.2 to find a continuous function \(f:P\times Z\longrightarrow[0,1]\) such that
and \(f(p,z)\) is quasiconcave in z for any \(p\in P\).
Next, define the mapping \(g:P\times Z \longrightarrow\mathbb{R}\) by
Obviously, g is continuous on \(P\times Z\), and \(g(p,\cdot)\) is concave for any \(p\in P\).
For the game \(\Gamma=(Z,P;f,g)\), by TheoremÂ 1.1 there exists \((z^{\ast},p^{\ast})\in Z\times P\) such that
Therefore, \(z^{\ast}\in\zeta(p^{\ast})\). From the weak Walras law we have
that is,
We conclude that
Otherwise, there is \(i_{0}\in\{1,\ldots,n\}\) such that \(z^{\ast}_{i_{0}}> 0\). Let \(\overline{q}\in P\) with \(\overline{q}_{i_{0}}=1\) and \(\overline{q}_{i}=0\) for any \(i\neq i_{0}\). Then
which is a contradiction.â€ƒâ–¡
2.3 Generalized variational inequality
In 1968, Browder [13] first gave the generalized variational inequality, which plays a very important role in game theory and nonlinear analysis (see, for example, [6] and the references therein). Here we show that the generalized variational inequality can be derived from the Nash equilibrium theorem with the aid of TheoremÂ 2.2 as follows.
Theorem 2.5
(Generalized variational inequality)
Let X be a nonempty, convex, bounded, and closed subset of \(\mathbb{R}^{n}\), and \(F:X\rightrightarrows\mathbb {R}^{n}\) be a nonempty convex compactvalued and upper semicontinuous correspondence. Then, there exist \(x^{*}\in X\) and \(u^{\ast}\in F(x^{\ast})\) such that
Proof
Let \(U=coF(X)\), where \(coF(X)\) is the convex hull. CorollaryÂ 5.33 and LemmaÂ 17.8 of [12] yield that U is a nonempty, convex, and compact subset of \(\mathbb{R}^{n}\). We apply TheoremÂ 2.2 to find a continuous function \(f:X\times U\longrightarrow[0,1]\) such that
and \(f(x,u)\) is quasiconcave in u for any \(x\in X\).
Next, define two mappings \(g,h:U\times X\times X \longrightarrow \mathbb{R}\) by
Obviously, g, h are continuous on \(U\times X\times X\), and \(g(\cdot ,y)\) and \(h(u,x,\cdot)\) are concave for any \(x\in X\) and any \(u\in U\).
For the game \(\Gamma=(U, X, X;f,g,h)\), by TheoremÂ 1.1 there exists \((u^{\ast},x^{\ast},y^{\ast})\in U\times X\times X\) such that
Therefore, \(u^{\ast}\in F(x^{\ast})\), \(x^{\ast}=y^{\ast}\) and
that is, \(u^{\ast}\in F(x^{\ast})\) and
This completes the proof.â€ƒâ–¡
3 Brouwer fixed point theorem via Nash equilibrium theorem
In this section, we apply only the Nash equilibrium theorem to conclude the Brouwer fixed point theorem and related problems, without recourse to the inverse of the Berge maximum theorem.
3.1 Brouwer fixed point theorem
Theorem 3.1
(Brouwer fixed point theorem)
Let X be a nonempty, convex, bounded, and closed subset of \(\mathbb{R}^{n}\), and Ï† be a continuous function from X to itself. Then, there exists \(x^{\ast}\in X\) such that \(x^{\ast}=\varphi(x^{\ast})\).
Proof
Define two mappings \(f,g:X\times X\longrightarrow \mathbb{R}\) by
Obviously, f, g are continuous on \(X\times X\), and \(f(\cdot,y)\) and \(g(x,\cdot)\) are concave for any \(x\in X\) and any \(y\in X\).
For the game \(\Gamma=(X,X; f,g)\), by TheoremÂ 1.1 there exists \((x^{\ast},y^{\ast})\in X\times X\) such that
Therefore, \(x^{\ast}=y^{\ast}\) and \(y^{\ast}=\varphi(x^{\ast})\), that is, \(x^{\ast}=\varphi(x^{\ast})\). This completes the proof.â€ƒâ–¡
3.2 Walras equilibrium theorem (singlevalued excess demand function)
Following the statement of SectionÂ 2.2, the Walras equilibrium theorem for a singlevalued excess demand function can be obtained from the Nash equilibrium theorem. The excess demand function \(\zeta(p)=(\zeta_{1}(p),\ldots,\zeta_{n}(p))\) is a function from P to \(R^{n}\). A price vector \(p^{\ast}\in P\) is an equilibrium if
Theorem 3.2
(Walras equilibrium theorem)
Let an excess demand function \(\zeta(p)\) satisfy the following conditions:

(i)
\(\zeta(p)\) is a continuous function from P to \(R^{n}\);

(ii)
The Weak Walras law holds:
$$\bigl\langle \zeta(p),p \bigr\rangle \leq0,\quad \forall p\in P. $$
Then there exists at least one equilibrium \(p^{\ast}\), that is, there exists \(p^{*}\in P\) such that
Proof
Define two mappings \(f,g:P\times P \longrightarrow\mathbb{R}\) by
Obviously, f, g are continuous on \(P\times P\), and \(f(\cdot,q)\) and \(g(p,\cdot)\) are concave for any \(p\in P\) and any \(q\in P\).
For the game \(\Gamma=(P,P;f,g)\), by TheoremÂ 1.1 there exists \((p^{\ast},q^{\ast})\in P\times P\) such that
Therefore, \(p^{\ast}=q^{\ast}\), and by the weak Walras law we have
that is,
We conclude
Otherwise, there is \(i_{0}\in\{1,\ldots,n\}\) such that \(\zeta_{i_{0}}(p^{\ast})> 0\). Let \(\overline{q}\in P\) with \(\overline{q}_{i_{0}}=1\) and \(\overline{q}_{i}=0\) for any \(i\neq i_{0}\). Then
which is a contradiction.â€ƒâ–¡
3.3 KKM lemma
The KKM lemma is a very basic theorem, and the Brouwer fixed point theorem can be obtained by this lemma. The proof can be found in [6, 7]. We still derive the KKM lemma from the Nash equilibrium theorem.
Theorem 3.3
(KKM lemma)
Let
and let \(\{F_{0},\ldots,F_{m}\}\) be a family of closed subsets of Î” such that, for any \(A\subset\{0,\ldots,m\}\),
Then
Proof
For any \(x=\sum^{m}_{i=0}x_{i}e^{i}\in\Delta\), \(y=\sum^{m}_{i=0}y_{i}e^{i}\in\Delta\), where \(x_{i}\geq0\), \(\sum^{m}_{i=0}x_{i}=1\), \(y_{i}\geq0\), \(\sum^{m}_{i=0}y_{i}=1\), define two mappings \(f,g:\Delta\times\Delta\longrightarrow\mathbb{R}\) by
where \(d(x,F_{i})\) is the distance from a point x to the set \(F_{i}\). Obviously, f, g are continuous on \(\Delta\times\Delta\), and \(f(\cdot ,y)\) and \(g(x,\cdot)\) are concave for any \(x\in\Delta\) and any \(y\in\Delta\).
For the game \(\Gamma=(\Delta,\Delta;f,g)\), by TheoremÂ 1.1 there exists \((x^{\ast},y^{\ast})\in\Delta\times\Delta\) such that
Therefore, \(x^{\ast}=y^{\ast}\) and
Let \(I(x^{\ast})=\{i:x^{\ast}_{i}>0\}\). Then \(I(x^{\ast})\neq\emptyset\) and
It must be
Additionally, since
there exists \(i_{0}\in I(x^{\ast})\) such that \(x^{\ast}\in F_{i_{0}}\), which implies
that is, \(d(x^{\ast},F_{i})=0\) for all \(i=0,\ldots,m\). Since \(F_{i}\) is a closed set, it follows that \(x^{*}\in F_{i}\). Therefore,
This completes the proof.â€ƒâ–¡
3.4 Variational inequality
The variational inequality is an important tool in the study of optimization theory and game theory [6]; we also refer to early celebrated works [14] and [15]. Here, we deduced the variational inequality by Nash equilibrium theorem directly.
Theorem 3.4
(Variational inequality)
Let X be a nonempty, convex, bounded, and closed subset of \(\mathbb{R}^{n}\), and \(\varphi:X\longrightarrow\mathbb {R}^{n}\) be a continuous function. Then, there exists \(x^{\ast}\in X\) such that
Proof
Define two mappings \(f,g:X\times X \longrightarrow\mathbb{R}\) by
Obviously, f, g are continuous on \(X\times X\), and \(f(\cdot,y)\) and \(g(x,\cdot)\) are concave for any \(x\in X\) and any \(y\in X\).
For the game \(\Gamma=(X,X;f,g)\), by TheoremÂ 1.1 there exists \((x^{\ast},y^{\ast})\in X\times X\) such that
Therefore, \(x^{\ast}=y^{\ast}\) and
which implies
that is,
This completes the proof.â€ƒâ–¡
4 Concluding remarks
Nash equilibrium is a very important notion in the game theory. In general, the Nash equilibrium theorem can be derived from the Brouwer and Kakutani fixed point theorems. However, there is no proof for the Kakutani and Brouwer fixed point theorems via the Nash equilibrium theorem. In this paper, we fill these gaps. We show that the Kakutani fixed point theorem, Walras equilibrium theorem (setvalued excess demand function), and generalized variational inequality can be derived from the Nash equilibrium theorem with the aid of an inverse of the Berge maximum theorem. For the singlevalued situation, we derive the Brouwer fixed point theorem, Walras equilibrium theorem (singlevalued excess demand function), KKM lemma, and variational inequality from the Nash equilibrium theorem directly, without any recourse.
Moreover, it is known that the Nash equilibrium theorem has been extended by Ky Fan to Hausdorff topological vector spaces (see TheoremÂ 4 in [16]). We next apply the Fan extension of the Nash equilibrium theorem to give an infinitedimensional extension of the Brouwer fixed point theorem (i.e., the Tychonoff fixed point theorem).
Theorem 4.1
(see TheoremÂ 4 in [16])
Let \(N=\{ 1,\ldots,n\}\) be a finite set of players. Suppose that, for each \(i\in N\), \(X_{i}\) is a nonempty, convex, and compact set in a locally convex Hausdorff topological vector space \(E_{i}\), \(f_{i}:X:=\prod_{i\in N}X_{i}\longrightarrow\mathbb{R}\) is continuous, and \(f_{i}(x_{i},x_{i})\) is quasiconcave in \(x_{i}\) for any \(x_{i}\), where \(i=N\backslash\{i\}\). Then, there exists \(x^{\ast}\in X\) such that
Theorem 4.2
(Tychonoff fixed point theorem)^{Footnote 1}
Let X be a compact convex subset of a locally convex Hausdorff topological vector space E, and \(\varphi :X\rightarrow X\) be a continuous function. Then, there exists \(x^{\ast}\in X\) such that \(x^{\ast}=\varphi(x^{\ast})\).
Proof
Let X be a compact convex subset of a locally convex Hausdorff topological vector space E, \(\varphi:X\rightarrow X\) be a continuous function, and \(\mathbb{P}\) be a separating family of seminorms that generates the topology of E. For every \(p\in\mathbb{P}\), set \(F_{p}=\{x\in X:p(x\varphi(x))=0\}\). We have to prove that \(\bigcap_{p\in\mathbb{P}}F_{p}\neq\emptyset\). Since X is compact and the sets \(F_{p}\) are closed, it suffices to show that, for any finite set \(\{p_{1},\dots,p_{n}\}\subseteq \mathbb{P}\), \(\bigcap_{i=1}^{n} F(p_{i})\neq\emptyset\). To this end, apply the Nash equilibrium theorem (Ky Fanâ€™s version) to the functions \(f(x,y)=\sum_{i=1}^{n} p_{i}(xy)\) and \(g(x,y)=\sum_{i=1}^{n} p_{i}(\varphi(x)y)\). The following proof is similar to that given in TheoremÂ 3.1.â€ƒâ–¡
Notes
This result and its proof has been suggested by an anonymous referee.
References
Agarwal, RP, Meehan, M, Oâ€™Regan, D: Fixed Point Theory and Applications. Cambridge University Press, Cambridge (2001)
Aubin, JP, Ekeland, I: Applied Nonlinear Analysis. Wiley, New York (1984)
Granas, A, Dugundji, J: Fixed Point Theory. Springer, New York (2003)
Nash, JF: Equilibrium points in nperson games. Proc. Natl. Acad. Sci. 36, 4849 (1950)
Debreu, G: A social equilibrium existence theorem. Proc. Natl. Acad. Sci. 38, 886893 (1952)
Yu, J: Game Theory and Nonlinear Analysis. Science Press, Beijing (2008)
Yuan, XZ: KKM Theory and Applications in Nonlinear Analysis. Dekker, New York (1999)
Park, S: The KKM principle in abstract convex spaces: equivalent formulations and applications. Nonlinear Anal. 73, 10281042 (2010)
Park, S: Review of recent studies on the KKM theory, II. Nonlinear Funct. Anal. Appl. 19, 145157 (2014)
Komiya, H: Inverse of the Berge maximum theorem. Econ. Theory 9, 371375 (1997)
Zhou, L: The Structure of the Nash Equilibrium Sets of Standard 2Player Games. Rationality and Equilibrium, vol.Â 57. Springer, Berlin (2006)
Aliprantis, CD, Border, KC: Infinite Dimensional Analysis: A Hitchhikerâ€™s Guide, 3rd edn. Springer, Berlin (2006)
Browder, FE: The fixed point theory of multivalued mappings in topological vector spaces. Math. Ann. 177, 283301 (1968)
Browder, FE: A new generalization of the Schauder fixed point theorem. Math. Ann. 174, 285290 (1967)
Hartman, P, Stampacchia, G: On some nonlinear elliptic differentialfunctional equations. Acta Math. 115, 271310 (1966)
Fan, K: Applications of a theorem concerning sets with convex sections. Math. Ann. 163, 189203 (1966)
Acknowledgements
This research is supported by National Natural Science Foundation of China (Nos. 11501349, 61472093, 11361012), the Chen Guang Project sponsored by the Shanghai Municipal Education Commission and Shanghai Education Development Foundation (No. 13CG35) and the Youth Project for Natural Science Foundation of Guizhou Educational Committee (No. [2015]421). The authors wish to thank the anonymous referees for their constructive comments and suggestions that significantly improved the exposition of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authorsâ€™ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
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.
About this article
Cite this article
Yu, J., Wang, NF. & Yang, Z. Equivalence results between Nash equilibrium theorem and some fixed point theorems. Fixed Point Theory Appl 2016, 69 (2016). https://doi.org/10.1186/s136630160562z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s136630160562z