limxk??(k)?x*。
由定义可知:
limxk??(k)?x?limxk??*(k)?x*??0,
limxk??(k)?x?limx(k)?x*?0, 1k???x?limxk??*limxk??(k)*(k)?x*2?0。
3、向量范数的等价性 定理 设
nx
s和
xt是Rn上向量的任意
两种范数,则存在常数c2?c1?0,使得对一切x?R,有
5
c1xs?xt?c2x
s。
特别,对于上述常用的三种范数,有
xx???x1?nx?,?x2?nx?,1x1?x2?x1。 n
二、矩阵范数
定义3 如果矩阵空间Rn?n上的某个非负
实值函数N(A)?A满足以下条件:
6
A?0(1) 正定性:,且A?0?A?0;
(2)齐次性:
cA?cA,c为任意实数;
n?n(3)三角不等式:A?B?A?B; 则称N(A)为R
由(3)可得
上的一个矩阵范数。
A?B?A?B。
在研究方程组解的误差时,常需要涉及到矩阵乘积的范数以及矩阵与向量乘积的范数,
7
为了研究的方便,我们要求它们之间满足
Ax?AxAB?AB,,
其中前一个条件称为矩阵范数与向量范数的相容性,后一个条件称为矩阵范数的可乘性。
下面用向量范数定义一类矩阵范数,这种矩阵范数满足上述两个条件。
定理1 设x?R,A?Rnn?n,给定一种向
量范数xv,相应地定义一个矩阵的非负函数
Av?maxx?0
Axx8
vv?maxAxxv?1v,