2017-03-25 回答

一般来讲矩阵范数除了正定性，齐次性和三角不等式之外，还规定其必须满足相容性：║xy║≤║x║║y║。所以矩阵范数通常也称为相容范数。

如果║·║α是相容范数，且任何满足║·║β≤║·║α的范数║·║β都不是相容范数，那么║·║α称为极小范数。对于n阶实方阵(或复方阵)全体上的任何一个范数║·║，总存在唯一的实数k>0，使得k║·║是极小范数。

注：如果不考虑相容性，那么矩阵范数和向量范数就没有区别，因为mxn矩阵全体和mn维向量空间同构。引入相容性主要是为了保持矩阵作为线性算子的特征，这一点和算子范数的相容性一致，并且可以得到mincowski定理以外的信息。

诱导的范数

把矩阵看作线性算子，那么可以由向量范数诱导出矩阵范数

║a║ = max{║ax║：║x║=1}= max{║ax║/║x║： x≠0} ，

它自动满足对向量范数的相容性

║ax║ ≤ ║a║║x║，

并且可以由此证明：

║ab║ ≤ ║a║║b║。

注：

⒈上述定义中可以用max代替sup是因为有限维空间的单位闭球是紧的(有限开覆盖定理)，从而上面的连续函数可以取到最值。

⒉显然，单位矩阵的算子范数为1。

常用的三种p-范数诱导出的矩阵范数是

1-范数：║a║1 = max{ ∑|ai1|，∑|ai2|，……，∑|ain| } (列和范数，a每一列元素绝对值之和的最大值)

(其中∑|ai1|第一列元素绝对值的和∑|ai1|=|a11|+|a21|+...+|an1|，其余类似)；

2-范数：║a║2 = a的最大奇异值 = (max{ λi(ah*a) }) 1/2 (谱范数，即a^h*a特征值λi中最大者λ1的平方根，其中ah为a的转置共轭矩阵)；

∞-范数：║a║∞ = max{ ∑|a1j|，∑|a2j|,...，∑|amj| } (行和范数，a每一行元素绝对值之和的最大值)

(其中∑|a1j| 为第一行元素绝对值的和，其余类似)；

其它的p-范数则没有很简单的表达式。

对于p-范数而言，可以证明║a║p=║ah║q，其中p和q是共轭指标。

简单的情形可以直接验证：║a║1=║ah║∞，║a║2=║ah║2，一般情形则需要利用║a║p=max{yh*a*x：║x║p=║y║q=1}。

非诱导范数

有些矩阵范数不可以由向量范数来诱导，比如常用的frobenius范数(也叫euclid范数，简称f-范数或者e-范数)：

║a║f= (∑∑ aij2)1/2 (a全部元素平方和的平方根)。

容易验证f-范数是相容的，但当min{m,n}>1时f-范数不能由向量范数诱导(||e11+e22||f=2>1)。

可以证明任一种矩阵范数总有与之相容的向量范数。例如定义

║x║=║x║，其中x=[x,x，…，x]是由x作为列的矩阵。

由于向量的f-范数就是2-范数，所以f-范数和向量的2-范数相容。另外还有以下结论：

║ab║f <= ║a║f ║b║2 以及 ║ab║f ≤ ║a║2 ║b║f

矩阵谱半径

定义：a是n阶方阵，λi是其特征值，i=1,2，…，n。则称特征值的绝对值的最大值为a的谱半径，记为ρ(a)。

注意要将谱半径与谱范数(2-范数)区别开来，谱范数是指a的最大奇异值，即ah*a最大特征值的算术平方根。

谱半径是矩阵的函数，但不是矩阵范数。谱半径和范数的关系是以下几个结论：

定理1：谱半径不大于矩阵范数，即ρ(a)≤║a║。

因为任一特征对λ，x,ax=λx，可得ax=λx。两边取范数并利用相容性即得结果。

定理2：对于任何方阵a以及任意正数e，存在一种矩阵范数使得║a║；∞} ║ak║1/k。

利用上述性质可以推出以下两个常用的推论：

推论1：矩阵序列 i,a,a2，…ak，… 收敛于零的充要条件是ρ(a)<1。

推论2：级数 i+a+a2+... 收敛到(i-a)-1的充要条件是ρ(a)<1。

酉不变范数

定义：如果范数║·║满足║a║=║uav║对任何矩阵a以及酉矩阵u,v成立，那么这个范数称为酉不变范数。

容易验证，2-范数和f-范数是酉不变范数。因为酉变换不改变矩阵的奇异值，所以由奇异值得到的范数是酉不变的，比如2-范数是最大奇异值，f-范数是所有奇异值组成的向量的2-范数。

反过来可以证明，所有的酉不变范数都和奇异值有密切联系：

定理(von neumann定理)：在酉不变范数和对称度规函数(symmetric gauge function)之间存在一一对应关系。

也就是说任何酉不变范数事实上就是所有奇异值的一个对称度规函数。