高斯消元法(完整)(14页).doc





《高斯消元法(完整)(14页).doc》由会员分享,可在线阅读,更多相关《高斯消元法(完整)(14页).doc(14页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、-高斯消元法(完整)-第 13 页高斯消元法解线性方程组 在工程技术和工程管理中有许多问题经常可以归结为线性方程组类型的数学模型,这些模型中方程和未知量个数常常有多个,而且方程个数与未知量个数也不一定相同。那么这样的线性方程组是否有解呢?如果有解,解是否唯一?若解不唯一,解的结构如何呢?这就是下面要讨论的问题。 一、线性方程组 设含有n个未知量、有m个方程式组成的方程组 (3.1)其中系数,常数都是已知数,是未知量(也称为未知数)。当右端常数项, , , 不全为0时,称方程组(3.1)为非齐次线性方程组;当= = 0时,即 (3.2)称为齐次线性方程组。 由n个数, , , 组成的一个有序数组
2、(, , , ),如果将它们依次代入方程组(3.1)中的, , , 后,(3.1)中的每个方程都变成恒等式,则称这个有序数组(, , , )为方程组(3.1)的一个解。显然由=0, =0, , =0组成的有序数组(0, 0, , 0)是齐次线性方程组(3.2)的一个解,称之为齐次线性方程组(3.2)的零解,而当齐次线性方程组的未知量取值不全为零时,称之为非零解。 (利用矩阵来讨论线性方程组的解的情况或求线性方程组的解是很方便的。因此,我们先给出线性方程组的矩阵表示形式。) 非齐次线性方程组(3.1)的矩阵表示形式为:AX = B其中A = ,X = ,B = 称A为方程组()的系数矩阵,X为未
3、知矩阵,B为常数矩阵。将系数矩阵A和常数矩阵B放在一起构成的矩阵称为方程组()的增广矩阵。 齐次线性方程组()的矩阵表示形式为:AX = O 二、高斯消元法 (下面介绍利用矩阵求解方程组的方法,那么矩阵初等行变换会不会改变方程组的解呢?我们先看一个定理。) 定理3.1 若用初等行变换将增广矩阵化为,则AX = B与CX = D是同解方程组。 证 由定理可知,存在初等矩阵, , , ,使 记 = P,则P可逆,即存在。 设为方程组A X = B的解,即 A = B 在上式两边左乘P,得 P A = PB 即 C= D 说明也是方程组C X = D的解。反之,设为方程组C X = D的解,即 C=
4、 D 在上式两边左乘,得 C= D 即 A = B 说明也是方程组AX = B的解。 因此,方程组A X = B与C X = D的解相同,即它们是同解方程组。(证毕) (由定理3.1可知,求方程组(3.1)的解,可以利用初等行变换将其增广矩阵化简。又有第二章定理2.10可知,通过初等行变换可以将化成阶梯形矩阵。因此,我们得到了求解线性方程组(3.1)的一般方法:) 用初等行变换将方程组(3.1)的增广矩阵化成阶梯形矩阵,再写出该阶梯形矩阵所对应的方程组,逐步回代,求出方程组的解。因为它们为同解方程组,所以也就得到了原方程组(3.1)的解。这种方法被称为高斯消元法,(下面举例说明用消元法求一般线
5、性方程组解的方法和步骤。) 例1 解线性方程组 (3.3) 解 先写出增广矩阵,再用初等行变换将其逐步化成阶梯形矩阵,即 上述四个增广矩阵所表示的四个线性方程组是同解方程组,最后一个增广矩阵表示的线性方程组为将最后一个方程乘,再将项移至等号的右端,得将其代入第二个方程,解得再将代入第一个方程组,解得因此,方程组(3.3)的解为 (3.4)其中可以任意取值。 由于未知量的取值是任意实数,故方程组(3.3)的解有无穷多个。由此可知,表示式(3.4)表示了方程组(3.3)的所有解。表示式(3.4)中等号右端的未知量称为自由未知量,用自由未知量表示其它未知量的表示式(3.4)称为方程组(3.3)的一般
6、解,当表示式(3.4)中的未知量取定一个值(如=1),得到方程组(3.3)的一个解(如,),称之为方程组(3.3)的特解。 注意,自由未知量的选取不是唯一的,如例1也可以将取作自由未知量。 如果将表示式(3.4)中的自由未知量取一任意常数k,即令= k,那么方程组(3.3)的一般解为 ,其中k为任意常数。用矩阵形式表示为 = (3.5)其中k为任意常数。称表示式(3.5)为方程组(3.3)的全部解。 (用消元法解线性方程组的过程中,当增广矩阵经过初等行变换化成阶梯形矩阵后,要写出相应的方程组,然后再用回代的方法求出解。如果用矩阵将回代的过程表示出来,我们可以发现,这个过程实际上就是对阶梯形矩阵
7、进一步简化,使其最终化成一个特殊的矩阵,从这个特殊矩阵中,就可以直接解出或“读出”方程组的解。例如,)对例1中的阶梯形矩阵进一步化简,上述矩阵对应的方程组为将此方程组中含的项移到等号的右端,就得到原方程组(3.3)的一般解, (3.4)其中可以任意取值。 例2 解线性方程组 解 利用初等行变换,将方程组的增广矩阵化成阶梯阵,再求解。即一般解为 例3 解线性方程组 解 利用初等行变换,将方程组的增广矩阵化成阶梯阵,再求解。即阶梯形矩阵的第三行“0, 0, 0, -2”所表示的方程为:,由该方程可知,无论,取何值,都不能满足这个方程。因此,原方程组无解。 三、线性方程组的解的判定 前面介绍了用高斯
8、消元法解线性方程组的方法,通过例题可知,线性方程组的解的情况有三种:无穷多解、唯一解和无解。从求解过程可以看出,方程组(3.1)是否有解,关键在于增广矩阵A B化成阶梯非零行的行数与系数矩阵A化成阶梯形矩阵后非零行的行数是否相等。因此,线性方程组是否有解,就可以用其系数矩阵和增广矩阵的秩来描述了。 定理3.9 线性方程组(3.1)有解的充分必要是 =。 证 设系数矩阵A的秩为r,即= r。利用初等行变换将增广矩阵A B化成阶梯阵: A B = C D 故AX = B与CX = D是同解方程组,因此 AX = B有解= 0 = r 即= r。 (证毕) 推论1 线性方程组有唯一解的充分必要条件是
9、= 。 推论2 线性方程组有无穷多解的充分必要条件是 。 (将上述结论应用到齐次线性方程组(3.2)上,则总有。因此齐次线性方程组一定有解。并且有) 例4 判别下列方程组是否有解?若有解,是有唯一解还是有无穷多解? (1) (2) (3) 解 (1) 用初等行变换将增广矩阵化成阶梯阵,即A B = 因为 = 4,=3,两者不等,所以方程组无解。 (2) 用初等行变换将增广矩阵化成阶梯阵,即A B = 因为 =2n(= 3),所以方程组有无穷多解。 (3) 用初等行变换将增广矩阵化成阶梯形矩阵,即A B = 因为 = 3 = n,所以方程组有唯一解。 例5 判别下列齐次方程组是否有非零解? (机
10、动) 解 用初等行变换将系数矩阵化成阶梯形矩阵,即A =因为 = 4 = n,所以齐次方程组只有零解。向量组的相关性 在实际问题有许多研究的对象要用n元有序数组来表示。如总结某五年计划各年某产品产量的数据资料,某工程一年12个月份的用料情况等,就分别要用到5元和12元有序数组。 一、n维向量的定义 定义3.2 把有顺序的n个数称为一个n维向量,记作其中称为n维向量的第i个分量。 例如,矩阵 A =中每一列都可以看作三维向量:称为矩阵A的列向量。A中的每一行都可以看作四维向量:称为矩阵A的行向量。 规定:n维向量相等、相加、数乘与列矩阵对应相等。 二、n维向量组的线性相关性如果把方程组 (3.6
11、)用向量相等、向量运算关系来表示:那么方程组求解问题就变成了求一组使上式列向量存在某种的数了。下面给出向量之间这种关系的定义。 定义3.3 对于向量, ,如果有一组数,使得则称是的线性组合,或称由线性表出,且称这组数为组合系数。 例1 二维向量组,称为二维单位向量组。任意一个二维向量都可以由线性表出: 。 例2 向量不是向量和的线性组合,因为对于任意一组数, 例3 向量组中的任一向量都能由这个向量组线性表出: 如果用列向量分别把方程组(3.6)的系数矩阵第j列和常数列表示为那么方程组(3.6)可以用向量形式表示为若方程组(3.6)有解,则有即向量可以由向量组线性表出。反之,若存在数使得上式成立
12、,则就是方程组(3.6)的一组解。 命题1 向量可以由向量组线性表出的充分必要条件是:以为系数列向量,以为常数列向量的线性方程组有解,并且此线性方程组的一组解就是线性组合的一组系数。 例4 设 ,判断向量能否由向量组线性表出,若能够,写出它的一种表达式。 解 设,由此可得 因为方程组的解为 。 所以 。 定义3.3 对于向量组,若存在m个不全为零的数,使得 (3.7)则称向量组线性相关;否则称向量组线性无关。 例5 式证单位向量组是线性无关的。 证 设 。即由上式得唯一解。所以,线性无关。 可以证明,n维单位向量组是线性无关的。 n维单位向量组 , , 如果把定义3.3中的(3.7)式看作以为
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 高斯消元法 完整 14

限制150内