线性方程组求解.doc





《线性方程组求解.doc》由会员分享,可在线阅读,更多相关《线性方程组求解.doc(18页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、第三章 线性方程组1 消元法一、线性方程组得初等变换现在讨论一般线性方程组、所谓一般线性方程组就是指形式为 (1)得方程组,其中代表个未知量,就是方程得个数,称为线性方程组得系数,称为常数项、方程组中未知量得个数与方程得个数不一定相等、系数得第一个指标表示它在第个方程,第二个指标表示它就是得系数、所谓方程组(1)得一个解就就是指由个数组成得有序数组,当分别用代入后,(1)中每个等式都变成恒等式、 方程组(1)得解得全体称为它得解集合、解方程组实际上就就是找出它全部得解,或者说,求出它得解集合、如果两个方程组有相同得解集合,它们就称为同解得、显然,如果知道了一个线性方程组得全部系数与常数项,那么
2、这个线性方程组就基本上确定了、确切地说,线性方程组(1)可以用下面得矩阵 (2)来表示、实际上,有了(2)之后,除去代表未知量得文字外线性方程组(1)就确定了,而采用什么文字来代表未知量当然不就是实质性得、在中学所学代数里学过用加减消元法与代入消元法解二元、三元线性方程组、实际上,这个方法比用行列式解线性方程组更有普遍性、下面就来介绍如何用一般消元法解一般线性方程组、例如,解方程组第二个方程组减去第一个方程得2倍,第三个方程减去第一个方程,就变成第二个方程减去第三个方程得2倍,把第二第三两个方程得次序互换,即得这样,就容易求出方程组得解为(9,1,6)、分析一下消元法,不难瞧出,它实际上就是反
3、复地对方程组进行变换,而所用得变换也只就是由以下三种基本得变换所构成:1、 用一非零数乘某一方程;2、 把一个方程得倍数加到另一个方程;3、 互换两个方程得位置、定义1 变换1,2,3称为线性方程组得初等变换、二、线性方程组得解得情形消元得过程就就是反复施行初等变换得过程、下面证明,初等变换总就是把方程组变成同解得方程组、下面我们来说明,如何利用初等变换来解一般得线性方程组、对于方程组(1),首先检查得系数、如果得系数全为零,那么方程组(1)对没有任何限制,就可以取任何值,而方程组(1)可以瞧作得方程组来解、如果得系数不全为零,那么利用初等变换3,可以设、利用初等变换2,分别把第一个方程得倍加
4、到第个方程、于就是方程组(1)就变成 (3)其中这样,解方程组(1)得问题就归结为解方程组 (4)得问题、显然(4)得一个解,代入(3)得第一个方程就定出得值,这就得出(3)得一个解;(3)得解显然都就是(4)得解、这就就是说,方程组(3)有解得充要条件为方程组(4)有解,而(3)与(1)就是同解得,因之,方程组(1)有解得充要条件为方程组(4)有解、对(4)再按上面得考虑进行变换,并且这样一步步作下去,最后就得到一个阶梯形方程组、为了讨论起来方便,不妨设所得得方程组为 (5)其中、方程组(5)中得“0=0”这样一些恒等式可能不出现,也可能出现,这时去掉它们也不影响(5)得解、而且(1)与(5
5、)就是同解得、现在考虑(5)得解得情况、如(5)中有方程,而、这时不管取什么值都不能使它成为等式、故(5)无解,因而(1)无解、当就是零或(5)中根本没有“0=0”得方程时,分两种情况:1)、这时阶梯形方程组为 (6)其中、由最后一个方程开始,得值就可以逐个地唯一决定了、在这个情形,方程组(6)也就就是方程组(1)有唯一得解、例1 解线性方程组2)、这时阶梯形方程组为其中、把它改写成 (7)由此可见,任给一组值,就唯一地定出得值,也就就是定出方程组(7)得一个解、一般地,由(7)我们可以把通过表示出来,这样一组表达式称为方程组(1)得一般解,而称为一组自由未知量、例2 解线性方程组从这个例子瞧
6、出,一般线性方程组化成阶梯形,不一定就就是(5)得样子,但就是只要把方程组中得某些项调动一下,总可以化成(5)得样子、以上就就是用消元法解线性方程组得整个过程、总起来说就就是,首先用初等变换化线性方程组为阶梯形方程组,把最后得一些恒等式“0=0”(如果出现得话)去掉、如果剩下得方程当中最后得一个等式就是零等于一非零得数,那么方程组无解,否则有解、在有解得情况下,如果阶梯形方程组中方程得个数等于未知量得个数,那么方程组有唯一得解;如果阶梯形方程组中方程得个数小于未知量得个数,那么方程组就有无穷多个解、定理1 在齐次线性方程组中,如果,那么它必有非零解、矩阵 (10)称为线性方程组(1)得增广矩阵
7、、显然,用初等变换化方程组(1)成阶梯形就相当于用初等行变换化增广矩阵(10)成阶梯形矩阵、因此,解线性方程组得第一步工作可以通过矩阵来进行,而从化成得阶梯形矩阵就可以判别方程组有解还就是无解,在有解得情形,回到阶梯形方程组去解、例3 解线性方程组2 维向量空间定义2 所谓数域上一个维向量就就是由数域中个数组成得有序数组 (1)称为向量(1)得分量、用小写希腊字母来代表向量、定义3 如果维向量得对应分量都相等,即、就称这两个向量就是相等得,记作、维向量之间得基本关系就是用向量得加法与数量乘法表达得、定义4 向量称为向量得与,记为由定义立即推出:交换律: 、 (2)结合律: 、 (3)定义5 分
8、量全为零得向量称为零向量,记为0;向量称为向量得负向量,记为、显然对于所有得,都有、 (4) 、 (5)(2)(5)就是向量加法得四条基本运算规律、定义6 定义7 设为数域中得数,向量称为向量与数得数量乘积,记为由定义立即推出:, (6), (7), (8)、 (9)(6)(9)就是关于数量乘法得四条基本运算规则、由(6)(9)或由定义不难推出:, (10), (11)、 (12)如果,那么、 (13)定义8 以数域中得数作为分量得维向量得全体,同时考虑到定义在它们上面得加法与数量乘法,称为数域上得维向量空间、在时,3维实向量空间可以认为就就是几何空间中全体向量所成得空间、以上已把数域上全体维
9、向量得集合组成一个有加法与数量乘法得代数结构,即数域上维向量空间、向量通常就是写成一行:、有时也可以写成一列:、为了区别,前者称为行向量,后者称为列向量。它们得区别只就是写法上得不同、3 线性相关性一般向量空间除只有一个零向量构成得零空间外,都含有无穷多个向量,这些向量之间有怎样得关系,对于弄清向量空间得结构至关重要。一、线性相关与线性无关两个向量之间最简单得关系就是成比例、所谓向量与成比例就就是说有一数使、定义9 向量称为向量组得一个线性组合,如果有数域中得数,使,其中叫做这个线性组合得系数、例如,任一个维向量都就是向量组 (1)得一个线性组合、向量称为维单位向量、零向量就是任意向量组得线性
10、组合、当向量就是向量组得一个线性组合时,也说可以经向量组线性表出、定义10 如果向量组中每一个向量都可以经向量组线性表出,那么向量组就称为可以经向量组线性表出、如果两个向量组互相可以线性表出,它们就称为等价、由定义有,每一个向量组都可以经它自身线性表出、同时,如果向量组可以经向量组线性表出,向量组可以经向量组线性表出,那么向量组可以经向量组线性表出、向量组之间等价具有以下性质:1)反身性:每一个向量组都与它自身等价、2)对称性:如果向量组与等价,那么向量组与等价、3)传递性:如果向量组与等价,与等价,那么向量组与等价、定义11 如果向量组中有一个向量就是可以由其余得向量得线性表出,那么向量组线
11、性相关、 从定义可以瞧出,任意一个包含零向量得向量组一定就是线性相关得、向量组线性相关就表示或者(这两个式子不一定能同时成立)、在为实数域,并且就是三维时,就表示向量与共线、三个向量线性相关得几何意义就就是它们共面、定义11向量组称为线性相关得,如果有数域中不全为零得数,使这两个定义在得时候就是一致得、定义12 一向量组不线性相关,即没有不全为零得数,使就称为线性无关;或者说,一向量组称为线性无关,如果由可以推出由定义有,如果一向量组得一部分线性相关,那么这个向量组就线性相关、换句话说,如果一向量组线性无关,那么它得任何一个非空得部分组也线性无关、特别地,由于两个成比例得向量就是线性相关得,所
12、以,线性无关得向量组中一定不能包含两个成比例得向量、 定义11包含了由一个向量组构成得向量组得情形、 单独一个零向量线性相关,单独一个非零向量线性无关、不难瞧出,由维单位向量组成得向量组就是线性无关得、具体判断一个向量组就是线性相关还就是线性无关得问题可以归结为解方程组得问题、要判断一个向量组 (2)就是否线性相关,根据定义11,就就是瞧方程 (3)有无非零解、(3)式按分量写出来就就是 (4)因之,向量组线性无关得充要条件就是齐次线性方程组(4)只有零解、例1 判断得向量就是否线性相关。例2 在向量空间里,对于任意非负整数线性无关、例3 若向量组线性无关,则向量组也线性无关、从而,如果向量组
13、(2)线性无关,那么在每一个向量上添一个分量所得到得维得向量组 (5)也线性无关、定理2 设与就是两个向量组、如果1)向量组可以经线性表出,2) ,那么向量组必线性相关、推论1 如果向量组可以经向量组线性表出,且线性无关,那么、推论2 任意个维向量必线性相关、推论3 两个线性无关得等价得向量组,必含有相同个数得向量、定理2得几何意义就是清楚得:在三维向量得情形,如果,那么可以由向量线性表出得向量当然都在所在得平面上,因而这些向量就是共面得,也就就是说,当时,这些向量线性相关、两个向量组与等价,就意味着它们在同一平面上、二、极大线性无关组定义13 一向量组得一个部分组称为一个极大线性无关组,如果
14、这个部分组本身就是线性无关得,并且从这个向量组中任意添一个向量(如果还有得话),所得得部分向量组都线性相关、一个线性无关向量组得极大线性无关组就就是这个向量组本身、极大线性无关组得一个基本性质就是,任意一个极大线性无关组都与向量组本身等价、例4 瞧得向量组在这里线性无关,而,所以就是一个极大线性无关组、另一方面,也都就是向量组得极大线性无关组、由上面得例子可以瞧出,向量组得极大线性无关组不就是唯一得、但就是每一个极大线性无关组都与向量组本身等价,因而,一向量组得任意两个极大线性无关组都就是等价得、定理3 一向量组得极大线性无关组都含有相同个数得向量、定理3表明,极大线性无关组所含向量得个数与极
15、大线性无关组得选择无关,它直接反映了向量组本身得性质、因此有定义14 向量组得极大线性无关组所含向量得个数称为这个向量组得秩、一向量组线性无关得充要条件就是它得秩与它所含向量得个数相同、每一向量组都与它得极大线性无关组等价、由等价得传递性可知,任意两个等价向量组得极大线性无关组也等价、所以,等价得向量组必有相同得秩、含有非零向量得向量组一定有极大线性无关组,且任一个线性无关得部分向量都能扩充成一极大线性无关组、全部由零向量组成得向量组没有极大线性无关组、规定这样得向量组得秩为零、现在把上面得概念与方程组得解得关系进行联系,给定一个方程组各个方程所对应得向量分别就是、设有另一个方程它对应得向量为
16、、则就是得线性组合,当且仅当,即方程(B)就是方程 得线性组合、容易验证,方程组得解一定满足(B)、进一步设方程组它得方程所对应得向量为、若可经线性表出,则方程组得解就是方程组得解、再进一步,当与等价时,两个方程组同解、例5 (1)设线性无关,证明也线性无关;对个线性无关向量组,以上命题就是否成立?(2)当线性无关,证明也线性无关,当线性无关时,就是否也线性无关?例6 设在向量组中,且每个都不能表成它得前个向量得线性组合,证明线性无关、4 矩阵得秩一、矩阵得秩如果把矩阵得每一行瞧成一个向量,那么矩阵就可以认为就是由这些向量组成得、同样,如果把每一列瞧成一个向量,那么矩阵也可以认为就是由列向量组
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 线性方程组 求解

限制150内