Minimax Theorem

In the mathematical area of game theory, a minimax theorem is a theorem providing conditions that guarantee that the max–min inequality is also an equality.
The first theorem in this sense is von Neumann's minimax theorem from 1928, which was considered the starting point of game theory.
Since then, several generalizations and alternative versions of von Neumann's original theorem have appeared in the literature.

Zero-sum games

The minimax theorem was first proven and published in 1928 by John von Neumann, who is quoted as saying "''As far as I can see, there could be no theory of games ... without that theorem ... I thought there was nothing worth publishing until the Minimax Theorem was proved''".

Formally, von Neumann's minimax theorem states:

Let $X \subset \mathbb^n$ and $Y \subset \mathbb^m$ be compact convex sets. If $f: X \times Y \rightarrow \mathbb$ is a continuous function that is concave-convex, i.e.

: $f(\cdot,y): X \to \mathbb$ is concave for fixed $y$, and
: $f(x,\cdot): Y \to \mathbb$ is convex for fixed $x$.

Then we have that

: $\max_ \min_ f(x,y) = \min_ \max_f(x,y).$

Examples

If $f(x,y) = x^\mathsf A y$ for a finite matrix $A \in \mathbb^$, we have:

: $\max_ \min_ x^\mathsf A y = \min_\max_ x^\mathsf A y.$

See also

* Sion's minimax theorem
* Parthasarathy's theorem — a generalization of Von Neumann's minimax theorem
* Dual linear program can be used to prove the minimax theorem for zero-sum games.
* Yao's minimax principle

References

Game theory
Mathematical optimization
Mathematical theorems

{{gametheory-stub