数值分析引论易大义Ch5.9-1.pptVIP

* §9 向量，矩阵范数，矩阵的条件数 9.1 向量，矩阵范数 线性方程组解的形式为向量，如记近似解 该近似解的误差估计如何？ 下一章要讨论解大型稀疏线性方程组的迭代法，迭代法的 收敛性怎样？ 的元素 “大小”给出某种 度量，即向量范数（或矩阵范数）概念， 间的距离概念. 解方程组以及研究与探讨方程组本身性质的工具. 向量、矩阵与线性方程组有着密切的关系，向量、矩阵范数是 二维，三维的长度概念 需要对向量空间 推广到 ： 称为n维复向量空间. 称为n×n复矩阵空间. 称为A共轭转置矩阵. 定义8 距离 向量范数 一、复向量空间 推广到 ： 二、向量范数的抽象定义 定义9（向量范数） （1）正定性 （2）齐次性 （3）三角不等式 1. 向量范数的定义　 2. 常用的向量范数 定义10 称为向量的能量范数. （1）向量的“∞”范数： （2）向量的“1”范数： （3）向量的“2”范数： （4）向量的能量范数： 证“1”范数时，用 注 Cauchy不等式(P.93) 3. 范数的等价性 定理20 定理19 证明 事实上， 证明 于是有 (2) 注 (3) (1) 三、向量序列的极限　　　　　　　　 设有向量序列 若n个数列收敛，即 设有向量序列 则有 定义11 １. 定义 例11　 或说向量序列 的收敛即 定义12　 称非负实数 之间 2. 距离 为向量的任何一种意义下范数. 距离，其中 且记 定理21 为Rn中一向量序列，且 为向量的任一种范数. 证明 由范数的等价性定理有 对v =1也可采用以下证法 注 定义13 （矩阵范数） 的某个非负实值函数 若对任意的n×n矩阵A，B满足下述条件： 由于在许多应用问题中，矩阵和向量是相联系的，现引进一种 和向量范数是相容的，即对 有不等式 （1）正定性 ： （2）齐次性 ： （3） 三角不等式 ： 1. 矩阵范数的一般定义(类似于向量范数) 矩阵的算子范数.它是由向量范数诱导出来的，并且这种矩阵范数 矩阵范数与向量范数的相容性条件 四、矩阵的范数　　　　　　　 的弗罗贝尼乌斯范数，或希尔范数. n维向量范数可以推广到矩阵上去，一个n×n矩阵A可看作n2 维向量空间中一个“向量” 称为A 2. 矩阵的算子范数 且有一向量范数 相应的定义一个矩阵的非负函数： （最大比值） 为矩阵A的关于向量范数　　 定理22 向量范数，则 上一个矩阵范数且满足相容条件： 的算子范数或诱导范数. 定义14 ( 矩阵的算子范数) （i）因为 证明 一个矩阵范数( 满足三个条件)， （ii） （iii） 以下证明满足相容性： （1） （2） 的任意性知 诱导范数的 矩阵相容性 诱导范数与其相应的向量范数相容 定理23（矩阵范数公式） A的行范数 Ａ的列范数 Ａ的“2”范数或Ａ的谱范数 3. 矩阵范数公式 每个向量范数，都可相应地定义一个矩阵范数，常用的诱导范数的计算方法由定理23给出. 分析 （1）的证明分两步，一证明 二证明存在 证明 对任何向量 ，则有 （如果能找到一向量 定理得证.） 由(9.1)式有 下面来寻求 使比值等于 ， 由此，应选取 （3） （2）证明与（1）相似 . 正交性 所以 因为 另一方面， 因而 所以 又 所以 *