問題1より、

P がベクトル空間 V の射影子ならば、 Q = I - P も V の射影子であって、

P*Q = Q*P = 0, Im P = Ker Q, Ker P = Im Q である。