第五章矩阵分析 下载本文

第五章 矩阵分析

本章将介绍矩阵微积分的一些内容.包括向量与矩阵序列的收敛性、矩阵的三种导数和矩阵微分与积分的概念,简要介绍向量与矩阵范数的有关知识.

§5.1 向量与矩阵的范数

从计算数学的角度看,在研究计算方法的收敛性和稳定性问题时,范数起到了十分重要的作用.

一、向量的范数

定义1 设V是数域F上n维(数组)向量全体的集合,x是定义在V上的一个实值函数,如果该函数关系还满足如下条件:

1)非负性 对V中任何向量x,恒有x?0,并且仅当x?0时,才有

x=0;

2)齐次性 对V中任意向量x及F中任意常数k,有kx?kx; 3)三角不等式 对任意x,y?V,有

x?y?x?y,

则称此函数x(有时为强调函数关系而表示为?) 为V上的一种向量范数.

例1 对Cn中向量x??x1,x2,?,xn?T,定义

x2?x1?x2???xn222=xHx,

则x2为Cn上的一种向量范数[xi表示复数xi的模].

证 首先,x2是Cn上的实值函数,并且满足 1)非负性 当x?0时,x?0;当x?0时,x?0;

48

2)齐次性 对任意k?C及x?Cn,有

kx2?kx1?kx2???|kxn|2?|k|||x||2;

223)三角不等式 对任意复向量x?(x1,x2,?,xn)T,y?(y1,y2,?,yn)T,有

222||x?y||22?|x1?y1|?|x2?y2|???(xn?yn)

?(x1?y1)2?(x2?y2)2???(xn?yn)2

??|xi|?2?|xi||yi|??|yi|2(由Cauchy-ВуНЯКОВСКИЙ不

2i?1i?1i?1nnn等式)

2?||x||22?2||x||2||y||2?||y||22?(||x||2?||y||2),因此 ||x?y||2?||x||2?||y||2

所以 ||x||2确为Cn上的一种向量范数 例2 对Cn[或Rn]上向量x?(x1,x2,?,xn)T定义 ||x||1?|x1|?|x2|???|xn|, x??maxxi,

1?i?n则||x||1及x?都是Cn[或Rn]上的向量范数,分别称为1-范数和??范数. 证 仅对后者进行证明. 1)非负性 当x?0时,x??maxxi?0,又显然有0??0;

i2)齐次性 对任意向量x??x1,x2,?,xn?T及复数k, kx??makxxi?kiimxia?xkx?

;3)三角不等式 对任意向量x?(x1,x2,?,xn)T,y?(y1,y2,?,yn)T,

49

x?y??maxxi?yi?max?xi?yi?

iiii ?maxxi?maxyi =x综上可知x?确为向量范数.

上两例中的x1,x2,x?是常用的三种向量范数.

一般地,对于任何不小于1的正数p,向量x??x1,x2,?,xn?T的函数

??y?.

xp?p????xi? ?i?1?n1p也构成向量范数,称为向量的p?范数.

注(1)当p?1时,xp?x1;

(2)当p?2时,x2为2-范数,它是酉空间范数;当xi为实数时,

x2?(?xi)为欧氏空间范数;

i?1n122由p?范数的存在,可知向量的范数有无穷多种,而且,向量的范数并不仅限于p?范数.在验证向量的范数定义中,三角不等式的过程中常涉及到两个著名的不等式,即:

1、H?lder不等式 设正实数p,q满足

nn1p11??1,则对任意的x,y?Cn,有 pqn1qq

?xyii?1i?(?xi)(?yi)

i?1i?1p2、Minkowski不等式 对任意实数p?1,及x,y?Cn,有

50