第3章 线性方程组解法 第2节 向量范数等价性证明.pptVIP

* 定理21 为Rn中一向量序列，且 为向量的任一种范数。 证明： 由范数的等价性定理有： 对v =1也可采用以下证法 注： * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 向量范数 定义9（向量范数） （1）正定性 （2）齐次性 （3）三角不等式 1. 向量范数的定义　 2. 常用的向量范数 定义10 称为向量的能量范数。 （1）向量的“∞”范数： （2）向量的“1”范数： （3）向量的“2”范数： （4）向量的能量范数： 证“1”范数时，用 注： Cauchy不等式 3. 范数的等价性 定理20 定理19 证明： 事实上， 范数的等价性 定理19 证明： 于是有 (2) 注： (3) (1) * 向量范数概念可以推广到矩阵. 视 中的矩阵为 中的向量， 则由 上的2范数 可以得到 中矩阵的一种范数 称为 的Frobenius范数. 显然满足正定性、齐次性及三角不等式. 定义 如果矩阵 的某个非负的 实值函数 , (矩阵的范数) 满足条件 * （5.4） 则称 是 上的一个矩阵范数(或模). 上面定义的 就是 上的一个矩阵范数. 由于在大多数与估计有关的问题中，矩阵和向量会同 时参与讨论，所以希望引进一种矩阵的范数，它和向量范 数相联系而且和向量范数相容的. * （5.5） 定义 设 , ， 给出一种向量范数 (如 或∞)，相应地定义一个矩阵的非负函数 即对任何向量 及  都成立 (矩阵的算子范数) （5.6） 可以验证 满足定义4，所以 是 上矩阵的一 个范数，称为 的算子范数. * 定理1 设 是 上一个向量范数， 则 是 （5.7） 证明 由(5.7)，有 上矩阵的范数，且满足相容条件 由(5.6)相容性条件(5.7)是显然的. 现只验证定义4中条件(4). 当 时，有 * 故 显然这种矩阵范数 依赖于具体的向量范数 . 也就是说，给出一种具体的向量范数 ，相应地就可得到一种矩阵范数 . 定理2 设 , ，则 * 其中 表示 的最大特征值. 证明 1. 设 , 不妨设 . 则 只就1，3给出证明，2同理. 记 * 这说明对任何非零 ， （5.8） 接下来说明有一向量 , 设 ， 取向量  , 有 使 其中 显然 , 且 的第 个分量为 ， 这说明 * 3. 由于对一切 从而 的特征值为非负实数， （5.9） 为对称矩阵，设 为 的相应于(5.9) 的特征向量且 ，又设 为任一非零向量， 设为 于是有 * 其中 为组合系数，则 另一方面，取 ，则上式等号成立，故 例 设 ，计算 的各种范数. 解 * 对于复矩阵(即 )定理18中的第1,2项显然也成立，3应改为 * 定义 设 的特征值为 , 为 的谱半径. 定理3 设 , 则 , 即 的谱半径不超过 的任何一种算子范数(对 亦对). 称 (特征值上界) 证明 设 是 的任一特征值， 为相应的特征向量， 则 ， 由相容性条件 (5.7) 得 注意到 , 即得 * 定理4 如果 为对称矩阵， 定理5 如果 ， 则 为非奇异矩阵， 其中‖·‖是指矩阵的算子范数. 则 且 证明 若 , 使 , , 用反证法. 则 有非零解， 即存在 又由 ，有 故