(後只人季 所以向量组y1,y2,…,Ym,1,a2…,an1-m,B1,B2, ,βn,-m线性无关 有定理44知,W1+W2的维数是 m+(11-m)+(n2-m)=n1+n2-m 于是就有 dim(W1+w2) dimW1+ dimW2 -dim(w1n W2) 从而证明了 dimW1+ dimW2 dim( W1+W2)+dim(winw2