泛函分析基础.ppt

第二章 赋范线性空间 2.4 赋范线性空间中的各种收敛 2、算子序列的收敛性 (c) 弱收敛 设E为赋范线性空间，若对每个 及E上 的任一有界线性泛函 f，都有 则称算子序列 弱收敛于T，记为 (弱) 或 弱 第二章 赋范线性空间 2.4 赋范线性空间中的各种收敛 3、泛函序列的收敛性 (a) 强收敛 设E为赋范线性空间， 为E上的有界线性泛函及泛函序列，若 则称泛函序列 强收敛于f，记为 (强) 或 强 第二章 赋范线性空间 2.4 赋范线性空间中的各种收敛 3、泛函序列的收敛性 (a) 弱*收敛 则称泛函序列 弱*收敛于f，记为 (弱*) 或 弱* 设E为赋范线性空间， 为E上的有界线性泛函及泛函序列，若对每个 ，有 第二章 赋范线性空间 3、几点结论 （1）上述各种收敛序列的极限都是惟一的 （2）各种序列若强收敛则必弱收敛，反之不一定 （3）算子序列若一致收敛（依范数收敛），则必 强收敛 （4）若把泛函序列作为特殊的算子序列，则泛函 序列的强、弱*收敛，分别相当于算子序列的 一致收敛和强收敛 第三章 Hilbert空间 3.1 定义和例 1、内积空间 设K是数域(实或复)，U是K上的线性空间。若 对任意的 , 都有惟一的数 与之对应，且满足 ② ① ③ ④ 则称 为x, y的内积，U为内积空间。 内积公理 第三章 Hilbert空间 2、内积的性质 （1）在内积空间中，可由内积导出范数 Cauchy-Schwarz不等式： 由上不等式还可得到 第三章 Hilbert空间 2、内积的性质 （2）平行四边形公式 在内积空间中，由内积导出的范数满足平行四边形公式 第三章 Hilbert空间 2、内积的性质 （3）极化恒等式 若赋范线性空间中的范数满足平行四边形公式，则可由范数来表示内积 特别地，在实空间则有 第三章 Hilbert空间 2、内积的性质 定理：赋范线性空间成为内积空间的充要条件是 它的范数满足平行四边形公式。 （4）内积的连续性 在内积空间中，内积(x, y)关于两个变元 x, y 都是连续的，即当 时，有 第三章 Hilbert空间 3、Hilbert空间 若内积空间U按范数 完备, 则称U为 Hilbert空间，简记为H空间。 H空间是一个特殊的Banach空间，特殊性在于它 的范数由内积导出。 第三章 Hilbert空间 4、例 （1） 任意的 它们的内积定义为 由它导出的范数 第三章 Hilbert空间 4、例 （2） 其中定义内积 由它导出的范数 若 为复函数，则定义内积 第三章 Hilbert空间 4、例 （3） 其中定义内积 由它导出的范数 第三章 Hilbert空间 3.2 正交分解与投影定理 1、正交的概念 定义1：设 ，若 ，则称x与y正交 记为 定义2：设 ，若 x与M中的一切元素 正交，则称x与M正交，记为 定义3：设 ，若对任意 ，恒 有 ，则称M与N正交。 第三章 Hilbert空间 3.2 正交分解与投影定理 1、正交的概念 即 定义4：设 ，则U中与M正交的所有元素的 全体称为M的正交补，记为 。 2、赋范线性空间的定义： 设E为实（复）线性空间，若对任意的 都 有一个非负的实数 与之对应，且满足 则称 为 x 的范数，E为赋范线性空间，E中的元素称为点。 (a) (b) (c) 第二章 赋范线性空间 由于实数的有序性，可以比较大小，因此范数给了元素一种可以度量大小的概念。 显然，任何赋范线性空间都是距离空间。任意两点 x, y之间的距离都可以通过范数来定义（称为由范数导出的距离）： 第二章 赋范线性空间 例1： 在 中可定义范数 或 同一集合可定义不同的距离，在同一线性空间中，也可以定义不同的范数： 中的距离： 第二章 赋范线性空间