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