数值第5章解线性方程组的直接方法终稿.pptVIP

定义4 如果 的某个非负实函数N(A)，记作‖A‖， 满足条件： 则称 显然 满足定义中的四个条件, (3)，(4)两条均可由 Cauchy-Schwarz不等式证明，故 是一种矩阵范数. 除矩阵自身的运算外，在解方程中矩阵乘向量的运算即Ax，也是必不可少的.因此要求所引进的范数应满足条件： 上式称为相容性条件.为使引进的矩阵范数满足条件(4.5)，我们给出以下定义. (4.5) 定义6(矩阵的算子范数) 设 当给定向量范数 时可定义 称为矩阵的算子范数或从属范数. (4.6) 定理17 设 上的一种向量范数， 则由(4.6)定义的 是一种矩阵范数，且满足相容性条件 证明 因 中有界闭集 上的连续函数，故 在D上有最大值，即 使 而对 故 所以 从而当 成立，而x=0时 显然也成立. 定理17 设 则 这里 为矩阵的谱半径. 例7 已知 解 从定理可以看出，计算 较容易，而计算 时因为要求 的特征值，所以较为困难.但当A对称时，有 定理19 定理18 对任何 为任一种从属范数则 反之，对任意ε＞0，至少存在一种从属范数 使 证明:设 为A的特征值，则 由 得 非奇异，且 证明　用反证法.假定(I+B)奇异，则齐次方程 有非零解 而 与‖B‖＜1的假设矛盾，故(I+B)非奇异. 又 得 取范数 得 定理20