[数值分析第3章3-4节.pptVIP

3.3 最佳一致逼近多项式 3.3.2 最佳一次逼近多项式 3.4 最佳平方逼近 3.4.2 用正交函数族作最佳平方逼近 由（4.5）可得均方误差为 （4.10） 由此可得贝塞尔(Bessel)不等式 （4.11） （4.5） Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 若 ， 按正交函数族 展开， （4.12） 称这个级数为 的广义傅里叶(Foureir)级数， 讨论特殊情况.设 是正交多 项式， 可由 正交化得到，则有下面的收敛定理. 得级数 系数 按（4.8）计算， 系数 称为广义傅里叶系数. 它是傅里叶级数的直接推广. （4.8） Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 3.3.1 基本概念及其理论 设 在 中求多项式 这就是最佳一致逼近或切比雪夫逼近问题. 使其误差 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 显然 ， 记为 ， 定义7 为 与 在 上的偏差. 若记集合的下确界为 则称之为 在 上的最小偏差. 设 称 其下界为0. 的全体组成一个集合， （3.1） （3.2） Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 定义8 （3.3） 则称 是 在 上的最佳一致逼近多项式 定理4 则总存在 ， 这个定理是最佳逼近多项式的存在性定理. 假定 若存在 使得 简称最佳逼近多项式. 若 使 或最小偏差逼近多项式， Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 定义9 若在 上有 就称 是 的偏差点. 若 称 为“正”偏差点. 若 称 为“负”偏差点. 所以说 的偏差点总是存在的. 设 由于函数 在 上连续， 在一个点 因此，至少存 使 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 要证明的是 这样的点组称为切比雪夫交错点组. 证明 假定在 上有 个点使（3.4）成立， 定理5 即有 个点 ， “负”的偏差点， 在 上至少有 个轮流为“正”、 是 的最佳逼近多项式 的充分必要条件是 使 是 在 上的最佳逼近多项式. 只证充分性. （3.4） Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 用反证法， 若存在 ， 由于 故 也在 个点上轮流取“+”、“-”号. 使 由连续函