设W是线性空间V的子空间，若W中的每个向量可由W中线性无关的向量组线性表出，则W的维数为s