设线性空间V的子空间W中每个向量可由W中的线性无关向量组a1,...,a线性表出,则dim(W)=s。
出自:兰州工业学院 线性代数