泛函分析整理笔记

《泛函分析》读书笔记

课程题目：泛函分析 任课教师：高云兰博士 学生姓名：崔继峰 学生学号：20081058

2008年12月10日

《泛函分析》读书笔记

Reading Notes about Functional Analysis

崔继峰

所谓的泛函呢，就是一般函数，泛函分析当然就是一般函数的分析研究。在学习泛函之前，需要有扎实的《实变函数》知识。大学期间，曾用半年时间学过由南开大学刘炳初教授编著，科学出版社出版的《泛函分析》，讲课的是哈尔滨工业大学的包革军教授，他讲泛函的最大特点是把泛函与几何图形有机结合，把艰深的纯理论讲的惟妙惟肖。在进入研究生学习阶段，《泛函分析》作为计算数学研究生的基础理论课程，是必选的。我们选用的教材是由武汉大学刘培德教授主编，武汉大学出版社出版的《泛函分析（第二版）》，该教材是面向本科生的，系里之所以考虑选择此教材，是由于考虑到有些学生在本科阶段没有或者很粗浅的认识了《泛函分析》这门课程，主讲该课程的是高云兰博士，她的方向就是算子方面的研究，所以讲解该课程那是轻车熟路了。课时大约是48学时（粗略估计）。由于以下两方面的原因：1）对于《泛函分析》认识很粗浅；2）第一次写读书笔记（尤其是专业课类），不知道如何从略。所以读书笔记可能从在诸多问题，希望老师见谅！下面我从几个方面写本学期学习《泛函分析》的感受和认识。我本着这样态度写该笔记：1）了解泛函是什么，泛函的发展（很多教材把这个从略）2）把空间的理论知识系统学习，对于其他理论的学习作抛砖引玉之用。3）学习泛函的实际作用（也就是附录里的滤波器理论的应用）。

泛函分析是研究拓扑线性空间到拓扑线性空间之间满足各种拓扑和代数条件的映射的分支学科。它是20世纪30年代形成的。从变分法、微分方程、积分方程、函数论以及量子物理等的研究中发展起来的，它运用几何学、代数学的观点和方法研究分析学的课题，可看作无限维的分析学。 一、泛函分析的产生

十九世纪以来，数学的发展进入了一个新的阶段。这就是，由于对欧几里德第五公设的研究，引出了非欧几何这门新的学科；对于代数方程求解的一般思考，最后建立并发展了群论；对数学分析的研究又建立了集合论。这些新的理论都为用统一的观点把古典分析的基本概念和方法一般化准备了条件。

本世纪初，瑞典数学家弗列特荷姆和法国数学家阿达玛发表的著作中，出现了把分析学一般化的萌芽。随后，希尔伯特和海令哲来创了“希尔伯特空间”的研究。到了二十年代，在数学界已经逐渐形成了一般分析学，也就是泛函分析的基本概念。

由于分析学中许多新部门的形成，揭示出分析、代数、集合的许多概念和方法常常存在相似的地方。比如，代数方程求根和微分方程求解都可以应用逐次逼近法，并且解的存在和唯一性条件也极其相似。这种相似在积分方程论中表现得就更为突出了。泛函分析的产生正是和这种情况有关，有些乍看起来很不相干的东西，都存在着类似的地方。因此它启发人们从这些类似的东西中探寻一般的真正属于本质的东西。

非欧几何的确立拓广了人们对空间的认知，n维空间几何的产生允许我们把多变函数用几何学的语言解释成多维空间的影响。这样，就显示出了分析和几何

1

之间的相似的地方，同时存在着把分析几何化的一种可能性。这种可能性要求把几何概念进一步推广，以至最后把欧氏空间扩充成无穷维数的空间。

这时候，函数概念被赋予了更为一般的意义，古典分析中的函数概念是指两个数集之间所建立的一种对应关系。现代数学的发展却是要求建立两个任意集合之间的某种对应关系。

这里我们先介绍一下算子的概念。算子也叫算符，在数学上，把无限维空间到无限维空间的变换叫做算子。

研究无限维线性空间上的泛函数和算子理论，就产生了一门新的分析数学，叫做泛函分析。在二十世纪三十年代，泛函分析就已经成为数学中一门独立的学科了。

二、泛函分析的特点和内容

泛函分析的特点是它不但把古典分析的基本概念和方法一般化了，而且还把这些概念和方法几何化了。比如，不同类型的函数可以看作是“函数空间”的点或矢量，这样最后得到了“抽象空间”这个一般的概念。它既包含了以前讨论过的几何对象，也包括了不同的函数空间。

泛函分析对于研究现代物理学是一个有力的工具。n维空间可以用来描述具有n个自由度的力学系统的运动，实际上需要有新的数学工具来描述具有无穷多自由度的力学系统。比如梁的震动问题就是无穷多自由度力学系统的例子。一般来说，从质点力学过渡到连续介质力学，就要由有穷自由度系统过渡到无穷自由度系统。现代物理学中的量子场理论就属于无穷自由度系统。

正如研究有穷自由度系统要求 n维空间的几何学和微积分学作为工具一样，研究无穷自由度的系统需要无穷维空间的几何学和分析学，这正是泛函分析的基本内容。因袭，泛函分析也可以通俗的叫做无穷维空间的几何学和微积分学。古典分析中的基本方法，也就是用线性的对象去逼近非线性的对象，完全可以运用到泛函分析这门学科中。

泛函分析是分析数学中最“年轻”的分支，它是古典分析观点的推广，它综合函数论、几何和代数的观点研究无穷维向量空间上的函数、算子、和极限理论。他在二十世纪四十到五十年代就已经成为一门理论完备、内容丰富的数学学科了。

半个多世纪来，泛函分析一方面以其他众多学科所提供的素材来提取自己研究的对象，和某些研究手段，并形成了自己的许多重要分支，例如算子谱理论、巴拿赫代数、拓扑线性空间理论、广义函数论等等；另一方面，它也强有力地推动着其他不少分析学科的发展。它在微分方程、概率论、函数论、连续介质力学、量子物理、计算数学、控制论、最优化理论等学科中都有重要的应用，还是建立群上调和分析理论的基本工具，也是研究无限个自由度物理系统的重要而自然的工具之一。今天，它的观点和方法已经渗入到不少工程技术性的学科之中，已成为近代分析的基础之一。

泛函分析在数学物理方程、概率论、计算数学、连续介质力学、量子物理学等学科有着广泛的应用。近十几年来，泛函分析在工程技术方面有获得更为有效的应用。它还渗透到数学内部的各个分支中去，起着重要的作用。 三、《泛函分析》空间知识认识

泛函中存在诸多空间，这里对于几个重要的空间予以认识。 1. 度量空间

2

我们在作物理、化学、生物等实验时，通过观察会得到很多值，但总是近似的，这时自然要考虑近似值与准确值的接近程度，反映在数学上这是一个极限问题。数学分析中定义R中点列xn的极限是x时，我们是用|xn?x|来表示xn和x的接近程度，事实上，|xn?x|可表示为数轴上xn和x这两点间的距离，那么实数集R中点列xn收敛于x也就是指xn和x之间的距离随着n??而趋于0，即

limd(xn,x)?0。

n??于是人们就想，在一般的点集X中如果也有“距离”，那么在点集X中也可借这一距离来定义极限，而究竟什么是距离呢？ 1.1度量空间的定义

Definition 1.1设X为一非空集合。若存在二元函数d:X?X?R，使得?x,y,z?X，均满足以下三个条件：

（1）d(x,y)?0,且d(x,y)?0?x?y（非负性） （2）d(x,y)?d(y,x)（对称性）

（3）d(x,z)?d(x,y)?d(y,z)（三角不等式）， 则称d为X上的一个距离函数，（X,d）为度量空间或距离空间，d(x,y)为x,y两点间的距离。

Notes： 若（X,d）为度量空间，Y是X的一个非空子集，则（Y,d）也是一个度量空间，称为（X,d）的子空间。

我们可以验证：欧式空间Rn，离散度量空间，连续函数空间C[a,b]，有界数列空间l?，p次幂可和的数列空间lp，p次幂可积函数空间Lp[a,b](p?1)，均满足距离空间的性质。

Appendix：p次幂可积函数空间Lp[a,b](p?1)介绍

Lp[a,b]?{f(t)| |f(t)|p在[a,b]上L可积}，在Lp[a,b]中，我们把几乎处处相等的函数视为同一函数。Lp[a,b]有下列重要性质：

（1）对线性运算是封闭的。即若f,g?Lp[a,b]，则 ?f?Lp[a,b],f?g?Lp[a,b]，其中?是常数。 （2）Lp[a,b]?L[a,b](p?1)。

设f?Lp[a,b]，令A?E(|f|?1)，B?E(|f|?1),E?[a,b]，则

?|f|dm??|f|dm??|f|dm ??|f|dm?(b?a)

aABpAb ??|f|dm?(b?a)???

abp故f?L(a,b)。

（3）?f,g?Lp[a,b]，定义

?b?dp(f,g)???|f(t)?g(t)|dm? （2.6）

?a?则dp是一个距离函数。称(Lp[a,b],dp)为p次幂可积函数空间，简记为Lp[a,b]。

p1p1.2度量空间有重要的定理

3

Theory 1 对度量空间(X,d)有

（1）任意个开集的并集是开集; 有限个开集的交集是开集; （2）任意个闭集的交集是闭集; 有限个闭集的并集是闭集; （3）X与?既是开集又是闭集.

Theory 2设(X,d)是度量空间,x0?X,E?X,则x0是E的聚点的充要条件是存在E中点列?xn?(xn?x0),使d(xn,x0)?0(n??).

Theory 3 设(X,d)是度量空间,E?X,x?E,则下面的三个陈述是等价的: (1) x?E; (2) x的任一邻域中都有E的点;

（3）有点列xn?E,使d(xn,x0)?0(n??).

Theory 4 设(X,d)是度量空间, E是X的非空子集,则E为闭集的充要条件是

E??E.

要比较透彻的研究度量空间，不得不提到一下内容： 2. 映射的连续与一致连续性

Definition 2.1 设X，Y是距离空间，f是X到Y的一个映射。x0?X如果对任何??0，存在??0当?(x,x0)??时，有?(fx,fx0)??则称f在x0连续。又若f在X中每一点都有连续，则称f是X上的连续映射。若对任何??0，存在

???(?)?0，只要x1, x2?X，且d(x1,x2)??，就有?(f(x1),f(x2))??成立，则称f在X上一致连续。

Example 1 ?(x,x0)是距离空间X上的连续函数，其中x0是X的一固定点。

proof: 任取x??X。因为对x?X,

?(x,x0)??(x?,x0)??(x,x?)??(x?,x0)??(x?,x0)=?(x,x?) ?(x?,x0)??(x,x0)??(x?,x)??(x,x0)??(x,x0)=?(x?,x) 所以 ?(x,x0)??(x?,x0)??(x?,x).

于是任给??0，只要取???,当?(x,x?)??时，就有?(x,x0)??(x?,x0)??,因此,?(x,x0)是X上的连续函数。

Theory 2.1 设(X,d)，(Y,?)是距离空间，f:X?Y,x0?X,则下列各命题等价。

(1)f在x0连续；

4

（2）对于fx0的任一邻域B(Tx0,?)，都存在x0的一个邻域B(x0,?)使得

f?B(x0,?)??B(Tx0,?)； （3）对于X中的任意点列{xn}，若xn?x0(n??)，则

f(xn)?f(x0)(n??)。

proof:（1）?(2):由f在x0连续的定义知，任给??0,存在??0，当?(x,x0)??时有?(fx,fx0)??.注意?(x,x0)??即x?B(x0,?),而?(fx,fx0)??即Tx?B(Tx0,?)。所以f(B(x0,?))?B(Tx0,?)。

（2）?（3）:由假设xn?x0，即对??0,存在N,当n>N时，xn?B(x0,?).由（2）有f(xn)?B(f(x0),?)，即?(f(xn,fx0)??,因此f(xn)?f(x0)，

（3）?（1）：反证法。假设f在x0不连续，则必存在某个正数?0，使得对于每一个

11(n?1,2,?)有xn满足?(xn,x0)?,但?(f(xn),f(x0))??0这与nnf(xn)?f(x0)矛盾。

Theory 2.2 设(X,d)，(Y,?)是距离空间，f:X?Y。则f是连续映射的充分

必要条件是，对Y中的任一开集G，其原象f?1(G)??xx?X, f(x)?G}是开集。

proof: 必要性，不妨设f?1(G)非空。任取x0?f?1(G)，即f(x0)?G。因G是开集，故存在??0，使B(f(x0),?)?G。由于f连续，所以对??0，有??0,使得f(B(x0,?))?B(f(x0),?)?G。即f(x0,?)?f?1(G)。说明x0是f?1(G)的内点，故f?1(G)是开集。

充分性：任取x0?X，对任意的??0，取开集G?B(f(x0),?)，则x0?f?1(G),由假设f?1(G)是开集，因而存在??0，使B(x0,?)?f?1(G),故

f(B(x0,?)?G?B(f(x0),?)，即f在x0连续。 Definition2.2设(X,d)，(Z,?)是两个度量空间，f:X?X?Z，点

(x0,y0)?X?X，若对任意??0，都存在?(x0,y0,?)?0，使得当(x,y)?X?X，且d(x,x0)??，d(y,y0)??时，恒有?(f(x,y),f(x0,y0)??成立，则称二元映射

f在(x0,y0)点是连续的。若f在X?X上每点都连续，则称f是X?X上点连续

二元映射。若上述?与点(x0,y0)无关，则称f在X?X上一致连续。 Theory 2.3 度量空间(X,d)中的距离函数d(x,y)是X?X上的连续二元函数。 3 完备性

实数空间R具有完备性，即R中任何基本列必收敛于某实数。现在我们将

5

这些概念引到一般距离空间中来。 3.1 完备性概念

Definition 3.1 设{xn}是距离空间X中的一个点列，若对任何??0，存在N，当m,n>N时，有?(xm,xn)??则称{xn}是X中的一个基本列（或Cauchy列）。 如果X中的任何基本列都在X中收敛，则称X是完备的距离空间。 Theory 3.1 设(X,d)是度量空间，则

（1）收敛点列是基本列； （2）基本列是有界的；

（3）若基本列含有一收敛子列，则该基本列收敛，其极限即该子列之极限。 proof:（1）设xn、x?X，且xn?x。则???0，?N?N，当n?N时，

d(xn,xm)??2，从而n，m?N时，

d(xn,xm)?d(xn,x)?d(x,xm)??2??2??。

（2）设{xn}为一基本列，则对??1，存在N，当n?N时，有?(xN?1,xn)???1，记M?max{?(x1,xN?1),?(x2,xN?1),?,?(xN,xN?1),1}，则对任何m,n，均有

?(xn,xm)??(xn,xN?1)??(xm,xN?1)?M?M?2M成立，即{xn}有界。

设{xn}为一基本列，且{xni}是{xn}的收敛子列，xni?x(i??).于是，

???0,?N1?N，当m,n?N1时，d(xn,xm)?d(xni,x)??2；?N2?N，当i?N2时，

?2。取N?max{N1,N2}，则当n?N，i?N时，ni?i?N，从而有

d(xn,x)?d(xn,xni)?d(xni,x)??2??2??，故xn?x(n??)。

Example 2 C[a,b]是完备的距离空间。

proof: 设{xn}是C[a,b]中的基本列，即任给??0,存在N，当m,n>N时，?(xm,xn)??即

t?[a,b]maxxm(t)?xn(t)??

故对所有的t∈[a,b],xm(t)?xn(t)??由一致收敛的Cauchy准则，知存在连续函数x(t)，使{xn(t)}在[a,b]上一致收敛于x(t)，即?(xm,x)?0(n??),且x∈C[a,b].因此C[a,b]完备。

Example 3 空间Lp[a,b](p?1)是完备的距离空间。

proof: 取{xn}是Lp[a,b]中的基本列，即任给??0，存在N，当m,n>N时，

?(xm,xn)?(?于是对1/2k有nk,且nk+1>nk使

Exm(t)?xn(t)dt)1/p??

p6

?(xnk?1,xn)?(?xnk?1(t)?xnk(t)dt)1/p?abp1 2k由Holder不等式，得

?故有

baxnk?1(t)?xnk(t))dt?(?xnk?1(t)?xnk(t)dt)abp1/p(?dt)1/q

ab??1111/q(b?a) (??1) kpq2??k?1baxnk?1(t)?xnk(t)dt?(b?a)1/q

由前面定理知

?k?1??xnk?1(t)?xnk(t)??? (n乎处处成立）,

即?xnk(t)?xnk?1(t)收敛，从而部分和

k?1??xn1(t)?xn2(t)?xn2(t)?xn3(t)???xnk?1(t)?xnk(t)=xn1(t)?xnk(t)

几乎处处收敛(k→∞)。因此存在一个函数x(t)，使limxnk(t)?x(t)

k??以下证明在Lp[a,b]中,xn(t)?x(t)(n??),且x(t)?Lp[a,b]。 由假设，任给ε>0,存在N，当m,n>N时，

??应用法杜定理

baxm(t)?xn(t)dt??p xn(t)?xnk(t)dt??p

pbppp任意固定一个n，使n>N,取k0>N,当k>k0时m=nk>nN>N,故有

ba?limxak??bn(t)?xnk(t)dt?lim?xn(t)?xnk(t)dt??p

k??apbp又因

?limxak??bn(t)?xnk(t)dt??xn(t)?xnk(t)dt??(xn,x)

a所以有?(xn,x)?0(n??)。

最后，由

x(t)?[x(t)?xn(t)]?xn(t)

而xn(t)?x(t) 与 xn(t)?Lp[a,b]。故得x(t)?Lp[a,b]。

我们知道，有理数空间是不完备的，但添加一些点以后得到的实数空间是完备的，而完备的实数空间有着许多有理数空间不可比拟的好的性质与广泛的应用。对于一般的距离空间也是一样，完备性在许多方面起着重要作用。那么是否对于任一不完备的距离空间都可以添加一些点使之成为完备的距离空间呢？答案是肯定的。下面给出空间完备化的定义与结论。设X，Y是距离空间，T:X→Y,如果对任何的x1,x2∈X,都有?(Tx1,Tx2)??(x1,x2)则称T是X到Y上的等距映射，并称X与Y等距。

可以证明，对于每一个距离空间X，必存在一个完备化的距离空间X0，使得X等距于X0中的一个稠密子空间X′，如果除去等距不计，X0还是唯一确定的。

7

4可分性

在实数空间R中，有理数处处稠密，且全体有理数是可列的，我们称此性质为实数空间R的可分性。同时，实数空间R还具有完备性，即R中任何基本列必收敛于某实数。现在我们将这些概念引到一般距离空间中来。

Definition 4.1 设X是距离空间，A?B?X，如果对任何x?B，总存在{xn}?A, 使xn?x(n??)，则称A在B中稠密（或A是B的稠密子集）。又若B=X，通常称A在X中处处稠密。

Theory 4.1 设(X,d)是度量空间，A在B中稠密与下列各命题互相等价，

（1）B?A（其中A?A?{A的聚点}称为A的闭包）。

（2）对任何x?B 及??0,N?(x)（x的邻域）内都含有A的点。

（3）任取一个??0,?S(x,?)x?A??B。即由以A中每一点为中心?为半径

的开球组成的集覆盖B。

另外，稠密集还有如下性质：若A在B中稠密，B在C中稠密，则A在C中稠密。

Definition 4.2 距离空间X叫做可分的，是指在X中存在一个稠密的可列子集。A?X叫做可分的，是指存在X中的可列子集B，使B在A中稠密，即B?A。

欧氏空间Rn是可分的，因为坐标为有理数的点组成的集构成Rn的一个可列稠密子集。

空间C[a,b]是可分的，可以证明：具有有理系数的多项式的全体P0在C[a,b]中稠密，而P0是可列集还可以证明空间Lp[a,b],lp等都是可分的。

存在着不可分的距离空间。 考虑l?中的子集

A?{x?(x1,x2,?,xn,?)xn?0 或 1} 则当x,y∈A,x?y时，有?(x,y)?1。

因[0,1]中每一个实数可用二进制表示，所以A与[0,1]一一对应，故A不可列。

1假设l?可分，即存在一个可列稠密子集A0，以A0中每一点为心，以为半

3径作开球，所有这样的开球覆盖l?，也覆盖A。因A0可列，而A不可列，则必有某开球内含有A的不同的点，设x与y是这样的点，此开球中心为X0，于是

1121??(x,y)??(x,x0)??(x0,y)???

333矛盾，因此l?不可分。

5赋范线性空间与Banach 空间

Definition 5.1 设X是实（或复）线性空间，如果对于X中每个元素x按照一定的法则对应于一个实数x，满足：

（1）x?0,x?0的充分必要条件是x??; (2)?x??x(???);

或简称 （3）x?y?x?y,则称x是x的范数，称（X,.）为赋范线性空间，X为赋范线性空间。

设X是赋范线性空间，对于x,y?X及??K令

?(x,y)?x?y,

8

那么从范数的定义可以验证ρ(x,y)满足距离的所有条件，我们称这样得到的距离为由范数||?||诱导出的距离，这时X构成一个距离空间。

已知赋范线性空间是特殊的距离空间，如果ρ(x,y)是范数所诱导出来的距离，那么这种距离和线性运算之间存在着以下关系。对任何x,y?X及??K有 (1)?(x?y,?)??(x,y);

(2)?(?x)???(x).

反之，设X是线性空间，又其上有距离?(x,y)，满足上述条件（1）和（2），我们定义x??(x,?)可以验证它满足范数条件，并且由这个范数诱导出来的距离即原来的距离?(x,y)。这就是说，对于具有线性运算的距离空间，如果它的距离与线性运算之间满足条件（1），（2），即可成为赋范线性空间。

既然任何一个赋范线性空间都可以看成是距离空间，那么距离空间中的邻域、开集、闭集、可分性与完备性、列紧性与紧性等概念都可以相应定义。下面给出赋范线性空间中的收敛概念。

Definition 5.2： 设X是赋范线性空间，

x，xn?X（n=1,2,3,…），若xn?x?0(n??),则称点列{xn}依范数收敛于x，记作limxn?x，有时简记为xn?x(n??)。

n??Definition 5.3：完备的赋范线性空间称为Banach空间。

对于课本上的内容就做这些笔记吧，因为其他重要内容书本很透彻的讲解了，况且如果照顾很多细节内容的话，哪个也写不清楚，只能把握重要的和熟悉的内容，方法。我接下对泛函分析应用举例来说明学习泛函到底有什么用？（这是很多初学者困惑的地方，我个人认为）我把这本部分内容作为笔记的附录内容。

Appendix：

（本附录非常适合于对滤波器的基本概念和术语不是十分熟练的读者，但是该例子可以适当说明泛函的广泛最用） A.1 l2(Z)理论及定义

首先，我们介绍l2(Z)上的线性算子的一个一般结论。

Theory A.1 设F:l2(Z)?l2(Z)为一平移可交换的连续线性算子，则存在序列

(hk)k?Z?l2(Z)，使得对任何x?(xk)k?Z?l2(Z)，均有下式成立：

?Fx?k??hk?nxn (A.1)

n?Z而且，函数H(?)??k?Zhkeik??L?(0, 2?)，F?H2。反之，若(h)?l(Z)kk?Z?且H?L?(0, 2?)，则 (A.1)式定义了一个平移可交换的连续线性算子，且

F?H?。

proof: 设F:l2(Z)?l2(Z)为一平移可交换的连续线性算子，?ek?k?Z为l2(Z) 9

本文来源：https://www.bwwdw.com/article/rb6t.html