对任何算子范数?,单位矩阵n
n R
I ?∈的范数为1,即1=I 。
可以证明:
① 任意给定的矩阵范数必然存在与之相容的向量范数;任意给定的向量范数必然存在与之相容的矩阵范数(如从属范数).
② 一个矩阵范数可以与多种向量范数相容(如矩阵1m 范数与向量p -范数相容);多种矩阵范数可以与一个向量范数相容(如矩阵-F 范数和矩阵-2范数与向量-2范数相容)。
③ 从属范数一定与所定义的向量范数相容,但是矩阵范数与向量范数相容却未必有从属关系。(如,F ?与向量2?、1
m ?
与向量1?相容,但无从属关系)。
④ 并非任意的矩阵范数与任意的向量范数相容。
4)矩阵范数的性质 ① 设?为n
n ?R
矩阵空间的一种矩阵范数,则对任意的n 阶方阵A 均有 A A ≤)(ρ.
其中(){}
0det max )(=-=A I A λλρ为方阵A 的谱半径。
注意:当T
A A =时,()()())(max 2max max 2A A ρλλλ====
A A A A T 。
② 对于任给的ε>0, 则存在n
n ?R 上的一种算子范数M
?
(依赖矩阵A 和常数ε),
使得
ερ+≤)(A A M
.
③ 对于n
n ?R
上的一种算子矩阵范数?,如果n
n ?∈R
A 且A <1, 则A I ±n 可逆且
()A
A I -≤
±-11
1
n .
二、典型例题分析
例1.1:下列近似值的绝对误差限均为0.005,问它们各有几位有效数字?
002.138=a ,0312.0-=b ,41086.0-?=c
解: 现将近似值写成标准形式:
310138002.0?=a , 110312.0-?-=b , 41086.0-?=c ,
在直接根据有效数字定义得出,
21021
-?≤
-a x ?=-n k 23-=-n ?5=n ,即a 有5位有效数字; 2102
1
-?≤-b x ?=-n k 21-=--n ?1=n ,即b 有1位有效数字;