24.02 范数.ppt

* §5 向量，矩阵范数 9.1 向量，矩阵范数 线性方程组，解的形式均为向量，如近似解 该近似解的误差估计如何？ 下一章要讨论解大型稀疏线性方程组的迭代法，迭代法的收 敛性怎样？ 的元素 “大小”给出某种 度量。即向量范数（或矩阵范数）概念， 的距离概念。 解方程组以及研究与探讨方程组本身性质的工具。 向量、矩阵与线性方程组有着密切的关系，向量、矩阵范数是 二维，三维的长度概念： 需要对向量空间 推广到 ： 称为n维复向量空间。 称为n×n复矩阵空间。 称为A共轭转置矩阵。 定义8 距离 向量范数 一、复向量空间 推广到 ： 二、向量范数的抽象定义： 定义9（向量范数） （1）正定性 （2）齐次性 （3）三角不等式 1、向量范数的定义　 2、常用的向量范数 定义10 称为向量的能量范数。 （1）向量的“∞”范数： （2）向量的“1”范数： （3）向量的“2”范数： （4）向量的能量范数： 证“1”范数时，用 注： Cauchy不等式 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） 由x的任意性知 诱导范数的 矩阵相容性 诱导范数与其相应的向量范数相容 定理23 （矩阵范数公式） A的行范数 Ａ的列范数 Ａ的“2”范数或Ａ的谱范数 3、矩阵范数公式 每个向量范数，都可相应地定义一个矩阵范数，常用的诱导范数的计算方法由定理23给出。 分析： （1）的证明分两步，一证 二证明存在 证明: 对任何向量 ，则有 如果能找到一向量 那么，定理得证。 且由（9.1）式有 下面来寻求 使比值等于 ， 由此，应选取 （3） （2）证明与（1）相似。 正交性 所以 因为 另一方面， 因而 所以 又 所以 *