- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
3 4 2 0
3 行阶梯形矩阵的 MATLAB 实现
线性方程组是线性代数教学的核心内容,在实际中具有重大的作用,而化行阶梯形矩阵是解决线性方 程组解的基本方法,学会应用计算机软件化行阶梯形矩阵非常有必要,行最简形矩阵可以说是行阶梯形矩 阵的一种标准形式,下面以一个应用 MATLAB 软件 化行最简形矩阵的例子来说明其过程。 例 3 设 1 2 1 4 3 , 2 1 1 6 6 , 3 1 2 2 9 , 4 1 1 2 7 , 5 2 4 4 9 ,则以 1 , 2 , 3 , 4 , 5 作为列组成矩阵 A ,在 MATLAB 软件中,输入以下程序:
3 1 0 0
4 3 1 0
5 1 4 , A 0 2 0 2 0 0
0 1 0 0
2 4 0 0
0 0 1 0
4 2 3 0
其中, A2 称为行最简矩阵,其特点是 (1)非零行首非零元是 1; (2)1 所在列的其余元素为 0。
2 行阶梯矩阵与行最简形矩阵的应用
的同解方程组,从而得到方程组的全部解。 同理,求解齐次线性方程组 Ax 0 ,其求解过程实际上就是将 A 通过初等行变换化为行阶梯形矩阵进 而化成行最简形矩阵的过程。还有矩阵的特征向量的求解其实也是求解齐次线性方程组,因而也是化行阶 梯与化行最简的过程。 2.4 判断向量组的线性相关性、求向量组的极大无关组与向量的线性表示 定义 2 给定向量组 1 , 2 , , n ,若存在不全为零的常数 k1 , k2 , , kn ,使得 k11 k2 2 kn n 0 [3] 则称向量组 1 , 2 , , n 线性相关,否则称向量组 1 , 2 , , n 线性无关 。 向量组的线性相关性,即为齐次线性方程组 x11 x2 2 xn n 0 (1) 是否有非零解的问题,故只需要对矩阵 A (1 , 2 , , n ) 进行初等行变换化为行阶梯形矩阵,看此行 阶梯形矩阵的非零行数 r 与 n 的关系,若 r n ,则线性相关,若 r n ,则线性无关。 同时可以求得 1 , 2 , , n 的一个极大线 当 A (1 , 2 , , n ) 的行阶梯形矩阵的非零行的行数 r n 时, 性无关组,因为初等行变换不改变方程组(1)的解,从而也就保持了各列 A 的列向量组 1 , 2 , , n 的线 性相关性。非零行首非零元所在的列(即为主元列)必定线性无关,从而对应于矩阵 A 中各列向量即为向 量组 1 , 2 , , n 的极大无关组,并且进一步将行阶梯形矩阵化为行最简形矩阵,就可以将向量 组 1 , 2 , , n 中不属于极大无关组的向量用极大无关组来线性表示。例如:
线性代数作为一门基础实用课程在现实生活中的应用越来越广泛,尤其是在计算机广泛使用的现代社 会,线性代数在我们的社会实践应用中扮演了越来越重要的角色。矩阵是线性代数的一个重要工具,而矩 阵的行阶梯形矩阵与行最简矩阵在线性代数中解决一些基本问题中起了关键的作用,因而有必要对行阶梯 形矩阵与行最简矩阵在线性代数中的应用进行深入而全面的探讨。线性代数的概念理论较多,对于初学者 来说是一门较为抽象的学科,其实线性代数在理解了其本质内容之后,线性代数中的那些基本问题都可以 归结为矩阵的行阶梯形矩阵与行最简矩阵的求解,这也是线性代数学习的重点与难点。本文主要从两者在 线性代数中的应用进行全面深入的探讨,并结合实际案例给出了行最简形矩阵的 MATLAB 实现过程。
第 31 卷第 3 期 2015 年 5 月
齐 齐 哈 尔 大 学 学 报 Journal of Qiqihar University
Vol.31,No.3 May,2015
行阶梯与行最简形矩阵在线性代数中的应用 及其在MATLAB中的实现
杜美华
(青岛理工大学琴岛学院 基础部,山东 青岛 266106) 摘要:线性代数是一门很有实用价值的学科,矩阵是线性代数中的一个基础性工具,矩阵的行阶梯形矩阵与行最 简矩阵在解决线性代数的基本问题中起了关键的作用。本文中讨论了两者在线性代数中的应用,并且展示了其使 用 MATLAB 软件在计算机上实现的过程。 关键词:行阶梯形矩阵;行最简形矩阵;应用;MATLAB 中图分类号:O151 文献标志码:A 文章编号:1007-984X(2015)03-0090-05
2 2 的可逆性,若可逆求出逆矩阵。 3 0 0 1 2 2 1 0 0 1 2 2 1 0 0 1 0 0 1 0 1 1 0 , 0 1 0 1 1 0 ( B, C ) 0 1 0 3 1 2 0 1 0 0 1 5 3 1
梯的过程。
1 0 2 0 0 1 1 0 A (1 , 2 , 3 , 4 , 5 ) 0 0 0 1 0 0 0 0 1 , 2 , 4 为向量组 1 , 2 , 3 , 4 , 5 的极大无关组,并且 3 21 2, 5 31 4 2 2 4
1 2 0 9 6 2 1 0 0 7 4 2 ( B, C ) 0 1 0 1 1 0 0 1 0 1 1 0 ( E , A1 ) 0 0 1 5 3 1 0 0 1 5 3 1 7 4 2 故 A1 1 1 0 5 3 1 ,求出 A 的逆矩阵就可以利用矩阵的乘法求出其解,实 对于矩阵方程 AX B, XA C ( A 为可逆矩阵)
1 2 r
t1 t2 tr ;则称 A 为行阶梯形矩阵。
[1]
行阶梯形矩阵的特点:可以画出一条阶梯线,此线的下方和左方元素全为零;每个台阶只有一行,台 阶数即为非零行的行数,阶梯线的竖线后面第一个元素即为首非零元 。 例如
[2]
1 0 A1 0 0
2 2 0 0
收稿日期:2014-12-29 作者简介:杜美华(1981-) ,女,山东高密人,讲师,硕士,主要从事数学教育方面的研究,meihua0815@。
第3期
行阶梯与行最简形矩阵在线性代数中的应用及其在 MATLAB 中的实现
1 行阶梯形矩阵
定义 1 设 A 为 m n 矩阵, A 中的任一非零行中的第一个非零元素称为首非零元,若矩阵 A 满足: (1)每个零行(如果有的话)位于任一非零行的下方; ,则首非零元所在的列满足 (2)若 A 的非零行的首非零元分别为 a1t , a2t , , art (设 A 有 r 个非零行)
际上利用化行阶梯与行最简形矩阵的过程,就可以快速而准确的求出其解。
初等行变换 初等行变换 ( A,B) ( E , X ) , ( AT , BT ) ( E , X T )
,以这样的过程实现,可以先 而对于解矩阵方程 AXB C ( A 与 B 为可逆矩阵)
初等行变换 初等行变换 ( A, C ) ( E , XB) ( E , D) ,然后 ( BT , DT ) ( E , X T )
初等行变换 如讨论非齐次线性方程组 Ax b ,若 ( A, b ) 行阶梯形矩阵( A1 , b1 ) ①若 A1 的非零行数小于 ( A1 , b1 ) 的非零行数,则会产生矛盾方程 0 c 0 ,此时方程组无解,即 R( A) R( A, b ) ; ②若 A1 的非零行数等于 ( A1 , b1 ) 的非零行数,设 R( A) R( A, b ) r ,则不会产生矛盾方程,方程组有解。 当 r n 时有唯一解;当 r n 时有无穷多解,在有解时,可进一步将 ( A1 , b1 ) 化为行最简形矩阵,求出等价
・91・
2.1 求矩阵的秩 由初等行变换及矩阵的秩的定义,容易证明 定理 1 若矩阵 A 与矩阵 B 等价,则 R( A) R( B) 。 定理 2 行阶梯形矩阵的秩等于其非零行的行数。 由定理 1 与定理 2 知,要求出矩阵 A 的秩,只需将 A 经过初等行变换化为行阶梯形矩阵,然后数一下 其非零行的行数即可。 1 2 2 1 例 1 设 A 2 1 2 2 ,求 A 的秩。 1 1 4 3 1 2 2 1 1 2 2 1 解: A 0 3 6 4 0 3 6 4 0 3 6 4 0 0 0 0 故 R( A) 2 。 2.2 判断矩阵的可逆性及求矩阵的逆矩阵 矩阵的初等行变换,不会改变方阵的奇异性,即若原方阵为非奇异矩阵,则初等行变换后的矩阵也是 非奇异的矩阵,因而有如下结论 定理 3 方阵 A 可逆的充分必要条件是 A E 。 此定理说明,如果矩阵 A 经过初等行变换后,化为的行阶梯形矩阵出现零行,则此矩阵必不可逆。由 初等矩阵的性质及定理 3,如下结论是成立的。
但是需要注意的是,在利用初等行变换化矩阵 A 为行阶梯形矩阵的过程中,如果前 n 列的行阶梯形矩 阵中出现零行,则说明 A 是不可逆的。这种化行阶梯形矩阵的方法省去了求方阵 A 的行列式的值来判断可 逆性的繁琐, 并且在可逆时, 再利用初等行变换将行阶梯形矩阵化为行最简形矩阵即可求出方阵的逆矩阵。
1 2 例 2 判断矩阵 A 1 3 2 1 1 2 2 1 解: ( A, E ) 1 3 2 0 2 1 3 0 由于 B 1 0 ,故 A 可逆。
就可以解出此矩阵方程的解。
・92・
齐 齐 哈 尔 大 学 学 报
2015 年
2.3 求解线性方程组的解
a11 a12 a1n b x x1 b1 a a22 a2 n 21 2 设A , x , b 2 ,对于非齐次线性方程组 Ax b 与齐次线性方程 a b x m n m1 am 2 amn 组 Ax 0 而言,判断解的情况的高斯消元过程,实际上就是分别将增广矩阵 ( A, b ) 与系数矩阵 A 化为行阶