设$V$为向量空间,如果$r$个向量$\vec{a_1},\vec{a_2},...\vec{a_ r}\in V$,且满足
-
$\vec{a_1},\vec{a_2},...,\vec{a_ r}$线性无关
-
$V$中任一向量都可由$\vec{a_1},\vec{a_2},...,\vec{a_ r}$线性表示
那么行向量组$\vec{a_1},\vec{a_2},...,\vec{a_ r}$被称为向量空间$V$的一个基,$r$称为向量空间$V$的维数,秉承$V$为$r$维向量空间.
如果向量空间$V$没有基,那么$V$的维数为0.0维向量空间只含一个零向量$\vec{0}$
若把向量$V$看做向量组,则由最大无关组的等价定义可知,$V$的基就是向量组的最大无关组,$V$的维数就是向量组的秩