「直交補空間」の版間の差分
8行: | 8行: | ||
採用することにします。 | 採用することにします。 | ||
− | <math>{\ | + | <math>{\boldsymbol R^n}</math> べクトル空間があって、普通に内積が定義されているとします。 |
− | このベクトル空間 <math>{\ | + | このベクトル空間 <math>{\boldsymbol R^n}</math>の部分空間を<math>V</math>, <math>W</math> とすると、<math>V</math>に対して |
− | <math>{\ | + | <math>{\boldsymbol x} \in V \land {\boldsymbol y} \in W \to x\cdot y=0 \label{orthocomplement1} </math> |
かつ | かつ | ||
− | <math>V \bigoplus W \to {\ | + | <math>V \bigoplus W \to {\boldsymbol R^n} \label{orthocomplement2} </math> |
− | となる部分空間<math>W</math> を <math>{\ | + | となる部分空間<math>W</math> を <math>{\boldsymbol R^n}</math> における <math>V</math>の直交[[補空間]]といいます(<math>\bigoplus</math>は[[直和]]を表します。)。 |
何か難しいことを言っているように見えますが、例えば3変数(<math>x, y, z</math>)の連立方程式 | 何か難しいことを言っているように見えますが、例えば3変数(<math>x, y, z</math>)の連立方程式 | ||
26行: | 26行: | ||
</math> | </math> | ||
− | の解<math>\left(\begin{array}{c} x\\y\\z\end{array} \right)</math>は、ベクトル <math>{\ | + | の解<math>\left(\begin{array}{c} x\\y\\z\end{array} \right)</math>は、ベクトル <math>{\boldsymbol a_1} = \left(\begin{array}{c} a_{11}\\a_{12}\\a_{13}\end{array} \right)</math> と ベクトル <math>{\boldsymbol a_2} = \left(\begin{array}{c} a_{21}\\a_{22}\\a_{23}\end{array} \right)</math> を基底とする部分空間の直交補空間です。つまり、連立方程式の係数と方程式の解の関係という、中学生の頃から慣れ親しんだ関係にちょっと考察を加えた程度の概念なのです。 |
==直交補空間の性質== | ==直交補空間の性質== |
2014年12月29日 (月) 01:24時点における版
直交補空間の定義
ラグランジュの未定乗数法の詳細な説明に入る前に、その基本的な仕掛けになっている直交補空間の説明から始めましょう。 直交補空間にはもちろん数学的に厳密な定義もありますが、ここではラグランジュの未定乗数法で使いたいだけなので、ベクトル空間$R^n$と一般的な内積を使った安直な定義を 採用することにします。
べクトル空間があって、普通に内積が定義されているとします。
このベクトル空間 の部分空間を, とすると、に対して
構文解析に失敗 (不明な関数「\label」): {\boldsymbol x} \in V \land {\boldsymbol y} \in W \to x\cdot y=0 \label{orthocomplement1}
かつ 構文解析に失敗 (不明な関数「\label」): V \bigoplus W \to {\boldsymbol R^n} \label{orthocomplement2}
となる部分空間 を における の直交補空間といいます(は直和を表します。)。
何か難しいことを言っているように見えますが、例えば3変数()の連立方程式
構文解析に失敗 (構文エラー): a_{11}x + a_{12}y + a_{13}z = 0\\ a_{21}x + a_{22}y + a_{23}z = 0 \label{orthocomplement3}
の解は、ベクトル と ベクトル を基底とする部分空間の直交補空間です。つまり、連立方程式の係数と方程式の解の関係という、中学生の頃から慣れ親しんだ関係にちょっと考察を加えた程度の概念なのです。
直交補空間の性質
部分空間とその直交補空間の次元の関係は以下のようになります。
構文解析に失敗 (不明な関数「\label」): \dim V + \dim W = \dim R^n(= n) \label{orthocomplement4}
部分空間 に対する直交補空間を と表記するとした場合
構文解析に失敗 (不明な関数「\label」): (V^{\perp})^{\perp} = V \label{orthocomplement5}
です。これはほとんど自明でしょう。直交補空間同士は対等な関係で、お互いを補いあって直和で を形作る関係です。鋳型と鋳物の関係に似ています。元の部分空間から2回直交補空間を作ると元の部分空間に戻るのです。
この性質は後でラグランジュの未定乗数法の説明で重要な意味を持ちます。
次ページ ラグランジュ未定乗数法の基本部分 へ