射影・直和・直交直和 の履歴(No.19)
更新- 履歴一覧
- 差分 を表示
- 現在との差分 を表示
- ソース を表示
- 線形代数II/射影・直和・直交直和 へ行く。
ベクトルの成分†
規格化されたベクトル に対して、ベクトル を
- に平行な成分 と、
- に垂直な成分 とに分け、
としたい。
両辺に左から をかければ、
が得られ、
としてこれらのベクトルを求められる。
(同じことをグラム・シュミットの直交化で行った)
この を の 方向成分と呼ぶ。
注意1†
規格化されていない 方向の成分を求めるなら、
注意2†
複素ベクトルに対しては なので、 どちらから掛けるかが重要である。
だが、
となってしまう。
注意3†
この授業では となる内積の公理を採用しているため 上記が正しいが、
多くの教科書では を採用しているため、 そのような公理系では逆から掛ける必要がある。
射影演算子†
&math( \bm x_{\parallel}&=(\bm e,\bm x)\bm e );
の右辺は 「数」×「ベクトル」 で、「ベクトルのスカラー倍」 として任意の線形空間において正しい形であるが、
数ベクトル空間においては、あるいは数ベクトル表現では、これを入れ替えると、
&math( \bm x_{\parallel}=\bm e(\bm e,\bm x) );
「n×1行列」×「1×1行列」で、行列のかけ算として正しい形になる。 (スカラーと1×1行列を同一視するのは1年生で学んだとおり)
さらに内積を行列の積で表わすと、
&math( \bm x_{\parallel}&=\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つの線形空間 はどちらもある線形空間 の部分空間であり( )、
の基底を 、 の基底を とする。
交空間†
と の交わり は無条件で線形空間となり、 交空間と呼ばれる。
練習:
部分空間の積(交わり)がベクトルの和とスカラー倍について閉じていることを示せ。
$W_1\cap W_2\ne\{\bm 0\}$ は $W_1$ と $W_2$ の基底が線形従属であることの必要十分条件†
と はどちらも線形空間なので、 を含んでいる ( )。すなわち 。 は と が 以外でも重なっているということ。
以下証明:
かつ であるとする。 より、 を
&math( \bm x&=c_{11}\bm b_{11}+c_{12}\bm b_{12}+\dots+c_{1n}\bm b_{1n}\hspace{1.13cm}\because\bm x\in W_1\\
&=c_{21}\bm b_{21}+c_{22}\bm b_{22}+\dots+c_{2m}\bm b_{2m}\hspace{1cm}\because\bm x\in W_2
);
のように2種類の基底の一次結合として表せる。すると、
&math( c_{11}\bm b_{11}+c_{12}\bm b_{12}+\dots+c_{1n}\bm b_{1n}
- c_{21}\bm b_{21}-c_{22}\bm b_{22}-\dots-c_{2n}\bm b_{2m}=\bm 0 );
より、係数にはゼロでない物が含まれるから、 これは、 と のベクトルを合わせると線形従属になることを示す。
逆に、$W_1\cap W_2=\{\bm 0\}$ は $W_1$ と $W_2$ の基底が線形独立であることの必要十分条件となる。
和集合は線形空間にならない†
File not found: "ベクトルの成分1.png" at page "線形代数II/射影・直和・直交直和"[添付]
2つの1次元部分空間 の和集合 は、原点を通る2本の直線を合わせた集合。
この集合から2つのベクトルを取って和を作ると、集合から「はみ出してしまう」。 すなわち和集合はベクトル和について閉じていないため、線形空間ではない。
和空間†
和集合をベクトル和について閉じるように拡大した線形空間が和空間 である。
となる。
和空間は $W_1,W_2$ の基底ベクトルを合わせたベクトルで張られる†
ただし のとき、
&math( \bm x=\underbrace{\sum_{k=1}^m x_{1k}\bm b_{1k}}_{\bm x_1}+
\underbrace{\sum_{k=1}^m x_{2k}\bm b_{2k}}_{\bm x_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_{11}\bm b_{11}+x_{12}\bm b_{12}+\cdots+x_{1n}\bm b_{1n}}_{\bm x_1\in W_1}+
\underbrace{x_{21}\bm b_{21}+x_{22}\bm b_{22}+\cdots+x_{2n}\bm b_{2n}}_{\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/射影・直和・直交直和"[添付]
同じベクトル
を
と
に分解したときの
と、
と
に分解したときの
とは
一般には異なる値になる。
すなわち、ある部分空間の成分は、その部分空間だけでは決まらずに、他の部分空間の取り方にも依存する。
上記の とは違い、例えば から 成分 を求める演算子を の情報のみから簡単に求めることはできないことになる。
が2次元の時の成分分解のイメージは次の通り。
直交直和†
の正規直交基底を合わせると の正規直交基底となる場合、
と書き、 を と の直交直和という。
線形空間の直交性†
が直交直和 を作るとき、 任意の と任意の は直交する。
すなわち
演習:上記を証明せよ
直交直和の成分分解†
直交直和の成分分解は簡単である。
&math( \bm x=\underbrace{\sum_{k=1}^n x_{1k}\bm b_{1k}}_{=\,\bm x_1 \in W_1}
+\underbrace{\sum_{k=1}^m x_{2k}\bm b_{2k}}_{=\,\bm x_2 \in W_2});
という成分分解に対して、 より と書けるからから、
&math( \bm x_1&=\sum_{k=1}^n (\bm b_{1k},\bm x)\bm b_{1k}\\
&=\sum_{k=1}^n \bm b_{1k}(\bm b_{1k},\bm x)\\ &=\sum_{k=1}^n \bm b_{1k}\bm b_{1k}^\dagger\bm x\\ &=\left(\sum_{k=1}^n \bm b_{1k}\bm b_{1k}^\dagger\right)\bm x\\ &=P_{W_1}\bm x\\
);
すなわち、 が から への射影演算子を表わすことになる。
射影演算子は の正規直交基底を1つ決めれば定まり、 に依存しないことに注意せよ。
直交直和でない場合には が必ずしも成り立たないため、 成分への分解がこれほど単純にならないことと対比して理解せよ
直交補空間†
全体空間 を と表せるとき、 を の「直交補空間」と呼び、 と表わす。
全体集合を、ある空間と、直交する補空間へと、分解するイメージである。
あるベクトル を に平行な成分 と垂直な成分 に分ける問題は、それぞれ線形空間 とその直交補空間 の成分への分解を表わしていたことになる。
一方、全体空間 を と表せるとき、 を の(単なる)「補空間」と呼ぶが、こちらはあまり使われない。
性質†
- のとき
- のとき
- ← ∵
-
あるいは
∵ だから、 - これは、 であり、 であることからも理解できる
例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} );
各射影演算子がエルミート(実数行列では対称)になっていることにも注目。
演習†
3次元空間に原点を通る平面 を考える。 この平面への射影演算子を求めよ。
一般化†
上記は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
);
である。ただし は別の正規直交基底で、演算子の形は基底の取り方に依らず同じになる。
のように多数の空間に別れているときは、例えば
である。