Ax则是一个矩阵范数，称之为向量范数v的诱导范数（算子范数）。

v

证明 只要验证矩阵范数定义的三个条件即可。

（1）对于任意的x?R，xv?1，由于

Axv?0Ax?0，故Av?max。进一步， xv?1nAv?maxAxv?0xv?1?Axv?0,?x?R,xv?1?Ax?0,?x?R,xv?1?A?0（2）

nn

9

?Av?max(?A)xv3）xv?1?maxx?(Ax)v?1v??maxxAxv?1v??AvA?Bv?maxxB)xv?1(A?v?maxxAx?Bxv?1v?maxx?Ax?v?1?v?Bxv??maxx?1Axv?maxxBxvv?1v?Av?Bv10

（

。A根据矩阵范数的定义，v是一个矩阵范数。

性质1 设A是由向量范数x诱导的矩阵范数，则

Ax?Ax（1）；

AB?AB（2）；

（3）A?I时，I?1。 证明 （1）由

A?maxx?0Axx

11

?当x?0时，?成立。

（2）进一步，当

Axx?A

Ax?Ax。

x?0时，Ax?Ax(AB)xxx?0显然

AB?maxx?0?maxx?0A(Bx)x。

?maxx?0ABxx?AmaxBxx?AB（3）显然。

12