射影・直和・直交直和/メモ のバックアップ差分(No.1)
更新- バックアップ一覧
- 現在との差分 を表示
- ソース を表示
- バックアップ を表示
- 線形代数II/射影・直和・直交直和/メモ へ行く。
- 1
- 追加された行はこの色です。
- 削除された行はこの色です。
[[線形代数II/射影・直和・直交直和]] * 正射影演算子の必要十分条件は [#bf836a20] 計量線形空間 $V$ に定義された線形変換 $P$ が正射影演算子である為の必要十分条件は $P^2 = P$ かつ $P^\dagger=P$ である、も示せる。→ [[その証明>線形代数II/射影・直和・直交直和/メモ]] ** 必要性 [#d96c2bca] 1) $P$ が $V$ から $W\subset V$ への正射影演算子であれば、 $\forall \bm x\in V$ に対して $P\bm x\in W$ であるから、$P^2\bm x=P\bm x$ である。すなわち $P^2=P$ 2) $\bm x,\bm y\in V$ が $\bm x=\underbrace{P\bm x}_{\in W}+\underbrace{\bm x^\perp}_{\in W^\perp}, \bm y=P\bm y+\bm y^\perp$ と書けるとき、$(\bm x^\perp, P\bm y)=(P\bm x,\bm y^\perp)=0$ であるから、 $$(P\bm x,\bm y)=(P\bm x,P\bm y)=(\bm x,P\bm y)$$ が任意の $\bm x,\bm y\in V$ に対して成り立つ。すなわち $P=P^\dagger$。 ** 十分性 [#cb46f026] $P$ の像を $P(V)=W$ と書けば、$\forall \bm x\in V$ に対して $P\bm x\in W$ であり、 任意の $\bm y\in W$ は $\bm y=P\bm z$ と書けるから、 $$ (\bm x-P\bm x,\bm y)=(\bm x-P\bm x,P\bm z)=(P\bm x-P^2\bm x,\bm z)=(P\bm x-P\bm x,\bm z)=(\bm 0,\bm z)=0 $$ すなわち、$\bm x-P\bm x\in W^\perp$ であるから、$P$ は $W$ への正射影演算子である。
Counter: 1409 (from 2010/06/03),
today: 2,
yesterday: 2