正交分解 令W是欧式空间V的一个有限维子空间, 则 V = W ⊕ W ⊥ V = W \oplus W^{\bot} V=W⊕W⊥ 证明 当W = {0}时, W ⊥ = V W^{\bot} = V W⊥=V, 显然 V = W ⊕ W ⊥ V = W \oplus W^{\bot} V=W⊕W⊥. 当 W ≠ { 0 } W \neq \{0\} W={ 0}时, 令 r 1 , r 2 , . . . , r s r_1,r_2,...,r_s r</