4.5 向量空间的维数
Contents
定理9 若向量空间V具有一组基\beta=\{b_1,\dots,b_n\},则V中任意包含多于n个向量的集合一定线性相关
定理10 若向量空间V有一组基含有n个向量,则V的每一组基一定恰好含有n个向量。
定义 若V由一个有限集生成,则V称为有限维的,V的维数写成\dim V,是V的基中含有向量的个数,零向量空间\{0\}的维数定义为零。如果V不是由一有限集生成,则V称为无穷维的。
有限维空间的子空间
定理11 令H是有限维向量空间V的子空间,若有需要的话,H中任一个线性无关集均可以扩成为H的一个基,H也是有限维的并且
\dim H \le \dim V定理12 (基定理)
令V是一个p维向量空间,p \le 1,V中任一含有p个元素的线性无关集必然是V的一个基,任意含有p个元素且生成V的集合必然是V的一个基
Nul A和Col A的维数
由于矩阵A的主元列构成Col A的一个基,我们一旦知道主元列,就知道了ColA的维数
NulA的维数是方程Ax=0中自由变量的个数,ColA的维数是A中主元列的个数