方阵的范数与谱半径的关系.doc

方阵的范数与谱半径的关系 空军电讯工程学院 1996年第1期JOURNALOFAIRFORCEN”l1996 (总第21期)TELECOMMUNICAT10NENGINEERINGINSTITUTE(Tota1No.21) 一 76 方阵的范数与谱半径的关系 刘卫江 (基础部) O() 摘要本文主要讨论方阵范数与向量范数相容时矩阵的范数与谱半径之间的关系.得到了方阵 范数不小于谱半径的某个常数倍的结论.同时也指出了文[1]中的一些错误. 关键词墼{吐;相容{I 为了讨论方阵的范数与谱半径的关系,我们首先给出矩阵范数的定义 定义1设A,BC和nC,按某法则在cTn上定义一个实值函数,记为llA,满足 (1)非负性,如果A≠O,则llAgt;0;如果A=0,则llA=0 (2)齐次性,A=lnl?All (3)三角不等式,llA+Bll≤llA}1+BlI 则称llAI1为矩阵范数. 从定义1中可以看出,矩阵范数实际上是把一个m×n矩阵看成m~n维向量后的向量范 数.但是,在多数情况下,矩阵范数与向量范数是混合使用的,而矩阵经常是作为两个线性空间 上的线性映射(变换)出现的,因此,我们所定义的矩阵范数应能与向量范数联系起来,这就是 所谓的相容性,下面我们给出相容性的定义. 定义2如果对于c1n中任意矩阵A,C中任意向量x和c中任意向量Y,取定的矩阵 范数llA和向量范数llxl1.,llyll满足不等式 I1AxlI#≤llA?}1x 则称矩阵范数Al1与向量范数相容. 为使定义的矩阵范数AI1与已知的向量范数I1xl1.,lly相容,对c中矩阵A,通 常采用如下方法来定义范数: lIAll=svpllAx __.一1 倘若我们将A看成是赋范线性空间与c之间的线性变换 A:x——Ax 那么由泛函分析理论易知,我们所定义的实值函数I1All确是一种范数,而且与已知的向量范 数相容,即VxC,有 AxI1≤llAll?llx 本文收到日期1996.04.08 ● 第1期刘卫江方阵的范数与谱半径的关系 需要指出的是,0AfI的定义与两种向量范数有关,即使当A是方阵时,我们也不能简单 地认为lI?与】I?相同,为此,我们有必要将{IAIf记为llAllal,当然在不致发生混淆 的时候,我们可以将范数下标省略. 上述说明实际上也指出了文Eli中的一个错误.在文[1]§2.2中,根据 一 llxr/iha— xllxl】 得到了l】Ill一1的结论.显然这是不正确的,因为 一 1I1x. I 而l】xIl.:1并不能保证IIxlll,除非ll?l1.与_l?是同一种向量范数. VAC,BEC.,由于A与B能进行乘法运算,所以我们有必要讨论按上述方法定义 的范数IfAII,I】BII与llABlI之间的关系,我们有如下的 定理1设在C.C和C’中已定义了向量范数ll?,II?】1日和II?iI,任取A ,BEC…,则有 0AB≤llAlfal?0B. 证明存在Y.EC.,使l】y.ll=l且 I『ABABy. 因矩阵范数与向量范数相容,有 llABy.ll—llA(By.)11≤11A}1?l1By.11≤11Al1?l1B11I?l】YlI 所以 llAB≤l】AB?llB 证毕 上述定理l的结论有时也称之为矩阵范数的相容性.在某些范数理论着作中,甚至把它作 为定义矩阵范数的一个条件,亦即在定义l中增加如下的 (4)相容性,设在cm,C.和C.中定义了矩阵范数,VAC,BEC,则 IIABII≤IIAll?】IBlj 但是当m=n=s时,上式极易使人产生三种矩阵范数是同一种矩阵范数的错觉,从而得 到一些错误的结果如文[1]中关于方阵范数IIAl】不小于A的谱半径的定理2—8.当然当/13. 一n—s时,我们确实可以在c,C和C中定义三种相容的范数,但此时相容性条件又过 于强大,致使很多矩阵范数不能满足要求,如在Cn中定义的 llAII—supllAxll2 II?L 就不能满足相容性条件.这里的lIX与l1xl】2分别是l和l范数. 一 般而言,如果矩阵范数与已知的向量范数不相容,那么方阵A的范数IIAfI与其谱半径 P(A)之间并无直接的关系.但是如果我们采用IIAII—sup】IAx的方式来定义范数,那 II1 么IIAfI与p(A)之间就有着密切的关系,我们有如下的 定理2设在C中已定义范数}I?和jI?I1日,VAE,令llAII—sup【jAxIIB,cII.一1 则存在与A无关的常数M2gt;0,使 】lAIl≥M?p(A) 证明设是A的特征值,且】一p(A), 空军电讯工程学院 那么存在xC+llX0=1使Ax--Xx 从而有 IIAxB一xl1日一II?xl1日一P(A)x 但是据矩阵范数与向量范数的相容性,叉有 AxII≤I