第1章--3(矩阵与数值分析).pptVIP

* * 1.3.3 矩阵范数 （2）齐次性 （3）三角不等式 则称函数 为 上的一个矩阵范数。 以及任意复常数 即对任意矩阵 和 上的一个非负实值函数，记为 ，若该函数满足以下条件： 定义在 （1）非负性 当且仅当 时 0 3 A （4）相容性 定义1.2 （1-23） (1-24) 我们分别称由（1-23）和（1-24）所定义的范数为矩阵的 -范数和Frobenius范数（F-范数）． 范数的例子 定义1.6 如果对任意 m×n 矩阵 A 和任意 n 维向量 x, 满足 与向量范数 则称矩阵范数 相容. 任意一种相容的矩阵范数必然存在与之相容的向量范数． 矩阵的F-范数与向量的2-范数是相容的． 对于一种矩阵范数 和一种向量范数 范数与向量的1-范数是相容的. 矩阵的 算子范数 (1-25) 定理1.4 ， 已知 和 上的同类向量范数 ，定义 简称从属范数或算子范数 . 由关系式（1-25）定义的矩阵范数称为从属向量范数 的矩阵范数. 则 是一种矩阵范数, 且与向量范数 相容． 由 (1-25)可得 因此能够找到向量 证 与向量范数的相容性 有界闭集 上的连续函数， 存在性 是 对每一个矩阵 而言， 易证 中的 下面证明 是一种矩阵范数． (1)非负性 显然 (2)齐次性 ,使得 ，而且 (3)三角不等式 ，使得 假设 满足 ，则存在 . (4)相容性 时显然。设 和 分别为m×l 因此 和l×n阶矩阵，存在 ,满足 并且 ,使得 在向量范数中，最常用的范数为向量的1-范数、2-范数和 ∞-范数，下面分别导出从属这三种向量范数的矩阵范数． (列范数) (行范数) （1） （2） （3） （谱范数） 定理1.5 设 ，则 如果 ，则取 , . 综上, 对任何算子范数，单位矩阵 的范数值为1，即 推论 事实上， 又， 不是算子范数。 事实上， 设 求 例2 解： 令 得