泛函分析专题练习.docVIP

目 录 前 言：泛函分析简介 第一部分：习题单列 专题之一：　度量空间基本概念 专题之二：　完备度量空间 专题之三：　压缩映射原理 专题之四：　赋范线性空间 专题之五：　列紧集与紧性 专题之六：　稠密性与可分性 专题之七：　线性算子与泛函的基本概念 专题之八：　有界线性泛函的表示 专题之九：　线性泛函的延拓 专题之十：　共鸣定理 专题之十一：　开映射定理与闭图像定理 专题之十二：　内积空间与Hilbert空间 专题之一： 度量空间基本概念 1．在上，令 （１）, （２）， （３）， 证明：是度量空间． 【注】另外，若令 ，　， 则可以验证分别关于和也构成度量空间． 2．设是任意的非空集合，对中的任意元，令 证明：关于构成度量空间． 3．设是实数全体，规定对，令，证明：关于构成度量空间． 4．设是非空集合，对任何自然数，有上的函数，满足 （１）对任何，，； （２），． 又设对一切自然数，均有时，必有．证明：按照 成为度量空间，且对，按照距离收敛于的充要条件是对一切自然数，均有　． 5．取所有有界复数列作为元素组成集合，对每个元素（简记作），都存在一个实数，使得，按照定义度量，令，证明：是度量空间． 6．设是Lebesgue可测集，．设是上实值（或复值）可测函数全体，当，在上几乎处处相等时，把和看做中的同一点，且对于，定义 ， 证明：（１）是上的一个度量； （２）在中，的充要条件是依测度收敛于． 7．设是一个度量空间，其度量为，．证明： ，　 是上的另一度量，并且是有界的． 8．设是上连续函数的全体，，定义 ， 证明：按照构成度量空间． 9．设是区间上无限次可微函数的全体，定义 ． 证明：按照构成度量空间． 10．设．在上定义．证明：（，）构成Banach空间． 或者等价地，令 ，． 证明：按照构成完备的度量空间． 专题之二： 完备度量空间 1．设与均是上的度量，且存在，使得，有 ． 证明：与中有同样的Cauchy列． 2．证明：空间是完备的． 2．证明：空间是完备的，其中． 3．证明：空间是完备的，其中． 4．证明：空间是完备的． 5．证明与的一个子空间等距同构． 【提示】若，定义，，且 　 证明是到的子空间的一个同构映射． 6．设是一个度量空间．证明：是完备度量空间对中的任何一闭球套，其中，当时，必有唯一的． 专题之三： 压缩映射原理 1．设是一度量空间，当时，：满足，且有一不动点，证明：不动点是唯一的． 2．（１）设为压缩映射，证明：　仍是压缩映射； （２）若，是压缩映射，证明：不一定是压缩映射． 3．设　是一组实数，满足，其中 证明：代数方程组　对任何一组必有唯一解． 4．（隐函数存在定理）设函数在条形域：，上处处连续，且处处有偏导数，且存在常数，使得在条形域中有 ，证明：方程在上必有唯一连续解． 5．设，是三角域上的连续函数，且，证明：对于任何常数，方程 　　（＊）。在上有唯一的连续函数解． 【注】此题中的方程（＊）称为Volterra积分方程．考虑二阶常微分方程的初值问题 ，则可转化为一个Volterra积分方程． 实际上对两边积分两次，并代入初始条件，得 ． 对用分部积分，得 ， 即 ， 此即Volterra型积分方程． 6．（第二类Fredholm型积分方程）设第二类Fredholm型线性积分方程 （☆） 其中为参数，对充分小的，则 （１）当，是定义在上的连续函数时，（☆）有唯一的连续解，而且是迭代序列 的极限，其中可取中的任意函数． （２）当，积分核是定义在上的可测函数，满足 ，则（☆）有唯一解． 7．（隐函数存在定理）令是中的点的一个领域，假设是中的和的连续函数，并且在中存在，且在连续．则当 （１）；　　（２） 时，则在的某一领域内，存在唯一的连续函数 ，使得． 专题之四： 赋范线性空间 1．设为数域上的赋范线性空间，证明：线性运算关于范数是连续的．即对，， ，当，，，时，有 ．且当时，有． 2．设为赋范线性空间，令 证明：是度量空间，但不是由范数导出的度量． 3．设是上有界变差函数的全体，对于每个，定义 ，其中，为在上的全 变差，即．这里代表 的任意一个分割， 是线性空间，证明：是赋范线性空间． 4．设线性空间关于成为度量空间，而且满足 ，　　， 其中是中的任意元，是任意数．证明： 按照成为赋范线性空间． 5．证明：设一列赋范线性空间．令 ， 用类似于数列的加法和数乘引进线性运算，并定义范数为： ，　．　 证明：是赋范线性空间． 【注】特别地，若， 范数即是通常的绝对值，则上题中 最终得到的赋范线性空间就是空间． 6．证明： （１），是上的范数； （２）　是上的范数． 专题之五： 列紧集与紧性 1．证明：空间 中的集合是相对紧集的充分必要条件是满足下列两个条件： （１）存在常数，使得对任意，有，即；