泛函分析第4章-内积空间

第四章内积空间在第三章中，我们把维空间中的向量的模长推广到一般线性空间中去，得到了赋范线性空间的概念。但在中可以通过两个向量的夹角讨论向量与方向的问题。这对仅有模长概念的赋范线性空间是做不到的。我们知道，中向量的夹角是通过向量的内积描述的，因此在本章我们引入了一般的内积空间的概念。4.1内积空间的根本概念首先回忆几何空间中向量内积的概念。设，，设与夹角为，由解析几何知识可得其中，，令，称为与的内积，不难证明它有如下性质：〔1〕〔2〕〔3〕〔4〕注：由定义可得，我们看到，两个向量的夹角仅与向量的内积有关。利用内积我们可以讨论如向量的直交及投影等重要几何问题。现在我们引入一般的内积空间的概念。【定义4.1】设为数域上线性空间，假设对任两个元素〔向量〕，，有惟一中数与之对应，记为，并且满足如下性质：〔1〕〔2〕〔3〕〔4〕那么称为与的内积，有了内积的线性空间叫做内积空间，当为实数域〔或复数域〕，叫为实〔或复〕内积空间。注:由性质〔3〕与性质〔4〕知，内积运算关于第一变元是线性的。由性质〔2〕与性质〔4〕可推知.于是当为内积空间时，内积关于第二个变元也是线性的。而常称为共轭齐次性，因此在为赋内积空间时，内积是共轭线性的。今后讨论中不加注明时，恒设为复内积空间。【引理4.1】〔Schwaraz不等式〕设为内积空间，对任意，，成立不等式证明：假设，那么任，有，那么显然不等式成立。现在设，那么，有取代入上式可得，由此可得证毕。【定理4.1】设为内积空间，对任，令，那么是的范数。证明：因范数的前两条性质可直接由内积的性质推出，我们仅验证它满足第三条性质〔即三角不等式〕。事实上故有.证毕。注：常称为内积导出的范数，于是内积空间按此范数成为一个赋范线性空间。在此意义下，第二章关于赋范线性空间的有关内容都适用于内积空间。特别当内积空间按由内积导出的范数完备的，称为Hilbert空间。以下介绍几个常用的Hilbert空间的例子。例4.1表示〔实或复〕Euclid空间，对于，，类似于几何空间中向量的内积定义，令不难验证成为一个空间。例4.2，当，时，令容易证明成为内积空间。以下证明为Hilbert空间。任取列，那么对任当时，有因而有故数列是列，因数域完备，那么存在，使，令，那么任，当时，有那么令，对每个及任，有因而，亦有，只要，所以，注意是线性空间，那么，且，，这即说明在中收敛，故为Hilbert空间。例4.3为有限或无穷区间，对任，定义内积这里中的元素是实值或复值二次可积函数，也不难验证是内积空间。现在证明是Hilbert空间。设为列，那么对每个，存在自然数，有对任有限区间，由不等式，有式中，为的长度。故级数收敛，于是由引理〔见第一章〕我们有从而知是集上可积函数，那么比在上为处处有限函数，即级数在上几乎处处收敛，而为中任意有限区间，那么级数在上几乎处处收敛，因而级数在上几乎处处收敛，亦即函数在上几乎处处收敛于函数.现在证明，且.对任意，因为中列，那么存在，当时，有，即令，利用第一章积分的性质，得到即，且，因此.因此列在中收敛，故是Hilbert空间。内积的连续性。设，那么有证明：由不等式，得因收敛有界。证毕。极化恒等式。对内积空间中元素与，成立证明可直接运用范数的定义和内积的性质得到。留给读者作为练习。注：当为实数内积空间时，那么极化恒等式为中线公式。对内积空间中元素与，成立证明：证毕。注：也常称中线公式为平行四边形公式。因在平面中，平行四边形的对角线长度的平方和等于四条边的长度平方和。另外，可以证明中线公式是内积空间中由内积导出的范数的特征性质，即当为赋范线性空间时，假设对其中任何元素与关于范数成立中线公式，那么必在中可定义内积，使范数可由此内积导出。也就是一个赋范线性空间成为内积空间的条件是其范数要满足中线公式。因此，内积空间是一类特殊的赋范线性空间。例如，当且时，不是内积空间。因为，取，，那么，且，显然不满足中线公式。又例如，按范数不是内积空间。这只要取，及，，那么，且，明显不满足中线公式。再例如，当且时，也不是一个内积空间。习题4.1证明：Schwarz不等式中等号成立与线性相关。设为实内积空间，，假设，证明：.假设，所证明事实有什么几何意义？设为内积空间，，假设对任何，有，试证明.设为Hilbert空间，，求证的充要条件是，且.验证极化恒等式。设是维线性空间的一组基，对于，有惟一表示，其中，求证是上一个内积的充要条件是存在正定矩阵，成立4.2内积空间中元素的直交与直交分解直交及其性质仿照中两个向量的直交概念，我们有如下定义。【定义4.2】设是内积空间，，假设，称与直交，记为.设，假设与每个元素直交时，那么称与直交，记为.又，假设，都有，那么称与直交，记为.设，记,那么称为的直交补。由以上定义，可得如下简明事实〔性质〕：零元素与中每个元素直交。假设，那么..假设，那么.任，假设，那么；假设，那么.此外我们还有一下几条有用性质：假设，且，那么.这是因为.假设，且，那么成立勾股公式.这个性质留给读者自己验证。对任，那么是的闭子空间。事实上，任意，那么对每个，有，，于是有，故；又任意，，那么任意，有，故，因此成为的线性子空间。现在证明是闭集。假设，那么为闭集，当，任取，那么存在，有.对任意，应用事实〔6〕，有那么，于是推得，即，因此为闭集。证毕。设为非空集，那么.事实上，因，那么.另外，对任意，任意取，假设，那么是中有限个元素的线性组合，即于是，即.而当，那么存在元素，有，由以上证明知，于是由性质〔6〕得知.综上所说，，故.证毕。直交投影及变分引理仿照中向量在坐标轴上投影的概念引入以下定义。【定义4.3】设是内积空间的一个线性子空间，，假设存在，，使成立，那么称为在上的直交投影〔可简称为投影〕。注：一般情况，某个元素在的某个空间上不一定存在投影。但当投影存在时，那么可证明投影的惟一性。因为假设及都是在上的投影，那么由定义有，，于是，故.对于，任向量在轴〔即子空间〕上有投影为.并且知道点到轴上每个点的距离最小者为.这种现象如何在一般的〔特别是无限维〕内积空间中表现是个需要探讨的问题。为此，我们首先给出重要概念。【定义4.4】设是度量空间，是中非空子集，，那么称为到集的距离，记为.假设存在某，使，那么称为在中最正确逼近元。注：一般情况下，某元，在某集中不一定存在最正确逼近元。并且在最正确逼近元存在时也不一定惟一。因此，最正确逼近元的存在性及惟一性成为逼近理论中一个主要研究方向。在此我们仅介绍一个在微分方程，现代控制论等学科都有重要应用的根本结果。【定理4.2】〔极小化向量定理〕设是空间中的凸闭集，那么任意，必有中惟一存在最正确逼近元。证明：令，那么存在，使.因是凸集，那么，于是必有.在中线公式中以代换，以代换，那么有因此是完备内积空间中列，那么存在，使.因是闭集，那么，并且有这证明了最正确逼近元的存在性。现在证明惟一性。设也是的最正确逼近元。还是由中线公式得故，即.证明。我们通常也称此定理为变分引理。由于子空间一定是凸集，并注意定理的证明过程，那么定理条件改为是内积空间中完备的子空间时，定理结论仍成立。投影定理【定理4.3】〔投影定理〕设是内积空间的完备线性子空间，那么任意，必在中惟一存在投影。即必惟一存在，使.证明：由题设，依据极小化向量定理，在中存在最正确逼近元，记为任取复数，那么，且有当时，取代入上式，得于是推得，再注意，此式也成立，因而.令，即有.投影的存在性得证。投影的惟一性已由定义4.3的注得证。证毕。注：〔1〕为空间时，那么对任闭集子空间投影定理成立。〔2〕表达式也常称为元素的直交分解，故投影定理也叫做直交分解定理，是中向量的直交分解的推广。由于在一般赋范线性空间中没有直交概念，因此不能讨论直交分解的问题。〔3〕对于空间及子闭空间，在投影定理条件下有即表示为两个直交子空间的直和，常称为与的直交和，或直交分解。投影定理在内积空间理论中是极为重要的根本定理。由于投影，就是元素在子空间中的最正确逼近元，因此在现代逼近论，概率论以及控制论中许多问题都可以抽象为如下的数学问题。设是内积空间，且，问是否存在个数，使得，其中.并且一般假设线性无关。由于是一个维赋范线性空间，故完备，那么由投影定理，对于，必惟一存在，使.现在我们给出求解的方法，因，那么由投影定理，我们有即得线性方程组记其系数行列式为.因为方程组有惟一解，故，并且可计算出.最后，我们再给出投影定理的两个推论。【推论4.1】设是内积空间的真闭线性子空间，那么中必有非零元素。证明：由题设，那么存在.由投影定理得知，存在，，使得，于是必，否那么，与之矛盾。证毕。【推论4.2】设是内积空间的真闭线性子空间，那么.特别当，那么在中稠密。证明：由性质〔8〕，是中真闭线性子空间，因完备，那么完备。显然，有，于是。同样得知也完备。如果，于是关于，应用推论4.1，存在非零元素，且，故，从而，矛盾。从而必有，证毕。习题4.2设是实内积空间，假设，那么.问是复内积空间时，结论是否成立？证明：内积空间中的两个元素直交的充要条件是对任意数，成立.设是内积空间中两两直交的非零元素组，求证：线性无关。设是内积空间，，那么对任意，有.设是空间，是的子集，求证是包含的最小闭子空间。设是空间中非空子集，求证：.设为空间中全体偶函数的集合：求证是中全体奇函数。任意，求在上的投影。设为空间，元素列且两两直交，求证：级数收敛数值级数收敛。证明：直交性质〔1〕-〔5〕.设是内积空间中两两直交元素组，求证：.4.3直交系返照中情况，在内积空间引入直角坐标系的概念。【定义4.5】设是内积空间中一个不含零元的子集，假设中任意两个不同元素都直交，那么称为的一个直交系。又假设中每个元素的范数都是1，那么称为标准直交系。注：为了简单起见，我们仅讨论至多含可列个元素的直交系，因为对不可列情况，在方法上同可列情况并无本质的区别。例4.4在〔实或复〕空间中是一个标准直交系。例4.5在内积空间，以下元素列是一个标准直交系其第个分量是1，其余分量都是0，例4.5在实内积空间中，假设定义内积为那么三角函数系是的一个标准直交系。【定义4.6】设是内积空间中一个标准直交系，对任，称为元素关于的系数，常简称为的系数。于是有形式级数，称为元素关于可以展开为级数。注：一般情况下，级数不一定收敛。即或收敛，也不一定收敛于.在什么条件下元素可以展开为级数的问题自然是重要的。【定理4.4】设是内积空间中一个标准直交系，记对任意给定，那么在上的投影是，即是在内的最正确逼近元。证明：因，由于，那么只须证明.由4.2性质〔9〕，又仅须证于是由，知结论成立。证毕。注：任意，任，成立【定理4.5】〔Bessel不等式〕设是内积空间中一个标准直交系，那么对任意，成立Bessel不等式其中，证明：，其中，那么由勾股定理得令，得结论成立。证毕。注：Bessel不等式指元素在每个上投影的范数的平方和不大于的范数；由此知为收敛级数，于是推得事实特别对内积空间关于标准直交系三角函数系〔见例4.3〕，对任意，其系数为其中即通常的系数，那么由Bessel不等式，得注意这里用了收敛正项级数的可交换性。在内积空间给定标准直交系情况下，，其对应的系数构成一个序列，并确定了由到内积空间内的一个映射为其中，.不难证明是线性映射。反之，任意中的元素，一般情况下，不一定存在中元素，使，，但在完备时，有以下定理。【定理4.6】〔〕设是内积空间中一个标准直交系，那么对任意，惟一存在，使，，且成立等式证明：令，因为，由于级数收敛，那么根据收敛准那么，有故是完备空间中一个列，那么存在，有现在设为任意自然数，那么再注意，令，即得等式.最后证明惟一性。假设，也满足定理结论，且那么因〔由定理4.3〕，令，推得.由极限的惟一性，必.证毕。注：在为空间时，可确定一个有到内的映射。但在一般情况下，不能断定映射是满射。因此不一定为由到上的一一映射。在维空间中，标准直交基〔直角坐标系〕的极大性是至关重要的，对此我们有如下推广。【定义4.7】设是内积空间中一个标准直交系，假设对任意，有，，那么必，我们就称是完全的。如例4.2中的标准直交系是中一个完全的标准直交系。【定理4.7】〔〕设是空间中一个标准直交系，那么一下的命题等价：〔1〕是完全的；〔2〕对任意，成立等式，其中，；〔3〕对任意，有，其中，；〔4〕对任意两个元素有证明：〔1〕〔2〕.设是完全的，对任意，记，，那么由定理4.5知，再由定理4.6知，惟一存在，使得且成立因为，，那么，.由于是完全的，于是必有，因此有，命题〔2〕成立。〔2〕〔3〕.现在假设命题〔2〕成立，任意取，令，，，那么有即得，于是命题〔3〕成立。〔3〕〔4〕.现在假设命题〔3〕成立，任意取，令，，那么有，.于是可得即命题〔4〕成立。〔4〕〔1〕.现在假设命题〔4〕成立，取，假设，，此时任取，有，即，故，因此命题〔1〕成立。证毕。注：假设空间存在的标准直交系，那么任意，有，映射是由到上的一个等距同构映射，故与的等距同构。以下的定理在判别某标准直交系的完全性时是经常有用的。【定理4.8】设是空间中一个标准直交系，如果等式在中某稠密子集上成立，那么是完全的。证明：，那么是的闭线性子空间。任，令，，那么由假设成立，同定理4.7〔2〕〔3〕之证明得，故.于是.因是闭集，那么，即得.由定义，任，有，且，.因此由定理4.7命题〔3〕成立推得那么是完全的。证毕。例4.7中三角函数系是完全的。因为取在中稠密。对任意三角多项式不难验证成立等式。根据定理4.7，对任意，其中级数依范数收敛于.但这并不能推知每个，有由线性代数及解析几何的知识，我们知道直交组比一般的线性无关组的性质更为优越，假设某向量可用标准直交组线性表示，其组合系数有内积容易求出，十分方便。以下介绍一个得到标准直交系的常用的方法。对内积空间中的某线性无关序列，通过标准直交化过程可获得一个标准直交系。其过程如下：第一步，把标准化，令第二步，记由定理4.4得知，在上的投影为，由投影定理，记，那么.因为，线性无关，那么，此时令不难看出有第三步，记，也由定理4.4得知，在上的投影为，依据投影定理，记，那么，因为，，线性无关，那么，此时令且易知于是归纳有第步，记，同样由定理4.4得知，在上的投影为，并根据投影定理，记，那么，，又因为，，线性无关，那么，此时令那么易知于是以上程序无限进行下去，即得一个标准直交系.由定理4.7后面的注得知具有可列的完全的标准直交系的空间与等距同构。因是可分的〔即存在有限或可列稠密子集〕，那么也是可分的。相反地，我们有如下定理。【定理4.9】设是空间，那么假设是可分的，那么必有至多可列的完全的标准直交系；设是无限维的可分空间，那么的每个完全的标准直交系都是可列集。证明：由于存在有限或可列〔也称为至多可列〕个元素，使，且不妨设为线性无关集合。由标准直交化程序，可构造出对于的〔等势的〕标准直交系.当为维内积空间时，那么有，故有从而有于是必有故是完全的。定理4.9〔1〕证毕。又X存在可列稠密子集D，任取X一个完全标准直交系M，那么M是一个无限集。任取，M，且，都有记，那么。由于在中稠密，那么存在，，有。于是的势大于的势。因而必是可列集。证毕。习题4.3在内积空间中，试给出一个使不等式成为严格不等式的例子。设是内积空间中一个标准直交系，求证对任意，，有3．设是内积空间中一个标准直交系，给定，令，那么对任意，求证：使成立不等式的仅有有限个；设的个数为，那么有。4．在中，试将，，标准直交化。5．求，使取最小值。6．设是空间中一个标准直交系，假设，有，求证：〔1〕；〔2〕级数是绝对收敛的。7．设是空间中一个标准直交系，给定，假设，求证且有。8．设是空间中一个完全标准直交系，试问是否每个都可用线性表示。9设是空间中一个标准直交系，任意，求证在中收敛，并且与每个直交。4.4空间上有界线性泛函在理论及应用中,对一个具体的赋范线性空间来说,往往要和它的共轭空间结合一起来研究。为此,知道有界线性泛函的一般形式,自然是十分重要的。对于一般赋范线性空间,获得这种表示是相当困难的。但对于空间,情况却非常简单。定理【定理4.10】设是空间，对于每个，惟一存在，使任意，有并且还有证明：假设为零泛函，那么取中零元素即可。现在设，令为的零空间。因是连续线性泛函，那么是的闭子空间。因，那么必有为的真子空间。由投影定理，必定有且。所以任取，因为那么。于是有从而得。此时令，即有存在性得证。现在证明由惟一确定。如果还有，使于是有，，即，所以，惟一性得证。最后证明。当，事实明显。现在设，那么。首先由不等式有，于是推得；另一方面，取，又有于是推知。因此必成立。定理证毕。注：定理4.10告诉我们产生了一个由到内的映射。现在要说明它是一一映射。因为任意取定元素，那么确定上一个泛函为，由内积的性质可知是线性的。再由不等式，有，因而是有界泛函，且，故。类似于定理4.10的证明，可推知。于是可得以下的由到上的映射是个一一映射：，，使，。任取复数及元素，令，，那么对任意，有即有因此称为复共轭线性映射，并且有即是一个等距映射〔或称为保范映射〕。故称映射是到上的复共轭等距映射。在这种意义下，认为元素与对应的泛函是一致的，即。因此，称为自共轭空间〔必须注意是在复共轭等距同构意义下〕。空间上的共轭算子我们曾在第3章讨论过赋范线性空间上的共轭算子问题。现在我们利用空间与共轭空间的一致化，引入所谓空间上的共轭算子概念。这类算子是在研究矩阵及线性微分〔或积分〕方程的问题中提出来的，有着广泛的应用。【定义4.8】设和是两个内积空间，是一个有界线性算子。又设是有界算子，假设对任意的，都有就称是的共轭算子〔或伴随算子〕。注：在复空间情况下，第3章关于赋范线性空间所引进的共轭算子与定义4.8所陈述的共轭算子并不完全一致，设及复数，按第3章所述定义，有但依定义4.8的概念，却有而在实空间情况下，两者完全一致。例4.8设为复空间，对于有界线性算子，那么为行列的矩阵，即当时，有此时，任取，有其中我们看到共轭算子是的转置共轭矩阵。如果是维〔实或复〕内积空间，取定为其一个标准直交基，是维〔实或复〕内积空间，取定为其一个标准直交基。设是一个线性算子〔那么一定有界〕。令那么任意，有惟一表示，于是有不难看出，线性算子由一个行列的矩阵所决定。类似于空间的情形，可得的共轭算子由的转置共轭矩阵表示。以下定理说明了一般情况下共轭算子的存在性。【定理4.11】设是空间，是内积空间，那么对任意有界线性算子，必惟一存在共轭算子。证明：对任意取定，确定了上线性泛函，其中。因那么，且。由定理，惟一存在有我们得到了算子为，且。使对任意的，有。现在证明是由到的有界线性算子。任意取复数及元素，因有因此。这说明是线性的。再由的定义，对任意的，有，因此有，即为有界线性算子，而的惟一性是明显的。证毕。再给出一个实例。设是矩形区域上平方可积函数，那么由核定义了空间上的有界线性算子为是一个型积分算子。现在求的共轭算子。任取，因为在给定条件下可交换积分次序，有故有。即是以为核的型积分算子。由例4.8,我们看到共轭算子是转置共轭矩阵概念的推广，因此它必然具有许多类似转置共轭矩阵的性质。【定理4.12】(共轭算子的性质)设，是空间，是内积空间。，是复数，那么以下命题成立：〔1〕；〔2〕；〔3〕；〔4〕；〔5〕；〔6〕存在有界线性逆算子的充要条件是也存在有界线性逆算子，有；〔7〕。证明：〔1〕任取有因此有。性质〔1〕得证。〔2〕证明留给读者证明。〔3〕任取有，因此有。于是由定义4.8得知。性质〔3〕得证。〔4〕由定理4.11的证明。因此也有，即。于是必。任取，因那么得。另一方面，任取，且，有那么得即有。综上所证就得到。性质〔4〕得证。〔5〕由假设知。任取，因于是有。性质〔5〕得证。〔6〕设存在有界线性逆算子，那么，其中分别是及上单位〔恒等〕算子。因明显有，那么利用性质〔5〕可得因此知是的逆算子，即成立。反之，设存在有界线性逆算子，于是由前证有存在有界线性逆算子。性质〔6〕得证。定理证毕。〔7〕设，那么，于是由性质〔6〕，存在有界线性逆算子，而，可见，故。同理可证即所以而分别是，的余集，因此习题4,41设是空间，是内积空间，假设，有，求证。2设是空间，求证是自反空间。3证明，其中分别是空间上单位算子和零算子。4试求作用于上的算子的共轭算子：〔1〕〔2〕。5试求作用于上的算子的共轭算子：〔1〕，其中，是实常数；〔2〕，其中。6设是复空间，。求证：假设，那么对任意，有。7设是空间，且，求证：。8设，是空间，。记的零空间与值域分别为，。任，假设，求证；假设〔1〕中，，都是闭线性子空间，假设，求证；求证；。9设是复空间，是的闭线性子空间，求证：假设是是某个非零有界线性泛函的零空间，那么是的一维空间。4.5自共轭算子在4.4节中我们引进了空间上共轭算子的概念，如果，那么。当是实空间且是有穷维时，算子就可看成实方阵，而就是的转置。假设=，那么矩阵就是对称矩阵。通过线性代数我们知道，对称矩阵有很多好的性质。在这里我们将对称矩阵的概念一般化，引入一类重要的算子。【定义4.9】假设=，那么称为自共轭算子〔或自伴算子〕。【定理4.13】设是空间，那么下面的结论成立：假设，那么为自共轭算子当且仅当对是实数。假设且为自共轭算子，那么对任何实数是自共轭算子。假设且为自共轭算子，那么是自共轭算子的充要条件是。证明：〔1〕设对任何，是实数，来证。由于所以，令，那么。又及于是得及故，对，可见，即是零算子。于是。反之，假设，那么那么是实数。〔2〕由性质〔1〕之证，由于是实数，所以是自共轭算子。〔3〕首先设，那么由共轭算子的性质知即自共轭，反之注：从定理4.13的性质〔2〕可以看出，自共轭算子组成的一个实线性子空间，而且从下面的定理近一步得知，这个子空间在算子的一致收敛和强收敛下均是闭子空间。【定理4.14】设是一列自共轭算子，。假设对每个，有，那么是自共轭算子。证明：对，由及内积的连续性得故【推论4.3】设是一列自共轭算子，，且，那么也是共轭的。证明：由算子的一致收敛可推出算子的强收敛，再由定理4.14可证得此推论成立。【定理4.15】自共轭算子的每个谱点都是实数。证明：设，来证，那么。对每个是实数，于是可见算子是一对一的，下面证的值域是闭的。设，于是有。由式得因此是列，而完备，故存在，使。根据的连续性，有，即。这样由投影定理得知，为证，仅需证。假设不然，设，但。因为，那么亦即。注意到是自共轭算子，等式左边是实数，而等式右边是复数，矛盾。故，这说明是上一对一满设。因此由逆算子定理，即。从定理4.15可见自共轭算子的谱集是实数轴上的一个有界闭集，下面的定理4.16进一步说明谱集的范围。【定理4.16】对于自共轭算子，令那么：〔1〕；〔2〕且。证明：记，对于，有，于是，即。另一方面，对任何可直接验证下面等式成立：于是得设特别取，那么，即故，因此。仿定理4.15之证，得。同理，假设可得。这样下面来证〔类似可证，〕。注意到得可取列使得，且。又故不存在有界线性逆算子，假设不然，那么由得出矛盾。就一般而言，自共轭算子未必有特征值，但当算子是紧自共轭时，特征值一定存在。【定理4.17】设是紧自共轭算子，那么有特征值。证明：如果是零算子，那么结论显然。现设〔零算子〕。不失一般性，设，那么，由之定义，此时。取且，使。因是紧算子，那么有收敛子序列。设，因为那么所以，即。因，那么，所以是的特征值。结合第3章关于紧算子的理论，如果是自共轭算子，那么的谱集将十分简单，即存在一组互不相同的非零实数〔有穷或可列〕，每个是的特征值，使。记，即为算子对应特征值的特征子空间的维数，为该子空间的标准正交基，那么假设可以展成那么。习题4.51在中举例说明线性算子满足，但不是自共轭算子。2设是空间上的自共轭算子，证明：对任何偶自然数都有。3设〔二维酉空间〕，定义算子为求，并证明。4设是空间，称为正规算子，是指。证明：如果是自共轭算子，那么是正规算子，请举例说明是正规算子，但却不是自共轭算子。5设是空间，，证明：为正规算子的充要条件是存在两个自共轭算子，且，使。6设是空间上一列正规算子，，假设，证明：为正规算子。7假设是空间上一个正规算子，证明：。4.6投影算子正算子和酉算子利用投影定理我们引进投影算子的概念，投影算子也是一类非常重要的自共轭算子。【定义4.10】设是空间的一个给定的闭子空间，那么对，由投影定理，存在惟一的垂直分解其中。定义算子为，并称为由到上的投影算子。注：根据投影算子的定义，对每个投影算子，惟一对应一个闭子空间，使，为清楚起见，有时记为。【定理4.18】〔1〕投影算子是有界线性算子。〔2〕当时，。〔3〕。〔4〕即是幂等算子。证明：对任意及任意元素，有由于，都是线性子空间，那么故。因此即是线性算子。另一方面，由，得，即，说明是有界的。因，取，由的定义有，于是等价于因此，，得。定理4.18之性质〔3〕，性质〔4〕由的定义显然成立。【定理4.19】为投影算子的充要条件是：〔1〕是自共轭算子；〔2〕是幂等，即。证明：设是投影算子，那么条件〔2〕自然成立，仅需证明是自共轭算子，对任意，记于是故，因此。反之，设条件〔1〕，设条件〔2〕成立，来证明是某一闭子空间上的投影算子。记〔算子的值域〕，显然是的子空间。我们来证是闭的。设，取使，根据条件〔2〕，再由的连续性，得。故。对，来证。事实上由条件〔1〕和条件〔2〕，对任何，有可见，特别且，即是的投影算子。读者利用定理4.19很容易证明投影算子的如下性质：〔1〕设是两个投影算子，那么为投影算子的充要条件是，此时是的投影算子。〔2〕设是两个投影算子，那么为投影算子的充要条件是，此时是的投影算子。现在引进另一类特殊的自共轭算子正算子。【定义4.11】设是空间，是上自共轭算子，假设对，有。那么称为正算子。记为。注：〔1〕通过正算子的概念，我们可对自共轭算子类引进一种序，设，是自共轭算子，假设，那么记〔注意，不必是正算子〕。〔2〕对上的任何有界线性算子，及都是正算子，这是因为，〔3〕假设是正算子，是两个非负实数，那么也是正算子。〔4〕假设是正算子，那么成立广义不等式即证明可参见不等式的证明过程，利