矩阵范数条件数的估计_英文_

矩阵范数条件数的估计_英文_
矩阵范数条件数的估计_英文_

第五专题 矩阵的数值特征(行列式、范数、条件数、迹、秩、相对特征根)

第五专题 矩阵的数值特征 (行列式、迹、秩、相对特征根、范数、条件数) 一、行列式 已知A p ×q , B q ×p , 则|I p +AB|=|I q +BA| 证明一:参照课本194页,例4.3. 证明二:利用AB 和BA 有相同的非零特征值的性质; 从而I p +AB ,I q +BA 中不等于1的特征值的数目 相同,大小相同;其余特征值都等于1。 行列式是特征值的乘积,因此|I p +AB|和|I q +BA|等于特征值(不等于1)的乘积,所以二者相等。 二、矩阵的迹 矩阵的迹相对其它数值特征简单些,然而,它在许多领域,如数值计算,逼近论,以及统计估计等都有相当多的应用,许多量的计算都会归结为矩阵的迹的运算。下面讨论有关迹的一些性质和不等式。 定义:n n ii i i 1 i 1 tr(A)a ====λ∑∑,etrA=exp(trA)

性质: 1. tr(A B)tr(A)tr(B)λ+μ=λ+μ,线性性质; 2. T tr(A )tr(A)=; 3. tr(AB)tr(BA)=; 4. 1 tr(P AP)tr(A)-=; 5. H H tr(x Ax)tr(Axx ),x =为向量; 6. n n k k i i i 1 i 1 tr(A),tr(A )===λ=λ∑∑; 从Schur 定理(或Jordan 标准形)和(4)证明; 7. A 0≥,则tr(A)0≥,且等号成立的充要条件是A=0; 8. A B(A B 0)≥-≥即,则tr(A)tr(B)≥,且等号成立的充要条件是A=B (i i A B (A)(B)≥?λ≥λ); 9. 对于n 阶方阵A ,若存在正整数k,使得A k =0,则tr(A)=0(从Schur 定理或Jordan 标准形证明)。 若干基本不等式 对于两个m ×n 复矩阵A 和B ,tr(A H B)是m ×n 维酉空间上的内积,也就是将它们按列依次排成的两个mn 维列向量的内积,利用Cauchy-schwarz 不等式 [x,y]2≤[x,x]﹒[y,y]

数值分析向量,矩阵范数,矩阵的条件数

§8 向量,矩阵范数,矩阵的条件数 一 、 向量、矩阵范数 为了讨论线性方程组近似解的误差估计与研究解方程组迭代法的收敛性,需要在)(n n n R R ?或中引进向量序列(或矩阵序列)极限概念。为此, 这就需要对量空间n R (或n n R ?矩阵空间)元素的“大小”引进某种度量即向量范数(或矩阵范数)即距离的概念。 (一)向量范数:向量范数是3R 中向量长度概念的推广。 },{1为复数i n n x x x x x C ??????????== 称为n 维复向量空间。 },)({为复数ij n n ij n n a a A A C ??==称为n n ?复矩阵空间。 (2)设n n n C A C x ?∈∈,,称T n H x x x x =≡),,(1 为x 的共轭转置 , T H A A =称为A 共轭转置矩阵。 在许多应用中,对向量的范数(对向量的“大小”的度量)都要求满足 正定条件,齐次条件和三角不等式,下面给出向量范数的抽象定义。 n R x ∈(或n C x ∈)的某个实值非负函数 x x N ≡)(,如果满足下述条件 (1)正定性 00,0=??=≥x x x (2)齐次性 x ax α=其中R ∈α(或C ∈α) (3)三角不等式 )(,,n n C R y x y x y x ∈∈?+≤+或,称x x N ≡)(是n R 上(或n C )一个向量范数(或为模)。

由三角不等式可推出不等式 (4)y x y x -≤- 下面给出矩阵计算中一些常用向量范数。 设)(),,(1n n T n C x R x x x ∈∈=或 (1)向量的“∞”范数 i n i x x x N ≤≤∞ ∞=≡1max )( (2)向量的“1”范数 ∑==≡n i i x x x N 1 1 1)( (3)向量的“2”范数 2/11 2 2 /12 2)() ,()(∑===≡n i i x x x x x N (4)向量的能量范数 设n n R A ?∈为对称正定阵 2 /1),()(x Ax x x N R x A A n =≡→∈? 称为向量的能量范数。 设n R x ∈(或n C x ∈),则)(),(),(12x N x N x N ∞是n R 上(或n C )的向量范数。 证明 只验证三角不等式:对任意n R y x ∈,,则222 y x y x +≤+ 利用哥西不等式:22 ),(y x y x ≤,则有 ),(22 y x y x y x ++=+),(),(2),(y y y x x x ++= 22 2 2 22 2y y x x ++≤222))(y x += 对任何n R y x ∈,则 (1) ∞∞ ≤≤x n x x 2 (2) 212 x n x x ≤≤ (3) ∞∞ ≤≤x n x x 1

第五专题 矩阵的数值特征(行列式、范数、条件数、迹、秩、相对特征根)

第五专题 矩阵的数值特征 (行列式、迹、秩、相对特征根、范数、条件数) 一、行列式 已知A p ×q , B q ×p , 则|I p +AB|=|I q +BA| 证明一:参照课本194页,例4.3. 证明二:利用AB 和BA 有相同的非零特征值的性质; 从而I p +AB ,I q +BA 中不等于1的特征值的数目 相同,大小相同;其余特征值都等于1。 行列式是特征值的乘积,因此|I p +AB|和|I q +BA|等于特征值(不等于1)的乘积,所以二者相等。 二、矩阵的迹 矩阵的迹相对其它数值特征简单些,然而,它在许多领域,如数值计算,逼近论,以及统计估计等都有相当多的应用,许多量的计算都会归结为矩阵的迹的运算。下面讨论有关迹的一些性质和不等式。 定义:n n ii i i 1i 1tr(A)a ====λ∑∑,etrA=exp(trA) 性质: 1. tr(A B)tr(A)tr(B)λ+μ=λ+μ,线性性质; 2. T tr(A )tr(A)=; 3. tr(AB)tr(BA)=; 4. 1tr(P AP)tr(A)-=;

5. H H tr(x Ax)tr(Axx ),x =为向量; 6. n n k k i i i 1i 1tr(A),tr(A )===λ=λ∑∑; 从Schur 定理(或Jordan 标准形)和(4)证明; 7. A 0≥,则tr(A)0≥,且等号成立的充要条件是A=0; 8. A B(A B 0)≥-≥即,则tr(A)tr(B)≥,且等号成立的充要条件是A=B (i i A B (A)(B)≥?λ≥λ); 9. 对于n 阶方阵A ,若存在正整数k,使得A k =0,则tr(A)=0(从Schur 定理或Jordan 标准形证明)。 若干基本不等式 对于两个m ×n 复矩阵A 和B ,tr(A H B)是m ×n 维酉空间上的内积,也就是将它们按列依次排成的两个mn 维列向量的内积,利用Cauchy-schwarz 不等式 [x,y]2≤[x,x]﹒[y,y] 得 定理:对任意两个m ×n 复矩阵A 和B |tr(A H B)|2≤tr(A H A)﹒tr(B H B) 这里等号成立的充要条件是A=cB,c 为一常数。特别当A 和B 为实对称阵或Hermit 矩阵时 0≤|t r(AB)|≤ 定理:设A 和B 为两个n 阶Hermite 阵,且A≥0,

第五专题 矩阵的数值特征(行列式、范数、条件数、迹、秩、相对特征根)

第五专题矩阵的数值特征 (行列式、迹、秩、相对特征根、范数、条件数) 一、行列式 已知A p×q, B q×p, 则|I p+AB|=|I q+BA| 证明一:参照课本194页,例4.3. 证明二:利用AB和BA有相同的非零特征值的性质; 从而I p+AB,I q+BA中不等于1的特征值的数目相同,大小相同;其余特征值都等于1。 行列式是特征值的乘积,因此|I p+AB|和|I q+BA|等于特征值(不等于1)的乘积,所以二者相等。 二、矩阵的迹 矩阵的迹相对其它数值特征简单些,然而,它在许多领域,如数值计算,逼近论,以及统计估计等都有相当多的应用,许多量的计算都会归结为矩阵的迹的运算。下面讨论有关迹的一些性质和不等式。 定义: n n ii i i1i1 tr(A)a == ==λ ∑∑,etrA=exp(trA) 性质: 1. tr(A B)tr(A)tr(B) λ+μ=λ+μ,线性性质;

2. T tr(A )tr(A)=; 3. tr(AB)tr(BA)=; 4. 1 tr(P AP)tr(A)-=; 5. H H tr(x Ax)tr(Axx ),x =为向量; 6. n n k k i i i 1 i 1 tr(A),tr(A )===λ=λ∑∑; 从Schur 定理(或Jordan 标准形)和(4)证明; 7. A 0≥,则tr(A)0≥,且等号成立的充要条件是A=0; 8. A B(A B 0)≥-≥即,则tr(A)tr(B)≥,且等号成立的充要条件是A=B (i i A B (A)(B)≥?λ≥λ); 9. 对于n 阶方阵A ,若存在正整数k,使得A k =0,则tr(A)=0(从Schur 定理或Jordan 标准形证明)。 若干基本不等式 对于两个m ×n 复矩阵A 和B ,tr(A H B)是m ×n 维酉空间上的内积,也就是将它们按列依次排成的两个mn 维列向量的内积,利用Cauchy-schwarz 不等式 [x,y]2≤[x,x]﹒[y,y] 得 定理:对任意两个m ×n 复矩阵A 和B |tr(A H B)|2≤tr(A H A)﹒tr(B H B)

相关文档
最新文档