二者択一定理

【にしゃたくいつていり (theorem of alternatives)】

一対の方程式・不等式系に対して, そのどちらかは必ず成立し, しかも両方が成立することはないことを主張する定理. 代表的なものに, 与えられた行列 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle A\,} とベクトル 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle b\,} によって定義される不等式系の対 (I) $Ax\leq 0,\ b^{T}x>0\,$ と (II) 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle A^T y = b, \ y \ge 0\,} に対するファーカスの定理がある.