前言
在这里整理一些数值代数中重要定理以及数学证明。本章主要介绍向量范数与矩阵范数。
目录
向量范数
向量范数定义:
一个从
到
的非负函数
叫做
上的向量范数,如果它满足:
(1)正定性:
(2)齐次性:
(3)三角不等式:
常用向量范数:
p范数:
其中最常用。
常用不等式(用于证明范数):
- Cauchy-Schwartz不等式:
- Holder不等式:
范数性质:
1、
2、任意两范数,存在常数
,有
3、向量序列的范数收敛等价于其分量收敛,也即对,有
矩阵范数:
矩阵范数定义:
一个从
到R的非负函数
叫做
上的矩阵范数,如果满足:
(1)正定性:对所有
,有
(2)齐次性:
(3)三角不等式:
(4)相容性:
相容定义:
若矩阵范数
和向量范数
满足
则称矩阵范数与向量范数是相容的。
常用矩阵范数:
设是
上的一个向量范数,若定义
则上述是上的一个矩阵范数。该范数也称为从属于向量范数
的矩阵范数,也称为向量范数
诱导出的算子范数。该范数与向量范数
相容。
矩阵范数性质:
1、上的任意两个矩阵范数是等价的
2、矩阵序列的范数收敛等价于其元素收敛
常用范数及其定理:
算子范数:
且有:
对于1,2,范数,我们也称之为列和范数、行和范数和谱范数。
除此之外,我们还有Frobenius范数:
对于为范数的简单证明:
对任意满足的x,有
同时,取n阶单位矩阵第列
,则有
,且
因此,等号可取到,原式成立。
对于为范数的简单证明:
对任意满足的x,有
设A的第k行的1范数最大,令,易证
,因此,等号可取到,原式成立。
对于2范数的简单证明:
为半正定矩阵,其特征值为
,其对应正交规范特征向量为
,则对任意满足
的向量,有
因此,有
另一方面,若取,则有
所以有
谱范数的常用性质:
(1)
(2)
(3)对任意n阶正交矩阵U和V,有
谱半径定义:
设
,则称
为A的谱半径。
谱半径与矩阵范数之间关系:
设,则有
(1)对上的任意矩阵范数
,有
(2)对任给的,存在
上的算子范数
,使得
对性质1的简单证明:
设x满足,则有
从而 。
几个重要定理:
定理1:设,则
定理2:设,则
(1)收敛的充要条件是
(2)当收敛时, 有
而且存在上的算子范数
,使得
对一切的自然数m成立。
推论:设是
上的一个满足条件
的矩阵范数,并假定
满足
且I-A可逆,且有