笔记_102011317_尹佩.doc

1、 泛函分析读书笔记尹佩 102011317所谓的泛函呢，就是一般函数，泛函分析当然就是一般函数的分析研究。在学习泛函之前，需要有扎实的实变函数知识。大学期间，曾用半年时间学过由南开大学刘炳初教授编著，科学出版社出版的泛函分析，讲课的是哈尔滨工业大学的包革军教授，他讲泛函的最大特点是把泛函与几何图形有机结合，把艰深的纯理论讲的惟妙惟肖。在进入研究生学习阶段，泛函分析作为计算数学研究生的基础理论课程，是必选的。我们选用的教材是由武汉大学刘培德教授主编，武汉大学出版社出版的泛函分析（第二版），该教材是面向本科生的，系里之所以考虑选择此教材，是由于考虑到有些学生在本科阶段没有或者很粗浅的认识了泛函分析

2、这门课程，主讲该课程的是高云兰博士，她的方向就是算子方面的研究，所以讲解该课程那是轻车熟路了。课时大约是 48 学时（粗略估计）。由于以下两方面的原因：1）对于泛函分析认识很粗浅；2）第一次写读书笔记（尤其是专业课类），不知道如何从略。所以读书笔记可能从在诸多问题，希望老师见谅！下面我从几个方面写本学期学习泛函分析的感受和认识。我本着这样态度写该笔记：1）了解泛函是什么，泛函的发展（很多教材把这个从略）2）把空间的理论知识系统学习，对于其他理论的学习作抛砖引玉之用。3）学习泛函的实际作用（也就是附录里的滤波器理论的应用）。泛函分析是研究拓扑线性空间到拓扑线性空间之间满足各种拓扑和代数条件的映射

3、的分支学科。它是 20 世纪 30 年代形成的。从变分法、微分方程、积分方程、函数论以及量子物理等的研究中发展起来的，它运用几何学、代数学的观点和方法研究分析学的课题，可看作无限维的分析学。 一、泛函分析的产生 十九世纪以来，数学的发展进入了一个新的阶段。这就是，由于对欧几里德第五公设的研究，引出了非欧几何这门新的学科；对于代数方程求解的一般思考，最后建立并发展了群论；对数学分析的研究又建立了集合论。这些新的理论都为用统一的观点把古典分析的基本概念和方法一般化准备了条件。本世纪初，瑞典数学家弗列特荷姆和法国数学家阿达玛发表的著作中，出现了把分析学一般化的萌芽。随后，希尔伯特和海令哲来创了“希尔

4、伯特空间”的研究。到了二十年代，在数学界已经逐渐形成了一般分析学，也就是泛函分析的基本概念。由于分析学中许多新部门的形成，揭示出分析、代数、集合的许多概念和方法常常存在相似的地方。比如，代数方程求根和微分方程求解都可以应用逐次逼近法，并且解的存在和唯一性条件也极其相似。这种相似在积分方程论中表现得就更为突出了。泛函分析的产生正是和这种情况有关，有些乍看起来很1不相干的东西，都存在着类似的地方。因此它启发人们从这些类似的东西中探寻一般的真正属于本质的东西。非欧几何的确立拓广了人们对空间的认知，n 维空间几何的产生允许我们把多变函数用几何学的语言解释成多维空间的影响。这样，就显示出了分析和几何之间

5、的相似的地方，同时存在着把分析几何化的一种可能性。这种可能性要求把几何概念进一步推广，以至最后把欧氏空间扩充成无穷维数的空间。这时候，函数概念被赋予了更为一般的意义，古典分析中的函数概念是指两个数集之间所建立的一种对应关系。现代数学的发展却是要求建立两个任意集合之间的某种对应关系。这里我们先介绍一下算子的概念。算子也叫算符，在数学上，把无限维空间到无限维空间的变换叫做算子。研究无限维线性空间上的泛函数和算子理论，就产生了一门新的分析数学，叫做泛函分析。在二十世纪三十年代，泛函分析就已经成为数学中一门独立的学科了。二、泛函分析的特点和内容泛函分析的特点是它不但把古典分析的基本概念和方法一般化了，

6、而且还把这些概念和方法几何化了。比如，不同类型的函数可以看作是“函数空间” 的点或矢量，这样最后得到了“抽象空间” 这个一般的概念。它既包含了以前讨论过的几何对象，也包括了不同的函数空间。泛函分析对于研究现代物理学是一个有力的工具。n 维空间可以用来描述具有 n 个自由度的力学系统的运动，实际上需要有新的数学工具来描述具有无穷多自由度的力学系统。比如梁的震动问题就是无穷多自由度力学系统的例子。一般来说，从质点力学过渡到连续介质力学，就要由有穷自由度系统过渡到无穷自由度系统。现代物理学中的量子场理论就属于无穷自由度系统。正如研究有穷自由度系统要求 n 维空间的几何学和微积分学作为工具一样，研究无

7、穷自由度的系统需要无穷维空间的几何学和分析学，这正是泛函分析的基本内容。因袭，泛函分析也可以通俗的叫做无穷维空间的几何学和微积分学。古典分析中的基本方法，也就是用线性的对象去逼近非线性的对象，完全可以运用到泛函分析这门学科中。泛函分析是分析数学中最“年轻” 的分支，它是古典分析观点的推广，它综合函数论、几何和代数的观点研究无穷维向量空间上的函数、算子、和极限理论。他在二十世纪四十到五十年代就已经成为一门理论完备、内容丰富的数学学科了。半个多世纪来，泛函分析一方面以其他众多学科所提供的素材来提取自己研究的对象，和某些研究手段，并形成了自己的许多重要分支，例如算子谱理论、巴拿赫代数、拓扑线性空间理

8、论、广义函数论等等；另一方面，它也强有力地推动着其他不少分析学科的发展。它在微分方程、概率论、函数论、连续介质力学、量子物理、计算数学、控制论、最优化理论等学科中都有重要的应用，还是建立群上调和分析理论的基本工具，也是研究无限个自由度物理系统的重要而自然的工具之一。今天，它的观点和方法已经渗入到不少工程技术性的学科之中，已成为近代分析的基础之一。2泛函分析在数学物理方程、概率论、计算数学、连续介质力学、量子物理学等学科有着广泛的应用。近十几年来，泛函分析在工程技术方面有获得更为有效的应用。它还渗透到数学内部的各个分支中去，起着重要的作用。三、 泛函分析空间知识认识泛函中存在诸多空间，这里对于几

9、个重要的空间予以认识。1. 度量空间我们在作物理、化学、生物等实验时，通过观察会得到很多值，但总是近似的，这时自然要考虑近似值与准确值的接近程度，反映在数学上这是一个极限问题。数学分析中定义 中点列 的极限是 时，我们是用 来表示Rnxx|xn和 的接近程度，事实上， 可表示为数轴上 和 这两点间的距离，nx |n那么实数集 中点列 收敛于 也就是指 和 之间的距离随着 而趋于nxn 0，即。0),(limxdn于是人们就想，在一般的点集 中如果也有“距离”，那么在点集 中也可借这XX一距离来定义极限，而究竟什么是距离呢？1.1 度量空间的定义Definition 1.1 设 为一非空集合。若

10、存在二元函数 ，使得Rd:，均满足以下三个条件：Xzyx,（1） 且 （非负性）,0)(dyxyxd0),(（2） （对称性）,（3） （三角不等式） ，,zz则称 为 上的一个距离函数， （ ）为度量空间或距离空间， 为dX, ),(yxd两点间的距离。yx,Notes： 若（ ）为度量空间， 是 的一个非空子集，则（ ）也是一dX, YY,个度量空间，称为（ ）的子空间。我们可以验证：欧式空间 ，离散度量空间，连续函数空间 ，有界数列nR,baC空间 ， 次幂可和的数列空间 ， 次幂可积函数空间 ，均满lppl Lp)1(足距离空间的性质。Appendix： 次幂可积函数空间 介绍,baL

11、)1(，在 中，我们把几乎处处相等,|)(| , 可 积上在pptftfbaL ,bap的函数视为同一函数。 有下列重要性质：（1）对线性运算是封闭的。即若 ，则,gfp，其中 是常数。,baLgffpp（2） 。)1(baL设 ，令 ， ，则,fp|fEA,),1|(baEfBdmdmBAba|)(fp|abba3故 。),(baLf（3） ，定义,gp（2.6）),(fdp pbadmtgf1|)(| 则 是一个距离函数。称 为 次幂可积函数空间，简记为 。pd,ppL ,baLp1.2 度量空间有重要的定理Theory 1 对度量空间 有),(dX（1）任意个开集的并集是开集; 有限个开

12、集的交集是开集 ;（2）任意个闭集的交集是闭集; 有限个闭集的并集是闭集 ;（3） 与 既是开集又是闭集.XTheory 2 设 是度量空间 , ,则 是 的聚点的充要条件是存),(dXEx,00x在 中点列 ,使 .E0xn)()(nnTheory 3 设 是度量空间, ,则下面的三个陈述是等价的:)(Xx,(1) ;x(2) 的任一邻域中都有 的点;E（3）有点列 ,使 .n )(0),(nxdnTheory 4 设 是度量空间, 是 的非空子集,则 为闭集的充要条件是)(XXE.E要比较透彻的研究度量空间，不得不提到一下内容：2. 映射的连续与一致连续性Definition 2.1 设

13、X，Y 是距离空间，f 是 X 到 Y 的一个映射。 如果对Xx0任何 ，存在 当 时，有 则称 f 在 连续。又00),(0x),(0fx若 f 在 X 中每一点都有连续，则称 f 是 X 上的连续映射。若对任何 ，存在，只要 ，且 ，就有 成立，)(21 , ),(21d)(,(21xf则称 在 上一致连续。 fExample 1 是距离空间 X 上的连续函数，其中 是 X 的一固定点。),(0x 0xproof: 任取 X。因为对 ,x=),(),()(),(, 0000 ),(x=,)( xx4所以 .),(),(),(00xx于是任给 ，只要取 ,当 时，就有,因此, 是 X 上的连

14、续函数。),(),(00xx)(0xTheory 2.1 设 ， 是距离空间， , ,则下列各命题等dXYYf:Xx0价。(1) 在 连续；f0x（2）对于 的任一邻域 ( , )，都存在 的一个邻域 使得B0Tx0),(0B；),(xf（3）对于 X 中的任意点列x n，若 ，则0nn。)()(0nxffnproof:（1） (2):由 在 x0 连续的定义知，任给 ,存在 ，当f 0时有 .注意 即 ,而),(0 ),(0f ),(0)(0xB即 。所以 。fxTBTxf（2） （3）:由假设 ，即对 ,存在 N,当 nN 时，0n.由（2）有 ，即 ,因此),(0Bn ),()(fxf

15、),(0fxfn，xff（3） （1）：反证法。假设 在 x0 不连续，则必存在某个正数 ，使得f 0对于每一个 有 满足 ,但 这与),2(nnxnn1),(0)(,(xfn矛盾。)(0xffnTheory 2.2 设 ， 是距离空间， 。则 是连续映射的充分,(dX),(YYXf:f必要条件是，对 Y 中的任一开集 ，其原象 是开G)( ,)(1 Gxx集。proof: 必要性，不妨设 非空。任取 ，即 。)(1f 10ff0因 G 是开集，故存在 ，使 。由于 连续，所以对 ，有0xB,0,使得 。即 。说明 是0fxBf ,(),(0 )(),(10fxf0x的内点，故 是开集。)(1

16、f1Gf充分性：任取 ，对任意的 ，取开集 ，则X0,0fBG由假设 是开集，因而存在 ，使 ,故,10fx)(1f )()(1Gfx，即 在 连续。 ,)(xf0xDefinition2.2 设 ， 是两个度量空间， ，点 ),(d)(ZZXf:，若对任意 ，都存在 ，使得当Xyx),(0 0),(0y5，且 ， 时，恒有 成Xyx),( ),(0xd),(0yd ),(),(0yxff立，则称二元映射 在 点是连续的。若 在 上每点都连续，则称f, fX是 上点连续二元映射。若上述 与点 无关，则称 在 上f ),(0yxfX一致连续。Theory 2.3 度量空间 中的距离函数 是 上的

17、连续二元函数。),(dX),(dX3 完备性实数空间 R 具有完备性，即 R 中任何基本列必收敛于某实数。现在我们将这些概念引到一般距离空间中来。3.1 完备性概念Definition 3.1 设x n是距离空间 X 中的一个点列，若对任何 ，存在 N，0当 m,nN 时，有 则称x n是 X 中的一个基本列（或 Cauchy 列） 。),(mx如果 X 中的任何基本列都在 X 中收敛，则称 X 是完备的距离空间。Theory 3.1 设 是度量空间，则,d（1）收敛点列是基本列；（2）基本列是有界的；（3）若基本列含有一收敛子列，则该基本列收敛，其极限即该子列之极限。proof:（1）设 、

18、 ，且 。则 ， ，当 时，nxXxn0Nn，从而 ， 时，2),(mdm。2),(),(nnxdxx（2）设 为一基本列，则对 ，存在 ，当 时，有n 1Nn，记 ，则对任1),(1Nx 1),(,),(),(a12 NxxxM何 ，均有 成立，即m, MxNmNnmn 2,),(1 有界。nx设 为一基本列，且 是 的收敛子列， 于是，inxn ).(ixin，当 时， ； ，当 时，N1,01,2),(mxdN22i。取 ，则当 ， 时， ，从而有2)(xdin ,ma2Nii，故 。),(),(, xdxiinnn )(nx6Example 2 Ca,b是完备的距离空间。proof:

19、设x n是 Ca,b中的基本列，即任给 ,存在 N，当 m,nN 时，0即),(nmx )(max,tnbt故对所有的 ta,b, 由一致收敛的 Cauchy 准则，知存在连续)(xn函数 x(t)，使 xn(t)在a,b 上一致收敛于 x(t)，即 ,且)(0),(nxmxCa,b.因此 Ca,b完备。Example 3 空间 是完备的距离空间。)1(,pbaLproof: 取x n是 中的基本列，即任给 ，存在 N，当 m,nN 时，pnmEnmdtxtx/1)(),于是对 1/2k 有 nk,且 nk+1nk 使 kpbanknkn tt2)()(),( /111由 Holder 不等式

20、，得 qbapbanknkbanknk dttxtdtxt /1/111 )()()()( 2/qpq故有 nknkbak abdtxt/111 )()(由前面定理知(n 乎处处成立）,)(1ttxnknk即 收敛，从而部分和1)()(1knnttxkk=)()(1322 txttxt nknknn )(1txtnk几乎处处收敛(k)。因此存在一个函数 x(t)，使 lim以下证明在 中, ,且 。baLp )()(ttn ,(baLtp由假设，任给 0,存在 N，当 m,nN 时， pbanmdtxt任意固定一个 n，使 nN,取 k0N,当 kk0 时 m=nknNN,故有pbanttk)

21、(应用法杜定理 pbankbapnk dtxtdtxt kk )(li)(li又因 ),()()(limxttxtt nbapnbapnk kk 7所以有 。)(0),(nxn最后，由 )()(txtxtnn而 。故得 。,)( )(baLxtxpnn与 ,baLp我们知道，有理数空间是不完备的，但添加一些点以后得到的实数空间是完备的，而完备的实数空间有着许多有理数空间不可比拟的好的性质与广泛的应用。对于一般的距离空间也是一样，完备性在许多方面起着重要作用。那么是否对于任一不完备的距离空间都可以添加一些点使之成为完备的距离空间呢？答案是肯定的。下面给出空间完备化的定义与结论。设 X，Y 是距离

22、空间，T:XY,如果对任何的 x1,x2X,都有 则称 T 是 X 到 Y 上),(),(2121xTx的等距映射，并称 X 与 Y 等距。可以证明，对于每一个距离空间 X，必存在一个完备化的距离空间 X0，使得 X 等距于 X0 中的一个稠密子空间 X，如果除去等距不计，X 0 还是唯一确定的。4 可分性在实数空间 R 中，有理数处处稠密，且全体有理数是可列的，我们称此性质为实数空间 R 的可分性。同时，实数空间 R 还具有完备性，即 R 中任何基本列必收敛于某实数。现在我们将这些概念引到一般距离空间中来。Definition 4.1 设 X 是距离空间， ，如果对任何 ，总存在x nXBA

23、Bx，则称 A 在 B 中稠密（或 A 是 B 的稠密子集） 。又若)(,nxA使B=X，通常称 A 在 X 中处处稠密。Theory 4.1 设 是度量空间，A 在 B 中稠密与下列各命题互相等价，,d（1） （其中 A 的聚点 称为 A 的闭包） 。B（2）对任何 及 （x 的邻域）内都含有 A 的点。 x)(,0N（3）任取一个 。即由以 A 中每一点为中心 为半S, 径的开球组成的集覆盖 B。另外，稠密集还有如下性质：若 A 在 B 中稠密， B 在 C 中稠密，则 A 在C 中稠密。Definition 4.2 距离空间 X 叫做可分的，是指在 X 中存在一个稠密的可列子集。 叫做可

24、分的，是指存在 X 中的可列子集 B，使 B 在 A 中稠密，即XA。B欧氏空间 Rn 是可分的，因为坐标为有理数的点组成的集构成 Rn 的一个可列稠密子集。空间 Ca,b是可分的，可以证明：具有有理系数的多项式的全体 P0 在 Ca,b中稠密，而 P0 是可列集还可以证明空间 等都是可分的。pplbaL,存在着不可分的距离空间。考虑 中的子集l 1 0),(21或nxxA则当 x,yA,x 时，有 。y),y因0,1中每一个实数可用二进制表示，所以 A 与0,1一一对应，故 A 不可8列。假设 可分，即存在一个可列稠密子集 A0，以 A0 中每一点为心，以 为l 31半径作开球，所有这样的开

25、球覆盖 ，也覆盖 A。因 A0 可列，而 A 不可列，l则必有某开球内含有 A 的不同的点，设 x 与 y 是这样的点，此开球中心为 X0，于是 321),(),(),(100yx矛盾，因此 不可分。l5 赋范线性空间与 Banach 空间Definition 5.1 设 是实（或复）线性空间，如果对于 中每个元素 按照一XXx定的法则对应于一个实数 ，满足：x0, ;x （ 1） 的 充 分 必 要 条 件 是(2)();或简称, .yx（ 3） 则 称 是 的 范 数 ， 称 （ ,） 为 赋 范 线 性 空 间 ，为赋范线性空间。X设 是赋范线性空间，对于 及 令yXK(,),xy那么从

26、范数的定义可以验证 (x,y)满足距离的所有条件，我们称这样得到的距离为由范数 诱导出的距离，这时 构成一个距离空间。|已知赋范线性空间是特殊的距离空间，如果 (x,y)是范数所诱导出来的距离，那么这种距离和线性运算之间存在着以下关系。对任何 x,y 及 有XK(1),)(,);xyxy2.反之，设 是线性空间，又其上有距离 ，满足上述条件（1）和（2） ，X(,)xy我们定义 可以验证它满足范数条件，并且由这个范数诱导出来的距(,)x离即原来的距离 。这就是说，对于具有线性运算的距离空间，如果它的y距离与线性运算之间满足条件（1） ， （2） ，即可成为赋范线性空间。既然任何一个赋范线性空间

27、都可以看成是距离空间，那么距离空间中的邻域、开集、闭集、可分性与完备性、列紧性与紧性等概念都可以相应定义。下面给出赋范线性空间中的收敛概念。Definition 5.2： 设 是赋范线性空间，Xx，x n （n=1,2,3,） ，若 则称点列x n依范数0(),nx收敛于 x，记作 ，有时简记为 。xlimDefinition 5.3：完备的赋范线性空间称为 Banach 空间。对于课本上的内容就做这些笔记吧，因为其他重要内容书本很透彻的讲解了，况且如果照顾很多细节内容的话，哪个也写不清楚，只能把握重要的和熟悉的内容，方法。我接下对泛函分析应用举例来说明学习泛函到底有什么用？（这是很多初学者困

28、惑的地方，我个人认为）我把这本部分内容作为笔记的附录内容。9Appendix：（本附录非常适合于对滤波器的基本概念和术语不是十分熟练的读者，但是该例子可以适当说明泛函的广泛最用）A.1 理论及定义)(2Zl首先，我们介绍 上的线性算子的一个一般结论。)(2ZlTheory A.1 设 为一平移可交换的连续线性算子，则存在序列F:l，使得对任何 ，均有下式成立：)()(2lhZk)()(2Zlxk(A.1)nnh而且，函数 ， 。反之，若)2 ,0()( LehHZki HF且 ，则 (A.1)式定义了一个平移可交换的连续线性)(2lhZk),(算子，且 。Fproof: 设 为一平移可交换的连

29、续线性算子， 为)(:2Zl)(2l Zke的标准基，且 ，则 。令 ，因为 具有)(2Zl . ,1,0knek 0Fe)(2Zl)(khF平移可交换性，所以对任何(A.2)Znnkkh成立。我们转到光谱领域并定义算子 ： 为：F)2 ,0(L)2 ,0(， ，其中 。ZkikeyYXF)()(exXZkik )(kkxFy由于傅里叶变换为等距变换，从而 为有界线性算子且 。在(A.2)中两F边同时用傅里叶变换可得：。由 的定义知， ，由线性性可知，ZninkkehFeikeH)(FikeikeH)(对任何有限的三角和 均有 成立。我们断言对所有NXNNX)(，此式成立。事实上，设 有限的三

30、角和且)2 ,0(LX NX，由 的连续性知， 。又 ， ,FFN)2 ,0(L)2 ,0(LH10，而)2 ,0(1LHX，1)(XHN22XN当 时，上式的右边趋于 0，于是N。再加上 ，从而函数)2 ,0(1LF) ,0(2L和 几乎处处相等。即，对 ， 。FXH) ,( a.eX)(H这里，纯粹是应用测度、积分及泛函分析知识来证明 且2 ,(。一般的结论是：设 为可测空间， 且对所有 ),(Xg)Lg均有 成立。则) ,(2XLgf) ,(2L（i） 为有界线性变换，其中 定义为：G :) ,(2 G， ；f),(2f(ii) 且 。g ,XLg然而由于它有丰富的整数群结构及对偶群 ，

31、所以有一种更好的方法来处理。T为了证明 ，我们考虑这种特殊的单位向量H)2 ,0(。NX)(1)(1Niiee因为 及 ，所以 。通过计算得12NFFXN2，2)(N02)(dHK其中 )(NK2)(NX2sin1N为 核。因而 ,于是 关reFj )(2HN2)(NF2HKN) ,0(L于 一致成立。又 , 在 中趋近于 ，故N 01LK) 0(1L2。概括起来，我们已证明对于三角多项式，均有 成立，)2 ,0(L NXF11且已证明 且 。又已证明得 ，于是立即可H)2 ,0(LFH)2 ,0(L知对任何 ， 成立且 ，从而结论的一方得以证XHXF明。为了证明结论的另一方，我们假定 且 。

32、对)()(2Zlhk)2 ,0(L，定义 为：)(2ZlxF， (A.3)Znnkkxx(注意 通常称为 和 的离散卷积。)下面我们需证明 ， 有Znnkxhh Fx)(2Zl界且 ，(线性性及平移可交换性显然。)这可由HF(A.4)20)(1deXHikZnnkxh及前半部分的证明直接得出。证明结束。这个定理为离散滤波器的 理论奠定了基础。事实上，我们定义滤波器2l :F为平移可交换的连续线性映射。虽然在不同的定义域、值域及拓)(2Zl)(2l扑里，滤波器有不同的定义，但不管是哪中情形，滤波器总是连续且平移不变的。 的范围符合我们的要求。2l定义滤波器 的脉冲响应为 ，序列 也称为滤波器。若

33、只有有FhFe0Zkh)(限个 不为 0，我们称此滤波器有有限脉冲响应(FIR),则它是一个 FIR 滤波器。kh否则，则它具有无穷脉冲响应(IIR)。实际应用中，滤波器均是有限的，但并不是说 IIR 滤波器没有用处；它们在理论上起着重要的作用，应用中也可以用有限滤波器来逼近。然而存在有限滤波器被设计为有限的，例如把有限滤波器与具有紧支撑的小波联系起来。目前我们将考虑一般的情形，只假定。)()(2Zlhk定义 的转移函数为 周期函数F。ZkiehH)(习惯上，常用 指 的转移函数。)(F设 为 上的有界线性算子，其伴随算子 定义为T2Zl T12， 。yTx , , )( ,2Zl若 为滤波器

34、 ，通过简单计算可得 为滤波器 ，从而F)(khFkh。)(A.2 一般的 2信号通道数滤波器组一般的 2信号通道数滤波器组如图 A.1 所示：图 A.1 一般的 2信号通道数滤波器组虽然我们试图强调量化和传送在实际应用中的存在重大问题，但这里假定它们都是理想的。设分光滤色片 和 经过亚抽样（ 算子） ，然后上抽样（ 算0F1DD子） ，再合成（或重建） 和 ，而后输出。G若 为滤波器 的输出结果，则经过亚抽样后，信号表示为)()(0XFY0。可记作：Zkkiey20，)()()(1)(000 XFXY类似的。)()()(2)(111故输出 为：X(A.5).)()()( )( 1100 XG

35、FFG注意这个输出包括输入信息的两种形式：原始信号 加上它的混叠。信号处理专家告诉我们，这一部分不是我们需要的，故为了得到精)(X确的重建，第一步是令 的系数为 0，即：)(X， (A.6)(1100 GFF为了使输出恰好等于输入的信息，必须有：13(A.7)2)()(10GF实际应用中，这个要求放宽为：， (A.8)Znein ,)()(10 这表示原始信号可以被延迟。(A.6)和(A.8)是两个非常经典的关系式，已在过去的二十多年里应用多种方法得到了“解决”。下面介绍它们的几个解。 Esteban 和 Galand 选取，)()01F，G。)()(01易发现它们满足(A.6) ，而条件 (

36、A.8)变为。ineF2)()(020其中 必须为奇数，由于当 时，改变了上式左边的符号，所以nEsteban 和 Galand 称这些滤波器为镜像正交滤波器(QMFs).称为“镜像”的原因是：若把函数 延拓为单位圆环域上的解析函数0F0 ,Zknzh)(则 F1 F2 ， 且当 变为 时，滤波器关于原点镜像对称。 “正交” 的思想)(z)z稍稍复杂点，Esteban 和 Galand 考虑的是实的对称 FIR 滤波器，1200)(NkiehF且当 时， 。这些条件隐含了滤波器 和 的相位相差Nk0kNkh1 0F1：因而相位是正交的。2遗憾的是，只有 Haar 滤波器（253）满足这些条件。

37、为了确定此状况，Smith和 Barnwell 引入了以下条件（考虑实滤波器）238，239：， 为奇数，)()(01Feinn，)(010eGi.)()(101 in这些滤波器被命名为共轭正交滤波器(CQFs)。显然关系式 (A.6)成立，而条件(A.8)化为14。2)()(020F于是问题转化为寻找满足此关系的滤波器 。实际应用中，人们希望 为有限0F滤波器（FIR ）且有“因果关系” 。因果关系是指没有输入便没有输出，或正式的说，若 ，则 。易发现有限因果滤波器必具有以0kx)(0)(kFx)(下形式：。Nkieh00)(首先我们指定 ， 。则问题为寻找满足(A.6) 和(A.8)的 和 。0FG1 0F1但条件为， (A. )0)()( 1100 F6， (A. )22F 8这正是定理 3.1 中的矩阵为酉的条件。这些条件在定理 3.1 的证明中十分重要。经简单计算可知(A. )和 (A. )隐含了(3.1) 。在其它方向，这个隐含更具技巧性。68最后，初学者应注意的是在这件事情上有许多约定。有些作者对 保留了奇)(1Y系数而不是偶系数，这种情况下。也有关于转移函数的定义的约定：)(1Y)()()(211 XFX有时定义为 。这些差异令人困惑，但不影响基本结果。ikeh0