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

向量组的秩和最大线性无关组 向量组的秩和最大线性无关 组 引例:对于方程组 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 同时从证明的过程可以发现:若是矩阵的一A个最高阶非零子式，Dr则所在的列即是的列向量组A的一个最大线性无关组;同时所在的行Drr A即是的行向量组的一个最大线性无关组。 Drr A 我们现在求解上面的问题，把上面的4个向量看成某矩阵的4列进行 求解。 解: 321110311031,,,,,,,, ,,,,,,642264220141,,,,,,,,,,, ,,,,,,,,,,A,,,,,,, ,,,,431143110010，，1234,,,,,,212321230000,,,,,,,,,,,,103132110000,,,,,,,, RRA(,,,)()3,,,,,,所以， 1234 ,,,,,,,,,,,,是的一个最大线性无关组。(当然易见亦是1234123 ,,,,,,,,,,,,的一个最大线性无关组) 1241234 A,,,,,,为了把用线性表示，把再变成行最简形矩阵 4123 1001,, ,,0101,, ,,A,0010 ,,0000,,,,0000,, 易见。 ,,,,，412 (初等变换前后列向量组之间的线性表示形式是保持不变的) 同时可以验证上面的线性表示的结果是正确的。 感悟:由于我们现在教学正好讲到向量组的秩和最大线性无关组这一部分，作为其定义形式很难引入，通过此次，可以从方程组的“有效”(同解并是最少的)方程组的形式及个数(就像李老师所说的“打假”后剩下的方程组)来提出向量组的最大线性无关组以及向量组的秩的概念，避免了向量的抽象性，而且学生对方程组十分熟悉，进而很容易过渡到最大线性无关组以及向量组的秩的概念。学生听课效果以及接受情况相当不错～