数值分析解线性代数方程组的直接法.PPTVIP

* * 等价性定理：设 是 上的两种向量范数，则存在与 无关的常数 ，使得 证明： 当 时上式显然成立。故假设 求证 存在常数 使 记 。由连续性定理， 在 上连续，且必达到最小值 与最大值 。 向量范数的性质（续） Remark:这里的?其实就是Rn中 意义下的单位球面。 * * 向量范数的性质（续） 于是 联合即得 即 ，其中 使 同理 有 由 Remark:Rn上所有范数都是等价的。 * * 二． 矩阵范数 1．定义：如果矩阵A 的某个非负的实值函数 ，满足： （1）正定性： （ 当且仅当A=0） （2）齐次性： c为实数 （3）三角不等式 其中A,B （4） 则称 是 上的一个矩阵范数。 特别地，若还具备特性 （5） ( 为 的某种向量范数) 则方阵范数特别叫做与向量范数 相容的方阵范数。 * * 2.常用的矩阵范数 称为A的行范数； 称为A的列范数； 称为A的2一范数，其中 表示 的按模最大的特征值。 称为A的F一范数。 * * 3.矩阵的算子范数 设 ,A ,给出一种向量范数 (p=1，2或 等)定义矩阵的非负函数 是 上矩阵的一种范数,称为A的算子范数，也称从属范数。 Remark：向量范数 所导出的矩阵范数 与该向量范数是相容的。 * * 4.从属于 的矩阵范数 （p=1，2， ） 定理： 设 　则方阵的１，２，∞范数刚好是从属于向量的１，２，∞范数． 证明： （1）设 。 不妨设A 。(A=0时显 然二者一致) * * 即对任何非零向量 有 （a） 下面来说明有一向量 使 设 在第 行达到，即 算子范数（续） * * 且A 的第 个分量为 即有 （b） 结合（a），（b）得 取向量 其中 （j=1，2，…，n） （2）列范数证明与（1）类似。 算子范数（续） 这说明 * * （3）因A 为实矩阵，故 为实对称的，并且还是非负定的。 设 为任一非零向量，则有 故 的特征值排列为 其中 为标准正交的特征向量， 为组合系数。设 算子范数（续） * * 即 从而得到 取 , 则 算子范数（续） * * 三．扰动方程组解的误差界 例：求解方程组 该方程组的精确解是x1=x2=1。 若我们考虑系数矩阵及右端项有微小扰动的方程组 该方程组的精确解是x1=-2，x2=8.5。 问题：实际求解方程组 时，A和 都有可能产生微小扰动（微小变化），例如计算机计算时产生的舍入误差。此时方程组的解变化会如何呢？ * * 扰动方程组解的误差界（续） 从上例可以看出，虽然系数矩阵和右端向量的变化很小，但是解的误差却很大。这说明上面方程组的解对系数矩阵和右端项的扰动很敏感。 事实上，上面方程组的行列式仅为-0.002，方程组的解为两条接近平行的直线的交点，因而当其中一条直线稍微变化时，新交点与原来的交点相偏离很远。 方程组的这种扰动性质是由其系数矩阵的固有性质所确定的。 下面我们就一般方程组的情形来讨论扰动方程组的解的误差界。 * * 扰动方程组解的误差界（续） 这里用到的是任何一种向量范数以及从属于它的矩阵范数。 则当 时，有 定理：设有n阶方程组 ，其中A非奇异。设A和 有微小扰动?A和 ，扰动后的方程组为 * * 扰动方程组解的误差界（续） 证