泛函分析希尔伯特空间中的规范正交系.docVIP

§9.3 希尔伯特空间中的规范正交系 主要内容：规范正交系，完全规范正交系，Bessel不等式， Parseval等式，傅里叶展开式，格拉姆-施密特正交化过程。 教学过程 一、规范正交系与Bessel不等式、Paraseval等式 1．规范正交系：设是内积空间的一个不含零的子集，若中向量两两正交，则称为中的正交系，又若中向量的范数都为1，则称为中规范正交系。 例1 为维欧式空间，则向量集,为中规范正交系，其中当时，；时，。 在空间中，定义内积为, ， ， 则三角函数系为中规范正交系。显然内积空间中规范正交系是正交函数系概念的推广。 正交系有以下基本性质： 对正交系中任意有限个向量成立， （1） 事实上，由于中向量两两正交，所以 。 正交系是中线性无关子集。 事实上，设而且其中为个数则对任何，有 由于因此所以线性无关。这就证明了是中线性无关子集。 我们在内积空间中引入规范正交系的目地是要把空间中的向量关于规范正交系展成级数，为此，首先介绍一般赋范线性空间中级数收敛的概念。 2．级数收敛 设是赋范线性空间，是中一列向量，是一列数，作形式级数 ， 称为级数（3）的项部分和，若存在，使，则称级数（3）收敛，并称为这个级数的和，记为。若为中规范正交系，是中有限或可列个向量，且则对每个自然数，由内积连续性，可以得到，