数值分析课件 第5章4-5节.ppt

5.4 矩阵三角分解法 5.4.2 平方根法 5.4.3 追赶法 5.5 向量和矩阵的范数 设 （4.13） 其中 为待定系数. 比较(4.13)两边得 （4.14） 用归纳法可以证明 （4.15） 即 由 得 从而由(4.14)可求出 时由对角占优的条件，(4.15)是成立的. 现设(4.15)对 成立，求证对 也成立. 由归纳法假设 又由(4.15)及 的对角占 优条件，有 也就是 由(4.14)得到 （4.15） 确定了 ，就实现了 的 分解. 求解 等价于求解两个三角形方程组： 解三对角线方程组的追赶法公式： 1. 计算 的递推公式 2. 解 3. 解 称计算系数  及 称计算方程组的解 的过程为赶的过程. 的过程为追的过程. 定理12 设有三对角线方程组 , 其中 满足条件 (a)，(b)，(c)，则 为非奇异矩阵且追赶法计算公式中的 ② 满足： ① 追赶法公式实际上就是把高斯消去法用到求解三对角 线方程组上去的结果. 计算机实现时只需用三个一维数组分别存储 的三条线 元素 ，此外再用两组工作单元保存 或 由于 特别简单，因此求解的计算公式也非常简单， 计算量也很小. 将实数 向量范数概念是三维欧氏空间中向量长度概念的推广， 在数值分析中起着重要作用. 定义1 （或 ）. 设 （或复数 ） 称为向量 的数量积. 将非负实数  或 称为向量 的欧氏范数 . 定理13 关于范数，成立如下定理. 设 则 5. (Cauchy-Schwarz不等式) 等号当且仅当 与 线性相关时成立； 6. 三角不等式 也可以用其他办法来度量向量的“大小”. 向量的欧式范数可以看成是对 中向量“大小”的一 种度量. 例如，对于 可以用一个 的函数 来度量 的“大小”，而且这种度量“大小”的方法计算起来比欧氏范数方便. 一般要求度量向量“大小”的函数 满足正定性、 齐次性和三角不等式. （5.1） 则称 是 (或 )上的一个向量范数(或模). 由条件3 定义2 如果向量 (或 )的某 个实值函数 ，满足条件： (向量的范数) （5.2） 从而有 几种常用的向量范数. 1. 向量的 -范数(最大范数)： 2. 向量的1-范数： 3. 向量的2-范数： 也称为向量 的欧氏范数. 4. 向量的 -范数： 其中 . 可以证明向量函数 是 上向量的范数, 且容易说明上述三种范数是 -范数的特殊情况. 如果 例6 计算向量 的各种范数.  解 定义3 设 为 中一向量序列， 则称 收敛于向量 ， 记 记为 定理14 ( 的连续性) 为 上任一向量范数， 则 是 的分量 设非负函数 的连续函数. 证明 设 其中 只需证明当 时 . 事实上 即 其中 5.4.1 直接三角分解法 将高斯消去法改写为紧凑形式，可以直接从矩阵 的 元素得到计算 元素的递推公式，而不需任何中间步骤， 一旦实现了矩阵 的 分解，那么求解 的问 题就等价于求解两个三角形方程组 ① 求 ② 求 这就是直接三角分解法. 1. 不选主元的三角分解法 设 为非奇异矩阵，且有分解式 （4.1） 其中 为单位下三角阵， 为上三角阵，即 的元素可以由 步直接计算定出，其中第 步 定出 的第 行和 的第 列元素. 设已经定出 的