第五篇 章 向量范数和矩阵范数 矩阵理论课件.pptVIP

例 3 对任意 ，由 定义的 是 上的（广义）矩阵范数，称为 范数。 例 4 对任意 ，由 定义的 是 上的矩阵范数，称为 范数，Euclid 范数或Frobenius范数(F—范数)。 二、 算子范数和范数的相容性 矩阵不仅仅是向量，它还可以看成变换或算子。 实际中，从算子或变换的角度来定义范数更加有用。 定义5　 对 中的任意矩阵 ，用一个非负实数 表示对于任意向量 ， 可以“拉伸”向量 的最大倍数，即使得不等式 成立的最小的数 。称 为范数 和 诱导出的矩阵范数或算子范数。 由矩阵范数的正齐性可知 的作用是由它对单位向量的作用所决定，因此可以等价地用单位向量在 下的像来定义矩阵范数，即 从几何上看，矩阵范数反映了线性映射把一个向量映射为另一个向量，向量的“长度”缩放的比例 的上界。 而且考虑到矩阵乘法的重要地位，因此讨论矩阵范数时一般附加“范数相容性”条件（这里的范数一般要求是同类的）： 注意到 即 可以证明，前面给出的矩阵范数 都满足“相容性条件”，即成立 但是矩阵范数 不满足“相容性条件”。例如对于矩阵 就有 要使矩阵范数 满足“相容性条件”，则可以修正其定义为： 在“相容性条件”中，如果 而且范数 与范数 相同时，即如果有 则称矩阵范数 与向量范数 是相容的。 证明： 定理6　 上的矩阵F-范数与 上的向量2-范数相容。 根据算子范数的定义，当向量范数 分别为 时，我们可诱导出相应的相容矩阵范数 。 设任意矩阵 ，则1-范数单位球 在 下的像中的任意向量 满足 从而 如果 ，则选取 ，此时由 ，得 因此 类似地可得， 实际上，这些诱导矩阵范数具有如下的表示定理。 定理7　 对 中的任意矩阵 ，有 最大列和 最大行和 最大谱 证明： 所以 是半正定Hermite矩阵,因此特征值全部为非负实数。设为 并设对应的两两互相正交且2-范数都为1的特征向量为 ，那么，对于任意的单位2-范数向量 ，必成立 由于 因此有 所以 因此成立 另外，由于 ，而且 同样给出这些范数在几何上的理解。 例 8 求矩阵 的 范数（ ），并考察对应于 的三种向量范数的闭单位球 在矩阵 作用下的效果。 %ex502.m A=[1 2;0 2]; norm(A),norm(A,1),norm(A,inf) ans = 2.9208 ans = 4 ans = 3 定理9　 上的谱范数具有下列性质： 三、矩阵范数的一些性质 (1) 设有 使 ，令 ，则有 证明： (2) (3) 设有 使 ，则 定理10 上的矩阵F--范数和谱范数都是酉不变的，即对任意酉矩阵 ，恒有 令 则 即 对于谱范数的情形，利用定义即可。 对于谱范数， 这个定理的结论可以推广到列正交酉矩阵，即