>424

すいません。なぜ自明かわかりません。

射影とはΣ_{j=1..k}P_j=I,Σ_{j=1..k}λ_jP_j=AなるP_jの事ですよね。
これらからどうしてP_j^2=P_j, P_jP_i=0 if i≠jが成り立つのでしょうか?