,,,向量范数.pptVIP

第三章 范数理论 实例1 在向量空间C n中, 向量的长度是一种向量范数，称为2-范数或欧氏范数。 定理 范数等价性 定义 算子范数 即由向量范数构造矩阵范数  根据常用的向量1-范数，2-范数及 -范数得到相应的矩阵算子范数 定理3 第三节 范数的应用 性质2 (1)对于任意n阶矩阵A，成立 A的常见范数 解: 因为 从而有 定理4.3.1 对于矩阵A的任一矩阵范数总有 定理4.3.2 设 ，则对 ，必存在一个诱导矩阵范数，使 范数的应用---矩阵求逆的扰动分析 引理(P75) 证明（1）用反证法 ： 即假设I - A不可逆 则线性方程组（I-A）X=0有非零解X0，因此 定理4.3.3(P76) 条件数定义 称cond(A)为矩阵A的条件数。条件数反映了近似逆矩阵误差的一个量；条件数越大，近似逆矩阵相对误差越大。 结论 则 从而 例：求矩阵A的谱半径及矩阵的范数 则 说明：此结论具有一般性。 故 两边取范数 由于 证明 设 ?是A的特征值 ,X是A的属于?的一个特征向量，又设 是与矩阵范数相容的向量范数。 从而 证明 由Rordan分解定理，存在可逆矩阵P，使得 令 则易验证 对给定的矩阵 ，规定 于是 可以验证 是 上的矩阵范数，且有 则I-A可逆，且 设 说明： （1）根据范数 的大小来判断 是否为非奇 异矩阵； （2）若矩阵A的范数 很小，由于 是它元素的连续函数， 而 的逆矩阵为I， 则 与I的逼近程度可用不等式（2）给出。 所以矩阵A接近于零矩阵， 矛盾； 所以I - A可逆。 取范数得： 则 设 (1)A+B可逆， 说明：此定理反映 的近似（摄动）程度。 * * 一、向量范数 二、矩阵范数与算子范数 三、范数的应用 主要内容 第一节 向量范数 主要内容： 1·向量范数的定义及几种常见的向量范数 2·向量范数的等价性 如果函数 则称 为向量X的范数。 满足： 1）正定性 且 2）齐次性 3）三角不等式 对应一个实值函数 范数的性质： 对于向量空间 上的任意向量 , 一、向量范数的定义 证明 易验证条件(i)和(ii)成立，现验证条件(iii)也成立。 下面用到了Chauchy-Schwarz不等式。 两边开方即得证。 证明 范数定义中的条件(i)显然成立， 现验证条件(ii)和(iii)也成立 实例2 在向量空间C n中, 向量分量的最大模是一种向量范数，称为∞ -范数。 反例：设 若令 显然，它满足范数定义中的正定性，但不满足齐次性，因此它不是 中的范数。 对 分别定义三个函数 1－范数， 2－范数(或Euclid范数) ∞－范数(或最大值范数)。 它们均构成范数。 说明：在同一个向量空间，可以定义多种向量范数，而对于同一个向量，不同定义的范数，其大小可能不同。 引理3.1.1 如果实数 则对于任意非负实数a，b，成立 如果实数 成立 则对于任意数组 引理3.1.2（ 不等式） p-范数或 范数 利用上面的三个引理可以证明：在向量空间Cn中，有下面的范数： 说明：在p范数中，若取p1时,它不是范数； 1-范数，2范数是p分别取1，2时的p范数 而对于p范数与∞－范数有下面的关系 定理 在向量空间C n中, 向量范数满足 证明 当X=0时，结论显然成立。设 则 因为 故 所以 说明： 我们也可以通过已知的范数构造新的向量范数. 例 设A是n阶正定实对称矩阵，在向量空间Rn中, 定义向量函数为 试证上述函数是向量范数，称为向量的加权范数或椭圆范数。 所以 是向量范数。 证明 因为A是正定对称矩阵，故存在可逆矩阵P，使得 从而 的连续函数。 提示：利用连续函数的定义证明 对同一个向量用不同的范数度量其值一般是不等的 ，即在不同的范数下，两个向量之间的距离是不等的。但我们将证明它们没有实质上的区别，即范数具有下面所说的等价性 定理:设 是 上的向量范数, 则 是 对于两个向量范数 ，如果存在常数ｍ和Ｍ 则称范数 等价 定理 向量空间 中的任意两个向量范数等价。 使得 容易证明：向量范数的等价具有自反性、对称性和传递性. 首先任一向量范数是 上的一个连续函数 证明 定义Dn是C n的单位球面(有界闭集) 说明：我们证明 上的任一范数都与2-范数等价，再利用范数等价的传递性即可。 因为 故它在Dn上取到最大值m和最小值M