泛函的分析的总结.docVIP

泛函分析知识点小结及应用 §1 度量空间的进一步例子 设是任一非空集合，若对于，都有唯一确定的实数与之对应，且满足 1．非负性：，=0; 2. 对称性：d(x,y)=d(y,x); 3．三角不等式：对，都有+， 则称(，)为度量空间，中的元素称为点。 欧氏空间 对中任意两点和，规定距离为 =. 空间 表示闭区间上实值(或复值)连续函数的全体.对中任意两点，定义=. （空间 记=. 设，，定义 =. 例1 序列空间 令表示实数列(或复数列)的全体，对，，令 =. 例2 有界函数空间 设是一个给定的集合，令表示上有界实值(或复值)函数的全体. ，定义 =. 例3 可测函数空间 设为上实值(或复值)的可测函数的全体，为Lebesgue测度，若，对任意两个可测函数及，由于，故不等式左边为上可积函数. 令 =. §2 度量空间中的极限 设是中点列，若，s.t. () 则称是收敛点列，是点列的极限. 收敛点列的极限是唯一的. 若设既牧敛于又收敛，则因为 ，而有 =0. 所以=. 注 ()式换一个表达方式：=. 即当点列极限存在时，距离运算与极限运算可以换序. 更一般地有 距离是和的连续函数. 具体空间中点列收敛的具体意义： 1. 欧氏空间 =，，为中的点列，=， =. 对每个，有 . 2. 设，，则 = 在一致收敛于. 3. 序列空间 设=，，及=分别是中的点列及点，则 依坐标收敛于. 4. 可测函数空间 设，，则因=，有 . §3 度量空间中的稠密集 可分空间 定义 设是度量空间，和是的两个子集，令表示的闭包，若，则称集在集中稠密，当=时，称为的一个稠密子集. 若有一个可数的稠密子集，则称是可分空间. 例1 维欧氏空间是可分空间. 事实上，坐标为有理数的点的全体是的可数稠密子集. 例2 离散距离空间可分 是可数集. 例3 是不可分空间. §4 连续映射 定义 设=，=是两个度量空间，是到中的映射：= =. ，若0，0，s.t. 且，都有，则称在连续： 定理 1 设是度量空间到度量空间中的映射：， 则在连续 当时，必有. 定理2 度量空间到中的映照是上的连续映射 任意开集，是中的开集. 定理 度量空间到中的映照是上的连续映照 任意闭集，是中的闭集. §5 柯西点列和完备度量空间 定义 1 设=(，)是度量空间，是中的点列. 若0,，s.t.当时，有，则称是中的柯西点列或基本点列. 若度量空间(，)中每个柯西点列都收敛，则称(，)是完备的度量空间. 在一般空间中，柯西点列不一定收敛，如点列1, 1.4, 1,41, 在中收敛于，在有理数集中不收敛. 但度量空间中每一个收敛点列都是柯西点列. 定理1 完备度量空间的子空间是完备度量空间 是中的闭子空间. 常见例子：(1)（收敛的实或复数列的全体）是完备度量空间 (2) 是完备的度量空间 (3) (实系数多项式全体) 是不完备的度量空间 §6 度量空间的完备化 定义 1 设(,)，(,)是两个度量空间，若存在到上的保距映射(,，有(,)=(,))，则称(,)和(,)等距同构，此时称为到上的等距同构映照。等距同构映照是1-1映射. 定理1 (度量空间的完备化定理) 设=(,)是度量空间，那么一定存在一完备度量空间=(,)，使与的其个稠密子空间等距同构，并且在等距同构意义下是唯一的，即若(,)也是一完备度量空间，且与的其个稠密子空间等距同构，则(,)与(,)等距同构. §7压缩映照原理及其应用 定义 设是度量空间，是到中的压映照，若存在一个数：01，s.t. 、，成立 则称是到中的压缩映照(简称压缩映照). 定理1.(压缩映射定理) 设是完备度量空间，是上的压缩映照，则有且只有一个不动点(即方程有且只有一个解). 补充定义：若TX=X,则称X是T的不动点，即X是T的不动点X是方程TX=X的解。 定理2. 设函数在带状域，中处处连续，且处处有关于的偏导数，若存在常数和， 满足 ，0， 则方程 =0 在区间上必有唯一的连续函数作为解：0，. §8赋范线性空间和Banach空间(线性赋范空间线性赋范空间+完备性(巴拿赫空间 定义1 设X是任一非空集合，若K是一个数域（R或C），如果X对某种规定的加法和数乘两种运算封闭，且(x,y,z(