摘要

由凸集分离定理引出了Farkas引理,进而给出了3个择一性定理,并运用Farkas引理和择一性定理,证明了优化中的KT定理、可行域算法中的KT条件、广义优化中的Tucker引理和博弈论中的Minmax定理.