一阶的一个定理:非齐次线性方程组解的判别定理特解+对应齐次线性方程组解的判别定理方程通解=该非齐次线性方程组解的判别定理方程通解 我的问题:怎样证明有没有漏解?

内容提示:线性方程组有解的判別定理(DOC)

文档格式:DOC| 浏览次数:0| 上传日期: 05:34:53| 文档星级:?????

全文阅读已结束如果下载本文需要使用

该用户还上传了这些文档

专业文档是百度文库认证用户/机構上传的专业性文档文库VIP用户或购买专业文档下载特权礼包的其他会员用户可用专业文档下载特权免费下载专业文档。只要带有以下“專业文档”标识的文档便是该类文档

VIP免费文档是特定的一类共享文档,会员用户可以免费随意获取非会员用户需要消耗下载券/积分获取。只要带有以下“VIP免费文档”标识的文档便是该类文档

VIP专享8折文档是特定的一类付费文档,会员用户可以通过设定价的8折获取非会員用户需要原价获取。只要带有以下“VIP专享8折优惠”标识的文档便是该类文档

付费文档是百度文库认证用户/机构上传的专业性文档,需偠文库用户支付人民币获取具体价格由上传人自由设定。只要带有以下“付费文档”标识的文档便是该类文档

共享文档是百度文库用戶免费上传的可与其他用户免费共享的文档,具体共享方式由上传人自由设定只要带有以下“共享文档”标识的文档便是该类文档。

非齐次线性方程组解的判别定理線性方程组同解的讨论 摘要 本文主要讨论两个非齐次线性方程组解的判别定理线性方程组有相同解的条件即如何判定这两个非齐次线性方程组解的判别定理线性方程组有相同的解. 关键词 非齐次线性方程组解的判别定理线性方程组 同解 陪集 零空间 引言 无论是解齐次线性方程組解的判别定理线性方程组,还是解非齐次线性方程组解的判别定理线性方程组.所用的方法都是消元法即对其系数矩阵或增广矩阵施以荇的初等变换,而得到比较简单的同解方程组.用矩阵理论来说就是系数矩阵或增广矩阵左乘以可逆矩阵后所得线性方程组与原线性方程組据有相同的解.这仅为问题的一面,而问题的反面是如果两个非齐次线性方程组解的判别定理线性方程组同解,则它们的系数矩阵或增廣矩阵之间是否存在一个可逆矩阵答案是肯定的,此即是本文主要解决的问题 下面是一个非齐次线性方程组解的判别定理线性方程组,我们用矩阵的形式写出 令 A= b= 。 即非齐次线性方程组解的判别定理线性方程组可写成 一 、线性方程组同解的性质 引理1 如果非齐次线性方程组解的判别定理线性方程组与同解,则矩阵与的秩相等. 证明 设非齐次线性方程组解的判别定理线性方程组的导出组的基础解系为其中為矩阵的秩,再设非齐次线性方程组解的判别定理线性方程组Bx=d的导出组的基础解系为其中为矩阵的秩,如果是非齐次线性方程组解的判別定理线性方程组Ax=b与Bx=d特解由于这两个方程组同解,所以向量组与向量组等价从而这两个线性无关的向量组所含的向量个数相等,于是囿则矩阵与的秩相等. 引理 设A、B为矩阵则齐次线性方程组解的判别定理线性方程组与同解的充要条件是存在可逆矩阵使得. 证明 充分性显然荿立。 必要性 设与的同解空间为V由文献[2]得A的行向量与B的行向量生成的子空间相同,都是V的正交补空间.所以A的行向量与B的行向量可相互线性表出,即存在矩阵C,使得且秩A=秩B. 即存在可逆矩阵P使得. 引理3设A、B为矩阵,则非齐次线性方程组解的判别定理线性方程组与有解且同解则它们的導出组与同解。 证明 设为的解为的一个特解。则由非齐次线性方程组解的判别定理线性方程组与同解及线性方程组的性质可知为的一个特解为与的解。 所以是的解 反之设为的解,同样可以证明为的解。 所以与同解 由引理2与引理3可以得到下面的定理: 定理1设A、B为矩陣,则非齐次线性方程组解的判别定理线性方程组与都有解则它们同解的充要条件是存在可逆矩阵使得, 证明 充分性显然成立。 必要性 设与同解由引理3得,与同解又由引理2可知存在可逆矩阵使得. 设为与的解。即 从而 所以结论成立 如果我们把上面的结论加以改进便嘚到更一般的结论: 情况1 设非齐次线性方程组解的判别定理线性方程组 和 (1) 式中A、B都为矩阵,b与d为m维列向量为维列向量。 定理 非齐次線性方程组解的判别定理线性方程组和同解的充分必要条件是存在可逆矩阵使得 (2) 证明 充分性 如果存在可逆矩阵使得(2)式成立则对嘚任意解,有 所以 故是的一个解 反之对的任意解,把(2)式改写为 (3)

我要回帖

更多关于 齐次线性方程组解的判别定理 的文章

 

随机推荐