泛函距离空间读书报告..docVIP

距离空间读书报告 一 距离空间基本概念 定义1 设X是任意空集，对x中任意两点x，y有一实数与之对应且满足： (1) 且d(x,y)=0,当且仅当x=y； (2)d(x,y)=d(y,x)（对称性）； (3)d(x,y)d(x,z)+d(z,y)(三角形不等式). 称d(x,y)为X中的一个距离，定义了距离d的集X称为一个距离空间,记为（X,d）,在不引起混乱的情形下简记为X. 定义2 设是距离空间（X,d）中的一个点列,是X中的一点,如果当时,,则称当时,以为极限,或当时,收敛于.记为 () 有关极限的两个简单性质: 设是距离空间（X,d）中的收敛点列,则 (1)的极限是唯一的; (2)如果以为极限,那么的任意子列必收敛且以为极限. 下面有几个距离空间的例子.和在距离空间中收敛性的涵意. 例1 空间 X是n元实数组全体,定义 , 其中,.通过验证d满足距离的三条公理.所以(X,d)是一个距离空间。以后把这个空间简记为. 在空间中,易见空间的收敛就是按坐标收敛. 例2 空间C[] 考虑区间[]上所有的连续函数集，设x(t),y(t)是[]上任意两个连续函数，定义 ， 通过验证d满足距离的三条公理.所以[]上的连续函数全体，赋以上述距离是一个距离空间，记为C[]. C[]的收敛是函数列在[]上的一致收敛. 例3 离散空间D 设X是任意非空集,在X中定义d如下: , 不难验证d是一个距离,从而是一个距离空间,称这个空间为离散空间,用D的表示. 在离散空间D中,收敛于当且仅当,从某一下标开始,为常驻列. 二 距离空间中的点集 1 开集与闭集 点的δ邻域: 点为 E的内点: 记为 E的内部（内点全体） 点为 E的外点: 点为 E的边界点: 记为 E的边界（边界点全体） 定义1 若集合E的每一个点都E的内点，则称E为开集. X是距离空间，X中的开集有以下几点性质: （1）空集和全空间X为开集； （2）有限多个开集之交为开集（无穷多个开集的交集未必是开集）； （3）任意多个开集之并为开集. 点为 E的接触点： 点为 E的聚点： 记为 E的闭包（接触点的全体） 注意：聚点、边界点不一定属于E，内点、孤立点一定属于E. 定义2 设A是距离空间X中的集,如果A=,则称A为闭集. 任一的闭包是闭集,它是包含E的最小闭集.任一开集的余集是闭集,任一闭集的余集是开集. X是距离空间，X中的闭集有以下几点性质: （1）空集和全空间X为闭集； （2）有限多个闭集之并为闭集（无穷多个闭集的并集未必是闭集）； （3）任意多个闭集之交为闭集. 2 稠密子集 可分距离空间 设A,B是距离空间X中的子集,如果,称B在A中稠密.事实上,设A、B 是直线上任意两个集，若B的任意一点x 的任意领域中总含有A的点，则称A在B中稠密. 当时，称A是直线上的稠密集. 定义3 设X是距离空间,如果X中存在一个稠密可数子集,则称X是可分的. 是可分的,C[]可分. 例 空间不可分 考虑有界实数列之全体,设是两个有界实数列,定义 . 上述距离空间记为,是不可分的. 三 完备距离空间 定义1 设X是距离空间，是X中的点列,如果对任意,存在自然数N,当m,nN时,,称是一个Cauchy列.如果X中任意Cauchy列都收敛,称距离空间X是完备的. 由以上定义可以得到一下结论: 距离空间中任一收敛点列是Cauchy列; 完备距离空间的任一闭子空间也是完备的. 在具体空间中 是完备的. C[]是完备的.事实上,是C[]中任一Cauchy列,则任意,存在自然数N,当m,nN时, , 由此,函数列一致收敛,并且它的极限函数x(t)是[]上的连续函数,即它是C[]中元.在上面不等式中令,则,有 , 这表明(). 是完备的. 有理数集Q按距离d(x,y)=|x-y|是距离空间,但不完备.事实上，在有理数集Q中，有理数列收敛, 因而是Cauchy列, 但其极限为，故Q不完备. 注 证明一个距离空间X不完备，通常有两种方法： 1) 构造X中的一个Cauchy列，然后说明该Cauchy列在X中无极限； 2) 直接构造X中的一个极限函数不属于X的收敛点列，该点列一定是X中的Cauchy列. 四 压缩映射原理 设（X,d）是完备距离空间,T:,并且对任意,不等式 成立,其中,则存在唯一的. 压缩映射原理的应用 例题 考虑问题 其中, 在平面上连续并且对变量x满足Lipschitz条件: , 则问题在的某个邻域中有唯一解. 选取,考虑空间