矩阵初等变换方法的几何原理.pdfVIP

第 2 1 卷第 3 期 大 　学 　数 　学 Vol . 2 1 , №. 3 2005 年 6 月 COLL E GE MA T H EMA TICS J un . 2005 矩阵初等变换方法的几何原理 刘学质 (重庆教育学院 数学系 ,重庆 400067) 　　[摘 　要] 用向量的线性运算解释了矩阵初等行变换的本质 ,完善了用初等行变换求最大无关组的方法. [ 关键词] 初等变换 ;最大无关组 [ 中图分类号] O 1512 1 　　[文献标识码] C 　　[文章编号] (2005) 030 10 103 文[ 1]指出 ,通常的用矩阵初等行变换求向量组的最大无关组的方法存在错误 ,原因是行交换可以 由另外两种变换代替. 张肇炽先生认为该文没有找出问题的症结 ,原因应在那些组合为零的线性关系 中 ,并规范了目前一些新教材中求最大无关组的方法 ,即在矩阵中增加一列以便标注行向量在行变换过 程中的线性组合关系 ,这样可以从化为零向量的线性组合中解出最大无关组[2 ] . 其实这个问题文[ 3 ] 早 在 1996 年就注意到了 ,不过也没有找出原因. 随后有数篇文章提出以[4 ] 中的定理为依据把求最大无关 组的方法改为将向量按列排列成矩阵再作初等行变换 ,这种方法现在也有教材采用. 文[ 5 ]探求了初等 行变换保持行向量子组线性相关性的条件 ,还提出了用行倍加与列交换求最大无关组的方法. 现在 ,原 有的行变换方法有错己经得到共识 ,但让人费解的是错在那里 , 以及为什么用原有的初等行变换方法解 题时一般又不会出错. 针对以上问题 ,本文用向量线性运算的几何原理来揭示矩阵初等行变换的实质 , 不仅直观地解释了上述错误产生的原因 ,而且在不增加计算量的前提下完善了用初等行变换求最大无 关组的方法. 一组向量的线性相关性必然会体现在这组向量的数组之间的关系上 , 因此我们定能通过向量之间 的线性运算把这个关系揭示出来. 由于线性运算是在同一分量上进行 ,人们把一组向量并列在一起 ,便 于对同一分量进行运算 ,这就是矩阵的初等变换. 显然 ,初等变换只对表示向量组的矩阵才有意义. 我们先来看矩阵行向量化零的几何实质. α α α β 如果向量组 1 , 2 , …, m , 线性相关 , 则其中必有一个向量能够被其余向量线性表示 , 不妨假设这 β 个向量是 , 即 β α α α = k1 1 + k2 2 + …+ km m . 将此式改写为 ( ) α ( ) α ( ) α β - k1 1 + - k2 2 + …+ - km m + = 0 , α α α β β 此式可以解释为 :分别以数 - k1 , - k2 , …, - km 乘以 1 , 2 , …, m , 再加到 上 , 就将 化为零向量. 这 表明线性相关的向量组中必有某个向量可以被别的向量用线性运算化为零向量. 上面这个过程的矩阵 α α α β 表述形式为 :将 n 维向量组 1 , 2 , …, m , 排成一个 m + 1 行 n 列的矩阵, 分别以数 - k1 , - k2 , …, - km 乘以第 1 , 2 , …, m 行后再将它们都加到第 m + 1 行, 就可以把第 m + 1 行元素全部化为 0 . 这就是对矩阵 实施第三种初等行变换. 当然, 这个过程的实施也可以以另外的步骤来完成. 例如, 把上述矩阵的第一行 β