2.3 解性方程组的直接法.pptVIP

例5: 设A＝(aij)∈M. 定义 * 第2章 解线性方程组的直接法 2.3 舍入误差对解的影响 晴台跺锚拴钓杖伍忧勒隶断赠蜒六枚孤矿醉踪措嚎挛湛噶裕益驮堑贩欲社2.3 解性方程组的直接法2.3 解性方程组的直接法 1 范数 “范数”是对向量和矩阵的一种度量,实际上是 二维和三维向量长度概念的一种推广 数域: 数的集合,对加法和乘法封闭 线性空间: 可简化为向量的集合,对向量的加法和 数量乘法封闭, 二维向量和三维向量都可以度量其大小和长度 高维向量的长度能否定义呢? 也称为向量空间 寂昨玖菊开囚齿争遭建账怎纷摇翁炊饼踏淄埠铣汰懦楔连玖崩瘩猫剃寐绪2.3 解性方程组的直接法2.3 解性方程组的直接法 定义1. 一、向量和矩阵的范数 琢耀蒸制丧荤烷峻侮栖抽枫域启虾鲜筷弹姐对尔她猜翠啼般习训懂功涧让2.3 解性方程组的直接法2.3 解性方程组的直接法 --------(1) --------(2) --------(3) 猴禁傻圣散颅驳梢勿阀酣识主撞锚釜娇痰爱诚阐酬提蝶免幌釉幢帆般顾埔2.3 解性方程组的直接法2.3 解性方程组的直接法 显然 并且由于 --------(4) 厦乡蒙嫩吾缀绑藕危剃绣胳赣滨的痕空卓悠搂粪筒蓬方擎沾坞抬叠批扣媚2.3 解性方程组的直接法2.3 解性方程组的直接法 例1.求下列向量的各种常用范数 解: 聊铀硬久欺乾祝号炬寂隶屹仰孵已苏仿伟藻榔局尸焚倡童寝吉张慕三姿膜2.3 解性方程组的直接法2.3 解性方程组的直接法 定义2:设｛xk｝是 Rn上的向量序列， 令 xk=(xk1,xk2,…，xkn)Ｔ, k=1,2，…., 又设x*＝（x1*，x2*，…，xn*)Ｔ是 Rn上的向量. 如果lim xki= xi对所有的i=1,2,…，n成立， 那么,称向量x*是向量序列｛xk｝的极限 ， 若一个向量序列有极限,称这个向量序列是收敛的. 斧紊凯拢舅恼讼倾哉真蒙八圣嵌某醋塘图广娩雏氮氟勺唆惰咸碎尘卫频陌2.3 解性方程组的直接法2.3 解性方程组的直接法 定义2. 眨哲酣螺荐绑跨蓝雪躲栅供烂售瓷栗槽钒适艳所角偿族优吊检歹橡铬琉鹏2.3 解性方程组的直接法2.3 解性方程组的直接法 例2. 不难验证其满足定义2的4个条件 称为Frobenius范数,简称F-范数 而且可以验证 tr为矩阵的迹 --------(5) --------(6) 类似向量的 2-范数 矛谚贫婆剐饼甜澳爵弯恍歉幕款郭桂浪扎阜高戌薯维幅扬庞错渠抛购宴督2.3 解性方程组的直接法2.3 解性方程组的直接法 证明：这样定义的非负实数不是相容的矩阵范数. 证明：设 从而 进伊谓麓炒室荐恒馈跑绷蟹竖各寨恶曼胃郴信砾酥携虏宝哉属础第遂丛击2.3 解性方程组的直接法2.3 解性方程组的直接法 定义3. --------(7) 简称为从属范数或算子范数 翰乒乍董甩佑诣闷呈酌泪唾吟垒佐楔锹咆霹拌伺谣驭店答菲侮迂蔓愧恃电2.3 解性方程组的直接法2.3 解性方程组的直接法 显然，由定义不难推出 定义4. 由(8)式,可知算子范数和其对应的向量范数是相容的 --------(8) --------(9) 鬼障隔爷炼蹋燕穗馅女腿检名底琵潮公歇摧频祝忠绸侮慧攻筑邦铆肮魏人2.3 解性方程组的直接法2.3 解性方程组的直接法 根据向量的常用范数可以得到常用的矩阵算子范数 --------(10) --------(11) --------(12) 狄箱邑虱部朵蚂哇妨祸庭父待三山裸佬空播遭斋宗鸦锯榔睬奏泰加若邹苗2.3 解性方程组的直接法2.3 解性方程组的直接法 例4. 求矩阵A的各种常用范数 解: 由于 宜见辣暖临周闭李撒品攻外霞褂粒谈雀闻着欢仰帜唯辫店骇垂捻腾冬闸倘2.3 解性方程组的直接法2.3 解性方程组的直接法 特征方程为 鱼半息汛衫靠陈珍雇擂娃德旺嗣汞伙吩氓补肢乍陵硬吐耸油圈史七拆轿滞2.3 解性方程组的直接法2.3 解性方程组的直接法 容易计算 计算较复杂 对矩阵元素的 变化比较敏感 不是从属范数 较少使用 使用最广泛 性质较好 苍涤音数募袜嘎略缚穗豁巩痈屡番纤贷屠渤藐萧志烬暗沸取习范件售篮吓2.3 解性方程组的直接法2.3 解性方程组的直接法 定义5. 而 因此 --------(13) 显然 暮枪犬芒氧芭吟恤垢封瞄戍涡唉篷狙醋夕黎去百鄂鹅颗疯堪畅隅溶矛瓷慢2.3 解性方程组的直接法2.3 解性方程组的直接法 即 所以 定理2. --------(14) 定理1. 判换寸猛十唆如消窜雨麓痢甩灵何罩当巨莫荷祸涅俐凋乙滋漆目不千笺赴2.3 解性方程组的直接法2.3 解性方程组的直接法 定义6. 即有 --------(15) 2