_（x∈X）^（Sup）f（x，y）_（y∈Y）^（inf）f（x，y）＝_（y∈Y）^（inf）_（x∈X）^（Sup）f（x，y）的充分必要条件

摘要

设Ｘ和Ｙ是任两集合，ｆ是Ｘ×Ｙ上的有界函数。本文证明了：极小极大等式成立，当且仅当对任ε＞０，ｆ在Ｘ×Ｙ上有ε－鞍点。