矩阵分析第五章

矩阵分析第五章北京理工大学高数教研室第1页，课件共73页，创作于2023年2月（3）三角不等式：对于中的任意两个向量都有例：在维线性空间中，对于任意的向量定义第2页，课件共73页，创作于2023年2月证明：都是上的范数，并且还有引理（Hoider不等式）：设第3页，课件共73页，创作于2023年2月则其中且。引理（Minkowski不等式）：设则第4页，课件共73页，创作于2023年2月其中实数。几种常用的范数定义：设向量，对任意的数，称为向量的范数。常用的范数：（1）1－范数

第5页，课件共73页，创作于2023年2月（2）2－范数也称为欧氏范数。（3）－范数定理：

证明：令，则第6页，课件共73页，创作于2023年2月于是有另一方面第7页，课件共73页，创作于2023年2月故由此可知定义：设是维线性空间上定义的两种向量范数，如果存在两个与无关的正数使得第8页，课件共73页，创作于2023年2月定理：有限维线性空间上的任意两个向量范数都是等价的。利用向量范数可以去构造新的范数。例：设是上的向量范数，且，则由所定义的是上的向量范数。例：设数域上的维线性空间，第9页，课件共73页，创作于2023年2月为其一组基底，那么对于中的任意一个向量可唯一地表示成又设是上的向量范数，则由所定义的是上的向量范数。

矩阵范数第10页，课件共73页，创作于2023年2月定义：对于任何一个矩阵，用表示按照某一确定法则与矩阵相对应的一个实数，且满足（1）非负性：当只有且仅有当（2）齐次性：为任意复数。（3）三角不等式：对于任意两个同种形状矩阵都有第11页，课件共73页，创作于2023年2月（4）矩阵乘法的相容性：对于任意两个可以相乘的矩阵，都有那么我们称是矩阵的范数。例1：对于任意，定义可以证明如此定义的的确为矩阵的范数。第12页，课件共73页，创作于2023年2月证明：只需要验证此定义满足矩阵范数的四条性质即可。非负性，齐次性与三角不等式容易证明。现在我们验证乘法的相容性。设，则第13页，课件共73页，创作于2023年2月第14页，课件共73页，创作于2023年2月例2：设矩阵，证明：是矩阵范数。证明：非负性，齐次性和三角不等式容易证得。现在我们考虑乘法的相容性。设，那么第15页，课件共73页，创作于2023年2月因此为矩阵的范数。第16页，课件共73页，创作于2023年2月例3：对于任意，定义可以证明也是矩阵的范数。我们称此范数为矩阵的Frobenious范数。证明：此定义的非负性，齐次性是显然的。利用Minkowski不等式容易证明三角不等式。现在我们验证乘法的相容性。设，则第17页，课件共73页，创作于2023年2月于是有第18页，课件共73页，创作于2023年2月例4：对于任意，定义证明如此定义的是矩阵的范数。证明：首先注意到这样一个基本事实，即由一个例题可知此定义满足范数的性质。第19页，课件共73页，创作于2023年2月Frobenious范数的性质：（1）如果，那么（2）（3）对于任何阶酉矩阵与阶酉矩阵第20页，课件共73页，创作于2023年2月都有等式关于矩阵范数的等价性定理。定理：设是矩阵的任意两种范数，则总存在正数使得第21页，课件共73页，创作于2023年2月

诱导范数定义：设是向量范数，是矩阵范数，如果对于任何矩阵与向量都有则称矩阵范数与向量范数是相容的。例1：矩阵的Frobenius范数与向量的2-范数是相容的.证明:因为第22页，课件共73页，创作于2023年2月根据Hoider不等式可以得到第23页，课件共73页，创作于2023年2月第24页，课件共73页，创作于2023年2月于是有例2：设是向量的范数，则满足矩阵范数的定义，且是与向量范相容的矩阵范数。证明：首先我们验证此定义满足范数的四条性质。非负性，齐次性与三角不等式易证。现在考虑矩阵范数的相容性。第25页，课件共73页，创作于2023年2月设，那么因此的确满足矩阵范数的定义。第26页，课件共73页，创作于2023年2月最后证明与是相容的。由上面的结论可知这说明与是相容的。定义：上面所定义的矩阵范数称为由向量范数所诱导的诱导范数或算子范数。由第27页，课件共73页，创作于2023年2月向量P--范数所诱导的矩阵范数称为矩阵P--范数。即常用的矩阵P--范数为，和。定理：设，则（1）我们称此范数为矩阵的列和范数。第28页，课件共73页，创作于2023年2月（2）

表示矩阵的第个特征值。我们称此范数为矩阵的谱范数。（3）我们称此范数为矩阵的行和范数。

例1：设第29页，课件共73页，创作于2023年2月计算，，和。解：第30页，课件共73页，创作于2023年2月因为所以。练习：设或第31页，课件共73页，创作于2023年2月分别计算这两个矩阵的，，和。例2：证明：对于任何矩阵都有第32页，课件共73页，创作于2023年2月如何由矩阵范数构造与之相容的向量范数？定理：设是矩阵范数，则存在向量范数使得证明：对于任意的非零向量，定义向量范数，容易验证此定义满足向量范数的三个性质，且第33页，课件共73页，创作于2023年2月例：已知矩阵范数求与之相容的一个向量范数。解：取。设第34页，课件共73页，创作于2023年2月那么矩阵的谱半径及其性质定义：设，的个特征值为，我们称为矩阵的谱半径。例1：设，那么第35页，课件共73页，创作于2023年2月这里是矩阵的任何一种范数。例2：设是一个正规矩阵，则证明：因为第36页，课件共73页，创作于2023年2月于是有例3：设是上的相容矩阵范数。证明：（1）

（2）为可逆矩阵，为的特征值则有第37页，课件共73页，创作于2023年2月例5：如果，则均为可逆矩阵，且这里是矩阵的算子范数。

矩阵序列与极限定义：设矩阵序列，其中第38页，课件共73页，创作于2023年2月，如果个数列都收敛，则称矩阵序列收敛。进一步，如果那么我们称矩阵为矩阵序列的极限。第39页，课件共73页，创作于2023年2月例：如果设，其中那么第40页，课件共73页，创作于2023年2月定理：矩阵序列收敛于的充分必要条件是其中为任意一种矩阵范数。证明：取矩阵范数必要性：设

第41页，课件共73页，创作于2023年2月那么由定义可知对每一对都有从而有上式记为第42页，课件共73页，创作于2023年2月充分性：设那么对每一对都有即第43页，课件共73页，创作于2023年2月故有现在已经证明了定理对于所设的范数成立，如果是另外一种范数，那么由范数的等价性可知第44页，课件共73页，创作于2023年2月这样，当时同样可得因此定理对于任意一种范数都成立。同数列的极限运算一样，关于矩阵序列的极限运算也有下面的性质。（1）一个收敛的矩阵序列的极限是唯一的。（2）设第45页，课件共73页，创作于2023年2月则（3）设，其中，那么（4）设，其中

第46页，课件共73页，创作于2023年2月那么（5）设，且，均可逆，则也收敛，且例1：若对矩阵的某一范数，则第47页，课件共73页，创作于2023年2月例2：已知矩阵序列：则的充要条件是。证明：设的Jordan标准形其中第48页，课件共73页，创作于2023年2月于是显然，的充要条件是又因第49页，课件共73页，创作于2023年2月其中第50页，课件共73页，创作于2023年2月于是的充要条件是。因此的充要条件是例3：设是的相容矩阵范数，则对任意，都有

矩阵的幂级数第51页，课件共73页，创作于2023年2月定义：设，如果个常数项级数都收敛，则称矩阵级数收敛。如果个个常数项级数第52页，课件共73页，创作于2023年2月都绝对收敛，则称矩阵级数绝对收敛。

例：如果设，其中第53页，课件共73页，创作于2023年2月那么矩阵级数是收敛的。第54页，课件共73页，创作于2023年2月定理：设，则矩阵级数绝对收敛的充分必要条件是正项级数收敛，其中为任意一种矩阵范数。证明：取矩阵范数第55页，课件共73页，创作于2023年2月那么对每一对都有因此如果收敛，则对每一对常数项级数第56页，课件共73页，创作于2023年2月都是收敛的，于是矩阵级数绝对收敛。反之，若矩阵级数绝对收敛，则对每一对都有第57页，课件共73页，创作于2023年2月于是根据范数等价性定理知结论对任何一种范数都正确。第58页，课件共73页，创作于2023年2月定义：设，称形如的矩阵级数为矩阵幂级数。第59页，课件共73页，创作于2023年2月定理：设幂级数的收敛半径为为阶方阵。若，则矩阵幂级数绝对收敛；若，则发散。第60页，课件共73页，创作于2023年2月证明：设的Jordan标准形为其中于是第61页，课件共73页，创作于2023