泛函分析读书笔记_-_副本

《泛函 分析 定性数据统计分析pdf销售业绩分析模板建筑结构震害分析销售进度分析表京东商城竞争战略分析 》读书笔记 Reading Notes about Functional Analysis 崔继峰 所谓的泛函呢，就是一般函数，泛函分析当然就是一般函数的分析研究。在学习泛函之前，需要有扎实的《实变函数》知识。大学期间，曾用半年时间学过由南开大学刘炳初教授编著，科学出版社出版的《泛函分析》，讲课的是哈尔滨工业大学的包革军教授，他讲泛函的最大特点是把泛函与几何图形有机结合，把艰深的纯理论讲的惟妙惟肖。在进入研究生学习阶段，《泛函分析》作为计算数学研究生的基础理论课程，是必选的。我们选用的教材是由武汉大学刘培德教授主编，武汉大学出版社出版的《泛函分析（第二版）》，该教材是面向本科生的，系里之所以考虑选择此教材，是由于考虑到有些学生在本科阶段没有或者很粗浅的认识了《泛函分析》这门课程，主讲该课程的是高云兰博士，她的方向就是算子方面的研究，所以讲解该课程那是轻车熟路了。课时大约是48学时（粗略估计）。由于以下两方面的原因：1）对于《泛函分析》认识很粗浅；2）第一次写读书笔记（尤其是专业课类），不知道如何从略。所以读书笔记可能从在诸多问题，希望老师见谅！下面我从几个方面写本学期学习《泛函分析》的感受和认识。我本着这样态度写该笔记：1）了解泛函是什么，泛函的发展（很多教材把这个从略）2）把空间的理论知识系统学习，对于其他理论的学习作抛砖引玉之用。3）学习泛函的实际作用（也就是附录里的滤波器理论的应用）。 泛函分析是研究拓扑线性空间到拓扑线性空间之间满足各种拓扑和代数条件的映射的分支学科。它是20世纪30年代形成的。从变分法、微分方程、积分方程、函数论以及量子物理等的研究中发展起来的，它运用几何学、代数学的观点和方法研究分析学的课题，可看作无限维的分析学。 一、泛函分析的产生     十九世纪以来，数学的发展进入了一个新的阶段。这就是，由于对欧几里德第五公设的研究，引出了非欧几何这门新的学科；对于代数方程求解的一般思考，最后建立并发展了群论；对数学分析的研究又建立了集合论。这些新的理论都为用统一的观点把古典分析的基本概念和方法一般化准备了条件。     本世纪初，瑞典数学家弗列特荷姆和法国数学家阿达玛发表的著作中，出现了把分析学一般化的萌芽。随后，希尔伯特和海令哲来创了“希尔伯特空间”的研究。到了二十年代，在数学界已经逐渐形成了一般分析学，也就是泛函分析的基本概念。     由于分析学中许多新部门的形成，揭示出分析、代数、集合的许多概念和方法常常存在相似的地方。比如，代数方程求根和微分方程求解都可以应用逐次逼近法，并且解的存在和唯一性条件也极其相似。这种相似在积分方程论中表现得就更为突出了。泛函分析的产生正是和这种情况有关，有些乍看起来很不相干的东西，都存在着类似的地方。因此它启发人们从这些类似的东西中探寻一般的真正属于本质的东西。     非欧几何的确立拓广了人们对空间的认知，n维空间几何的产生允许我们把多变函数用几何学的语言解释成多维空间的影响。这样，就显示出了分析和几何之间的相似的地方，同时存在着把分析几何化的一种可能性。这种可能性要求把几何概念进一步推广，以至最后把欧氏空间扩充成无穷维数的空间。     这时候，函数概念被赋予了更为一般的意义，古典分析中的函数概念是指两个数集之间所建立的一种对应关系。现代数学的发展却是要求建立两个任意集合之间的某种对应关系。     这里我们先介绍一下算子的概念。算子也叫算符，在数学上，把无限维空间到无限维空间的变换叫做算子。     研究无限维线性空间上的泛函数和算子理论，就产生了一门新的分析数学，叫做泛函分析。在二十世纪三十年代，泛函分析就已经成为数学中一门独立的学科了。 二、泛函分析的特点和 内容 财务内部控制制度的内容财务内部控制制度的内容人员招聘与配置的内容项目成本控制的内容消防安全演练内容     泛函分析的特点是它不但把古典分析的基本概念和方法一般化了，而且还把这些概念和方法几何化了。比如，不同类型的函数可以看作是“函数空间”的点或矢量，这样最后得到了“抽象空间”这个一般的概念。它既包含了以前讨论过的几何对象，也包括了不同的函数空间。     泛函分析对于研究现代物理学是一个有力的工具。n维空间可以用来描述具有n个自由度的力学系统的运动，实际上需要有新的数学工具来描述具有无穷多自由度的力学系统。比如梁的震动问题就是无穷多自由度力学系统的例子。一般来说，从质点力学过渡到连续介质力学，就要由有穷自由度系统过渡到无穷自由度系统。现代物理学中的量子场理论就属于无穷自由度系统。     正如研究有穷自由度系统要求 n维空间的几何学和微积分学作为工具一样，研究无穷自由度的系统需要无穷维空间的几何学和分析学，这正是泛函分析的基本内容。因袭，泛函分析也可以通俗的叫做无穷维空间的几何学和微积分学。古典分析中的基本方法，也就是用线性的对象去逼近非线性的对象，完全可以运用到泛函分析这门学科中。     泛函分析是分析数学中最“年轻”的分支，它是古典分析观点的推广，它综合函数论、几何和代数的观点研究无穷维向量空间上的函数、算子、和极限理论。他在二十世纪四十到五十年代就已经成为一门理论完备、内容丰富的数学学科了。     半个多世纪来，泛函分析一方面以其他众多学科所提供的素材来提取自己研究的对象，和某些研究手段，并形成了自己的许多重要分支，例如算子谱理论、巴拿赫代数、拓扑线性空间理论、广义函数论等等；另一方面，它也强有力地推动着其他不少分析学科的发展。它在微分方程、概率论、函数论、连续介质力学、量子物理、计算数学、控制论、最优化理论等学科中都有重要的应用，还是建立群上调和分析理论的基本工具，也是研究无限个自由度物理系统的重要而自然的工具之一。今天，它的观点和方法已经渗入到不少 工程 路基工程安全技术交底工程项目施工成本控制工程量增项单年度零星工程技术标正投影法基本原理 技术性的学科之中，已成为近代分析的基础之一。     泛函分析在数学物理方程、概率论、计算数学、连续介质力学、量子物理学等学科有着广泛的应用。近十几年来，泛函分析在工程技术方面有获得更为有效的应用。它还渗透到数学内部的各个分支中去，起着重要的作用。 三、《泛函分析》空间知识认识 泛函中存在诸多空间，这里对于几个重要的空间予以认识。 1. 度量空间 我们在作物理、化学、生物等实验时，通过观察会得到很多值，但总是近似的，这时自然要考虑近似值与准确值的接近程度，反映在数学上这是一个极限问题。数学分析中定义 中点列 的极限是 时，我们是用 来表示 和 的接近程度，事实上， 可表示为数轴上 和 这两点间的距离，那么实数集 中点列 收敛于 也就是指 和 之间的距离随着 而趋于0，即 。 于是人们就想，在一般的点集 中如果也有“距离”，那么在点集 中也可借这一距离来定义极限，而究竟什么是距离呢？ 1.1度量空间的定义 Definition 1.1设 为一非空集合。若存在二元函数 ，使得 ，均满足以下三个条件： （1） 且 （非负性） （2） （对称性） （3） （三角不等式）， 则称 为 上的一个距离函数，（ ）为度量空间或距离空间， 为 两点间的距离。 Notes： 若（ ）为度量空间， 是 的一个非空子集，则（ ）也是一个度量空间，称为（ ）的子空间。 我们可以验证：欧式空间 ，离散度量空间，连续函数空间 ，有界数列空间 ， 次幂可和的数列空间 ， 次幂可积函数空间 EMBED Equation.3 ，均满足距离空间的性质。 Appendix： 次幂可积函数空间 EMBED Equation.3 介绍 ，在 中，我们把几乎处处相等的函数视为同一函数。 有下列重要性质： （1）对线性运算是封闭的。即若 ，则 ，其中 是常数。 （2） 。 设 ，令 ， ，则 故 。 （3） ，定义 EMBED Equation.3 （2.6） 则 是一个距离函数。称 为 次幂可积函数空间，简记为 。 1.2度量空间有重要的定理 Theory 1 对度量空间 有 （1）任意个开集的并集是开集; 有限个开集的交集是开集; （2）任意个闭集的交集是闭集; 有限个闭集的并集是闭集; （3） 与 既是开集又是闭集. Theory 2设 是度量空间, ,则 是 的聚点的充要条件是存在 中点列 ,使 . Theory 3 设 是度量空间, ,则下面的三个陈述是等价的: (1) ; (2) 的任一邻域中都有 的点; （3）有点列 ,使 . Theory 4 设 是度量空间, 是 的非空子集,则 为闭集的充要条件是 . 要比较透彻的研究度量空间，不得不提到一下内容： 2. 映射的连续与一致连续性 Definition 2.1 设X，Y是距离空间，f是X到Y的一个映射。 如果对任何 ，存在 当 时，有 则称f在 连续。又若f在X中每一点都有连续，则称f是X上的连续映射。若对任何 ，存在 ，只要 ，且 ，就有 成立，则称 在 上一致连续。 Example 1 是距离空间X上的连续函数，其中 是X的一固定点。 proof: 任取 EMBED Equation.3 X。因为对 , = = 所以 . 于是任给 ，只要取 ,当 时，就有 ,因此, 是X上的连续函数。 Theory 2.1 设 ， 是距离空间， , ,则下列各命题等价。 (1) 在 连续； （2）对于 的任一邻域 ( , )，都存在 的一个邻域 使得 ； （3）对于X中的任意点列{xn}，若 ，则 。 proof:（1） (2):由 在x0连续的定义知，任给 ,存在 ，当 时有 .注意 即 ,而 即 。所以 。 （2） （3）:由假设 ，即对 ,存在N,当n>N时， .由（2）有 ，即 ,因此 ， （3） （1）：反证法。假设 在x0不连续，则必存在某个正数 ，使得对于每一个 有 满足 ,但 这与 矛盾。 Theory 2.2 设 ， 是距离空间， 。则 是连续映射的充分必要条件是，对Y中的任一开集 ，其原象 是开集。 proof: 必要性，不妨设 非空。任取 ，即 。因G是开集，故存在 ，使 。由于 连续，所以对 ，有 ,使得 。即 。说明 是 的内点，故 是开集。 充分性：任取 ，对任意的 ，取开集 ，则 由假设 是开集，因而存在 ，使 ,故 ，即 在 连续。 Definition2.2设 ， 是两个度量空间， ，点 ，若对任意 ，都存在 ，使得当 ，且 ， 时，恒有 成立，则称二元映射 在 点是连续的。若 在 上每点都连续，则称 是 上点连续二元映射。若上述 与点 无关，则称 在 上一致连续。 Theory 2.3 度量空间 中的距离函数 是 上的连续二元函数。 3 完备性 实数空间R具有完备性，即R中任何基本列必收敛于某实数。现在我们将这些概念引到一般距离空间中来。 3.1 完备性概念 Definition 3.1 设{xn}是距离空间X中的一个点列，若对任何 ，存在N，当m,n>N时，有 则称{xn}是X中的一个基本列（或Cauchy列）。 如果X中的任何基本列都在X中收敛，则称X是完备的距离空间。 Theory 3.1 设 是度量空间，则 （1）收敛点列是基本列； （2）基本列是有界的； （3）若基本列含有一收敛子列，则该基本列收敛，其极限即该子列之极限。 proof:（1）设 、 ，且 。则 ， ，当 时， ，从而 ， 时， 。 （2）设 为一基本列，则对 ，存在 ，当 时，有 ，记 ，则对任何 ，均有 成立，即 有界。 设 为一基本列，且 是 的收敛子列， 于是， ，当 时， ； ，当 时， 。取 ，则当 ， 时， ，从而有 ，故 。 Example 2 C[a,b]是完备的距离空间。 proof: 设{xn}是C[a,b]中的基本列，即任给 ,存在N，当m,n>N时， 即 故对所有的t∈[a,b], 由一致收敛的Cauchy准则，知存在连续函数x(t)，使{xn(t)}在[a,b]上一致收敛于x(t)，即 ,且x∈C[a,b].因此C[a,b]完备。 Example 3 空间 是完备的距离空间。 proof: 取{xn}是 中的基本列，即任给 ，存在N，当m,n>N时， 于是对1/2k有nk,且nk+1>nk使 由Holder不等式，得 故有 由前面定理知 (n乎处处成立）, 即 收敛，从而部分和 = 几乎处处收敛(k→∞)。因此存在一个函数x(t)，使 以下证明在 中, ,且 。 由假设，任给ε>0,存在N，当m,n>N时， 任意固定一个n，使n>N,取k0>N,当k>k0时m=nk>nN>N,故有 应用法杜定理 又因 所以有 。 最后，由 而 。故得 。 我们知道，有理数空间是不完备的，但添加一些点以后得到的实数空间是完备的，而完备的实数空间有着许多有理数空间不可比拟的好的性质与广泛的应用。对于一般的距离空间也是一样，完备性在许多方面起着重要作用。那么是否对于任一不完备的距离空间都可以添加一些点使之成为完备的距离空间呢？答案是肯定的。下面给出空间完备化的定义与结论。设X，Y是距离空间，T:X→Y,如果对任何的x1,x2∈X,都有 则称T是X到Y上的等距映射，并称X与Y等距。 可以证明，对于每一个距离空间X，必存在一个完备化的距离空间X0，使得X等距于X0中的一个稠密子空间X′，如果除去等距不计，X0还是唯一确定的。 4可分性 在实数空间R中，有理数处处稠密，且全体有理数是可列的，我们称此性质为实数空间R的可分性。同时，实数空间R还具有完备性，即R中任何基本列必收敛于某实数。现在我们将这些概念引到一般距离空间中来。 Definition 4.1 设X是距离空间， ，如果对任何 ，总存在{xn} ，则称A在B中稠密（或A是B的稠密子集）。又若B=X，通常称A在X中处处稠密。 Theory 4.1 设 是度量空间，A在B中稠密与下列各命题互相等价， （1） （其中 {A的聚点}称为A的闭包）。 （2）对任何 及 （x的邻域）内都含有A的点。 （3）任取一个 。即由以A中每一点为中心 为半径的开球组成的集覆盖B。 另外，稠密集还有如下性质：若A在B中稠密，B在C中稠密，则A在C中稠密。 Definition 4.2 距离空间X叫做可分的，是指在X中存在一个稠密的可列子集。 叫做可分的，是指存在X中的可列子集B，使B在A中稠密，即 。 欧氏空间Rn是可分的，因为坐标为有理数的点组成的集构成Rn的一个可列稠密子集。 空间C[a,b]是可分的，可以证明：具有有理系数的多项式的全体P0在C[a,b]中稠密，而P0是可列集还可以证明空间 等都是可分的。 存在着不可分的距离空间。 考虑 中的子集 则当x,y∈A,x 时，有 。 因[0,1]中每一个实数可用二进制表示，所以A与[0,1]一一对应，故A不可列。 假设 可分，即存在一个可列稠密子集A0，以A0中每一点为心，以 为半径作开球，所有这样的开球覆盖 ，也覆盖A。因A0可列，而A不可列，则必有某开球内含有A的不同的点，设x与y是这样的点，此开球中心为X0，于是 矛盾，因此 不可分。 5赋范线性空间与Banach 空间 Definition 5.1 设 是实（或复）线性空间，如果对于 中每个元素 按照一定的法则对应于一个实数 ，满足： 或简称 为赋范线性空间。 设 是赋范线性空间，对于 及 令 那么从范数的定义可以验证ρ(x,y)满足距离的所有条件，我们称这样得到的距离为由范数 诱导出的距离，这时 构成一个距离空间。 已知赋范线性空间是特殊的距离空间，如果ρ(x,y)是范数所诱导出来的距离，那么这种距离和线性运算之间存在着以下关系。对任何x,y 及 有 反之，设 是线性空间，又其上有距离 ，满足上述条件（1）和（2），我们定义 可以验证它满足范数条件，并且由这个范数诱导出来的距离即原来的距离 。这就是说，对于具有线性运算的距离空间，如果它的距离与线性运算之间满足条件（1），（2），即可成为赋范线性空间。 既然任何一个赋范线性空间都可以看成是距离空间，那么距离空间中的邻域、开集、闭集、可分性与完备性、列紧性与紧性等概念都可以相应定义。下面给出赋范线性空间中的收敛概念。 Definition 5.2： 设 是赋范线性空间， x，xn （n=1,2,3,…），若 则称点列{xn}依范数收敛于x，记作 ，有时简记为 。 Definition 5.3：完备的赋范线性空间称为Banach空间。 对于课本上的内容就做这些笔记吧，因为其他重要内容书本很透彻的讲解了，况且如果照顾很多细节内容的话，哪个也写不清楚，只能把握重要的和熟悉的内容，方法。我接下对泛函分析应用举例来说明学习泛函到底有什么用？（这是很多初学者困惑的地方，我个人认为）我把这本部分内容作为笔记的附录内容。 Appendix： （本附录非常适合于对滤波器的基本概念和术语不是十分熟练的读者，但是该例子可以适当说明泛函的广泛最用） A.1 理论及定义 首先，我们介绍 上的线性算子的一个一般结论。 Theory A.1 设 EMBED Equation.3 为一平移可交换的连续线性算子，则存在序列 ，使得对任何 ，均有下式成立： (A.1) 而且，函数 ， 。反之，若 且 ，则 (A.1)式定义了一个平移可交换的连续线性算子，且 。 proof: 设 EMBED Equation.3 为一平移可交换的连续线性算子， 为 的 标准 excel标准偏差excel标准偏差函数exl标准差函数国标检验抽样标准表免费下载红头文件格式标准下载 基，且 ，则 。令 ，因为 具有平移可交换性，所以对任何 (A.2) 成立。我们转到光谱领域并定义算子 ： EMBED Equation.3 为： ， ，其中 。 由于傅里叶变换为等距变换，从而 为有界线性算子且 。在(A.2)中两边同时用傅里叶变换可得： EMBED Equation.3 。由 的定义知， EMBED Equation.3 ，由线性性可知，对任何有限的三角和 均有 成立。我们断言对所有 ，此式成立。事实上，设 有限的三角和且 EMBED Equation.3 ，由 的连续性知， EMBED Equation.3 。又 ， ，而 EMBED Equation.3 ， 当 时，上式的右边趋于0，于是 EMBED Equation.3 。再加上 EMBED Equation.3 ，从而函数 和 几乎处处相等。即，对 ， EMBED Equation.3 。 这里，纯粹是应用测度、积分及泛函分析知识来证明 EMBED Equation.3 且 。一般的结论是：设 为可测空间， EMBED Equation.3 且对所有 EMBED Equation.3 均有 EMBED Equation.3 成立。则 （i） EMBED Equation.3 EMBED Equation.3 EMBED Equation.3 EMBED Equation.3 为有界线性变换，其中 定义为： EMBED Equation.3 ， ； (ii) EMBED Equation.3 且 。 然而由于它有丰富的整数群结构及对偶群 ，所以有一种更好的方法来处理。 为了证明 EMBED Equation.3 ，我们考虑这种特殊的单位向量 EMBED Equation.3 。 因为 及 ，所以 。通过计算得 EMBED Equation.3 ， 其中 EMBED Equation.3 EMBED Equation.3 为 核。因而 EMBED Equation.3 EMBED Equation.3 EMBED Equation.3 ,于是 EMBED Equation.3 EMBED Equation.3 关于 一致成立。又 EMBED Equation.3 , 在 中趋近于 ，故 EMBED Equation.3 EMBED Equation.3 。概括起来，我们已证明对于三角多项式，均有 成立，且已证明 EMBED Equation.3 且 。又已证明得 EMBED Equation.3 ，于是立即可知对任何 EMBED Equation.3 ， 成立且 ，从而结论的一方得以证明。 为了证明结论的另一方，我们假定 且 。对 ，定义 为： EMBED Equation.3 ， (A.3) (注意 通常称为 和 的离散卷积。)下面我们需证明 EMBED Equation.3 ， 有界且 ，(线性性及平移可交换性显然。)这可由 EMBED Equation.3 (A.4) 及前半部分的证明直接得出。证明结束。 这个定理为离散滤波器的 理论奠定了基础。事实上，我们定义滤波器 EMBED Equation.3 EMBED Equation.3 EMBED Equation.3 为平移可交换的连续线性映射。虽然在不同的定义域、值域及拓扑里，滤波器有不同的定义，但不管是哪中情形，滤波器总是连续且平移不变的。 的范围符合我们的要求。 定义滤波器 的脉冲响应为 ，序列 EMBED Equation.3 也称为滤波器。若只有有限个 不为0，我们称此滤波器有有限脉冲响应(FIR),则它是一个FIR滤波器。否则，则它具有无穷脉冲响应(IIR)。实际应用中，滤波器均是有限的，但并不是说IIR滤波器没有用处；它们在理论上起着重要的作用，应用中也可以用有限滤波器来逼近。然而存在有限滤波器被 设计 领导形象设计圆作业设计ao工艺污水处理厂设计附属工程施工组织设计清扫机器人结构设计 为有限的，例如把有限滤波器与具有紧支撑的小波联系起来。目前我们将考虑一般的情形，只假定 。 定义 的转移函数为 周期函数 。 习惯上，常用 指 的转移函数。 设 为 上的有界线性算子，其伴随算子 定义为 ， 。 若 为滤波器 ，通过简单计算可得 为滤波器 ，从而 。 A.2 一般的2—信号通道数滤波器组 一般的2—信号通道数滤波器组如图A.1所示： 图A.1 一般的2—信号通道数滤波器组 虽然我们试图强调量化和传送在实际应用中的存在重大问题，但这里假定它们都是理想的。设分光滤色片 和 经过亚抽样（ 算子），然后上抽样（ 算子），再合成（或重建） 和 ，而后输出。 若 为滤波器 的输出结果，则经过亚抽样后，信号表示为 。可记作： ， 类似的 。 故输出 为： (A.5) 注意这个输出包括输入信息的两种形式：原始信号 加上它的混叠—— 。信号处理专家告诉我们，这一部分不是我们需要的，故为了得到精确的重建，第一步是令 的系数为0，即： ， (A.6) 为了使输出恰好等于输入的信息，必须有： (A.7) 实际应用中，这个要求放宽为： ， (A.8) 这表示原始信号可以被延迟。 (A.6)和(A.8)是两个非常经典的关系式，已在过去的二十多年里应用多种方法得到了“解决”。下面介绍它们的几个解。Esteban和Galand选取 ， ， 。 易发现它们满足(A.6)，而条件(A.8)变为 。 其中 必须为奇数，由于当 时，改变了上式左边的符号，所以Esteban和Galand称这些滤波器为镜像正交滤波器(QMFs). 称为“镜像”的原因是：若把函数 延拓为单位圆环域上的解析函数 F0 , 则F1 F2 ，且当 变为 时，滤波器关于原点镜像对称。“正交”的思想稍稍复杂点，Esteban和Galand考虑的是实的对称FIR滤波器 ， 且当 时， 。这些条件隐含了滤波器 和 的相位相差 ：因而相位是正交的。 遗憾的是，只有Haar滤波器（[253]）满足这些条件。为了确定此状况，Smith和Barnwell引入了以下条件（考虑实滤波器）[238]，[239]： ， 为奇数， ， . 这些滤波器被命名为共轭正交滤波器(CQFs)。显然关系式(A.6)成立，而条件(A.8)化为 。 于是问题转化为寻找满足此关系的滤波器 。实际应用中，人们希望 为有限滤波器（FIR）且有“因果关系” 。因果关系是指没有输入便没有输出，或正式的说，若 EMBED Equation.3 ，则 EMBED Equation.3 。易发现有限因果滤波器必具有以下形式： 。 首先我们指定 ， 。则问题为寻找满足(A.6) 和(A.8)的 和 。但条件为 ， (A. ) ， (A. ) 这正是定理3.1中的矩阵为酉的条件。这些条件在定理3.1的证明中十分重要。经简单计算可知(A. )和(A. )隐含了(3.1)。在其它方向，这个隐含更具技巧性。 最后，初学者应注意的是在这件事情上有许多约定。有些作者对 保留了奇系数而不是偶系数，这种情况下 EMBED Equation.3 。也有关于转移函数的定义的约定：有时定义为 。这些差异令人困惑，但不影响基本结果。 ***我们可以从上例看到，需要用到大量的泛函的概念和定理，其实，这样的实际例子有很多，它被广泛应用于数学物理方程，统计（与Markou随机过程的理论研究）等许多相关学科领域。 当然，泛函中还有很多重要的概念和定理，这里就不在详细的论述了。但是不得不提到的是Riesz引理，有界线性算子（附录里已经用到），共鸣定理，Banach-Steinhaus定理，开映射定理和闭图像定理，（在这里我想特别的指出，从Banach空间到Banach空间上的有界线性算子是开算子。）逆算子定理，Banach定理，凸集的隔离定理，Helly定理，共轭空间（不仅仅是由原空间派生出的一种新空间，而且提供了认识原空间的新工具）和共轭算子，Hillbert空间，Riese-Fisher定理，投射定理。这些定理都有很好的性质和广泛的应用。如果还想深入了解和学习泛函的话，以下的经典教材是不得不看的： (1)夏道行,吴卓人,严绍宗,舒五昌等.实变函数与泛函分析.北京:人民教育出版社,1979. (2)吉田耕作.泛函分析.吴元凯等译.北京:人民教育出版社,1980. (3)A.B.Taylor.Introduction to Functional Analysis.New York,1958. PAGE 14 _1150090916.unknown _1170681445.unknown _1174060953.unknown _1174061418.unknown _1174062533.unknown _1174064613.unknown _1174065297.unknown _1174065908.unknown _1174066224.unknown _1289884845.unknown _1289885138.unknown _1289885216.unknown _1289885408.unknown _1289885320.unknown _1289885160.unknown _1289885170.unknown _1289884918.unknown _1289885061.unknown _1289884861.unknown _1289884462.unknown _1289884582.unknown _1289884803.unknown _1174663944.unknown _1174664950.unknown _1174664881.unknown _1174067731.unknown _1174066038.unknown _1174066075.unknown _1174066108.unknown _1174066061.unknown _1174065956.unknown _1174065984.unknown _1174065926.unknown _1174065623.unknown _1174065810.unknown _1174065876.unknown _1174065656.unknown _1174065448.unknown _1174065464.unknown _1174065326.unknown _1174064806.unknown _1174065021.unknown _1174065038.unknown _1174065288.unknown _1174064813.unknown _1174064861.unknown _1174064950.unknown _1174064681.unknown _1174064715.unknown _1174064731.unknown _1174064659.unknown _1174063673.unknown _1174064552.unknown _1174064575.unknown _1174063821.unknown _1174063344.unknown _1174063362.unknown _1174062702.unknown _1174062718.unknown _1174062823.unknown _1174063010.unknown _1174062779.unknown _1174062648.unknown _1174062664.unknown _1174062600.unknown _1174061713.unknown _1174062378.unknown _1174062482.unknown _1174062498.unknown _1174062403.unknown _1174062190.unknown _1174062320.unknown _1174061975.unknown _1174061473.unknown _1174061504.unknown _1174061586.unknown _1174061619.unknown _1174061628.unknown _1174061517.unknown _1174061481.unknown _1174061447.unknown _1174061465.unknown _1174061426.unknown _1174061296.unknown _1174061371.unknown _1174061386.unknown _1174061399.unknown _1174061379.unknown _1174061334.unknown _1174061340.unknown _1174061307.unknown _1174061051.unknown _1174061090.unknown _1174061107.unknown _1174061080.unknown _1174061010.unknown _1174061026.unknown _1174060989.unknown _1174060663.unknown _1174060787.unknown _1174060884.unknown _1174060902.unknown _1174060929.unknown _1174060893.unknown _1174060863.unknown _1174060876.unknown _1174060843.unknown _1174060701.unknown _1174060725.unknown _1174060741.unknown _1174060713.unknown _1174060715.unknown _1174060692.unknown _1170690922.unknown _1174060233.unknown _1174060283.unknown _1174060627.unknown _1174060658.unknown _1174060366.unknown _1174060249.unknown _1170694798.unknown _1170695304.unknown _1170695993.unknown _1170697124.unknown _1174059982.unknown _1174060150.unknown _1170697330.unknown _1170696955.unknown _1170695851.unknown _1170695935.unknown _1170695363.unknown _1170695832.unknown _1170694948.unknown _1170695253.unknown _1170694824.unknown _1170693476.unknown _1170694713.unknown _1170694776.unknown _1170694048.unknown _1170691111.unknown _1170691192.unknown _1170690979.unknown _1170686496.unknown _1170688888.unknown _1170689419.unknown _1170690285.unknown _1170690356.unknown _1170690269.unknown _1170689269.unknown _1170689392.unknown _1170688900.unknown _1170687765.unknown _1170688652.unknown _1170688735.unknown _1170688468.unknown _1170687108.unknown _1170687197.unknown _1170686655.unknown _1170682378.unknown _1170685488.unknown _1170686395.unknown _1170686448.unknown _1170685665.unknown _1170683276.unknown _1170685340.unknown _1170685470.unknown _1170683321.unknown _1170682461.unknown _1170681805.unknown _1170682124.unknown _1170682233.unknown _1170681896.unknown _1170681595.unknown _1170681793.unknown _1170681525.unknown _1158824981.unknown _1170667600.unknown _1170674999.unknown _1170678818.unknown _1170679144.unknown _1170679409.unknown _1170679482.unknown _1170681433.unknown _1170679436.unknown _1170679233.unknown _1170679372.unknown _1170679158.unknown _1170678839.unknown _1170678987.unknown _1170679059.unknown _1170678894.unknown _1170676780.unknown _1170676988.unknown _1170676926.unknown _1170676933.unknown _1170676832.unknown _1170675432.unknown _1170676006.unknown _1170676028.unknown _1170675586.unknown _1170675670.unknown _1170675883.unknown _1170675448.unknown _1170675271.unknown _1170675391.unknown _1170675411.unknown _1170675282.unknown _1170675070.unknown _1170675243.unknown _1170675022.unknown _1170672009.unknown _1170673485.unknown _1170673821.unknown _1170674632.unknown _1170674664.unknown _1170674767.unknown _1170674658.unknown _1170674390.unknown _1170674615.unknown _1170674255.unknown _1170673632.unknown _1170673738.unknown _1170673800.unknown _1170673674.unknown _1170673585.unknown _1170673625.unknown _1170673517.unknown _1170672786.unknown _1170673162.unknown _1170673257.unknown _1170673405.unknown _1170673222.unknown _1170672851.unknown _1170672938.unknown _1170672812.unknown _1170672403.unknown _1170672632.unknown _1170672443.unknown _1170672583.unknown _1170672227.unknown _1170672379.unknown _1170672199.unknown _1170670989.unknown _1170671214.unknown _1170671504.unknown _1170671590.unknown _1170671609.unknown _1170671526.unknown _1170671290.unknown _1170671317.unknown _1170671281.unknown _1170671140.unknown _1170671171.unknown _1170671185.unknown _1170671071.unknown _1170671117.unknown _1170670392.unknown _1170670580.unknown _1170670710.unknown _1170670935.unknown _1170670944.unknown _1170670736.unknown _1170670622.unknown _1170670480.unknown _1170670568.unknown _1170670398.unknown _1170670065.unknown _1170670200.unknown _1170670292.unknown _1170670163.unknown _1170669952.unknown _1170670040.unknown _1170669754.unknown _1158827072.unknown _1170665481.unknown _1170666323.unknown _1170667099.unknown _1170667297.unknown _1170667394.unknown _1170667258.unknown _1170666673.unknown _1170666918.unknown _1170666547.unknown _1170666011.unknown _1170666080.unknown _1170666179.unknown _1170665918.unknown _1170665975.unknown _1170665650.unknown _1170665596.unknown _1170664624.unknown _1170665179.unknown _1170665283.unknown _1170665427.unknown _1170664782.unknown _1170665133.unknown _1170664921.unknown _1170664250.unknown _1170664323.unknown _1170664188.unknown _1170663817.unknown _1170663824.unknown _1158827206.unknown _1170663496.unknown _1158825075.unknown _1158825808.unknown _1158826244.unknown _1158825728.unknown _1158824998.unknown _1150115097.unknown _1158823706.unknown _1158824669.unknown _1158824703.unknown _1158824785.unknown _1158824326.unknown _1158824558.unknown _1158824642.unknown _1158824240.unknown _1150115702.unknown _1150178417.unknown _1150178450.unknown _1158823532.unknown _1150115777.unknown _1150115788.unknown _1150115337.unknown _1150115482.unknown _1150115283.unknown _1150114457.unknown _1150114860.unknown _1150114915.unknown _1150114971.unknown _1150114888.unknown _1150114616.unknown _1150114764.unknown _1150114536.unknown _1150092062.unknown _1150113966.unknown _1150113981.unknown _1150113949.unknown _1150092056.unknown _1028902675.unknown _1150045899.unknown _1150048121.unknown _1150048315.unknown _1150049011.unknown _1150055856.unknown _1150088848.unknown _1150049084.unknown _1150048601.unknown _1150048837.unknown _1150048409.unknown _1150048496.unknown _1150048235.unknown _1150048285.unknown _1150048156.unknown _1150046836.unknown _1150047951.unknown _1150046896.unknown _1150047306.unknown _1150046021.unknown _1150046500.unknown _1150045942.unknown _1030288777.unknown _1033972742.unknown _1064324522.unknown _1064325150.unknown _1064325276.unknown _1064325346.unknown _1064476963.unknown _1064325323.unknown _1064325211.unknown _1064324758.unknown _1064325004.unknown _1064324623.unknown _1033973134.unknown _1033973236.unknown _1033973287.unknown _1064324467.unknown _1033973254.unknown _1033973190.unknown _1033973025.unknown _1033973051.unknown _1033972991.unknown _1030289475.unknown _1033039500.unknown _1033039595.unknown _1033039826.unknown _1030365111.unknown _1030366991.unknown _1030367247.unknown _1030289588.unknown _1030288965.unknown _1030289094.unknown _1030289113.unknown _1030289138.unknown _1030289019.unknown _1030288850.unknown _1030281751.unknown _1030282189.unknown _1030283029.unknown _1030283121.unknown _1030282700.unknown _1030282754.unknown _1030282259.unknown _1030281931.unknown _1030282063.unknown _1030281784.unknown _1028998887.unknown _1028999800.