向量的范数与矩阵的范数2.pptVIP

* * 4.2 矩阵的范数 一.定义与性质 定义4.3 设A ?Cm?n，定义一个实值函数 （1） 非负性: 当 时, ; 当 A=0 时, ; 与之对应，且满足以下三个条件 (2) 齐次性: (3) 三角不等式: 则称 为A 的广义矩阵范数. 若对 Cm?n ,Cn?l 与Cm?l上的同类广义矩阵范数 有 （4）相容性： （2.2.1） 则称 为A 的矩阵范数. 例4.6 已知 都是 Cn?n 上的矩阵范数. 证：仅第一个就三角不等式与相容性加以验证。 定义4.4 对于 Cm?n上的矩阵范数 和 上的同类向量范数 ，如果 则称矩阵范数 与向量范数 是相容的. 例4.7 设 ，证明函数 是 Cm?n上的矩阵范数，且与向量范数 相容. 证：验证（3）设A 的第j 列为 B?Cm?n的第j 列为 ，则有 所以 即三角不等式成立. 再设B ,则AB = , 于是有 即 是A 的矩阵范数. 取 B= ,则有 即矩阵范数 与向量范数 相容. 范数 又称为Frobennius范数，或简称为 F-范数. 是最常用的矩阵范数。 的特点：矩阵的F-范数是酉不变的. 定理4.5 设 ，且 与 都是酉矩阵，则 证 因为 即 ，于是 定理4.6 设 是 Cn?n上的方阵范数，任取Cn 中的非零列向量y ,则函数 是 Cn上的向量范数，且矩阵范数 与向量 范数 相容。（即对任一方阵范数， 一定存在与它相容的向量范数 ） 证 非负性. 当 时， 从而 ；当x=O时， ，从而 齐次性. 对 ，有 三角不等式. 对 ，有 因此， 是 上的向量范数. 当 , 时， 所以矩阵范数 与向量范数 相容. 二. 几种常用的矩阵范数 1. 从属于向量范数的矩阵范数 定理4.7 已知 上的向量范数 , 则 ， 是一个矩阵范 数，且与已知向量范数相容。 也称此矩阵范数为从属于向量范数的算子范数 or 由向量范数导出的矩阵范数。 例如： 则从属于向量 x 的三种范数 的矩阵范数依次是：