「ラグランジュ未定乗数法の基本部分」の版間の差分
提供: tknotebook
| 23行: | 23行: | ||
つまり、「[[直交補空間]]」の記事で書いたように、<math>{\boldsymbol a}</math>のとり得るベクトル集合は <math>{\boldsymbol c_l}</math> が張る部分空間と同じになるので、 | つまり、「[[直交補空間]]」の記事で書いたように、<math>{\boldsymbol a}</math>のとり得るベクトル集合は <math>{\boldsymbol c_l}</math> が張る部分空間と同じになるので、 | ||
| + | |||
{{eqn|<math>{\boldsymbol a}=\lambda_1{\boldsymbol c_1}+\lambda_2{\boldsymbol c_2}+\cdots+\lambda_K{\boldsymbol c_K}</math>|3}} | {{eqn|<math>{\boldsymbol a}=\lambda_1{\boldsymbol c_1}+\lambda_2{\boldsymbol c_2}+\cdots+\lambda_K{\boldsymbol c_K}</math>|3}} | ||
| + | |||
となるのです。この一次結合の結合係数が実はラグランジュの未定乗数になるのです。 | となるのです。この一次結合の結合係数が実はラグランジュの未定乗数になるのです。 | ||
2014年12月29日 (月) 01:42時点における版
ラグランジュ未定乗数法の基本は意外と簡単なものです。
|
( 1 ) |
が任意のベクトル 
で成り立つには 
であることが必要です。
では、一次独立なベクトル群 
に対し
|
( 2 ) |
という制限の中で が任意であるとき、
はどのような値になり得るかを考えてみましょう。
がとり得るベクトルの集合は基底 
が張る部分空間の直交補空間であることは定義上明らかです。
また、 のとり得るベクトルの集合は のとり得るベクトル集合の直交補空間であることは明らかです。
つまり、「直交補空間」の記事で書いたように、のとり得るベクトル集合は が張る部分空間と同じになるので、
|
( 3 ) |
となるのです。この一次結合の結合係数が実はラグランジュの未定乗数になるのです。
次ページ 条件付停留値問題 へ
