向量与矩阵的范数..
第五章--向量范数和矩阵范数
当 x 时,|| x ||A 0 ;当 x θ 时由 A 对称
正定知 xH Ax 0 ,即 || x ||A 0 。
对于任意 k C ,有 || k x ||A (kx)T A(kx) | k | xT Ax | k | || x ||A
由于 A 为Hermite正定矩阵,故存在酉矩阵 U ,使得
|| x ||2
| x1 |2 | x2 |2
| xn |2
定义的|| ||2 是 F n上的向量范数,称为2-范数或 l2
范数,也称为 Euclid 范数。
例 7 对任意 x ( x1, x2, , xn) T F n,由
|| x ||p
1/ p n
| xi |p , p 1
i1
定义的|| ||p 是 F n 上的向量范数,称为p -范数或 lp
UT AU Λ diag( λ1, λ2, , λn)
这里 A 的特征值 λi (i 1, 2, , n) 都为正数。
从而有
A UΛUT U Λ Λ UT BT B
此时
|| x ||A xT Ax xT BT Bx (Bx)T Bx || Bx ||2
因此对任意 y C n , || x y ||A || B( x y) ||2
数 || A || 表示对于任意向量 x F n , A 可以 “拉伸”向量 x 的最大倍数,即使得不等式
|| A x || C || x || 成立的最小的数 C 。称 || A || 为范数 || || 和 || ||
j1
n
| xj
j1
yj |; yj |;
yj |;
1
yj |m m;
以及与椭圆范数类似的Mahalanobis距离:
向量和矩阵范数
|| x ||
|| b ||
➢ 设 精b确,A有误差 ,得到的A 解为
,即 x x
|| A || || A1 || 是关键
( A 的A误的A差状)放态(大数x因(条子件,数称x),)为 b
记为cond (A) ,
A(x x) A(x x) b (A A)x (A A) x b
I A 1 1
1 || A ||
证明: ① 若不然,则
(I A有)x非零0解,即存在非零向量 使得
x0
Ax0 x0
|| Ax0 || 1 || x0 ||
|| A || 1 ✓
② (I A)1 A(I A)1 (I A)(I A)1 I
(I A)1 I mA(I A)1
,即
A(x x) b b
x x
绝对误差放大因子
x A1 b
|| x |||| A1 || || b ||
相对误差放大因子
又 || b || || Ax || || A || || x || 1 || A || || x || || b ||
|| x || || A || || A1 || || b ||
主要性质
性质1:‖-x‖=‖x‖
性质2:|‖x‖-‖y‖|≤‖x-y‖
性质3: 向量范数‖x‖是Rn上向量x的连续函数.
范数等价:设‖·‖A 和‖·‖B是R上任意两种范数,若存在
常数 C1、C2 > 0 使得
,则称
‖·‖A 和‖·‖B 等价。
定理1.4.1 Rn 上一切范数都等价。
定义2:设{xk}是Rn上的向量序列, 令 xk=(xk1,xk2,…,xkn)T, k=1,2,….,
|| A1A |||| A1 || || A || 1 )
向量和矩阵的范数
时, 至少有一个分量不为零,故
(2)对
,则
(3)
由于 其中
,从而
故 是 的向量范数.
注 (1)当
时,
(2)当 时,
称它为2-范数,2-范数是酉空间范数;当 为实数
时,
为欧氏空间范数;
(3) 事实上,设 因为 所以 由于
故
1-范数、2-范数、 范数是 中三种常用的 向量范数.
中可以定义无穷多种向量范数,下面给 出由已知的某种范数构造出新的向量范数的一 种方法.
反映了这样一个事实: 的 范数 是象
的2-范数
与原象 的2-范数 之
比的一个上界,即
因此可以用 来评价变换 的结果.
但是,这种估计比较粗糙,因为恒等变换 的 范数为 ,现在的问题是象 的范数
与原象 的范数 之比的最小上界是否是 的范数呢?如果是 的范数,用它来评价变换
的结果应该是最精确的.
这问题就是下面所讨论的 的算子范数问题.
例4 设 是 上的一种向量范数,给定矩阵
,且矩阵 的 个列向量线性无关,
对任意
,规定
则 是 中的向量范数.
证 (1) 设
是矩阵 的 个线性无关的
列向量,从而对任何
,有
由于 是 上的向量范数,故
,即
(2)
(3)对
,有
故 是 中的向量范数.
这个例子说明,对于 中给定的一种 向量
范数,对于任意给定的
下面再证相反的不等式. 由于 只取有限个值,故有 ,使得
设 是第 个分量为1而其它分量为0的列向量,即
则
,而且
故 由于
是算子范数,所以
因此 从而
由于方阵 的1-范数等于 的列向量的1-范数的 最大值,故又称 为方阵 的列范数.
向量和矩阵的范数
|| k Ax || | k ||| Ax || 2) || k A || max max | k ||| A || x0 x0 || x || || x || || Ax || 3) 由 || A || max ,则 || Ax |||| A |||| x || x R n x 0 || x || 于是 || ( A B ) x || || Ax Bx |||| A |||| (|| A || || B ||) || x ||
法则对应于一非负实数 ||
n
则称 || x || 为向量x的范数。
常见的向量范数
设向量x ( x1 , x2 ,..., xn )T || ||
x || | x |
1 i 1 i
n
x || || x ||
( | xi | ) ( x, x) ( xT x) 2
i 1
3.5 病态方程组与矩阵的条件数
例3.5.1 设线性方程组 0.99 x1 1.99 1 0.99 0.98 x 1.97 2 试分析系数矩阵和右端项有微小扰动, 解将产生 什么样的变化 ? 解 该方程组的精确解为x (1,1)T 。
||
Hale Waihona Puke x ||2 n ||
x ||
1 例如 : || n
1 n x ||1 | xi | || n i 1
x ||
max{| xi |} | xi |
1i n i 1
n
向量的收敛性
定义3.4.2 设R n中一向量序列{ x ( k ) }( k 1,2,...), 其中 (i 1,2,..., n)
向量与矩阵的范数
那么
n
X X H *
xi
X 1
i 1
矩阵旳谱半径及其性质
定义:设 A C mn ,A 旳 n 个特征值为 1, 2, , n ,我们称
( A) max{ 1 , 2 , , n }
为矩阵 A 旳谱半径。 例 1 :设 A C mn ,那么
( A) A
这里 A 是矩阵 A 旳任何一种范数。
F
F
于是有
AB A B
F
F
F
例 4 :对于任意 A C nn ,定义
A
[Tr
(
AH
A)]
1 2
证明如此定义旳 A 是矩阵 A 旳范数。
证明: 首先注意到这么一种基本事实,
即
[Tr( AH
1
A)] 2
(
m
n
aij
2
)
1 2
i1 j1
由一种例题可知此定义满足范数旳性质。
Frobenious范数旳性质:
(1)' n
1
(2)' n
2
1
2
(3)' n
2
引理(Hoider不等式):设
a1, a2, , an T , b1, b2, , bn T Cn
则
n
n
aibi (
ai p ) 1 p ( n
bi
q)
1 q
i 1
i 1
i 1
其中 p 1,
q1 且
1p
是矩阵范数。
证明:非负性,齐次性和三角不等式轻易 证得。目前我们考虑乘法旳相容性。设
A C nn , B C nn ,那么
n
n
AB
向量和矩阵的范数
向量和矩阵的范数一、引言向量和矩阵是线性代数中最基本的概念之一,而范数则是线性代数中一个非常重要的概念。
范数可以用来度量向量或矩阵的大小,也可以用来衡量它们之间的距离。
在本文中,我们将讨论向量和矩阵的范数。
二、向量范数1. 定义向量范数是一个函数,它将一个向量映射到一个非负实数。
它满足以下条件:(1)非负性:对于任意的向量x,有||x||≥0;(2)齐次性:对于任意的标量α和向量x,有||αx||=|α|·||x||;(3)三角不等式:对于任意的向量x和y,有||x+y||≤||x||+||y||。
2. 常见范数(1)L1范数:也称为曼哈顿距离或城市街区距离。
它定义为所有元素绝对值之和:||x||1=∑i=1n|xi| 。
(2)L2范数:也称为欧几里得距离。
它定义为所有元素平方和再开平方根:||x||2=(∑i=1nxi^2)1/2 。
(3)p范数:它定义为所有元素p次方和的p次方根:||x||p=(∑i=1n|xi|^p)1/p 。
(4)无穷范数:它定义为所有元素绝对值中的最大值:||x||∞=ma xi|xi| 。
三、矩阵范数1. 定义矩阵范数是一个函数,它将一个矩阵映射到一个非负实数。
它满足以下条件:(1)非负性:对于任意的矩阵A,有||A||≥0;(2)齐次性:对于任意的标量α和矩阵A,有||αA||=|α|·||A||;(3)三角不等式:对于任意的矩阵A和B,有||A+B||≤||A||+||B||。
2. 常见范数(1)Frobenius范数:也称为欧几里得范数。
它定义为所有元素平方和再开平方根:||A||F=(∑i=1m∑j=1naij^2)1/2 。
(2)一范数:它定义为每列元素绝对值之和的最大值:||A||1=maxj(∑i=1m|aij|) 。
(3)二范数:它定义为矩阵A的最大奇异值:||A||2=σmax(A) 。
(4)∞范数:它定义为每行元素绝对值之和的最大值:||A||∞=maxi(∑j=1n|aij|) 。
向量与矩阵的范数
a12 a1n A 1 max ai j 列范数 1j n i1 n a22 a2n A max aij 行范数 1i n j1 T an2 ann A 2 λm a x( A A) AF
|λ | || X ||= ||λ X ||= || A X || ≤|| A || || X ||
由X ≠0 ,所以 || X || >0 ,
计算方法三⑤
故有:
|λ | ≤|| A ||
所以特征值的最大值≤||A||,即ρ(A)≤||A||
18/35
定理3.7 设A为任意n阶方阵,则对任意 矩阵范数||A||,有: ρ(A)≤||A|| 定理3.8 设A为n阶对称方阵,则有: ||A||2= ρ(A)
1 2 3 A 4 5 6 7 8 0
计算方法三⑤
14/35
例6. 计算矩阵A的各种范数
1 2 A= 3 4 2 3 4 1 3 4 1 2 4 1 2 9
解:A=[1,2,3,4;2,3,4,1;3,4,1,2;4,1,2,9]; n1=norm(A,1), n2=norm(A), n3=norm(A,inf),n4=norm(A, 'fro') n1=16,n2=12.4884,n3=16,n4=13.8564
解: E A ( 1) ( 2)
2
(A) 2
计算方法三⑤
17/35
矩阵范数与谱半径之间的关系为: ρ(A) ||A|| 定理3.7设A为任意n阶方阵,则对任意矩阵范 数||A||,有: ρ(A)≤||A||
证:设λ为A的任意一个特征值, X为对应的特征向量 AX= λ X 两边取范数,得: || A X || = ||λ X || =|λ | || X ||
第3章 范数
1
2
例题:设x = (3,12,0,4 ) , 计算 x 1 , x ∞ , x
T
2
x 1 = 3 + 12 + 0 + 4 = 19 x
∞
= max{3,12,0,4} = 12
x 2 = 32 + (12) 2 + 0 2 + (4) 2 = 13
向量和矩阵的范数
2 矩阵范数 定义
任一矩阵A ∈ R n×n,都对应于一个实数N ( A)( N ( A)为R n×n上的实值函数 ), N ( A) = A ,且满足以下条件:
1≤i ≤ n
( A的特征值按模的最大值)
为矩阵的谱半径。
若λi为实数,则λi 是指绝对值 若λi为复数(λi = a + bi),则λi 是指模, λi = a 2 + b 2
例题
1 0 1 设A = 2 2 1, 计算A的谱半径。 1 0 0 λ 1 0 1
解: λI A) = 2 det( 1
几种矩阵范数
设x ∈ R n , A ∈ R n×n , 则
(1) A 1 = max ∑ aij
1≤ j ≤ n n
( A的列范数 )
(2) A ∞ = max ∑ aij
1≤i ≤ n j =1
i =1 n
( A的行范数 )
(3) A 2 = λmax ( AT A) (其中λmax ( AT A)表示矩阵AT A的绝对值( 模)最大的特征值)
a11 a12 a13 三阶方阵A = a21 a22 a23 则A的行列式 a31 a32 a33 det( A) = a11a22 a33 + a21a32 a13 + a12 a23a31 a13 a22 a31 a12 a21a33 a23 a32 a11
向量范数和矩阵范数
2. L1范数:对于n维向量x=(x1, x2, ..., xn),它的L1范数定义为 ||x||1 = |x1| + |x2| + ... + |xn|。它表示向量各个元素的绝对值之和。
向量范数和矩阵范数
3. 无穷范数(L∞范数):对于n维向量x=(x1, x2, ..., xn),它的无穷范数定义为 ||x||∞ = max(|x1|, |x2|, ..., |xn|)。它表示向量各个元素的绝对值的最大值。
矩阵范数是对矩阵进行度量或衡量的方式,它是一个将矩阵映射到非负实数的函数。常见 的矩阵范数有谱范数、F范数和1-范数。
1. 谱范数:对于n×n矩阵A,它的谱范数定义为 ||A||2 = max(σ),其中σ是A的特征值的 模的最大值。谱范数衡量了矩阵的最大特征值的大小,表示矩阵的最大奇异值。
向量范数和矩阵范数
2. F范数:对于m×n矩阵A,它的F范数定义为 ||A||F = √(∑∑|aij|^2),其中aij表示A的第i 行第j列的元素。F范数衡量了矩阵所有元素的平方和的平方根。
3. 1-范数:对于m×n矩阵A,它的1-范数定义为 ||A||1 = max(∑|aij|),其中∑表示对所有 列求和。1-范数衡量了矩阵列向量绝对值之和的最大值。
向量范数和矩阵范数
向量范数是对向量进行度量或衡量的方式,它是一个将向量映射到非负实数的函数。常见 的向量范数有欧几里得范数(L2范数)、L1范数和无穷范数(L∞范 ..., xn),它的欧几里得范数定义为 ||x||2 = √(x1^2 + x2^2 + ... + xn^2)。它表示向量的长度或大小,也可以理解为向量的2范数。
第五章 向量与矩阵的范数
A
F
= ( ∑∑ aij )
2 i =1 j =1
X
2
= ( ∑ xi )
i =1
n
2 12
= (X X )
H
12
根据Hoider不等式可以得到 不等式可以得到 根据
AX ≤
m 2 2
=
n
∑ ∑
i =1
m
n
2
j =1
a ij x
n
j
≤
2 j
∑
m
i =1
( ∑ a ij x j ) 2
j =1
n
∑ [( ∑
AB = n max
i, j i ,k
∑a
k =1 k, j
n
ik kj
b ≤ n max ∑ aik bkj
i, j k =1
n
≤ n ⋅ n max aik max bkj = n max aik ⋅ n max bkj
i ,k k, j
= A B
因此 的范数。 A 为矩阵 A 的范数。
例3
p
= ( ∑ ai )
p i =1
n
1
p
∑a
i =1
n
i
(2)2-范数 ) -
α 2 = ( ∑ ai ) = (α α )
2 12 H i =1
n
12
也称为欧氏范数。 也称为欧氏范数。 欧氏范数 (3)∞ -范数 α ∞ = lim α ) p →∞ 定理
p
α
∞
= max ai
1≤i ≤ n
证明 令
第五章
向量与矩阵的范数
定义: 定义: 设 V 是实数域 R (或复数域 C )上 维线性空间, 的 n 维线性空间,对于 V 中的任意一个向量 α 按照某一确定法则对应着一个实数,这个 按照某一确定法则对应着一个实数, 范数, 实数称为 α 的范数,记为 α ,并且要求 范数满足下列运算条件: 范数满足下列运算条件: (1)非负性:当 )非负性: 有且仅有当 α = 0, (2) 齐次性: ) 齐次性: 意数。 意数。
3.3向量和矩阵的范数
y
2
定理1:设 x R n , 则x的三种基本范数l, l 2 , l满足下面的不等式关系 : 1
(1) x 2 x 1 n x (2) x (3) x
2
x2 n x x1n x
对于以上三种范数而言,它们的值是不同的。但有 如下的定义: 定义2(范数等价):x R n, 对于任意两种范数 x 和 x 总存在两个与x无关的正实常数c1,c2,使得
k
记为: x (k) x * . lim
k
例如:按照
l 范数的定义 x (k) x * max x i( k ) x * i
1i n
故, x ( k ) x * x (k) x * lim
k
0(k ).
定理3 :
设{x ( k ) }是R n中的一个向量序列,且 * R n,则lim x ( k ) x * x
例:有了距离,对
方程组Ax b的数值计算解x c与其准确解x *之间 的误差就可以度量了。 如定义其绝对误差为 x c x * ,相对误差为 x c x* x
*
。
例: x* (0.0002140.0003090.000397T 设 , , )
x (0.0001860.0003420.000504T , , ) c 当限定范数为 1范数时,请计算 与x* l x c 之间的绝对误差和相对 误差。
lim l p ( x i )
p i 1
n
p
1
p
在R n空间中,向量 [ x1 , , x n ]T 和y [ y1 , , y n ]T 的内积记作( x , y), x 可定义为 (x, y) x i y i x T y.
矩阵分析第五章
例1:矩阵A 的Frobenius范数与向量2-范数相容
(∑ ∑ ) (∑ ) A = F
m i =1
n|
j =1
aij
|2
1/ 2
,
x= 2
n|
j =1
xj
|2
1/ 2
∑ ∑ ∑ ∑ ∑ Ax 2 = 2
m i =1
a x n
j =1 ij j
2
≤
(4) 矩阵乘法相容性: ||AB|| ≤ ||A|| ||B||, ∀A, B: AB可相乘
则称实数||A||为矩阵A的范数.
∑ ∑ 例1:A =(aij)∈Cm×n, 定义 A =
m i =1
n|
j =1
aij
|
是A的范数,
是向量1-范数的推广
证明:(1)(2)(3)自然满足, 只需验证(4).
∑ (1) 若A = (α1, α2, L, αn), 则
A2 = F
α n
2
i=1 i 2 ;
∑ (2) A 2 = trace( AH A) = F
n i =1
λi
(
AH
A)
(3)
∀U
∈
U
m×m m
,
V
∈U
n×n n
,
A = UA = AH = AV = UAV
F
F
F
F
F
( ) ( ) 证明(3): UA 2 = trace (UA)H (UA) = trace AH (U HU ) A
+
b n
k =1 k
ak
+ bk
向量和矩阵的范数
A的列范数 A的“2”范 数或A的谱
范数
其中 max ( A A)为A A的最大特征值。
T T
第一章 绪论
例2
求矩阵A的各种常用范数
1 2 0 3 A 1 2 1 4 0 1 1
2
n
5
2
2
解:
A 1 max aij 1 j n
i 1
"范数"是对向量和矩阵的一种度量,实际上是二维和三维
向量长度概念的一种推广.
数域:数的集合,对加法和乘法封闭.
有理数、实数、复数数域
线性空间:可简化为向量的集合,对向量的加法和数量乘 法封闭,也称为向量空间。
第一章 绪论
5.4.1 向量范数 ( vector norms )
二维,三维的长度概念:
T 2 2 2 R 中,x R , x x1 x2,其中x x1 , x2 ; T 3 3 2 2 2 R 中, x R , x x1 x 2 x 3 , 其中x x1 , x 2 , x 3 。
② x 也是 x p 的特例
xi ( x1 因为 max 1i n
p
x2
p
xn
p
)
1
p
(n max xi )
1 i n
p
1
p
n
1
p
xi ( p ) max xi max 1i n
1 i n
x
p
x
( p 时),
所以 x 也是 x p的特例
A 4
3.0237
3.6056
A2
AF
数值分析5-5(向量和矩阵的范数)
n
1
A F ( xij 2 )2
i , j1
称为Frobennius-范数
举例:
A
1 3
2 4
计算A的各种范数.
解:
n
A
max
1in
j1
aij
max{1 2,3 4} 7
n
A
1
max
1 jn
i 1
|
aij
|
max{1
3,2
x p ( xi p ) p
i 1
称为∞-范数或最大范数 称为1-范数 称为2-范数
称为p-范数
举例:计算向量 x=(1, -2, 3)T的各种范数.
解:
n
x 1 | xi | 6
i 1
n
1
x 2 ( xi 2 )2 14
i 1
x
max
1in
xi
3
3. 向量范数的性质
3) x y x y , x, y Rn(三角不等式)
则称‖x‖为向量的范数
2. 常用的向量范数
在 Rn上的向量x =(x1,…,xn)T∈Rn ,三种常 用的范数为:
x
max
1in
xi
n
x 1 | xi |
i 1
n
1
x 2 ( xi 2 )2
i 1
n
1
第五章 解线性方程组的直接法 §5 向量和矩阵的范数
一、向量的范数
二、矩阵的范数 三、小结
一、向量的范数
1. 向量范数的定义
设对任意向量 x∈Rn,按一定的规则有一实 数与之对应,记为‖x‖,若‖x‖满足
向量和矩阵的范数
一、向量的范数定义1 设x=(x1 ,x2,…,x n )n ,y=(y1 ,y2,…,y n )n∈R n (或C n )。
将实数(或复数),称为向量x,y的数量积。
将非负实数或称为向量x的欧氏范数。
对向量x,y的数量积有:1. (αx,y)=α(x,y).α为实数(或(x,αy)=(x,y),α为复数);2. (x,y)=(y,x)[(x,y)=(,)];3. (x1 +x2 ,y)=(x1 ,y)+(x2 ,y);4. (Cauchy-Schwarz不等式)(5.1)等式当且仅当x与y线形相关时成立。
对向量x的欧氏范数有:1. ‖x‖2≥0, ‖x‖2 =0当且仅当x=0时成立;2. ‖αx‖2=|α|‖x‖2,任意的α∈R(或α∈C),3. ‖x+y‖2≤‖x‖2 +‖y‖2 (三角不等式),(5.2)注(5.1)和(5.2)有下面的事实得到(x+ty,x+ty)=(x,x)+2(x,y)t+(y,y)t2≥0由一元二次方程根的判别定理可知(5.1)成立;取t=1,再利用(5.1)得即得(5.2)。
定义2(向量的范数) 如果向量x∈R n (或C n )的某个实值函数N(x)=‖x‖, 满足条件:(1) ‖x‖≥0(‖x‖=0当且仅当x=0)(正定条件),(2) ‖αx‖=|α|·‖x‖,任意的α∈R(或α∈C),(3) ‖x+y‖≤‖x‖+‖y‖(三角不等式),则称N(x)是R n (或C n )上的一个向量范数(或模)。
下面我们给出几种常用的向量范数。
1. 向量的∞-范数(最大范数):(5.3)2. 向量的1-范数:3. 向量的2-范数:(5.4)4. 向量的p-范数:(5.5)例6 计算向量x=(1,-2,3)T的各种范数。
解:定理6(N(x)的连续性) 设非负函数N(x)=‖x‖为R n上任一向量范数,则N(x)是x的分量x1 ,x2,…,x n的连续函数。
证明设其中e i=(0,…,1,0,…,0)T, . 只须证明当x→y时N(x)→N(y)即成。
范数
向量的1-范数的最大值称为矩阵的行范数。
14
§6 误差分析
一个实际问题化为数学问题,初始数据往往会 有误差(观测误差和舍入误差),即有扰动,从 而使计算结果产生误差。 向量的误差可用向量范数表示:设x 是x的近似 矩阵, x x 、x x / x 分别称为x 的关于
* * * * *
范数 的绝对误差与相对误差。
16
方程组的状态与条件数
x1 x2 2 x1 2 例:方程组 . x1 1.00001x2 2 x2 0 x1 x2 2 x1 1 而方程组 . x1 1.00001x2 2.00001 x2 1 比较这两个方程组可以看出,他们只是右端项有微小的差 1 别,最大相对误差为 105 , 但它们的解却大不相同,解分量 2 1 的相对误差至少为 。 2
x A1 A( x x ) A1 A ( x x ) x( 1 A1 A ) A1 A x x
x A
1 1
如果 A充分小,使得 A1 A 1, 则由上式得
A A
A A
1
A
A
1 A
1 A A
1
A
A
上式表明,当系数矩阵有扰动时,解的扰动仍与 A A1 有关。一般地, A A1 越大,解的扰动也越大。
15
矩阵的误差可用矩阵算子范数表示:设A 是A的 近似矩阵,A A 、A A / A 分别称为A 的关
* * * *
*
于范数 的绝对误差与相对误差。 由于范数等价,用何种向量范数都是合理 的。关键是容易计算。 理论分析,谱范数是非常有效的。但在计算 上行范数和列范数更方便。 比较:向量1-范数--列范数, 向量-范数--行范数。
向量范数与矩阵范数
任2种范数在刻画收敛性时等价
定理1.2 对 Rn 上的任意二种向量范数|| ·||a ,|| ·||b ,
均有与向量 x 无关的常数 m 与 M (0<m<M),使 下列的关系成立
m x x M x , x Rn.
a
b
a
证明略.
意义:向量x的某一种范数可以任意小(大)时, 该向量的其它任何一种范数也会任意小(大)。
|1| | 2 | | 3 |,
A
1
max
|
5
|
|1|
|
8
|,
14,
| 2 | | 0 | | 2 |
1 5 2
A 2 1
0
3 8 2
|1| | 5 | | 2 |,
A
max
|
2
|
|1|
|
0
|,
13,
| 3 | | 8 | | 2 |
A F
12 22 32
52
12
82
22
02
22
112,
14 21 4
AT
A
21
90
26
4 26 8
❖定义 Rn 上的实值函数‖·‖称为向量范数,如果 对任意的 x, y∈Rn, 它均满足下列3条性质:
(1)正定性: || x ||,且 0 x 0;|| x || 0
(2)齐次性:对 k ,有R
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
则称矩阵序列{A(k)}收敛于矩阵A=(aij),记为 (k ) lim A A
如
k
A
k
a11 a12 a k a k 22 21
k
k
a11 a21
a12 a22
计算方法三⑤
20/35
A
则有
k
a11 a12 a k a k 22 21
|λ | || X ||= ||λ X ||= || A X || ≤|| A || || X ||
由X ≠0 ,所以 || X || >0 ,
计算方法三⑤
故有:
|λ | ≤|| A ||
所以特征值的最大值≤||A||,即ρ(A)≤||A||
18/35
定理3.7 设A为任意n阶方阵,则对任意 矩阵范数||A||,有: ρ(A)≤||A|| 定理3.8 设A为n阶对称方阵,则有: ||A||2= ρ(A)
lim X
k
0 1
计算方法三⑤
8/35
注:显然有:
|| X || max | xi |
1 i n
lim X
k
(k )
X
lim X
k
(k )
(k )
X 0
由无穷范数的定义知: lim X
k (k )
X lim || X
n
|| X || max | xi | =4
1 i n
n
k 1
x
i 1
n
2
i
21
|| X || p
p
| x |
i 1 i
p
1 4 2
p
p
p
注:前三种范数都是p—范数的特殊情况。其中
|| X || lim || X ||p
p
计算方法三⑤
向量范数的连续性:
n || AX || (3) || A || max max | aij | n 1i n X R || X || j 1 || X || 0
n || AX ||1 (1) || A ||1 max max | aij | n 1 j n X R || X || i 1 1 || X || 0
k
6/35
x1 x2 (k→∞)
xn
X
(k→∞)
7/35
例:设
X
(k )
1 (k ) x k 1 k x (k ) 2 k 1
x2
(k )
解: 显然,当k→∞时,x1 Nhomakorabea(k )
1 0 k
(k )
k 1 k 1
为矩阵A的从属于该向量范数的范数,或称 为矩阵A的算子,记为||A||。
计算方法三⑤
几种常用的矩阵范数
10/35
常用的矩阵范数有A的1—范数、 A的2—范数、 A的 ∞—范数,可以证明下列定理: 列元素绝对值之
定理3.6
设A∈Rn×n,X∈Rn,则
和的最大值
TA的特 (λ 为 A || AX ||2 T (2) || A ||2 max max ( A A) ; 征值中绝对 n X R || X ||2 值最大者) || X || 0
k
X || 0
定理3.5 在空间Rn中,向量序列{X(k)}收敛于向量 X的充要条件是对X的任意范数||· ||,有:
lim || X ( k ) X || 0
k
计算方法三⑤
9/35
定理3.5 在空间Rn中,向量序列{X(k)}收敛于向 量X的充要条件是对X的任意范数||· ||,有:
(又称为A的 列范数)
行元素绝 对值之和 的最大值
计算方法三⑤
(又称为A的行范数)
例:设A= 解:
11/35 1 2 3 4 求A的各种范数
||A||1=6,||A||∞=7
|| A ||2 15 221 5.46
10 14 A' A 14 20
k (k )
lim || A
(k )
A || 0
(k )
即
lim A
k
A lim || A
k
m
A || 0
定理3.11
任意A∈Rn×n,有
lim Am 0 ( A) 1
计算方法三⑤
(证明略)
22/35
三、方程组的性态和条件数
4/35
定理3.3 设f(X)=||X||为Rn上的任一向量范数,则f(X) 为X的分量x1,x2,…,xn的连续函数.
向量范数的等价性
定理3.4 若||X||p与||X||q为Rn上任意两种范数,则 存在C1,C2>0,使得对任意X∈Rn,都有: C1 ||X||p≤ ||X||q ≤C2 ||X||p (证明略) 注:同样有下列结论:存在C3,C4>0 使得:
注: |λE-A’A|=0 λ2-30λ+4=0
2 ——弗罗贝尼乌斯
A
F
a
j 1 i 1
n
n
ij
(Frobenius)范数 简称F范数
计算方法三⑤
|| A ||F 30 5.477
几种常用的矩阵范数:
n
12/35
a11 a21 设 A a n1
计算方法三⑤
21/35
定义 设A∈Rn×n中,称||A-B||为A与B之间的 距离,其中||A||为Rn×n上的某种范数。 关于矩阵序列收敛的性质:
定理3.10 设A(0) ,A(1) ,...,A(k),...为Rn×n上 的一个矩阵序列,矩阵序列{A(k)}收敛于矩阵A 的充要条件是存在A的某种范数||A||,使得:
k k
k
k
a11
a21
a12
a22
A
k
a11 a12 a11 a12 a k a k a 22 21 21 a22
(k )
lim A
k
A lim A
k
(k )
A 0
2
2
2
(3)向量的∞—范数: (4)向量的p—范数: ||
计算方法三⑤(1≤p≤∞)
|| X || max | xi |
1 i n
n
X || p
p
| x |
i 1 i
p
3/35
例 :设 x=(1 , -4, 0, 2)T 求它的向量范数
X 1 xk =7 || X ||2
lim xi xi (i 1,2,...,n)
k
(k )
则称向量X= (x1,x2,...,xn)T为向量序列 {X(k)}的极限,或者说向量序列{X(k)}收敛 于向量X,记为
lim X
k
(k )
X 或 X
(k )
X (k )
计算方法三⑤
计算方法三⑤
x1 k k x2 X ………… x k n x1k x1 k x2 k x2 X x k x n n
1 2 3 A 4 5 6 7 8 0
计算方法三⑤
14/35
例6. 计算矩阵A的各种范数
1 2 A= 3 4 2 3 4 1 3 4 1 2 4 1 2 9
解:A=[1,2,3,4;2,3,4,1;3,4,1,2;4,1,2,9]; n1=norm(A,1), n2=norm(A), n3=norm(A,inf),n4=norm(A, 'fro') n1=16,n2=12.4884,n3=16,n4=13.8564
a
j1 i1
n
n
2 ij
弗罗贝尼乌斯 (Frobenius) 范数简称F范数 计算方法三⑤
13/35
Matlab中计算矩阵的范数的命令(函数): (1) n = norm(A) 矩阵A的谱范数(2范数), = A’A的最大特征值的算术根 . (2) n = norm(A,1) 矩阵A的列范数(1-范数) 等 于A的最大列之和. (3)n = norm(A,inf) 矩阵A的行范数(无穷范数) 等于A的最大行之和. (4)n = norm(A, 'fro' ) 矩阵A的Frobenius范数.
C3 ||X||q≤ ||X||p ≤C4 ||X||q
注:上述性质,称为向量范数的等价性。也就是说, Rn上任意 两种范数都是等价的。在讨论向量序列的收敛性时要用到向量 范数的等价性。 计算方法三⑤
向量序列的收敛问题
5/35
定义:假定给定了Rn空间中的向量序列 X(1),X(2),...,X(k),...,简记为{X(k)},其中 X(k)=(x1(k),x2(k),...,xn(k))T,若X(k)的每一个分 量xi(k)都存在极限xi,即
a12 a1n A 1 max ai j 列范数 1j n i1 n a22 a2n A max aij 行范数 1i n j1 T an2 ann A 2 λm a x( A A) AF
计算方法三⑤
几种常用的向量范数:设X=(x1,x2,...,xn)T
(1)向量的1—范数:
n
2/35
|| X ||1 | xi | | x1 | | x2 | ... | xn |