矩阵范数教材.pptVIP

矩阵分析; 第五章 向量与矩阵的范数 定义： 设 是实数域 （或复数域 ）上的 维线性空间，对于 中的任意一个向量 按照某一确定法则对应着一个实数，这个实数称为 的范数，记为 ，并且要求范数满足下列运算条件： （1）非负性：当 只有且仅有当 （2） 齐次性： 为任意数。;;证明： 都是 上的范数，并且还有 引理（Hoider不等式）：设;则 其中 且 。 引理（Minkowski不等式）：设 则 ;;（2）2－范数 也称为欧氏范数。 （3） －范数 定理： 证明：令 ，则;;定理：有限维线性空间 上的任意两个向量范数都是等价的。 利用向量范数可以去构造新的范数。 例 ：设 是 上的向量范数，且 ，则由 所定义的 是 上的向量范数。 例 ： 设 数域 上的 维线性空间， ; 为其一组基底，那么对于 中的任意一个向量 可唯一地表示成 又设 是 上的向量范数，则由 所定义的 是 上的向量范数。 矩阵范数;定义：对于任何一个矩阵 ，用 表示按照某一确定法则与矩阵 相对应的一个实数，且满足;（4）矩阵乘法的相容性：对于任意两个可以相乘的矩阵 ，都有 那么我们称 是矩阵 的范数。 例 1：对于任意 ，定义 可以证明如此定义的 的确为矩阵 的范数。;证明：只需要验证此定义满足矩阵范数的四条性质即可。非负性，齐次性与三角不等式容易证明。现在我们验证乘法的相容性。设 ，则;;例 2 ：设矩阵 ，证明： 是矩阵范数。 证明：非负性，齐次性和三角不等式容易证得。现在我们考虑乘法的相容性。设 ，那么;因此 为矩阵 的范数。;例 3 ：对于任意 ，定义 可以证明 也是矩阵 的范数。我们称此范数为矩阵 的Frobenious范数。 证明：此定义的非负性，齐次性是显然的。利用Minkowski不等式容易证明三角不等式。现在我们验证乘法的相容性。 设 ，则 ;于是有 ;例 4 ：对于任意 ，定义 证明如此定义的 是矩阵 的范数。 证明： 首先注意到这样一个基本事实，即 由一个例题可知此定义满足范数的性质。;Frobenious范数的性质： （1）如果 ，那么 （2） （3）对于任何 阶酉矩阵 与 阶酉矩阵 ; 都有等式 关于矩阵范数的等价性定理。 定理：设 是矩阵 的任意两种范数，则总存在正数 使得; 诱导范数 定义：设 是向量范数， 是矩阵范数，如果对于任何矩阵 与向量 都有 则称矩阵范数 与向量范数 是相容的。 例 1 ：矩阵的Frobenius范数与向量的2-范数是相容的. 证明 : 因为 ;根