「二者択一定理」の版間の差分
ナビゲーションに移動
検索に移動
(新しいページ: '【にしゃたくいつていり (theorem of alternatives)】 一対の方程式・不等式系に対して, そのどちらかは必ず成立し, しかも両方が成立す...') |
|||
| 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> に対するファーカスの定理がある. |
2007年7月13日 (金) 03:01時点における版
【にしゃたくいつていり (theorem of alternatives)】
一対の方程式・不等式系に対して, そのどちらかは必ず成立し, しかも両方が成立することはないことを主張する定理. 代表的なものに, 与えられた行列 とベクトル によって定義される不等式系の対 (I) と (II) に対するファーカスの定理がある.
