大家好,又见面了,我是你们的朋友全栈君。如果您正在找激活码,请点击查看最新教程,关注关注公众号 “全栈程序员社区” 获取激活教程,可能之前旧版本教程已经失效.最新Idea2022.1教程亲测有效,一键激活。
Jetbrains全系列IDE使用 1年只要46元 售后保障 童叟无欺
1,向量范数
1.1,向量范数的定义和例子
设 是复数域上的 维向量空间,称函数 为向量范数,是指对所有 ,有下列性质:
(1)非负性:,并且 当且仅当 。
(2)齐次性:对任何 ,。
(3)三角不等式:
若对任意 ,有:
(1)
(2)
(3)
证明(3):根据三角不等式,有:
两式分别相减可得:
设 ,则下列实值函数都是 上的向量范数:
(1)2范数:
(2)1范数:
(3)范数:
(4)p范数:,当 时,分别得到向量1范数和2范数,并且可以证明范数也是 时的特殊情形。
分别取 ,在平面 上画出 表示的图形(对应从内到外):
是图形是否为凸的临界值。,图像为凹;
常用不等式:
(1)柯西-施瓦茨不等式:
(2)杨氏不等式:
,其中 (3)赫尔德不等式:
, 。 (4)闵可夫斯基不等式:
,其中 , 。
在实际应用中,常常需要利用已知的范数去构造出实用的向量范数:
设
, 是 上的一种向量范数,对任意 ,则由 定义的实值函数 : 为中向量范数。 证明实值函数
: 满足非负性、齐次性和三角不等式。 由于满足
的矩阵有无穷多个,这样由一个已知的范数就可以构造出无穷多个新的向量范数。 【例2】设
是Hermite正定矩阵 对任意
,规定 ,则有上式定义的实值函数 为
中的向量范数(满足三条性质)。
1.2,向量范数的性质
范数的基本性质:(1)向量范数的连续性;(2)不同向量范数之间的重要关系——等价关系。
设
,则 是关于 的分量 的连续函数。 证明:对任意
,则
其中
设
是 上的两种向量范数,如果存在正数 和 ,使对任意 都有: ,则称向量范数 与 等价。 引入范数等价概念的原因:需要讨论范数的某种性质时,若某种范数具有此性质,则与该范数等价的所有范数都具有此性质,后面将看到所有向量范数都是等价的。因此,经常只需讨论某一种范数的性质即可。
上的所有向量范数都是等价的 证明:
(1)考虑空间
上的单位球面 ,并证明 与 即可。(等价具有传递性) (2)向量范数
看成其分量的函数时是连续函数,而单位球面 为有限闭集,因此 在 上存在最小值 和最大值 。 (3)对任意
, ,从而有 常见三种范数的等价关系:
给定
中的向量序列 ,其中:
如果:
则称向量序列
收敛于 ,简称 收敛,记作:
或 不收敛的向量序列称为是发散的。
中的向量序列 收敛到 的充分必要条件是,对于 中的任意一种向量范数 ,都有 证明:
(1)先选取一种特殊的向量范数(如最大范数)证明结论成立。
(2)再利用范数的等价性证明任意一种向量范数的结果与取最大范数的结果是一样的。
2,矩阵范数
2.1,方阵的范数
(1)向量是一种特殊矩阵,引入矩阵范数时要保持向量范数的特性不变。
(2)由于一个
矩阵可以看作 维的向量,因此可以按定义向量范数的方式定义矩阵范数,但是矩阵之间还有乘法运算,在研究矩阵范数时应予以考虑。 设
表示复数域 上全体 矩阵构成的线性空间,称函数 为矩阵范数,是指对所有 有下列性质: (1)非负性:
并且 当且仅当 。 (2)齐次性:对任何
, (3)三角不等式:
(4)相容性:
矩阵范数具有与向量范数相似的性质:(1)
(2) 上的任意两个矩阵范数等价。 相容性的合理性:如果将矩阵范数定义中的相容性不等号反向,即
设 ,则下列实值函数都是 上的矩阵范数:
范数: 范数: 范数: 矩阵的
范数和 范数是向量 1和 2 范数的自然推广,矩阵 范数具有类似于向量范数的酉不变性。 对于矩阵的
范数,下列结论成立:
范数的矩阵迹表示: 范数的酉不变性:对任意的 阶酉矩阵 ,恒有
2.2,与向量范数的相容性
在实际运算中矩阵和向量常会同时出现,所以矩阵范数和向量范数也会同时出现,因此需要建立矩阵范数和向量范数的联系:
设
是 上的矩阵范数, 是 上的向量范数,如果对任意 和 都有: ,则称矩阵范数 与向量范数 是相容的。 【例3】证明
上的矩阵 范数与 上的向量1范数相容。 设
,则:
【例4】证明
上的矩阵 范数与 上的向量 范数相容。 设
,则:
设
是 上的一种矩阵范数,则在 上必存在与它相容的向量范数。
2.3,从属范数
已知
上的向量范数 ,对任意 ,规定:
或 则
是 上与向量范数 相容的矩阵范数,且 。 称之为由向量范数
导出的矩阵范数或从属于向量范数 导出的矩阵范数,简称导出范数或从属范数。 非负性、齐次性和三角不等式直接利用向量范数的性质得到。
证明相容性:
,易知
设
,记由向量 范数导出的矩阵范数分别为 ,则有: (1)1范数(列和范数):
(2)2范数(普范数):
, 为 的最大特征值。 (3)
范数(行和范数):
设
, 和 为 阶酉矩阵,则: (1)
(2)
(3)若
是正规矩阵,且 是 的 个特征值,则:
2.4,长方阵的范数
把方阵的范数推广到
矩阵的情形: (1)在矩阵范数的定义中的相容性应该改成:对任意
都有 。 (2)在与向量范数的相容性的定义中:对任意
, ,都有 (3)在从属范数的定义中:对任意
,有:
对任意
,常用的矩阵范数有: (1)
范数: (2)
范数: (3)
范数: (4)
范数: (5)
(6)
(7)
, 为 的最大特征值。
当矩阵退化为向量时,
范数就退化为向量 范数, 范数可以看成向量 范数的推广。 (1)
范数和 范数具有酉不变性 (2)
范数与向量 范数相容 (3)
范数与向量 范数、 范数、 范数都相容 (4)矩阵的
范数、 范数、 范数分别由向量的 范数、 范数、 范数导出,从而与相应的向量范数相容。
3,范数应用举例
3.1,矩阵的谱半径
设
, 为矩阵 的 个特征值,称 为矩阵 的谱半径。(不是矩阵范数,不满足三角不等式) 设
,则:
- 当
为正规矩阵时, 证明(1)
证明(2)
与 有相同的非负特征值
设
: (1)则对
上的任意一个矩阵范数 ,都有: (2)则对任意给定的正数
,存在某一个矩阵范数 ,使得: 证明(2):由
定理知,存在可逆矩阵 ,使得
令
于是
对任意
,规定 容易验证
是 上的一个矩阵范数,且有:
【例5】已知
,试估计 的谱半径:
3.2,矩阵的条件数
考虑如下的线性方程组:
其解为
,如果把方程组的有端项做微小扰动 ,则线性方程组为:
方程组的解为:
,因此有:
这表明解的相对误差是右端相对误差的1000倍。
设
,若对 上的某个矩阵范数 ,有 ,则 可逆。 证明:设
为 的任一特征值,则:
因此,
的任一特征值 都不为零,即 可逆。 设
, ,若对 上的某个矩阵范数 ,有 ,则:
可逆 设
, ,若对 上的某个矩阵范数 ,有 ,则:
设
, , ,若对 上的某一矩阵范数 ,有 ,则非齐次线性方程组 与 的解满足:
其中
是 上与矩阵范数 相容的向量范数。 (1)数据的误差对可逆矩阵和线性方程组解的影响与数
的大小相关。 (2)当该数据较大时,近似逆矩阵的相对误差或线性方程组的解的相对误差可能比较大。
(3)因此该数可以作为数据误差对于求逆矩阵和线性方程组的解影响大小的一种度量。
设
, 是 上的矩阵范数,称:
为矩阵
(关于求逆或求解线性方程组)的条件数。 一般地,如果矩阵
的条件数大就称求逆矩阵或求解线性方程组是病态的或坏条件的;否则,称为良态或好条件的。
其中
分别为 的最大和最小特征值。 当
为正规矩阵时,有 ,其中 分别为 的按模最大和最小特征值。 【例6】设
,计算:
,
的两个特征值分别为:
由于
, 故:
发布者:全栈程序员-用户IM,转载请注明出处:https://javaforall.cn/191870.html原文链接:https://javaforall.cn
【正版授权,激活自己账号】: Jetbrains全家桶Ide使用,1年售后保障,每天仅需1毛
【官方授权 正版激活】: 官方授权 正版激活 支持Jetbrains家族下所有IDE 使用个人JB账号...