第七章度量空间研究报告.pptVIP

泛函分析部分 第七章 度量空间和赋范线性空间 第八章 有界线性算子和连续线性泛函 * * 第七章 度量空间和赋范线性空间 §1 度量空间的进一步例子 §2 度量空间中的极限、稠密集、可分空间 §3 连续映射 §4 柯西点列和完备度量空间 §6 压缩映射原理及其应用 §8 赋范线性空间和巴拿赫空间 泛函分析：是20世纪发展起来的一门新的学科，德国数学家希尔伯特，波兰数学家巴拿赫，匈牙利—美国数学家冯.诺依曼，为此做出了主要贡献。 泛函分析研究内容：是函数与数之间的对应关系； 例如：定积分就是一个泛函。 算子：函数空间和函数空间的对应关系。 例如：微分就是一个算子。 引言： §1 度量空间的进一步例子 度量空间（距离空间）： 把距离概念抽象化，对某些一般的集合引进点和点之间的距离，使之成为距离空间，这将是深入研究极限过程的一个有效步骤。 泛函分析中的度量空间（距离空间）： 泛函分析中要处理的度量空间，是带有某些代数结构的度量空间，例如赋范线性空间，就是一种带有线性结构的度量空间。 1、度量空间 设 是一个集合，若对于 中任意两个元素 ,都有唯一确定的实数 与之对应，而且这一对应关系满足下列条件： 1° 的充要条件为 2° 对任意的 都成立， 则称 是 之间的距离，称 为度量空间或距离空间。 中的元素称为点。 称为点 的 邻域， 称为邻域的中心， 称为邻域的半径。 2、常见的度量空间 （1）n维欧式度量空间 （2）离散的度量空间 设 是任意的非空集合，对 中的任意两点 ，令 称 为离散的度量空间。 （3）序列空间S 令S表示实数列（或复数列）的全体，对S中的任意两点 令 称 为序列空间。 设A是一个给定的集合，令B(A)表示A上有界实值（或复值）函数全体，对B(A)中任意两点 ，定义 设 为X上实值（或复值）的勒贝格可测函数全体，m为勒贝格测度，若 ，对任意两个可测函数 及 （4）有界函数空间B(A） （5）可测函数空间 由于 ，所以这是X上的可积函数。令 （4）有界函数空间B(A） 令 表示闭区间[a,b]上实值（或复值）连续函数全体，对 中任意两点 ，定义 （6） 空间 （6） 空间 设 ，定义 设 是 中点列，如果存在 ，使 则称点列 是 中的收敛点列， 是点列 的极限。 §2 度量空间中的极限、稠密集、可分空间 1、收敛点列 收敛点列性质： （1）在度量空间中，任何一个点列最多只有一个极限，即收敛点列的极限是唯一的。 2、收敛点列在具体空间中的意义 （2）M是闭集的充要条件是M中任何收敛点列的极限都在M中。 （1）n 维欧式空间中： 为 中的点列， 即： 按欧式距离收敛于 的充要条件是 依坐标收敛于 （2）序列空间S中： 为 中的点列， 设 及 分别为 中的点列及点， （3） 空间 （4）可测函数空间 设 及 分别为可测函数空间中的点列及点， 3、有界集 设M是度量空间 中点集，定义 为点集M的直径，若 ，则称M为 中的有界集。 常用结论：度量空间中的收敛点列是有界点集。 4、稠密集，可分空间 （1）设X是度量空间，E和M是X中的两个子集，令 表示M的闭包，如果 ，那么称集M在集E中稠密。 等价定义： 如果E 中任何一点x 的任何邻域都含有集M中的点，就称M在E中稠密。 （2）当E=X时，称集M为X的一个稠密子集。 （3）如果X有一个可数的稠密子集时，称X为可分空间。 对任一 ，有M中的点列 ，使得 例题 1：（1）多项式全体所成的线性空间P是度量空间 的子集，则P在 中是稠密的。其中，以有理数为系数的多项式全体是一个可数集，所以 是可分空间。 （2）n 维欧式空间