定理3设W,W是数域F上的线性空间的两个 子空间,且W1=L(a1,a,W2是L(B1,,则 W1=W2的充要条件是两个向量组a1a与 B1,B可以互相线性表示 2021/2/202021/2/20 16 定理3 设W1 ,W2是数域F上的线性空间V的两个 子空间, 且W1 =L(a1 ,...,as ), W2是L(b1 ,...,bt ), 则 W1 =W2的充要条件是两个向量组a1 ,...,as与 b1 ,...,bt可以互相线性表示