射影・直和・直交直和 の履歴(No.7)
更新- 履歴一覧
- 差分 を表示
- 現在との差分 を表示
- ソース を表示
- 線形代数II/射影・直和・直交直和 へ行く。
ベクトルの成分†
規格化されたベクトル に対して、ベクトル を
- に平行な成分 と、
- に垂直な成分 とに分け、
としたい。
両辺に左から をかければ、
が得られ、
としてこれらのベクトルを求められる。
(同じことをグラム・シュミットの直交化で行った)
この を の 方向成分と呼ぶ。
注意1†
当然 は規格化されていなければならない。
一般のベクトル 方向成分であれば、
注意2†
複素ベクトルに対しては なので、 どちらから掛けるかが重要である。
だが、
となってしまう。
注意3†
この授業では となる内積の公理を採用しているため 上記が正しいが、
多くの教科書では を採用しているため、 そのような公理系では逆から掛ける必要がある。
射影演算子†
&math( \bm x_{\parallel}&=(\bm e,\bm x)\bm e );
は 「数」×「ベクトル」 で、「ベクトルのスカラー倍」 として任意の線形空間において正しい形であるが、
数ベクトル空間においてはこれを入れ替えると、
&math( \bm x_{\parallel}&=(\bm e,\bm x)\bm e\\ &=\bm e(\bm e,\bm x) );
「n×1行列」×「1×1行列」で、行列のかけ算として正しい形になる。 (スカラーと1×1行列を同一視するのは1年生で学んだとおり)
さらに内積を行列の積で表わすと、
&math( \bm x_{\parallel}&=(\bm e,\bm x)\bm e\\ &=\bm e (\bm e,\bm x)\\ &=\bm e \{\bm e^\dagger \bm x\}\\ &=\bm e \bm e^\dagger \bm x\\ &=P_{\bm e} \bm x );
ただし、 である。
この行列は から 方向成分を取り出す行列であり、 「 軸への射影演算子」と呼ばれる。
実際の形は、
&math( P_{\bm e}&=\bm e\bm e^\dagger= \begin{pmatrix} e_1\\e_2\\\vdots\\e_n \end{pmatrix} \begin{pmatrix} \overline{ e_1}&\overline{ e_2}&\dots&\overline{ e_n} \end{pmatrix}\\ &=\begin{pmatrix} e_1\overline{e_1}&e_1\overline{e_2}&\cdots&e_1\overline{e_n}\\ e_2\overline{e_1}&e_2\overline{e_2}&&\vdots\\ \vdots&&\ddots&\vdots\\ e_n\overline{e_1}&\cdots&\cdots&e_n\overline{e_n} \end{pmatrix} );
のように 行列になる。
に に垂直に光を当てたとき、 軸上にできる影が であるという気持ちが込められている → 「射影」
射影演算子はエルミート行列になる。†
上記の「具体的な形」を見て分かるとおり、
より、 であり、 射影演算子はエルミートであることが分かる。
以下、あるベクトルを「成分」に分ける話を一般化する。
復習1:線形空間†
線形空間とは、ベクトルの和とスカラー倍について閉じた集合のことだった。
- 任意の に対して、必ず
- 任意の に対して、必ず
復習2:部分空間†
線形空間の部分集合 がベクトルの和とスカラー倍について閉じている場合、 も線形空間となり、 は の部分空間であるという。
の部分空間:
- 0次元の部分空間は原点のみからなる集合
- 1次元の部分空間は原点を通る直線
- 2次元の部分空間は原点を通る平面
- 3次元の部分空間は そのもの
同じ直線的でも、原点を通らない は線形空間にならない。(和やスカラー倍が元の集合からはみ出す)
復習3:集合の積と和†
集合 と集合 の積と和は、
|
記号の覚え方:
- 「 」は英語では「 」
- And の A と とは似ている(でしょ?)
交空間†
2つの部分空間 の交わり は無条件で線形空間となり、 交空間と呼ばれる。
練習:部分空間の積(交わり)がベクトルの和とスカラー倍について閉じていることを示せ。
和集合は線形空間にならない†
File not found: "ベクトルの成分1.png" at page "線形代数II/射影・直和・直交直和"[添付]
2つの1次元部分空間 の和は、原点を通る2本の直線を合わせた集合。
この集合から2つのベクトルを取って和を作ると、集合から「はみ出してしまう」。
和空間†
和集合を含む最小の線形空間を和空間 と呼ぶ
となる。
和集合は $W_1,W_2$ の基底ベクトルを合わせたベクトルで張られる†
の基底を とする。
ただし のとき、
であり、任意の を、 と の基底を合わせたベクトルの一次結合で表せることが分かる。
和集合の次元†
基底 に含まれるベクトルが一次独立であれば
となるが、一般には2つの空間の交わりがゼロにはならないため、
となる。より正確には、
である。
例:3次元空間に原点を通る2枚の平面 を考えると、これらはそれぞれ部分空間となる。 2枚が平行ではない場合、これらの和空間 は3次元空間全体であり、原点を通る交線が交空間 である。このとき、
&math( \underbrace{\dim(W_1+W_2)}_3=\underbrace{\dim W_1}_2+\underbrace{\dim W_2}_2-\underbrace{\dim(W_1\cap W_2)}_1 );
直和†
の基底を合わせると の基底となる時、 すなわち と の基底を合わせたベクトルが一次独立であるとき、
と書き、 を と の直和という。
成分分解†
そのようにして作った の基底を とすると、
&math( \bm x&=\underbrace{x_1\bm b_1+x_2\bm b_2+\cdots}_{\bm x_1\in W_1} \underbrace{\cdots+x_n\bm b_n}_{\bm x_2\in W_2}\\ &=\bm x_1+\bm x_2 );
のように、任意の を2つの成分 と とに 一意に 分解できる。
成分の値はもう一方の空間に依存する†
File not found: "ベクトルの成分1.png" at page "線形代数II/射影・直和・直交直和"[添付] File not found: "ベクトルの成分2.png" at page "線形代数II/射影・直和・直交直和"[添付]
同じベクトル
を
と
に分解したときの
と、
と
に分解したときの
とは
一般には異なる値になる。
すなわち、ある部分空間の成分は、その部分空間だけでは決まらずに、他の部分空間の取り方に依存する。
直交直和†
の部分空間 の正規直交基底を合わせると の正規直交基底となる場合、
と書き、 を と の直交直和という。
部分空間の直交性†
が直交直和 を作るとき、 任意の と任意の は直交する。
すなわち
直交直和の成分分解†
直交直和の成分分解は簡単で、
の正規直交基底を とすると、 任意の は、
&math( \bm x&=\bm x_V+\bm x_W\\ &=(x_1\bm e_1+x_2\bm e_2+\dots+x_n\bm e_n)+\bm x_W );
と分解でき、左から を掛ければ、
&math( (\bm e_k,\bm x)&=x_1(\bm e_k,\bm e_1)+x_2(\bm e_k,\bm e_2)+\dots+x_n(\bm e_k,\bm e_n)+(\bm e_k,\bm x_W)\\ &=x_k );
となるから、これを元の式に代入すれば、
&math( \bm x_V&=(\bm e_1,\bm x)\bm e_1+(\bm e_2,\bm x)\bm e_2+\dots+(\bm e_1,\bm x)\bm e_n\\ &=\bm e_1\bm e_1^\dagger\bm x+\bm e_2\bm e_2^\dagger\bm x+\dots+\bm e_n\bm e_n^\dagger\bm x\\ &=\big(\sum_{k=1}^n\bm e_k\bm e_k^\dagger\big)\bm x\\ &=P_V\bm x );
であり、 が から への射影演算子を表わすことになる。
射影演算子は のみの情報から成り立っており、 によらないことに注意せよ。
直交直和でない場合には が必ずしも成り立たないため、 成分への分解がこれほど単純にならないことと対比して理解せよ
補空間†
全体空間 を と表すとき、 を の補空間と呼び、 と表わす。
全体集合をある空間と補空間へ分解するイメージである。
あるベクトル を に平行な成分 と垂直な成分 に分ける問題は、それぞれ線形空間 とその補空間 の成分への分解を表わしていたことになる。
例1†
の部分空間として で張られる空間 を考える。
から への射影演算子を求めよ。
解答:
からシュミットの直交化を用いて正規直交系を作る。
&math( \bm f_2 &=\bm a-(\bm e_1,\bm a)\bm e_1\\ &=\bm a-\bm e_1\bm e_1^\dagger\bm a\\ &=\begin{pmatrix}1\\2\\3\end{pmatrix}
- \frac{1}{2}\begin{pmatrix}-1\\0\\1\end{pmatrix}\begin{pmatrix}-1&0&1\end{pmatrix}\begin{pmatrix}1\\2\\3\end{pmatrix}\\ &=\begin{pmatrix}1\\2\\3\end{pmatrix}-\begin{pmatrix}-1\\0\\1\end{pmatrix}\\ &=\begin{pmatrix}2\\2\\2\end{pmatrix}
);
&math( \bm e_2=\frac{1}{\|\bm f_2\|}\bm f_2=\frac{1}{\sqrt{3}}\begin{pmatrix}1\\1\\1\end{pmatrix} );
したがって、求める射影演算子は
&math( P_V&=\bm e_1\bm e_1^\dagger+\bm e_2\bm e_2^\dagger\\ &=\frac{1}{2}\begin{pmatrix}-1\\0\\1\end{pmatrix}\begin{pmatrix}-1&0&1\end{pmatrix}
- \frac{1}{3}\begin{pmatrix}1\\1\\1\end{pmatrix}\begin{pmatrix}1&1&1\end{pmatrix}\\ &=\frac{1}{2}\begin{pmatrix}1&0&-1\\0&0&0\\-1&0&1\end{pmatrix}
- \frac{1}{3}\begin{pmatrix}1&1&1\\1&1&1\\1&1&1\end{pmatrix}\\ &=\frac{1}{6}\begin{pmatrix}5&2&-1\\2&2&2\\-1&2&5\end{pmatrix} );
各射影演算子がエルミート(実数行列では対称)になっていることにも注目。
例2†
3次元空間に原点を通る平面 を考える。 この平面への射影演算子を求めよ。
一般化†
上記は2つの部分空間について交空間、和空間、直和、直交直和を考えたが、 2つ以上の部分空間がある場合にも自然に拡張できる。
交空間 | 全空間の共通部分 | |
和空間 | 一般には一次従属な空間 | |
直和 | 一次独立な空間 | |
直交直和 | 直交する空間 |
たとえば の意味である。
直和や直交直和は 「線形空間同士の演算」 ではなく、和空間の演算子で結ばれる2つの空間が特殊な条件を満たすことを表現しているに過ぎないことに注意せよ。
射影に関する簡易まとめ†
全体空間
から
部分空間
への射影演算子
は、
に対して、
- かつ
- に対して
を満たす線形演算子。
これは、 として の補空間 を導入して
とも書ける。
数ベクトル空間における の具体的な形は、 の正規直交基底の1つを として、
&math( P_V&=\sum_{k=1}^n \bm e_k\bm e_k^\dagger\\
&=\sum_{k=1}^n \bm e'_k\bm e'_k^\dagger\\
);
と表せる。ただし は別の正規直交基底で、演算子の形は基底の取り方に寄らず同じになる。
のように多数の空間に別れているときも、例えば
であり、任意のベクトルの 成分は他の の取り方に寄らず決定されるため、 射影演算子は上記のように に取った正規直交基底のみによって定義される。