ラグランジュ未定乗数法の基本部分

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

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

{{eqn|${\boldsymbol a}\cdot{\boldsymbol b}=0$|1}

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

では、一次独立なベクトル群 構文解析に失敗 (字句解析エラー): {\boldsymbol c_l} (l=1～K)

に対し

構文解析に失敗 (不明な関数「\label」): {\boldsymbol b}\cdot{\boldsymbol c_l}=0 (l=1\sim K) \label{eq3}

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

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

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

構文解析に失敗 (不明な関数「\label」): {\boldsymbol a}=\lambda_1{\boldsymbol c_1}+\lambda_2{\boldsymbol c_2}+\cdots+\lambda_K{\boldsymbol c_K} \label{eq4}

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

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