设线性空间V的子空间W中每个向量可由W中的线性无关向量组a1,...,a线性表出，则dim（W）=s。