(後只人季 证明:(充分性)设任意向量η∈W1+W2,若η有两 个分解式为 η=a1+a2=B1+62 于是 (a1-B1)+(a2-B2)=0 其中 Bt∈W(=1,2) 由定理条件,应该有 t=t(i=1,2) 这就说明对于任意向量m∈W1+W2的分解式是唯 的,因此W1+W2是直和 (必要性)由直和定义知必要性显然成立