Basis and Rank
在向量空间
生成集和基
定义 生成集和生成空间
考虑一个向量空间
则称
如果
生成集是张成向量空间(或子空间)的向量集,即,向量空间(或子空间)中的每个向量都可以表示为生成集中的向量的线性组合。
下面更具体描述向量(子)空间的最小生成集
定义 基
考虑向量空间
则称
设
是 的基 是最小生成集 是 中向量的一个最大线性无关(线性独立)集合,也就是说,在这个向量集中添加任何其他向量都会使它线性相关 每个向量
都是 中向量的线性组合,且每个线性组合都是唯一的,即 其中
且:
例
在
中,规范/标准基(canonical/standard basis) 为 中有不唯一的基:集合
是线性独立的,但不是
的生成基(也不是基): 例如,向量 不能通过 中的向量线性组合得到。
备注
每个向量空间
我们只考虑有限向量空间
备注
向量空间的维度不一定是向量中元素的个数。例如向量空间
备注
子空间
1 把生成向量写成 矩阵
的列2 确定
的行阶梯型3 与主元对应的生成向量就是
的
例 基的确定
向量子空间
我们关注
对应矩阵为:
利用线性方程组的基本变换规则,得到了行阶梯型矩阵:
由于主元列对应的那组向量是线性独立的, 因此我们从行阶梯型可以看出
秩
矩阵
备注
矩阵的秩有一些重要的性质
,即列秩等于行秩序 的列张成一个子空间 , 。 在后面内容中我们将这个子空间称为像或值域。通过对 应用高斯消元法来确认主元列,可以找到 的基 的行张成一个子空间 , 。 通过对 应用高斯消元法确认主元列,可以找到 的基。对于任意方阵
, 是正则的(可逆) 当且仅当对于任意
和 , 线性方程组 有解当且仅当 , 其中 表示增广矩阵对于任意
的解的子空间维数为, 。后面我们会称这个子空间为核或零空间如果矩阵
的秩等于相同维数矩阵的最大可能秩,则它拥有满秩(full rank)。 也就是说满秩矩阵的秩是行数或列数中的较小者,即 。如果矩阵不满足满秩要求,则称它 不满秩(rank deficient)
例
有两个线性独立的行/列,所有使用高斯消元法来确定秩:
有两个线性独立的列,所以