最小最大值定理也称博弈论基本定理,是一个关于最大最小不等式等号成立的条件的定理。该定理最先于1928年由冯·诺伊曼证明。
该定理声称:若 X ⊆ R n {\displaystyle X\subseteq \mathbb {R} ^{n}} , Y ⊆ R m {\displaystyle Y\subseteq \mathbb {R} ^{m}} 为紧致凸集。 f : X × Y → R {\displaystyle f:X\times Y\rightarrow \mathbb {R} } 为连续的凸-凹函数(即 f ( x , y ) {\displaystyle f(x,y)} 关于 x {\displaystyle x} 是凸函数,关于 y {\displaystyle y} 是凹函数)。则: