1、第三章線性算子與線性泛函,一致有界原理（共鳴定理）及其應(yīng)用Hahn-Banach定理，非零有界線性算子存在性定理共軛空間與共軛算子開(kāi)映射、逆算子及閉圖形定理算子譜理論簡(jiǎn)介,定義：設(shè)A是距離空間X的子集，若A在X中的任意一個(gè)非空開(kāi)集中均不稠密（A沒(méi)有內(nèi)點(diǎn)），則稱A是稀疏(疏朗)集；稱X是第一綱的，若X可表示成至多可數(shù)的稀疏集的并；不是第一綱的X稱為是第二綱的。例子：X=有理數(shù)集，定義距離d(x,y)=|x-y|,則X是第一綱的，每個(gè)單點(diǎn)集是X中的疏朗集。定理1(Baire綱定理)：完備的距離空間是第二綱的。推論1:歐式空間、Banach空間、Hilbert空間、有界線性算子空間L(X,Y)都是第

2、二綱的。,第一節(jié)共鳴定理及其應(yīng)用,第一節(jié)共鳴定理及其應(yīng)用,共鳴定理的應(yīng)用,1.機(jī)械求積公式的收斂性2.Lagrange插值公式的發(fā)散性定理：差值多項(xiàng)式作為連續(xù)函數(shù)的近似表達(dá)時(shí)，插值點(diǎn)的無(wú)限增多不能更好的逼近插值函數(shù)。3.Fourier級(jí)數(shù)的發(fā)散性問(wèn)題：存在連續(xù)的周期函數(shù)，其Fourier級(jí)數(shù)在給定點(diǎn)發(fā)散。,Fourier級(jí)數(shù)的發(fā)散性問(wèn)題,法國(guó)科學(xué)家J.-B.-J.傅里葉由于當(dāng)時(shí)工業(yè)上處理金屬的需要，從事熱流動(dòng)的研究。他在題為熱的解析理論一文中，發(fā)展了熱流動(dòng)方程，并指出了任意周期函數(shù)都可以用三角基來(lái)表示的想法。他的這種思想，雖然缺乏嚴(yán)格的論證，但對(duì)近代數(shù)學(xué)以及物理、工程技術(shù)卻都產(chǎn)生了深遠(yuǎn)的影響，

3、成為傅里葉分析的起源。在積分變換中，F(xiàn)-變換是大家熟悉的，為讓符號(hào)與積分的交換，應(yīng)當(dāng)對(duì)F-級(jí)數(shù)(1)的收斂性加以必要的限制,如一致收斂性。因?yàn)榭赡艽嬖诓灰恢率諗康娜羌?jí)數(shù)，而它確實(shí)表示一個(gè)函數(shù)。大量的事實(shí)讓人們誤以為：“的傅里葉級(jí)數(shù)一定能收斂于自身”,第二節(jié)Hahn-Banach定理,n維賦范線性空間上的線性泛函與n元數(shù)組一一對(duì)應(yīng)，有著具體的形式。有限維賦范線性空間上的線性泛函和線性算子都是連續(xù)的，那無(wú)窮維的情形呢，是否有非零的連續(xù)線性泛函，如果有，是否足夠多？解決該問(wèn)題的基本的想法之一：將我們熟悉的有限維上的泛函進(jìn)行推廣、延拓。這節(jié)是考慮的實(shí)賦范線性空間，對(duì)復(fù)的情形，類(lèi)似結(jié)論都是成立的，不在

4、贅述,設(shè)X是實(shí)線性空間，稱X上泛函p是次可加正齊次的，如果滿足例如：求元素的范數(shù)就是這種泛函定理1.(Hahn-Banach)：設(shè)p是實(shí)線性空間X上的次可加正齊次泛函，f是X的子空間M上的實(shí)線性泛函且那么存在X上的實(shí)線性泛函F滿足：,定理1(Hahn-Banach)證明的基本思路,其證明：先對(duì)X僅比M多一維處理，再根據(jù)Zorn引理說(shuō)明存在性。注：F沒(méi)有唯一性。定理2：設(shè)X是實(shí)賦范線性空間，如果X多于一點(diǎn)，則X上必存在非零的連續(xù)線性泛函。定理3（Banach保范延拓定理）：實(shí)賦范線性空間X的子空間M上的有界線性泛函f可保范延拓為X上的有界線性泛函F。推論1：設(shè)M是X的真閉子空間，則存在X上的有界

5、線性泛函F滿足：,推論2：設(shè)，則存在X上的有界線性泛函滿足注：這表明只要X多有一點(diǎn)，則X上必存在非零的連續(xù)線性泛函。推論3：設(shè)，若對(duì)X上任意連續(xù)線性泛函f都有練習(xí)：1.設(shè)X是實(shí)賦范線性空間，。2.設(shè)X是賦范線性空間，如果X*是可分的，那么X也是可分的。,第三節(jié)共軛空間與共軛算子,若X與（X*）*（X的二次對(duì)偶空間）等距同構(gòu)，則稱X是自反的。例子：Lp(p1)是自反的，L1不是自反的Ca,b不是自反的（參見(jiàn)哈爾莫斯的測(cè)度論中的相關(guān)結(jié)論）。通過(guò)嵌入映射，可視X是X*的子空間。若X是自反的，那么X*也是自反的。,定理1：設(shè)X是賦范線性空間，如果X*是可分的，則X是可分的該定理啟發(fā)我們可以用X*的性質(zhì)

6、來(lái)研究X的性質(zhì)，該方向發(fā)展成為局部凸線性空間理論中的對(duì)偶理論定義1：設(shè)X,Y是賦范線性空間，B(X,Y)中元素T,Tn滿足：對(duì)任意X中x和Y*中f，數(shù)列f(Tnx)收斂于f(Tx),則稱Tn弱收斂于T。注：從定義可看出，算子列的一致收斂可導(dǎo)出強(qiáng)收斂，強(qiáng)收斂可導(dǎo)出弱收斂，反之都是不成立的。例如后項(xiàng)移位算子S*,共軛算子,定義2：設(shè)X、Y是賦范線性空間，T是從X到Y(jié)上的有界線性算子，對(duì)Y*中點(diǎn)f，式f*(x)=f(T(x),定義了X上的一個(gè)有界線性泛函，該對(duì)應(yīng)關(guān)系T*（f）=f*是Y*到X*的算子，稱T*為T(mén)的共軛算子。例子：對(duì)實(shí)矩陣A，A*恰好就是A的轉(zhuǎn)置。（P1073.18）對(duì)復(fù)矩陣B，B*是

7、B轉(zhuǎn)置后，每個(gè)元素再取復(fù)共軛，即B*是B的Hermit矩陣。,共軛運(yùn)算的性質(zhì),在許多實(shí)際問(wèn)題中，我們常常用到通過(guò)已知條件求未知元的問(wèn)題，例如解代數(shù)方程，微（積）分方程等等將之抽象，統(tǒng)一起來(lái)研究，就是一般算子方程的求解問(wèn)題，即考慮相應(yīng)算子的逆算子的存在性問(wèn)題如果還要求“解的唯一性，和對(duì)依賴的初始條件是連續(xù)的”，那該問(wèn)題便歸結(jié)為“尋求連續(xù)的逆算子的存在問(wèn)題”這就是我們本節(jié)要介紹的與之密切相關(guān)的一些定理。,第五節(jié)開(kāi)映射、逆算子及閉圖形定理,賦范線性空間上的有界線性算子T是雙射時(shí)，其逆映射是存在的，線性的，是否連續(xù)？與函數(shù)情形是不同的例：求積分、微分是互逆的過(guò)程，積分算子的有界性并保證不了微分算子是無(wú)界的線性算子。定義5.1：設(shè)T是距離空間X到Y(jié)間的映射，若T將開(kāi)集映為開(kāi)集，則稱T是開(kāi)映射。例：同胚映射T是雙射時(shí)，T是開(kāi)映射當(dāng)且僅當(dāng)其逆映射是連續(xù)的,開(kāi)映射定理,定理1（Banach開(kāi)映射定理）：設(shè)X,Y是Banach空間，B(X,Y)中元T是滿射，則T是開(kāi)映射。證明用到Baire定理，這是本質(zhì)