第四章，向量组，4-最大无关组与秩

玩转线性代数(25)最大无关组与秩的笔记，相关证明以及例子见原文

最大无关组

定义1

设有向量组$A:a_1,a_2,\cdots ,a_m$，满足
（1）有r个向量线性无关，不妨设向量组$A_0:a_1,a_2,\cdots ,a_r$线性无关；
（2）向量组A中任意r+1个向量（若有的话）都线性相关。
称向量组$A_0$是向量组A的一个最大线性无关向量组（也称最大无关组或极大线性无关向量组）。

定义2

设有向量组$A:a_1,a_2,\cdots ,a_m$，满足
（1）有r个向量线性无关，不妨设向量组$A_0:a_1,a_2,\cdots ,a_r$线性无关；
（2）向量组A中任一向量都能由向量组$A_0$线性表示；称向量组$A_0$是向量组A的一个最大线性无关向量组。

说明：定义1与定义2 是等价的，相关说明见原文

性质

（1）不唯一性：向量组的最大无关组一般不是唯一的．
（2）等量性：一个向量组的所有最大无关组所含向量的个数必相等（唯一确定的）．
（3）等价性：一个向量组与它的任一最大无关组等价，并且它的不同最大无关组之间亦彼此等价．
（4）任意一个部分无关组都可以扩充成最大无关组，任意向量组都可以通过去掉能用其它向量组表示的向量，最后去无所去的时候得到一个最大无关组．

向量组的秩

定义：向量组的最大无关组的向量的个数称为向量组的秩，妄为$R_A$。
定理：矩阵的秩等于它的列向量组的秩，也等于它的行向量组的秩（三秩合一）（证明见原文）