Abstract:In this paper, I prove the existence of a pure-strategy Nash equilibrium for a large class of games with nonconvex strategy spaces. Specifically, if each player's strategies form a compact, connected Euclidean neighborhood retract and if all best-response correspondences are null-homotopic, then the game has a pure-strategy Nash equilibrium. As an application, I show how this result can prove the fundamental theorem of algebra.
What problem does this paper attempt to address?
### The problems the paper attempts to solve
This paper aims to prove that a large class of games with non - convex strategy spaces have pure - strategy Nash equilibria. Specifically, if each player's strategy set forms a compact, connected Euclidean neighborhood retract and all best - response correspondences are null - homotopic, then the game has a pure - strategy Nash equilibrium. In addition, the author also shows how to use this result to prove the fundamental theorem of algebra.
### Background and motivation
In game theory, Nash equilibrium is a core concept and is widely used in social sciences. Traditional existence proofs usually rely on the Kakutani fixed - point theorem or the more general Fan - Glicksberg fixed - point theorem, and the key assumptions of these theorems are certain convexity conditions. However, when the strategy spaces and best - response sets are not convex, many standard techniques cannot establish the existence of Nash equilibria. This paper proves the existence of pure - strategy Nash equilibria in a wider range of games whose strategy spaces and best - response sets can be non - convex by applying Nielsen theory in algebraic topology.
### Main contributions
1. **New existence results**: The author proves that under compact, connected Euclidean neighborhood retract strategy spaces, if all best - response correspondences are null - homotopic, then there exists a pure - strategy Nash equilibrium.
2. **Application of the fundamental theorem of algebra**: The author shows how to use this result to prove the fundamental theorem of algebra, that is, every non - constant complex - coefficient polynomial has at least one root in the complex number field.
### Methods
The author uses Nielsen theory, a tool in algebraic topology for studying fixed points of self - mappings. The specific steps are as follows:
1. **Definitions and assumptions**:
- Each player's strategy set \( X_i \) forms a compact, connected Euclidean neighborhood retract.
- All best - response correspondences \( BR_i \) are null - homotopic.
2. **Main theorem**:
- If each player's strategy set \( X_i \) is compact, connected Euclidean neighborhood retract and all best - response correspondences \( BR_i \) are null - homotopic, then the game has a pure - strategy Nash equilibrium.
3. **Proof ideas**:
- Use lemmas in Nielsen theory to prove that null - homotopic best - response correspondences must have fixed points under a certain self - mapping.
- By constructing extended self - mappings and homotopies, prove that there exists a pure - strategy Nash equilibrium.
### Applications
The author shows how to use this result to prove the fundamental theorem of algebra. Specifically, if a complex - coefficient polynomial has no roots, it will lead to the unit circle being contractible, which contradicts known topological properties. Therefore, every non - constant complex - coefficient polynomial has at least one root in the complex number field.
### Conclusions
This paper proves that a large class of games with non - convex strategy spaces have pure - strategy Nash equilibria, and this result is more general than the results based on the Kakutani fixed - point theorem. Future research directions may include extending this result to allow mappings of different homotopy equivalence classes and calculating Nielsen numbers. Although calculating Nielsen numbers is relatively complex, this result provides a new perspective for studying non - convex games.