泛函分析初步.pptVIP

第二章 泛函分析初步 泛函分析是现代数学的一个重要分支。它主要研究各类抽象空间的属性和空间与空间的相互关系。 在数学中，通常把赋予某些数学结构的集合称为空间。 (1)(2)(3) X中存在唯一的零元素 ，它满足  对任意的 ；且对任一 ，均存在唯一的“负元素”  它满足 。 (4) (5)(6)(7)则称X是实线性空间。 例2-1-1 n维空间 ，其元素x由n个有次序的数构成： ，其中的加法和数乘如通常的方式定义：对于 和 及数 ，定义 例2-1-2 所有平方可和的无穷数列构成的集合 例2-1-3 所有在区间[a，b]上平方可积的函数构成的集合 作为举例，我们验证 。为此，先证一个辅助不等式： 即 现在来证明，由 可推出 。 利用不等式(2-1-3),可得 例2-1-4 在区间[a,b]上绝对可积的函数全体所构成的集合是线性空间，其中相加和数乘运算如通常那样定义。例2-1-5 在区间[a,b]上连续的函数的全体所构成的集合C(a,b)是线性空间。 与线性代数中类似，可以在线性空间中引入线性相关、线性无关和基的概念。 设 是线性空间X中的n个元素， 如果存在不全为零的常数  ，使得 如果线性空间X中存在n个线性无关的元素 ，使得X中任一元素x均可表为 的线性组合 信号 或  的能量通常可用： 有限长离散信号即n维向量的能量定义为： 　　 范数的定义：　　设X为线性空间，如果对于X中任一元素x都有一个实数与之对应，此实数记为 ，它具有如下性质： 例2-2-1  在空间 中定义范数 例2-2-2 在空间 中定义范数 例2-2-3 在空间 中定义范数 例2-2-4 在空间 中定义范数 例2-2-5 在空间 中定义范数 即 有了范数的概念，就可以引入极限的概念 有了极限概念就引以进入完备性概念。 容易证明： 一个收敛序列必定是柯西序列。 柯西序列不一定是收敛序列。 2-3 希尔伯特空间 内积空间： 设X为实线性空间。如果对于X中任意两元素x和y，均有一个实数与之对应，此实数记为(x,y),它满足下列性质： 例2-3-1 在n维实向量空间 中，任意两个向量 和 的内积定义为 也可定义内积为 例2-3-2 所有 矩阵组成的集合 在通常的矩阵加法与数乘的运算下构成一个线性空间。矩阵 的范数可视为一个mn维向量的范数： 例2-3-3 空间 中的元素 和 的内积可定义为：  复内积空间： 设U为复线性空间。如果对于U中任意两元素x和y，均有一个复数与之对应，此复数记为(x,y),它满足下列性质： 由内积的上述四个性质，可推出下列性质： 8）内积的连续性 若在范数 意义下