射影行列
n時正方行列Pが
$ P^2 = P
をみたすとき、射影行列とよぶ
https://gyazo.com/c6542c7af6519dc9689888d87eba6a02
xは各固有ベクトルに射影するような行列は、射影行列になる
（P^2=Pになるのは直ちに分かる
$ P_i P_j = 0はただちにわかる
Aに対して
$ P_1 + P_2 + ... = I_n かつ
$ A = \lambda_1 P_1 + ... \lambda_n P_n
を満たすような射影行列$ P_iが取れる
射影行列の分解
Aに付随する射影
メモ
射影という概念がP=P^2を満たすのは明らかだが、逆が成立するかをちゃんと確認
各射影行列については
ラグランジュの補間式
ジョルダン分解、一般スペクトル分解
expであらわしたとき、同じ次数はおちて、ijのときは消えるので便利
あとで本探そうmiyamonz.icon
笹原 微分方程式の基礎
首都大 倉田 解析学B （&微分方程式 とかで検索
注意
射影変換の行列ということではないmiyamonz.icon