[工学]第二章 范数理论及其应用

《[工学]第二章 范数理论及其应用》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第二章范数理论及其应用定义：设V是实数域R（或复数域C）上的n维线性空间，对于V中的任意一个向量按照某一确定法则对应着一个实数，这个实数称为该向量的范数，记为，并且要求范数满足下列条件：（1）非负性：当（2）齐次性：，k为实数(或复数)（3）三角不等式：例：线性空间任何内积定义的长度即为范数。向量的范数例：在n维酉空间Cn中，对于任意的向量分别定义（1）（2）（3）证明都是Cn上的范数，并且还有引理（Holder不等式）：设则(p>1,q>1,)引理（Minkowski不等式）：设则对任何p≥1都有证明以代入下式

2、则此不等式两端同除以，根据可得定义：设向量，对任意的数，称为向量的p-范数。常用的p-范数：（1）1-范数（2）2-范数（3）∞-范数P-范数证明：令，则于是有另一方面故由此可知利用已知向量范数可以去构造新的范数。例1设是Cm上的向量范数，且(m≥n)，则由所定义的是Cn上的向量范数。例2设V数域数域F上的n维线性空间，为其一组基底，那么对于V中的任意一个向量可唯一地表示成又设是Fn上的向量范数，则由所定义的是V上的向量范数。定义设是n维线性空间V上定义的两种向量范数，如果存在两个与无关的正数d1,d2使得则称该

3、两范数等价。定理有限维线性空间V上的任意两个向量范数都是等价的。范数等价定义对于任何一个矩阵，用表示按照某一确定法则与矩阵A相对应的一个实数，且满足（1）非负性：当，当（2）齐次性：为任意复数。（3）三角不等式：对于任意两个同阶矩阵A,B都有（4）矩阵乘法的相容性：对于任意两个可以相乘的矩阵A,B，都有那么我们称是矩阵A的范数。矩阵范数例1对于任意，定义证明如此定义的

4、

5、A

6、

7、为矩阵A的范数。证明只需要验证此定义满足矩阵范数的四条性质即可。非负性，齐次性与三角不等式容易证明。现在验证乘法的相容性。设，则例2设矩阵

8、，证明：是矩阵范数。证明：非负性、齐次性和三角不等式容易证得。现在我们考虑乘法的相容性。设，那么因此为矩阵A的范数。例3对于任意，定义可以证明也是矩阵A的范数。我们称此范数为矩阵的Frobenious范数。证明：此定义的非负性、齐次性是显然的。利用Minkowski不等式容易证明三角不等式。现在我们验证乘法的相容性。设，则于是有例4对于任意，定义证明如此定义的是矩阵A的范数。证明首先注意到这样一个基本事实，即由上一个例题可知此定义满足范数的性质。（1）如果，那么（2）（3）对于任何m阶酉矩阵U与n阶酉矩阵V都有F

9、robenious范数的性质定理设是矩阵A的任意两种范数，则总存在正数d1,d2，使得矩阵范数的等价性定义设是向量范数，是矩阵范数，如果对于任何矩阵A与向量X都有则称矩阵范数与向量范数是相容的。例1矩阵的Frobenius范数与向量的2-范数是相容的。证明因为诱导范数根据Hoider不等式可以得到于是有例2设是向量的范数，则满足矩阵范数的定义，且是与向量范数相容的矩阵范数。证明首先我们验证此定义满足范数的四条性质。非负性，齐次性与三角不等式易证。现在考虑矩阵范数的相容性。设B≠0，那么因此满足矩阵范数的定义。最后

10、证明与是相容的。由上面的结论可知这说明与是相容的。定义上面所定义的矩阵范数称为由向量范数所诱导的诱导范数或算子范数。向量p-范数所诱导的矩阵范数称为矩阵p-范数，即常用的矩阵p-范数为，和。定理设，则（1）称此范数为矩阵A的列和范数。（2）表示矩阵AHA的第j个特征值。我们称此范数为矩阵A的谱范数。（3）我们称此范数为矩阵A的行和范数。例1设，计算，，和。解因为，所以例2证明：对于任何矩阵都有如何由矩阵范数构造与之相容的向量范数？定理设是矩阵范数，则存在向量范数使得证明对于任意的非零向量，定义向量范数容易验证此定

11、义满足向量范数的三个性质，且例3设是上的相容矩阵范数。证明：（1）（2）为可逆矩阵，为的特征值则有范数的应用矩阵的非奇异性条件定理1：设，且对范数有，则I-A非奇异，且证明：用反证法，假设I-A奇异，则方程有非零解β≠0,选取与矩阵范数相容的向量范数，于是有矛盾，因此I-A非奇异。再由知于是得矩阵的非奇异性条件定理2：设，且对范数

12、

13、

14、

15、有

16、

17、A

18、

19、<1，则有证明：由于，知(I-A)-1存在，由知即再由得求逆矩阵的误差定理：设非奇异，且对范数有，则有以下结论（1）(A+B)非奇异（2）（3）证明：（1）由于(A+

20、B)=A(I+A-1B)，知(A+B)非奇异。（2）由上一节定理2，有得证。（3）由得条件数与矩阵求逆的误差条件数定义：定义设，A的n个特征值为，称为矩阵A的谱半径。例1设，那么，这里是矩阵A的任何一种范数。证明：设λ是矩阵A的任意一个特征值，β为对应的特征向量，则有于是得证。矩阵的谱半径及其性质例2设A是一个正规矩阵，则证明因为于是有定理设，对任意的正数ε，存在一个矩阵