「ラグランジュ未定乗数法の基本部分」の版間の差分

提供: tknotebook
移動: 案内検索
 
(1人の利用者による、間の5版が非表示)
1行: 1行:
[[Category:数学]][[Category:線形代数]][[category:ラグランジュの未定乗数法]]
+
[[Category:数学]][[Category:数学その他]][[category:ラグランジュの未定乗数法]]
[[メインページ]]>[[数学の部屋]]>[[ラグランジュの未定乗数法]]
+
[[メインページ]]>[[数学の部屋#ラグランジュの未定乗数法]]
  
 
ラグランジュ未定乗数法の基本は意外と簡単なものです。
 
ラグランジュ未定乗数法の基本は意外と簡単なものです。
  
 +
2つのベク卜ル<math>{\boldsymbol a}</math>と<math>{\boldsymbol b}</math>において
  
 
{{eqn|<math>{\boldsymbol a}\cdot{\boldsymbol b}=0</math>|1}}
 
{{eqn|<math>{\boldsymbol a}\cdot{\boldsymbol b}=0</math>|1}}
10行: 11行:
 
が任意のベクトル <math>{\boldsymbol b}</math> で成り立つには <math>{\boldsymbol a}= {\boldsymbol 0}</math> であることが必要です。
 
が任意のベクトル <math>{\boldsymbol b}</math> で成り立つには <math>{\boldsymbol a}= {\boldsymbol 0}</math> であることが必要です。
  
では、一次独立なベクトル群 <math>{\boldsymbol c_l}</math>に対し
+
では、一次独立なベクトル群 <math>{\boldsymbol c_l} (l=1\sim K)</math>に対し
  
  
23行: 24行:
  
 
つまり、「[[直交補空間]]」の記事で書いたように、<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}}
 +
  
 
となるのです。この一次結合の結合係数が実はラグランジュの未定乗数になるのです。
 
となるのです。この一次結合の結合係数が実はラグランジュの未定乗数になるのです。

2015年8月5日 (水) 05:27時点における最新版

メインページ>数学の部屋#ラグランジュの未定乗数法

ラグランジュ未定乗数法の基本は意外と簡単なものです。

2つのベク卜ル{\boldsymbol a}{\boldsymbol b}において

{\boldsymbol a}\cdot{\boldsymbol b}=0 ( 1 )


が任意のベクトル {\boldsymbol b} で成り立つには {\boldsymbol a}= {\boldsymbol 0} であることが必要です。

では、一次独立なベクトル群 {\boldsymbol c_l} (l=1\sim K)に対し


{\boldsymbol b}\cdot{\boldsymbol c_l}=0 (l=1\sim K) ( 2 )


という制限の中で {\boldsymbol b} が任意であるとき、{\boldsymbol a} はどのような値になり得るかを考えてみましょう。

{\boldsymbol b} がとり得るベクトルの集合は基底 {\boldsymbol c_l}が張る部分空間の直交補空間であることは定義上明らかです。 また、{\boldsymbol a} のとり得るベクトルの集合は {\boldsymbol b} のとり得るベクトル集合の直交補空間であることは明らかです。


つまり、「直交補空間」の記事で書いたように、{\boldsymbol a}のとり得るベクトル集合は {\boldsymbol c_l} が張る部分空間と同じになるので、


{\boldsymbol a}=\lambda_1{\boldsymbol c_1}+\lambda_2{\boldsymbol c_2}+\cdots+\lambda_K{\boldsymbol c_K} ( 3 )


となるのです。この一次結合の結合係数が実はラグランジュの未定乗数になるのです。


次ページ 条件付停留値問題