Hello,
i came across a remark that states that nash equilibria inside the simplex S_n are unique. Or stated differently: If there is more then one such equilibrium, then they have to lie on the boundary of S_n. Why is this true ?
Thank you
Hello, i came across a remark that states that nash equilibria inside the simplex S_n are unique. Or stated differently: If there is more then one such equilibrium, then they have to lie on the boundary of S_n. Why is this true ? Thank you 


Here are two true statements like this. I assume we are talking about two player games with finite strategy sets. Let the number of strategies of the two players be $p$ and $q$.
Let $\Delta^{p1}$ be the strategy simplex for the first player, and $\Delta^{q1}$ for the second player. Let $P$ and $Q$ be the payoff functions for each player. Our goal is to understand those points in the interior of $\Delta^{p1} \times \Delta^{q1}$ which are Nash equilibria. Suppose that $(x,y)$ is an interior equilibrium. Now, $Q(x,y)$ is linear in $y$. The only way that a linear function can be optimized at an interior point is that $Q$ is constant as a function of $y$. The condition that $Q$ be constant as a function of $y$ is given by $q1$ linear equations in the $x$ variables. There is also one more equation: $\sum x_i =1$. Similarly, requiring that $x$ be an interior optimum gives $(p1)+1$ linear equations in the $y$ variables. If our payoff matrix is generic, then these equations are independent. We have $q$ equations in $p$ variables and $p$ equations in $q$ variables. If $p \neq q$, then one of these sets of equations will have no solution. If $p=q$, then there is one solution in $\mathbb{R}^p \times \mathbb{R}^q$. If it has positive entries, then it is the unique interior equilibrium. If some of the entries are negative, then there are no interior equilibria. Even without the assumption that the payoff matrix is generic, the subset of $\Delta^{p1}$ where some linear equations hold is a polyhedron $K$. Similarly, the subset of $\Delta^{q1}$ where some linear equations hold is a polyhedron $L$. So the set of interior equilibria always looks like $K \times L$. 


Maybe I am misunderstanding something, but this cannot be true in such a generality. Indeed, if the utility function is constant, then every point is an equilibrium. To have uniqueness, you need some additional property like strict concavity or similar. For instance, you may have a look at this slides http://www.arts.cornell.edu/econ/guerdjikova/teaching/gth2006/ecinf_files/lecture9.pdf just to have a flavor. 


Hello, Both answers are very helpful. Following Valerios remark i looked for additional properties an found that the author of the text i was reading meant a special class of Nash equilibria called evolutionary stable strategies (ESS) . For those ESS the claim was proved in by Haigh (1975). So, i have to apologize for the false statement in my question. Thank you for our answers. 

