定理18:设V是n维线性空间,W是 m维子空间,则dimV/W=n-m 证:设a1…,以n是W的一组基,扩充为V 的基,a1,…,am,Bn1,…,βn若 km+1(Bn+1+W)+km+2(Bn+2+W)+ +…+kn(n+W)=0+W, (hmBm41+km2Bm42+.+k,B,)+w=0+W, n2+1/m+1 m+2/m+2 +…+knBn∈W, 设kn+1Bn+km+2Bn+2+…+k,Bn l1a1+l2a2+…+lnan 66 dim / . 18 m V W n m V n W V 维子空间，则 = − 定理 ：设 是 维线性空间， 是 的 的基， 若 证 设 是 的一组基，扩充为 , , , , , . : , , 1 1 1 m m n m W V          + ( ) 0 , ( ) ( ) 1 1 2 2 k W W k W k W n n m m m m + + + = + + + + + + + + +      , ( ) 0 , 1 1 2 2 1 1 2 2 k k k W k k k W W m m m m n n m m m m n n  + + +  + + + + = + + + + + + + + +         m m m m m m n n l l l k k k       = + + + + + + + + + +   1 1 2 2 设 1 1 2 2