数值分析07_3.1赋范空间与函数逼近3。2内积空间.pptVIP

华长生制作 华长生制作 本章重点探讨在线性空间上求一个函数，使之能最佳逼近未知函数的问题。为此首先引入赋范线性空间。 例如[a,b]上的连续函数的集合C[a,b]是一线性空间，在该空间上定义实值函数 如下 则可以证明该实值函数是线性空间C[a,b]上的一个范数，从而C[a,b]关于该范数成为一个赋范线性空间。 在同一线性空间上可以定义不同的范数，得到不同的赋范空间。 又如，在C[a,b]上可定义另一范数 如下 对赋范线性空间（V, )上的任意两个元素f和g，定义它们之间的距离如下 于是，(C[a,b], )上的距离为 （C[a,b], )上的距离为 函数逼近问题：设 为一赋范空间， 求 ，使得 特别地，当 为有限维空间时，若 是它的一组基，则逼近问题为 求 , 使得 当范数是 或 时，称逼近问题分别 为最佳一致或最佳平方逼近问题。 3.2内积空间与正交多项式 为讨论在多项式正交基下的函数逼近，首先定义内积空间。 定义 设V为一线性空间，若定义 上的二元实值函数 ，对任意 满足 则称实值函数 是线性空间V上的一种内 积，称V为关于 的内积空间 例如，在线性空间C[a,b]上定义实值函数 　 可以验证该实值函数是C[a,b]上的一个内积，从而使得C[a,b]成为一内积空间。 另外，还可定义C[a,b]上的内积为 其中 权函数，满足条件 定义 容易验证 为一范数，通常称为由内积诱导出的范数。 定理 设 为内积空间 中的元素， 则 线性无关的充分必要条件是 Gram矩阵 非奇异，即 定理 线性无关的 确定的Gram矩阵是实对称正定矩阵 线性空间上最常用的基是正交基或标准正交基，为此引入正交系。 定义 内积空间V上的两个元素f和g，如果有（f,g)=0，则称f,g正交；若V上的元素系 满足两两正交，即对任意的非负整数i,j有 则称 为正交系，进一步若 则称 为标准正交系。 当 为i次多项式时， 称 为正交多项式系。 正交多项式性质： 1. 线性无关； 2. 有 其中 是不超过 n次多项式全体构成的 内积空间； 3.正交多项式系 中的 在区间（a,b)内有n个互不相同的实单零点； 4.正交多项式系 中任何相邻三项之间有如下递推关系： 其中 分别为 的首项和次项 系数。 * 3.1 赋范线性空间与函数逼近问题 定义 设 为定义于线性空间V上的实值函数，满足： 1。 ，当且仅当 时有 2。 3。 则称函数 是线性空间V上的范数，称V为赋范线性空间。 * * * * *