線形代数学II No.6要約

今日のテーマ: 直交射影を表す行列(2)

先週に引き続き以下でも、標準的な内積を用いる。

$P$ の像(Image)と核(Kernel)の定義にも注意しておこう。 $\mathbbm v \in$   $\mbox{${\mathbb{R}}$}$$^n$ に対して、

• $\mathbbm v \in \operatorname{Image}P \ \overset{\operatorname {def}}{{\Leftrightarrow}} \ \mathbbm v =P \mathbbm x (\exists \mathbbm x \in$   $\mbox{${\mathbb{R}}$}$$^n)$
• $\mathbbm v \in \operatorname{Ker}P \ \overset{\operatorname {def}}{{\Leftrightarrow}} \ P \mathbbm v ={\mathbf 0}$

補題 6.1   $n$ 次正方行列 $P$ は $P^2=P$ を満たすときべき等であるという。 $P$ がべき等で、$Q=E_n-P$ とおくとき:

1. $Q$ もべき等である。
2. $PQ=0, QP=0$.
3. $\operatorname{Image}(P)+\operatorname{Image}(Q)=$$\mbox{${\mathbb{R}}$}$$^n$.
4. $\operatorname{Image}(P)\cap \operatorname{Image}(Q)=\{{\pmb 0}\}$.
5. $\operatorname{Image}(P)\perp \operatorname{Image}(Q)$ と ${}^t P=P$ とは同値.

正方行列 $P$ について、つぎのことにも注意しておく。(上記補題の 幾何学的な言い換え)

• $P^2=P$ ${\Leftrightarrow}$ $P$ が $\operatorname{Image}(P)$ の各元を変えない
• $P$ がべき等なら、 $\mathbbm v \in \operatorname{Image}P {{\Leftrightarrow}} \mathbbm v =P \mathbbm v$.
• $P$ がべき等のとき、$Q=E_n-P$ とおけば、

  ${}^t P=P$ ${\Leftrightarrow}$ $P= {}^t P P$ ${\Leftrightarrow}$ $(Q \mathbbm v, P \mathbbm w)= 0$ $(\forall \mathbbm v,\mathbbm w\in$   $\mbox{${\mathbb{R}}$}$$^n)$