泛函分析部分知识点汇总.docVIP

度量空间：把距离概念抽象化，对某些一般的集合引进点和点之间的距离，使之成为距离空间，这将是深入研究极限过程的一个有效步骤。 泛函分析中要处理的度量空间，是带有某些代数结构的度量空间，例如赋范线性空间，就是一种带有线性结构的度量空间。 一、度量空间的进一步例子 1、度量空间 设x是一个集合，若对于x中任意两个元素x,y ,都有唯一确定的实数d(x,y)与之对应，而且这一对应关系满足下列条件： 1° 的充要条件为x=y 2° 对任意的z都成立， 则称 d(x,y) 是 x,y 之间的距离，称 d(x,y)为度量空间或距离空间。x 中的元素称为点。 2、常见的度量空间 （1）离散的度量空间 设 x是任意的非空集合，对 x 中的任意两点 ，令 称 为离散的度量空间。 （2）序列空间S 令S表示实数列（或复数列）的全体，对S中的任意两点 令 称 为序列空间。 （3）有界函数空间B(A） 设A是一个给定的集合，令B(A)表示A上有界实值（或复值）函数全体，对B(A)中任意两点x,y ，定义 （4）可测函数空间 设M(X)为X上实值（或复值）的勒贝格可测函数全体，m为勒贝格测度，若 ，对任意两个可测函数 及 由于 ，所以这是X上的可积函数。令 （5）C[a,b]空间 令C[a,b] 表示闭区间[a,b]上实值（或复值）连续函数全体，对 C[a,b]中任意两点x,y，定义 二、度量空间中的极限、稠密集、可分空间 1、收敛点列 设 是（X，d）中点列，如果存在 ，使 则称点列 是（X，d） 中的收敛点列，x是点列 的极限。 收敛点列性质： （1）在度量空间中，任何一个点列最多只有一个极限，即收敛点列的极限是唯一的。 （2）M是闭集的充要条件是M中任何收敛点列的极限都在M中。 2、收敛点列在具体空间中的意义 （1）n 维欧式空间中： 为 中的点列， 即： 按欧式距离收敛于x 的充要条件是 依坐标收敛于 （2）序列空间S中： 为 S中的点列， （3）C[a,b]空间 设 及X分别为C[a,b] 中的点列及点， （4）可测函数空间M(X) 设 及 f分别为可测函数空间中的点列及点， 3、稠密集，可分空间 （1）设X是度量空间，E和M是X中的两个子集，令 表示M的闭包，如果 ，那么称集M在集E中稠密。 等价定义： 如果E 中任何一点x 的任何邻域都含有集M中的点，就称M在E中稠密。 对任一 ，有M中的点列 ，使得 （2）当E=X时，称集M为X的一个稠密子集。 （3）如果X有一个可数的稠密子集时，称X为可分空间。 三、连续映射 1、度量空间中的连续性 设 X=(X,d)，Y=（Y，d） 是两个度量空间，T是X到Y中的映射, 如果对于任意给定 ，存在 ，使对X中一切满足 的x，成立 则称T在 连续。 我们也可以用集显来定义映射的连续性 连续性的极限定义 设T是度量空间(X,d)到（Y，d） 中的映射，那么T在 连续的充要条件为当 时，必有 2、连续映射 如果映射T在X的每一点都连续，则称T是X上的连续映射。 称集合 为集合M在映射T下的原像。 定理： 度量空间X到Y的映射T是X上的连续映射的充要条件为Y中任意开集M的原像 是X中的开集。 四、柯西点列和完备度量空间 1、柯西点列 设 X=(X,d)是度量空间， 是X中点列，如果对任何事先给定的 ，存在正整数 ，使当n，mN时，必有 则称 是X中的柯西点列或基本点列。 总结：在实数空间当中，柯西点列一定是收敛点列；但是在一般的度量空间当中，柯西点列不一定收敛，但是每一个收敛点列一定是柯西点列。 2、完备的度量空间 如果度量空间(X,d)中每一个柯西点列都在(X,d)中收敛，则称(X,d)是完备的度量空间。 子空间完备性定理 完备度量空间X的子空间M，是完备空间的充要条件是：M是X中的闭子空间。 五、度量空间的完备化 1、等距同构映射 设(X,d)， 是两个度量空间，如果存在X到 的保距映射T ，即 ，则称 (X,