第五章 向量范数和矩阵范数[精选].pptVIP

由矩阵范数的正齐性可知 的作用是由它对单位向量的作用所决定，因此可以等价地用单位向量在 下的像来定义矩阵范数，即 从几何上看，矩阵范数反映了线性映射把一个向量映射为另一个向量，向量的“长度”缩放的比例 的上界。 而且考虑到矩阵乘法的重要地位，因此讨论矩阵范数时一般附加“范数相容性”条件（这里的范数一般要求是同类的）： 注意到 即 可以证明，前面给出的矩阵范数 都满足“相容性条件”，即成立 但是矩阵范数 不满足“相容性条件”。例如对于矩阵 就有 要使矩阵范数 满足“相容性条件”，则可以修正其定义为： 在“相容性条件”中，如果 而且范数 与范数 相同时，即如果有 则称矩阵范数 与向量范数 是相容的。 定理6　 上的矩阵F-范数与 上的向量2-范数相容。 证明： 根据算子范数的定义，当向量范数 分别为 时，我们可诱导出相应的相容矩阵范数 。 设任意矩阵 ，则1-范数单位球 在 下的像中的任意向量 满足 从而 如果 ，则选取 ，此时由 ，得 因此 类似地可得， 实际上，这些诱导矩阵范数具有如下的表示定理。 定理7　 对 中的任意矩阵 ，有 最大列和 最大行和 最大谱 证明： 所以 是半正定Hermite矩阵,因此特征值全部为非负实数。设为 并设对应的两两互相正交且2-范数都为1的特征向量为 ，那么，对于任意的单位2-范数向量 ，必成立 由于 因此有 所以 因此成立 另外，由于 ，而且 同样给出这些范数在几何上的理解。 例 8 对应于 三种向量范数的闭单位球 在矩阵 作用下的效果分别为 定理9　 上的谱范数具有下列性质： 三、矩阵范数的一些性质 (1) 设有 使 ，令 ，则有 证明： (2) (3) 设有 使 ，则 定理10 上的矩阵F--范数和谱范数都是酉不变的，即对任意酉矩阵 ，恒有 令 则 即 对于谱范数的情形，利用定义即可。 对于谱范数， 这个定理的结论可以推广到列正交酉矩阵，即 的情形，此时仍然成立 利用定理9可以证明这个推广结论。 §3、 范数的应用 长度和距离在实分析和复分析中的应用，我们已经有充分认识，而范数是长度和距离的推广，因此范数作为一种推广的度量，由于其抽象性和概括性，其应用范围自然也随之扩展。至少在矩阵分析和数值线性代数领域，范数有着深刻的应用。 一、谱半径与矩阵范数 根据矩阵的诱导范数的含义，结合特征值， 设 为 的任意特征对，则 从而 这说明矩阵特征值的模都不超过它的范数。 定义1　设 的特征值为 ，称 为矩阵 的谱半径。 定理2　对 的任意矩阵范数 ，恒有 当 是正规矩阵时，等号对2-范数成立。 第五章 向量范数和矩阵范数 对于实数和复数，由于定义了它们的绝对值或模，这样我们就可以用这个度量来表示它们的大小（几何上就是长度），进而可以考察两个实数或复数的距离。 对于 维线性空间，定义了内积以后，向量就有了长度（大小）、角度、距离等度量概念，这显然是3维现实空间中相应概念的推广。利