设线性空间v的子空间W中每个向量可由W中的线性无关向量组a₁,...a₃线性表出,则dim(W)=s
出自:郑州航空工业管理学院继续教育学院应用数学