「二者択一定理」の版間の差分
| 1行目: | 1行目: | ||
【にしゃたくいつていり (theorem of alternatives)】 | 【にしゃたくいつていり (theorem of alternatives)】 | ||
| − | 一対の方程式・不等式系に対して, そのどちらかは必ず成立し, しかも両方が成立することはないことを主張する定理. 代表的なものに, 与えられた行列 <math>A\,</math> とベクトル <math>b\,</math> によって定義される不等式系の対 (I) <math>Ax \le 0, \ b^T x > 0\,</math> と (II) <math>A^T y = b, \ y \ge 0\,</math> に対するファーカスの定理がある. | + | 一対の方程式・不等式系に対して, そのどちらかは必ず成立し, しかも両方が成立することはないことを主張する定理. 代表的なものに, 与えられた行列 <math>A\,</math> とベクトル <math>b\,</math> によって定義される不等式系の対 <b>(I)</b> <math>Ax \le 0, \ b^T x > 0\,</math> と <b>(II)</b> <math>A^T y = b, \ y \ge 0\,</math> に対するファーカスの定理がある. |
2007年7月13日 (金) 03:07時点における版
【にしゃたくいつていり (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) 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle Ax \le 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\,} に対するファーカスの定理がある.