实用大众线性代数课件第3章.pdf
《实用大众线性代数课件第3章.pdf》由会员分享,可在线阅读,更多相关《实用大众线性代数课件第3章.pdf(42页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、第3 3章 行 列 式 行列式是公元1690年前后诞生的。在传统的线 性代数中,行列式都被放在第一章第一节,其 中充满着繁琐的数学推导,也是初学者最大的 拦路虎之一。 但是,随着高斯消元法和计算机的广泛应用, 在方程求解软件中已经嵌入了主元非零的判解 条件,完全可以避开行列式传统讲法中的多种 概念和复杂公式,大大节约了篇幅,也降低了 工科读者的入门难度。 3.1 二、三阶行列式的意义 3.1.1 二阶行列式 行列式的主要用途是判断线性方程组的解是否存在和唯一。 例3.1 求下面二元线性方程组的解 1111221211121121121122111 2112222 ()+a xa xbaaa x
2、a aaxa b a a xaxb += += 乘 2111 aa () 1112 11 221221112221 111 0 aaxb aa aaxba ba = 解: 用第二个方程减去第一个方程乘,写成矩阵 (3.1.1) 当两个主元都不等于零时,由第2式解出 再代入第1式,得到: 11 221 1 2 11221221 a ba b x a aa a = 122212 1 11221221 b ab a x a aa a = 二阶行列式的定义 为了便于记忆,引入双竖线记号: (3.1.2) 称为该系数矩阵A的行列式(Determinant)。把a11,a22的连线 称为主对角线,a12,
3、a21的连线称为其副对角线,则二阶 行列式等于主对角线元素乘积减副对角线元素的乘积。 方程组(3.1.1)的解可表示成x1=D1/D,x2=D2/D,其中 (3.1.3) 分别为将方程常数列b取代矩阵A中1,2列所得的行列式。 由此得到判定二元非齐次方程组(3.1.1)解的存在判据: 其系数矩阵的行列式det(A)必须不等于零。 11121112 11221221 21222122 detdet( ) aaaa Da aa a aaaa = A 112 1 222 ba D ba =111 2 212 ab D ab = 例3.23.2二阶行列式的几何意义 平面上有一个平行四边形OACB,A、
4、B两点的坐标分别 为(a1,b1)(a2,b2) ,如图所示,求平行四边形OACB的 面积。 解:作辅助线,从图上可得: 说明该平行四边形的面积刚好等于 以A、B两点坐标所构成的二阶行列式。 由此可见,如果两个向量共线,它们构成的平行 四边形面积为零,其行列式也为零,方程无唯一 解的几何与代数判据就得到了统一。 OACBOEDBCDBAEOAEDC OEDBAEDC1 22 1 S=S+S-S-S =S-Sa ba b= 下一讲 三阶行列式 3.1.2 3.1.2 三阶行列式 例3.3 求下面三元线性方程组的解 解: 利用高斯消元法可以得到 定义: 为A的三阶行列式, 11 11221331
5、21 12222332 31 13223333 a xa xa xb a xaxaxb a xaxa xb += += += () 1122331223311321321322311221331123321 a a aa a aa a aa a aa a aa a ax+ 122331223 313232132231223312332 b a aa a ba b aa a ba b ab a a=+ 111213 21222311 22331223 311321 321322311221 3311 23 32 313233 aaa Daaaa a aa a aa a aa a aa a aa
6、a a aaa =+ 三阶行列式的几何意义 它是6项的代数和,每一项都是 3个元素的乘积,其中3项为正, 另3项为负。为了便于记忆,图 3-2给出了它的计算规则。左上 到右下的三个实线箭头所经的 三个元素连乘积取正号,右上 到左下的虚线箭头所经的三个 元素的连乘积取负号。 三阶行列式的几何意义是以三 个三维列向量为三条边构成的 平行六面体的体积,如图3-3, 三阶行列式的代数特征 根据三阶行列式的定义,可以把式(3.1.5)的右端定义为 D1,再扩展到x2,x3,写出 当此方程组的系数行列式D0时,可以得到它的解为: x1=D1/D,x2=D2/D,x3=D3/D。其中 D1 、D2 、D3是
7、用 常数项列b分别替换D中的第1、2、3列所得到的三阶行 列式。如果分母上的行列式D等于零,那么解的分母就 为零,其结果是无穷大(常数/0),说明其解不存在。 所以,系数行列式不等于零det(A) 0也是三阶非齐次线 性方程组的解存在的必要条件。 112131111311121 122223122122323212223 332333133331323 baaabaaab DxbaaDDxabaDDxaabD baaabaaab =, 下一讲 高阶行列式 3.2 n阶行列式定义之一:显式法 从前述的低阶行列式可以演绎出高阶行列式的定义。目 前,有三种不同的演绎方法,可形成三种定义。 (1)显式
8、法:根据行列式的结构直接进行演绎。二阶行 列式(3.1.1)由两项之和组成,每项为两个元素相乘; 三阶行列式(3.1.6)由六项(即3的阶乘3!)之和组 成,每项为三个元素相乘; 依此类推,n阶行列式应该由n!项之和组成,每项 为n个元素相乘。照此式计算时,需要做的乘法次数 为(n-1)*n!。当n=4时,3*4!=72,n=5时, 4*5!=480,阶数略高一些,运算量更大。而演绎 各项的符号规则更加复杂,必须引入“逆序数”等 概念,很繁琐。行列式的“可畏”,源头就在这 里。 行列式定义之二:代数余子式法 (2) 它的思路是把显式法的表达式降阶,通过行列式 按行展开的特性,可以把n阶行列式降
9、为n个(n-1) 阶行列式。比如,上述的三阶行列式就可以写成 三个二阶行列式之和: 用这个方法把n阶行列式降为n个(n-1)阶,每个(n-1)行 列式又展开成(n-1)个(n-2)阶的,.也很繁琐。可 以算出,其计算量比显式法约减少n/2倍,确定各 项的正负号的规则也简化一些,但要引入更多新 名词和新概念,如随伴矩阵等。 111213 222323212122 212223111213 323333313132 313233 aaa aaaaaa Daaaaaa aaaaaa aaa =+ 行列式定义之三:对角主元连乘法 (3)三阶方程组作高斯消后的行阶梯形式为 其主对角线上前两个主元的乘积为
10、a11a22-a12a21,恰好 是二阶方阵的行列式;而前三个主元连乘积恰好等 于其系数矩阵的三阶行列式。 由此可以推想,将n阶系数方阵用高斯消元法变换为行 阶梯形,其对角线上所有主元的连乘积就是该方阵 的行列式。这个推想得到了数学家的证实。 () () 111213 11 2212211123132111 11 22331223 311321 321322311221 3311 23 3211 221221 0-/-/ 00(-)/- aaa a aa aaaa aa a a aa a aa a aa a aa a aa a aa aa a = + U 下一讲 三种行列式定义的比较 *3.2
11、.2 *3.2.2 三种定义的比较 数值计算中通常用所需的乘法次数来标志计算的复杂度, 下表给出了三种定义方法在不同阶数下计算行列式的计 算量。 拿1,3两种方法所需的乘法次数加以比较,可以看出,只 有N=2时,用显式法求行列式才比消元法方便。n=3时, 两者的计算量基本相同。n=5时,用显式法算的计算量为 480次乘法,用笔算是工程上无法接受的。 表3-1 行列式的三种定义方法所需乘法次数 阶数n23451025 显式法21272480326592003.7*1026 代数余子式法294020572576003.1*1025 主元连乘41324453425233 维数灾难(Curse of
12、Dimensionality)(Curse of Dimensionality) n更大时,定义一的运算量不仅超越了人们笔算可能性,也超 越了计算机的能力。一个25阶的行列式若按显式法来算,乘 法的次数为3.721026次。用每秒1万亿(1012)次的超 级计算机,也要算1200万年才能得出结果。 2013年11月,中国的“天河二号” 超级计算机以其计算速度33.86千 万亿次(1016)两次连获全球之冠, 用这样的计算机来算仍然要400年。 这种计算量随维数呈指数增长的现象称为 “维数灾难”,是 科学计算的大敌,前两种定义方法都存在着这个致命弱点, 没有人会用前两种定义计算四阶以上的行列式的
13、,因而在在 现代大矩阵计算中没有实用价值。 主元连乘法的优越性 对角主元连乘法的计算量小得多,由它实现上三角 矩阵所需的乘法次数约为Nn3/3,n=10时, N=333次,n=25时,N5200次,用现有的微机可 以在毫微秒级的时间内完成。主元连乘法的计算公 式可由高斯消元法直接导出,不引入任何其他概念, 所以行列式计算软件都是用这个方法编程的。 它的缺点是主元和各个元素之间的数学关系不明确, 不容易进行基本理论的推导。所以很多行列式数学 推理还得依靠前两种定义方法,前两种方法在数学理 论发展过程中起过历史作用,对今天爱搞理论的学 生培养推理能力也许有一定的用处。而真正的工程 应用和MATLA
14、B等软件的开发,都采用主元连乘法。 高斯消元与行列式计算的统一 由于诸主元的计算是在消元法求解过程中自动完成的,不需 要增加额外的计算量,解方程时就不必专门求行列式了。 为了使定义(3.2.2)不出现歧义,还必须对所用的消元法提出 一个要求,那就是消元过程中只许采用消法矩阵E,不得使 用交换矩阵P。因为交换矩阵会使某些主元变号,从而造成 行列式改变正负号。如果行阶梯变换软件中使用了交换变换, 则不难让程序记住使用交换矩阵P的次数r,在结果中乘以(- 1)r,则(3.2.2)式应改为 结果就全面了。 但用行列式或主元判解时,关心的只是它是否等于零,其正 负号没有什么价值,可以不管,只看其绝对值就
15、行。 1122 ( 1)rDp pp= nn 主元连乘定义与解的唯一性 用行阶梯型对角线主元连乘积: 来定义行列式,可以很自然地 把解的存在、唯一性与行列式 是否为零联系起来。 消元法解方程时,先把系数方阵变为上三角矩阵,再经回代变 为对角矩阵。方程的解为: 各主元若都不为零,就可以把主元分别除各行的增广项求得其 解。按这个定义,若行列式不等于零,就意味着所有n个主 元都不等于零,因而方程组的解存在并唯一。反之,若行 列式等于零,就意味其中至少有一个主元为零,方程组就 不会有解,因此行列式不为零就可以成为判别解的存在与 唯一性的判据。 111 222 0 0 0 0 * 0 0 0 nnn p
16、d pd pd = U 1122 3.2.2Dp pp= nn () nnnn pdxpdxpdx=, 22221111 3.2.3 3.2.3 本书采用的方法 从本书的对象和特色出发,我们将采用主元连乘法作 为行列式的基本定义和实际计算。有个别难证的定理 将不作严格数学证明,而是利用数学家们的证明结果, 或者用MATLAB做数字验证。比如行列式的乘法定理: det(A*B)=det(A)*det(B) 看似简单,其严格证明却要用一些新的数学概念和公 式,花很多时间。科学需要继承并且是有分工的,数 学家已经证明了的定理,搞应用的读者可以利用这些 定理,不必自己都去补数学基础,重证一遍。工科应
17、该利用数学的成果,发挥自己的优势来搞创新。数学 界也可以利用别人的程序来验算公式的正确性,不必 自己再去重编程序。 下一讲 行列式的性质 研究行列式的性质和计算主要是 帮助判零,因为行列式是否等于 零决定的方程的解的性质 3.3 3.3 行列式的性质 在采用主元连乘法定义行列式时,较方便的是用 初等变换矩阵变为行阶梯型,用它来推导行列式 的性质,为此先要知道初等矩阵的行列式,以及 方阵乘积的行列式。 性质1.根据定义,上三角方阵、下三角方阵和 对角方阵的行列式等于其对角元素的连乘积。 推论1:n阶单位矩阵的行列式等于一。 111112111 212222222 1122 12 000000 0
18、00000 000000 000000 n n nn aaaaa aaaaa a aa aaaaa = nn nnnnnn 行列式的乘法定理 性质性质2 2 方阵乘积ABAB的行列式是A A和B B的行列式的乘积。 det(AB)=det(A)det(B) 证:如果A,B都已化成为行阶梯型,证明是容易的: 因此 在一般情况下要证明这个关系,要用更多的数学 术语和概念,本书就不做了。建议读者把这个命 题用MATLAB进行数值验证。 111111 11 22222222 000 000000 000000000 nnnnnn nn aba b aba b aba b = AB ()() 11221
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 高等数学微积分
限制150内