线性方程组AX=B的一般数值解法 1.直接法:通过有限步精确运算求得方程组的 精确解(存在舍入误差) 消元法 适用于低阶稠密方程组 主元素法 2.迭代法:通过构造迭代方程组进行迭代。 简单迭代法适用于大型稀疏方程组 赛德尔迭代法
线性方程组AX=B的一般数值解法： 1.直接法：通过有限步精确运算求得方程组的 精确解（存在舍入误差）。 • 消元法 • 主元素法 2.迭代法：通过构造迭代方程组进行迭代。 • 简单迭代法 • 赛德尔迭代法 适用于低阶稠密方程组 适用于大型稀疏方程组
第四章解线性方程组的迭代解法 §1向量范数、矩阵范数、谱半径及性质 、向量范数:解析几何中二、三维向量的长度概念的推广 定义1对R中的任一向量X,按照一定规则确定一个数 与它对应,该数记为,若Ⅻ满足: ()X伦G;‖X|=0当且仅当X=0;非负性 (2)对任意实数a,‖aX|a|‖X|;齐次性 (3)对任意向量X,Y∈R",‖X+Y|s‖X‖+‖Y 则称该实数X为向量X的范数 三角不等式
§1 向量范数、矩阵范数、谱半径及性质 第四章 解线性方程组的迭代解法 定义1 对Rn中的任一向量X，按照一定规则确定一个数 与它对应，该数记为||X||，若||X||满足： ( )|| || ; || || ; 1 0 0 0 X X X = = 当且仅当 ( ) , || || | | || ||; 2 对任意实数 X X = ( ) , , || || || || || || 3 n 对任意向量 X Y R X Y X Y + + 则称该实数||X||为向量X的范数。 1、向量范数：解析几何中二、三维向量的长度概念的推广 非负性 齐次性 三角不等式
R中常用的范数:X2=∑ LE ‖X=x1|+1x2|+…+1xn∑x1|1范数 X‖1=√x;+x2+…+x n 2一范数 X|=maxx1,x2,…,xn} =maxx 1<i≤n 范数 用记号·泛指任意一种范数
Rn中常用的范数： 1 1 2 1 || || | | | | | | | | n n i i X x x x x = = + + + = 1 2 2 2 2 2 2 1 2 1 || || n n i i X x x x x = = + + + = 1 2 1 || || max | |,| |, ,| | max | | n i i n X x x x x = = 1—范数 2—范数 ∞—范数 1 1 || || | | n p p p i i X x = = 用记号 || || 泛指任意一种范数
例1计算向量=(1,2,3),Y=(340的各种范数 解X1=1+|-2|+3=6 ‖Y1= ‖Xx|L +(-2)2+32=yh4 5 X|=max{1-2,|3}=3yl=4 说明: ①向量范数是衡量向量的长度(“大小”)的概 念 ②范数还可以表汞向量间的距离以及向量的误差 绝对误差‖X-c‖s|X-a‖ 相对误差‖al‖ ‖Xx‖
例1 计算向量X=(1,-2,3),Y=(3,4,0)的各种范数。 解 1 || || X 2 || || X || || X 1 || || Y 2 || || Y || || Y 说明： ① 向量范数是衡量向量的长度（“大小”）的概 念 ② 范数还可以表示向量间的距离以及向量的误差 • 绝对误差 • 相对误差 || || X − || || || || || || || || X X X − − 或 = + − + = | 1 | | 2 | | 3 | 6 2 2 2 = + − + = 1 ( 2) 3 14 = − = max | 1|,| 2 |,| 3 | 3 = 7 = 5 = 4
向量范数的性质: 性质1(连续性)设非负函数(X=X是R上的任一向量 范数,则fX)关于X的任一分量x1x2,xn都连续。 性质2(等价性)对于R上的任意两种向量范数‖p, X,总存在正数c1和c2,使对R中一切X,都有 c1‖XlXx≤c21x 结论向量范数具有等价性,因此只需对一种范数进行讨 论即可,其它范数必有与之相似的性质
向量范数的性质： 性质1（连续性）设非负函数f(X)=||X||是Rn上的任一向量 范数，则f(X)关于X的任一分量x1 ,x2 ,...,xn都连续。 性质2（等价性）对于Rn上的任意两种向量范数||X||p , ||X||q，总存在正数c1和c2，使对Rn中一切X，都有 1 2 || || || || || || . p q p c X X c X 结论 向量范数具有等价性，因此只需对一种范数进行讨 论即可，其它范数必有与之相似的性质
2、矩阵范数(矩阵的“大小”) 定义2设A为n阶方阵,若对应的非负实数A满足: (l)‖A|≥0;‖4=0当且仅当A=0; (2)对任意实数a,‖aA|=a|·4l; (3)对任意向量AB∈R",‖A+B|‖A+B; (4)对任意向量A,B∈RN,‖AB|S‖A‖B‖ 则称该实数A|.矩阵A的范数
定义2 设A为n阶方阵，若对应的非负实数||A||满足： ( )|| || ; || || ; 1 0 0 0 A A A = = 当且仅当 ( ) , || || | | || ||; 2 对任意实数 A A = ( ) , , || || || || || ||; 3 n n A B R A B A B 对任意向量 + + 则称该实数||A||为矩阵A的范数。 2、矩阵范数 ( ) , , || || || || || || 4 n n A B R AB A B 对任意向量 （矩阵的“大小”）
矩阵范数和向量范数的相容性 设Xl2为.R”中的向量范数,‖A为R中的 矩阵范数,如果对于任意的X与A,满足 AX stall°‖Xx 则称矩阵范数‖Al和向量范数‖X‖z相容。 注意:定义一种矩阵范数时,应使它与向量范数相容
设 为 中的向量范数， 为 中的 矩阵范数，如果对于任意的X与A，满足 || || n X R || || n n A R || || || || || || AX A X 矩阵范数和向量范数的相容性 则称矩阵范数 || || A 和向量范数 || || X 相容。 注意：定义一种矩阵范数时，应使它与向量范数相容
定理1设在R中给定了一种向量范数,对任一n阶 方阵A,令 Al=maxl!AX‖ IX= 则由此定义的‖‖是一种矩阵范数,并且它与所给 定的向量范数相容。 称此矩阵范数为从属于给定向量范数的矩阵范数、矩阵 的算子范数或由向量导出的矩阵范数。 算子范数的一个必要条件:‖I|=1
定理1 设在 中给定了一种向量范数，对任一n阶 方阵A，令 则由此定义的 是一种矩阵范数，并且它与所给 定的向量范数相容。 n R || || 1 || || max || || X A AX = = || || 称此矩阵范数为从属于给定向量范数的矩阵范数、矩阵 的算子范数或由向量导出的矩阵范数。 算子范数的一个必要条件： || || . I = 1
RnXn中常用的范数: ∞范数‖A|l。=max∑|an|行范数 1<i<n J 1—范数‖Al1=max∑a列范数(子 lsi≤n 范 数 2—范数‖4|2=√m(4A)谱范数 F一范数 4|=∑ II=vn ( Frobenius) J AX|2s‖A|F:lXl2
R n × n中常用的范数： 1 1 1 || || max | | n ij j n i A a = 1 —范数 = 2 —范数 ∞ —范数 2 max || || ( ) A A A = 1 1 || || max | | n ij i n j A a = = 列范数 行范数 F —范数 (Frobenius) 2 , 1 || || n F ij i j A a = = || || F I n = 算子范数 2 2 || || || || || || AX A X F 谱范数
例2计算矩阵A 的各种范数。 解(Al=max∑|an|=max{1+1,2+3}=5, 1<isn n (川4=max∑|anl=max1+2,1+3}=4, 55 A-5-5 (3)AA 5,nI-A'A 5-10 1≈13.091,2≈1910, =2-15+25=0, A4l2=√n(4A≈√13.091=3618, (4A=∑v=+1+4+9=5
例2 计算矩阵 的各种范数。 解 1 1 2 3 A − = 1 1 1 (2) || || max | | n ij j n i A a = = 2 max = || || ( ) A A A 1 1 (1) || || max | | n ij i n j A a = = = + + = max{1 2,1 3} 4, 5 5 (3) , 5 10 A A = 2 5 5 | | 5 10 15 25 0, I A A − − − = − − = − + = 1 2 13.091, 1.910, = 13.091 3.618, = + + = max{1 1, 2 3} 5, 2 , 1 (4) || || n F ij i j A a = = = + + + = 1 1 4 9 15
