第五章矩阵分析(改).docVIP

第五章　矩阵分析 本章将介绍矩阵微积分的一些内容.包括向量与矩阵序列的收敛性、矩阵的三种导数和矩阵微分与积分的概念，简要介绍向量与矩阵范数的有关知识.从计算数学的角度看，在研究计算方法收敛性和稳定性问题时，范数起到了十分重要的作用.定义1　设是数域上维（数组）向量全体的集合，是定义在上的一个实值函数，如果该函数关系还满足如下条件： 1）非负性 对中任何向量，恒有，并且仅当时，才有=0； 2）齐次性 对中任意向量及中任意常数，有 3）三角不等式 对任意，有 ， 则称此函数（有时为强调函数而表示为）?为上的一种向量范数. 例1　对中向量，定义 ＝则为上的一种向量范数[表示复数的模]. 证　首先， 1）非负性　当时，；当时，； 2）齐次性　对任意及，有 3）三角不等式 对任意复向量，有 （由Cauchy-ВуНЯКОВСКИЙ 因此 所以 确为上的一种向量范数 2 对[或]上向量定义 ， 则及都是[或]上的向量范数，分别称为1-范数和范数证 仅对后者进行证明. 性当时，又显然有齐次性对任向量及复数　　　　　　　　　　 3）三角不等式 对任向量 =综上可知确为向量范数. 上两例中的是常用的三种向量范数. 一般地，对于任何不小于1的正数，向量的函数 也构成向量范数，称为向量的范数. 注（1）当时， （2）当时，为2-范数，它是空间范数；当为实数时，为欧空间范数； 由范数的存在，可知向量的范数有无穷多种，而且，向量的范数并不仅限于范数.在验证向的范数定义中，三角不的过程中常涉及到两个名的不等式即： 、H?lder不等式　设正实数满足则对任的有 　　　　　　　　 Minkowski不等式对任意实数,及有 （）例3　设为维向量，则 各种范数值差距很大.但是，各种范数之间却存在着内在的制约关系，称为范数的等价性. 定理1设为有限维线性空间的任意两种向量范数（它们不限于范数）则存在正的常数使对一切向量，恒有 证如果范数和都与一固定范数譬如2-范数满足（1）的关系，则这两种范数之间也存在（1）的关系，这是因为若存在正常数和使 成立则显然有 令则得（1）因此只要对证明或（1）成立即可设是维的，它的一个基是，于是中的任意向量可表示为 从而，可视为n个变量的函数，为易证是连续函数，事实上，若令则 . 由于 是常数，因此与充分接近时，就与充分接近，所以是连续函数. 所以在有界闭集上， 函数可达到最大值及最小值.因此在中，不能全为零，所以.记向量 ， 则其坐标分量满足， 因此，.从而有 . 但故 . 即 . 二、矩阵的范数 定义2 设是数域F上所有矩阵的集合，是定义在上的一个实值函数，如果该函数关系还满足如下条件：对中任意阵及中任意常数总有 1）非负性 并且仅当时，才有； 2）齐次性 ； 3）三角不等式 ； 则称是上的一种矩阵范数. 例4　对（或）上的矩阵定义 ， ， ， 则都是（或）上的矩阵范数. 实用中涉及多的是方阵的范数，即的形定义3 设是数域，是上的方阵范数如果对任意的总有 则说方阵范数具有乘法相容性. 注意：在某些教科书上，往往把乘法相容性直接纳入方阵范数的定义中作为第4个条件，在读书时，只要注意到各自定义的内涵就可以了. 例对上的矩阵定义，则是一种矩阵范数，并且具备乘法相容性. 证　非负性与齐次性显然成立，另两条证明如下：三角不等式 ； 乘法相容性 证得为矩阵范数且具有乘法相容性. 并不是所有的方阵范数都具有乘法相容性.例如对于上的方阵范数就不具备相容性条件此时 取 则有 而 如果阶矩阵的范数与维向量的范数任意阶矩阵及任意维向量均有，则称矩阵范数与向量范数是相容的. 定理2设是某种向量范数，对阶矩阵定义 　　　　　　（2） 则为方阵范数，称为由向范数导出的矩阵范数，而且它具有乘法相容性并且与向量范数相容. 证 首先证，由（2）式定义的函数关系与向量范数相容性对于任意阶矩阵及维向量，当时，有 即 （3） 而当时，于是总有（3）式成立. 容易验证满足范数定义中的非负性齐次性及三角不等式三个条，因而是一种方阵范数并且，对任阶矩阵，利用（2）（3）式可得 即说矩阵范数具备乘法相性一般地，把由向量范数导出的矩阵范数.下面看常用的三种矩阵范数： 例证明：对n阶复矩阵，有 1）称为A的列和范数2）称为A的行和范数证　1）设若A按列分块为则任意维向量 于是，对任意非零向量有以下证明在非零向量使是第个量为1而其