命題6.23

P がベクトル空間 V の射影子ならば、 Im P = U, Ker P = W とおくとき、

V = U + W （直和）

であって、与えられた P は V から U への W に沿う射影に等しい。