δ∈W∩W2,故存在p41…,A使 8=/1C1+…+Ot=- t+1t+1 13s 而 t+15 y为W2的基, 线性无关。→>得=0,i=1,…,s, 特别1=…=4=0,代回(1)式中 又由a1,…,a,B1,…,B,线性无关得: λ=0,i=1,…,于是得 1,B1,…,B, r:/t+19 ,y线性无关 dim W,+dim W2=dim(W,+W2)+dim(W,nw2)5 t t t t s s W W t             = + + = − − −    + +    1 1 1 1 1 2 1 , 故存在 , , 使 0, 1, , , , , , , , , 1 1 2 i s W i t t s     → = = +      线性无关。 得 而 为 的基 0, (1) , 特别t+1 == s = 代回 式中 dim dim dim( ) dim( ). , , , , , , , , 0, 1, , , , , , , 1 2 1 2 1 2 1 1 1 1 1 W W W W W W i r t t r t s i t t r         + = + + = = + + + 线性无关 于是得 又由 线性无关得：           