向量组的秩和最大线性无关组

向量组的秩和最大线性无关组 引例:对于方程组 21xxx,，,,,123, xx，,,221,123 ,xx,，,,332123, 容易发现其有效方程的个数为2个，因为第3个方程可由第1个方程减去第2个方程得到(或者第3个方程是第1个方程和第2个方程的线性组合); 由于本章的是用向量的关系来研究方程组解的情况，进而从方程组3个方程对应的3个向量来说“有用”(或者也可以说成等价有效)的最少的向量是2个。 因此，对于一个给定的向量组，其中“有用”(或者也可以说成等价有效)的最少的向量应该有多少个呢,在此我们提出最大线性无关组的概念: 最大线性无关组:在中，存在满足: ,,,,？,,,,,,？,,i1i2ip12s (1)线性无关; ,,,,？,,i1i2ip (2)在中再添加一个向量就线性相关。 ,,,,？,,i1i2ip 则称是的一个最大线性无关组， ,,,,？,,,,,,？,,i1i2ip12s 注: ?、不难看出条件(2)等价的说法还有中任一向量均可由,,,,？,,12s p，1,,,,？,,线性示;或者亦可以说成中任意个向量均线性,,,,？,,i1i2ip12s 相关; ?、从最大线性无关组的定义可以看出最大线性无关组与原先的向量组可以相互线性表示，进而最大线性无关组与原先的向量组是等价的(即 有效的最少的方程构成的方程组与原先的方程组是等价的); ?、从上面的方程组可以看出同解的有效方程组可以是第1、2两个方程构成，也可以是第2、3两个方程构成(因为第1个方程可以看成第2、3两个方程的和)，因此从其对应的向量组来说，向量组的最大线性无关组是不唯一的; ?、可以发现，虽然同解的有效方程组的形式可以不一样，但是同解的有效方程组中所含的方程的个数是唯一的，即从其对应的向量组来说，最大线性无关组虽然不唯一，但是最大线性无关组中所含向量的个数唯一的。这是从数的角度反映了向量组的性质，在此给出向量组的秩的概念: 向量组的秩:称最大线性无关组中所含向量的个数为向量组的秩，如上面定义中是的一个最大线性无关组，则称,,,,？,,,,,,？,,i1i2ip12s 的秩为，记为。 p,,,,？,,Rp(,,,),,,？,12s12s TTT例:求向量组 ,,,,,,,,,,,(3,6,4,2,1),(2,4,3,1,0),(1,2,1,2,3),123 T的秩及一个最大线性无关组，并将其余的向量用最大线性无,,,(1,2,1,3,1)4 关组表示。 :容易发现用定义的形式很难求秩和最大线性无关组，为此我们从方程组和矩阵之间的关系以及方程组和向量组之间的关系可以得到，向量组的秩及其最大线性无关组应该与其对应的矩阵的秩以及矩阵的最高阶非零子式之间有某种关系，为此我们给出: 定理:矩阵的秩等于其行向量组的秩，也等于其列向量组的秩. 略证:设的秩为，则在中存在阶子式，从而所在的列AAD,0Drrrrr线性无关，又中的所有的阶子式，因此中的任意个列向量Ar，1Ar，1D,0r，1 都线性相关，因此所在的列是的列向量组的最大线性无关组，所以列ADrr 向量组的秩等于。 r 类似可证矩阵的行向量组的秩等于。 Ar 同时从证明的过程可以发现:若是矩阵的一个最高阶非零子式，ADr则所在的列即是的列向量组的一个最大线性无关组;同时所在的ADDrrrr 行即是的行向量组的一个最大线性无关组。 A 我们现在求解上面的问题，把上面的4个向量看成某矩阵的4列进行A 求解。 解: 321110311031,,,,,,,, ,,,,,,642264220141,,,,,,,,,,, ,,,,,,,,,, A,,,,,,,,,,,431143110010，，1234,,,,,,212321230000,,,,,,,,,,,,103132110000,,,,,,,, 所以， RRA(,,,)()3,,,,,,1234 是的一个最大线性无关组。(当然易见亦是,,,,,,,,,,,,,,,,,1234124123 的一个最大线性无关组) ,,,,,,,1234 为了把用线性表示，把再变成行最简形矩阵 A,,,,,,4123 1001,, ,,0101,, ,,A, 0010 ,,0000,,,,0000,, 易见。 ,,,,，412 (初等变换前后列向量组之间的线性表示形式是保持不变的) 同时可以验证上面的线性表示的结果是正确的。