The joint continuity of the expected payoff functions
Introduction
One of the fundamental and most useful theorems of non-cooperative game theory is the one that asserts that every strategic game with a finite number of players has a mixed strategies equilibrium. This result appeared in the literature in several variations and in the works of many authors; see for instance Debreu (1952) and Nash (1950). Its most general formulation is the one obtained by Glicksberg (1952) that can be stated as follows: Every strategic game with a finite number of players having action sets convex compact subsets of Hausdorff locally convex spaces and continuous payoff functions has a mixed strategies equilibrium.
A modern proof of this result is the one given by Glicksberg (1952) and is based on his generalization of the Kakutani fixed point theorem to the locally convex framework; see Theorem 2.1. In turn, Glicksberg’s proof of the generalization of Kakutani’s fixed point theorem to the locally convex setting is basically an adaptation of the proof of an elegant fixed point theorem obtained by Bohnenblust and Karlin (1950). There is, however, one assumption in the proof that Glicksberg did not verify. Namely, that of the joint continuity of the expected payoff functions. In most modern advanced books in game theory (see for instance Friedman, 1986; Fudenberg and Tirole, 1996; Myerson, 1991; Osborne and Rubinstein, 1994) this point is overlooked and the existing proofs of this basic result in the textbook literature of game theory are incomplete.
Glycopantis and Muir (2000) proved the continuity of the payoff function working, as in Glicksberg, with compact Hausdorff spaces of pure strategies,1 employing the fundamental Stone–Weierstrass theorem. Zarichnyi (2004) provides, under the same general conditions, an alternative proof by introducing into mathematical economics the properties of Milyutin maps.
The objective of this note is to present another proof of the joint continuity of the expected payoff functions when the action sets are metrizable compact spaces based on functional analytic and measure theoretic methods. The main result of this note is Lemma 3.4. The reason for providing a detailed proof adjusted to such conditions, stems from the fact that these are the usual requirements imposed on pure strategies (actions) of the agents.2 The paper also contains two examples that seem to be missing from the literature. The first one (Example 2.2) shows that in the classical result (Theorem 2.1) regarding the existence of Nash equilibrium the separate quasi-concavity of the payoff functions cannot be dropped. The second example (Example 3.2) demonstrates that even when the action sets of a strategic game are compact and convex subsets of finite dimensional Euclidean spaces and the payoff functions are continuous and separately quasi-concave, the game besides (necessarily) having pure strategies equilibria it can also have mixed strategies equilibria.
To help the reader understand the problem, the material has been spread out into three small sections. In Section 2 we simply state the basic existence of Nash equilibrium theorem in the locally convex setting (Theorem 2.1). In Section 3 we state the existence of mixed strategies equilibrium (Theorem 3.3) and establish Lemma 3.4, the key result needed to prove the joint continuity of the expected payoff functions. In the appendix section we have collected the major results from functional analysis and measure theory that are needed for this note. For terminology and notation we follow Aliprantis and Border (1999).
Section snippets
The existence of Nash equilibrium: the pure strategies case
We discuss here very briefly the classical existence theorem of Nash equilibria for strategic games. So, we consider a k-player strategic game. The action set of player i is . The set of all action profiles is the Cartesian product . We shall write for the arbitrary action profile. As usual, if , then for each player i we letthe actions of all players with respect to except player’s i, and . Following the standard notation, for
The existence of Nash equilibrium: the mixed strategies case
We now remove the convexity assumption from the action sets. But we shall assume that each is a metrizable compact topological space. This guarantees that each , the Banach space of all continuous real-valued functions defined on , is separable and its norm dual is the Banach space , the Borel signed measures of bounded total variation defined on the Borel -algebra . The weak topology will be denoted by and will be called the -topology of .
Acknowledgements
This research is supported in part by the NSF grants EIA-0075506, SES-0128039, DMS-0437210, and ACI-0325846. We thank Eric Balder for pointing out to us references Balder (1988); Billingsley (1968); Allan Muir and Nicholas Yannelis for their constructive comments and an anonymous referee for several useful suggestions.
References (18)
- et al.
Pure strategies in games with private information
Journal of Mathematical Economics
(1995) Problems in Equilibrium Theory
(1996)- et al.
Infinite Dimensional Analysis: A Hitchhiker’s Guide
(1999) Generalized equilibrium results for games with incomplete information
Mathematics of Operations Research
(1988)Convergence of Probability Measures
(1968)- et al.
On a theorem of Ville
A social equilibrium existence theorem
Proceedings of the National Academy of Sciences USA
(1952)Fixed-point and minimax theorems in locally convex topological spaces
Proceedings of the National Academy of Sciences USA
(1952)Game Theory With Applications to Economics
(1986)