泛函分析重要內(nèi)容

本文格式為Word版，下載可任意編輯——泛函分析重要內(nèi)容們同意前人的提法，認(rèn)為線性泛函與無窮維空間上引進(jìn)坐標(biāo)的思想有關(guān)，而對(duì)偶理論則有如無窮維線性空間上的解析幾何學(xué)。

Chp.1距離線性空間

SS1.選擇公理，良序定理，佐恩引理

有序集的定義：

（1）若a在b之先，則b便不在a之先。（2）若a在b之先，b在c之先，則a在c之先。這種先后關(guān)系記作

良序集：A的任何非空子集C都必有一個(gè)屬于C的最先元素。良序集的超限歸納法：（1）

為真，這里

是A中最先的元素。

2）那么選擇公理

對(duì)一切對(duì)一切

皆真。

,為真，則亦真

設(shè)N={N}是一個(gè)非空集合構(gòu)成的族，則必存在定義在N上的函數(shù)f，使得對(duì)一切部分有序

稱元素族X是部分有序的，假使在其中某些元素對(duì)（a,b）上有二元關(guān)系

N都有

，它據(jù)有性質(zhì)：

例如X中包換關(guān)系

在部分有序集下，有上界、極大元和完全有序其中完全有序的C：

。

例如在復(fù)數(shù)域中，按大小關(guān)系定義兩個(gè)復(fù)數(shù)的關(guān)系，則復(fù)平面是部分有序的，實(shí)軸、虛軸是完全有序的。佐恩引理

設(shè)X非空的部分有序集，假使X的任何完全有序子集都有一個(gè)上界在X中，則X必含有極大元。

從現(xiàn)代觀點(diǎn)來看，泛函分析研究的主要是研究實(shí)數(shù)域或者復(fù)數(shù)域上的完備賦范線性空間。

SS2.線性空間，哈邁爾（Hamel）基

線性空間的定義：加法交換、加法結(jié)合、有零元，有負(fù)元、有單位元等。線性流形：線性空間中的非空子集，假使它加法封閉、數(shù)乘封閉。線性流形的和M+N：所有形如m+n的元素的集合，其中m∈M,n∈N。

線性流形的直和：假使M∩N={θ},則以假使

于是有下述定理：

定理2.1設(shè)M,N是線性空間X的線性流形，則

代替M+N

,則稱M與N是代數(shù)互補(bǔ)的線性流形。

當(dāng)且僅當(dāng)對(duì)每個(gè)x∈X都有唯一的表達(dá)式

x=m+n,m∈M,n∈N.

定理2.2若

Hamel基的定義：

，則dimX=dimM+dimN

設(shè)X是具有非零元的線性空間，X的子集H稱為X的Hamel基，假使（1）H是線性無關(guān)的。

（2）H張成的線性流形是整個(gè)空間。則有Hamel基和線性無關(guān)子集的關(guān)系：

定理2.3設(shè)X是線性空間，S是X中任意的線性無關(guān)子集，則存在X的一個(gè)Hamel基使得推論任何非零線性空間必有Hamel基由定理2.3，可有

定理2.4設(shè)M是線性空間X的線性流形，則必有線性流形

SS3距離空間（度量空間），距離線性空間

定義了距離（滿足正定性、對(duì)稱性和三角不等式的映射）d(x,y)的空間即為距離空間，記為按距離收斂：

設(shè)距離空間中的點(diǎn)列

使得

使得

，即N是M的代數(shù)補(bǔ)。

距離線性空間：

設(shè)賦有距離d(·,·)的線性空間X滿足

,則稱按d(·，·)收斂到x，簡(jiǎn)記為

（1）

（2）

距離線性空間的例子

例1有界序列空間（m）設(shè)X代表所有有界數(shù)列定義加法和數(shù)乘：

的集合，設(shè)

以及距離：

則它是一個(gè)線性距離空間

例2收斂序列空間（c）

元素、加法、數(shù)乘和距離定義同上，序列有極限。

例3本質(zhì)有界可測(cè)函數(shù)空間

定義加法和數(shù)乘：(x+y)(t)=x(t)+y(t),(ax)(t)=ax(t)以及距離：d(x,y)=essup|x(t)-y(t)|

例4所有序列空間（s）元素、加法和數(shù)乘定義同例1，

距離

例5空間設(shè)X代表滿足條件距離為

的所有數(shù)列的集合，加法和數(shù)乘同例1，

SS4距離空間中的拓?fù)?，可分空間

中，球、開集、鄰域、閉集、內(nèi)點(diǎn)、內(nèi)部的概念同拓?fù)洹?/p>

其中，極限點(diǎn)的概念相當(dāng)于拓?fù)鋵W(xué)中的聚點(diǎn)，連續(xù)函數(shù)的定義和拓?fù)湟彩且恢碌?。稠密：設(shè)是距離空間，S包含于X稱為稠密的，假使任給

.

空間X稱為可分的，假使X內(nèi)有一個(gè)可數(shù)的稠密集。

例5、所有序列空間（s）是可分的；有界序列空間（m），例3是可分的。

SS5完備距離空間

完備性：稱是完備的，若對(duì)任意的柯西序列都收斂。例C[0,1]:所有復(fù)值連續(xù)函數(shù)的集合，是完備的。

定義與例3一致的加法和數(shù)乘，定義距離d(x,y)=max|x(t)-y(t)|，則它是線性距離空間，稱為連續(xù)函數(shù)空間

完備化：對(duì)距離空間，若有完備的距離空間,使X等距于，

即有則

為X的完備化。

,且T(x)是中的稠密子集，

進(jìn)一步，有定理

定理5.1任何距離空間都存在完備化

SS6列緊性

列緊：中集合M是列緊的，假使M中任何序列都有收斂子列。閉的列緊集稱為自列緊集。

ε-網(wǎng)：對(duì)中的M,N，ε為給定正數(shù)，若對(duì)M中的任一點(diǎn)x，必存在N中的一點(diǎn)x'使得d(x,x')0，總存在由有限元組成的M的ε-網(wǎng)。定理6.1：在距離空間中，列緊性蘊(yùn)含完全有界性；若更設(shè)X完備，則列緊性與完全有界性等價(jià)。定理6.2：在距離空間中，任何完全有界集是可分的。定理6.3：在距離空間中，緊（緊致）性和自列緊性等價(jià)。

等同連續(xù)：設(shè)F是一族從到的函數(shù)，若任給

都有

ρ。賦范線性空間X中，‖x‖是x的連續(xù)函數(shù)。線性算子設(shè)T是從

到

的函數(shù)（映射），若對(duì)一切x,y∈X和數(shù)a,b都有

T(ax+by)=aT(x)+bT(y)，則稱T是X到Y(jié)的線性算子。假使還存在常數(shù)C>0，使對(duì)一切x∈X都有如上的C的下確界稱為T的范數(shù)，記為‖T‖

定理7.1設(shè)X,Y是賦范線性空間，T是從X到Y(jié)的線性算子，則下述等價(jià)：（1）T在X某點(diǎn)連續(xù)；（2）T在X中所有點(diǎn)連續(xù)；（3）T是有界的。

線性算子的值域、滿射的線性算子、單射的線性算子，逆算子這些定義是顯然的。其中有界限性算子的逆算子一般未必有界，若有界則稱為有界可逆的。

定義在從線性空間X到復(fù)數(shù)域C的線性算子函數(shù)，稱為線性泛函。

命題7.2有限維賦范線性空間中點(diǎn)收斂等價(jià)于坐標(biāo)收斂命題7.3有限維賦范線性空間與同維度實(shí)數(shù)域線性同構(gòu)且同胚。Riesz引理：設(shè)M是賦范線性空間X的真子空間，則對(duì)任給的正數(shù)且

,則T是有界的

根據(jù)這個(gè)引理，我們知道任何賦范線性空間X，若球B(x,r)是列緊的，則X必是有限維的。

Chp.2希爾伯特空間

SS1內(nèi)積空間

定義設(shè)X是復(fù)線性空間，假使對(duì)任給的x,y∈X都恰有一個(gè)復(fù)數(shù)，記為(x,y)，與之對(duì)應(yīng)，并且這個(gè)對(duì)應(yīng)有以下四條性質(zhì)：(1)(2)(3)(4)

對(duì)任意的x,y∈X和a∈C,則稱(x,y)是x與y的內(nèi)積，稱X為具有內(nèi)積的內(nèi)及空間。正交的定義：(x,y)=0

進(jìn)一步可以構(gòu)建正規(guī)正交集，并且向歐幾里得空間那樣構(gòu)建二范數(shù)‖x‖。

定理1.1給出內(nèi)及空間X中的正規(guī)正交集{x}，則對(duì)任何x∈X

貝塞爾不等式

施瓦茨不等式

.

定理1.2每個(gè)內(nèi)積空間X按二范數(shù)稱為賦范線性空間名義

命題1.1內(nèi)積(x,y)是x,y的二元連續(xù)函數(shù)，即當(dāng)x,y有極限時(shí)，內(nèi)積也有極限。命題1.2設(shè)點(diǎn)集M在內(nèi)積空間X中稠密，若有x'∈X使(x,x')=0,對(duì)任意x∈X,則x'=0

須知，內(nèi)積空間中向量的范數(shù)有著異于其它賦范線性空間中向量范數(shù)的獨(dú)特性質(zhì)。命題1.3平行四邊形法則

是否每個(gè)賦范線性空間X都能賦以內(nèi)積(x,y)使得原來的范數(shù)‖x‖總可以表成為X能賦以內(nèi)積的充要條件是X中的范數(shù)滿足平行四邊形法則。

呢？可以證明：

例1在空間C[0,1]不是內(nèi)積空間。只需取x(t)=1,y(t)=t,考慮‖x+y‖和‖x-y‖即可。（C[0,1]是完備的）定義1.3若內(nèi)積空間是完備的，則稱H為希爾伯特空間例2空間

的全體形成的線性空間，是希爾伯特空間。

例3空間是希爾伯特空間。

（注意到上兩例同時(shí)也是線性距離空間）命題1.4內(nèi)積空間X的完備化

SS2正規(guī)正交基

是希爾伯特空間。

現(xiàn)設(shè)H表示非零希爾伯特空間

正規(guī)正交基：設(shè)S是H中的正規(guī)正交集，假使H中沒有其他的正規(guī)正交集真包含S，則稱S為H的正規(guī)正交基。這等價(jià)于：

命題2.1設(shè)S是H中的正規(guī)正交集，則S是H的正規(guī)正交基充要條件是H中沒有非零元與S中每個(gè)元正交。

定理2.1若H可分，則H必有一個(gè)可數(shù)的正規(guī)正交基。定理2.2每個(gè)非零的希爾伯特空間都有正規(guī)正交基定理2.3設(shè)

推論每個(gè)可分的希爾伯特空間都與l^2同構(gòu)。

SS3射影定理，弗雷切特-利亞茨表現(xiàn)定理

設(shè)M是希爾伯特空間H的線性流形，定義補(bǔ)，二者的交為{0}，它也是H的子空間。

定理3.1（射影定理）設(shè)M是希爾伯特空間H的子空間，則每個(gè)x∈X都可以唯一地表成：

，稱其為M的正交

是H的一個(gè)正規(guī)正交基，則對(duì)任何的x∈X,都有

稱這個(gè)由x與M唯一確定的y為x在M上的正交射影。命題3.1設(shè)M是H的線性流形，則設(shè)

或?qū)ε伎臻g。

定理3.2弗雷切特-利亞茨表現(xiàn)定理設(shè)

定義3.1設(shè)φ(x,y)是從H×H到C中的函數(shù)，據(jù)有性質(zhì)：(1)(2)

則稱它是H上的雙線性泛函

定理3.3設(shè)φ(x,y)是H上的有界的共軛雙線性泛函，則恰有H上一個(gè)有界限性算子A，使得φ(x,y)=(Ax,y)

使f可表為

表示希爾伯特空間H上全體連續(xù)線性泛函按逐點(diǎn)定義的加法和數(shù)乘形成的線性空間，對(duì)

,按這個(gè)范數(shù)，它也是完備的賦范線性空間，稱其為H的共軛空間.

SS4希爾伯特共軛算子（伴隨算子），拉克斯-米爾格拉姆定理

希爾伯特共軛算子

設(shè)H1,H2都是希爾伯特空間，T是從H1到H2的有界限性算子。稱T^*為T的希爾伯特共軛算子，也稱伴隨算子，即由其定義可見

總之，對(duì)于這樣的一個(gè)有界限性算子，總有它的伴隨算子使得上式成立，且由其唯一確定。例1對(duì)于一個(gè)矩陣算子，它的共軛轉(zhuǎn)置就是它的希爾伯特共軛算子。

Chp.3巴拿赫空間上的有界限性算子

SS1有界限性算子

算子的范數(shù)：設(shè)X,Y是賦范線性空間，以下記從X到Y(jié)的全體有界限性算子集合為L(zhǎng)(X,Y),而L(X,X)簡(jiǎn)記為L(zhǎng)(X).設(shè)A∈L(X,Y)，我們知道A的范數(shù)為‖A‖=sup‖Ax‖/‖x‖，其中x不為零。

命題1.1兩個(gè)L(X,Y)中算子和的范數(shù)小于范數(shù)的和，數(shù)乘算子的范數(shù)等于算子范數(shù)的數(shù)乘。命題1.2設(shè)X是賦范線性空間，Y是巴拿赫空間，則L(X,Y)也是巴拿赫空間。命題1.3算子積的范數(shù)小于范數(shù)的積。

范數(shù)A強(qiáng)于范數(shù)B，指A的收斂蘊(yùn)含了B的收斂；假使相互都強(qiáng)于相互，則稱二者是等價(jià)的。算子的逆

命題1.5設(shè)X,Y都是賦范線性空間，A:X->Y是線性映射，那么A是單射的，且定義在R(A)上的算子A'是連續(xù)的，充分必要條件是存在常數(shù)m>0使得‖Ax‖≥m‖x‖,對(duì)任意的X中的x。定理1.1設(shè)X是巴拿赫空間，A∈L(X),且‖A‖0.

命題2.3設(shè)M是賦范線性空間X中的線性流形，x'∈X，則

x'∈M的閉包當(dāng)且僅當(dāng)對(duì)X上任何連續(xù)線性泛函f，f(x)=0,對(duì)任意x∈M,蘊(yùn)含f(x')=0.進(jìn)一步推論設(shè)S是賦范線性空間X的子集，x'∈X，則

x'可以用S中的線性組合來迫近當(dāng)且僅當(dāng)對(duì)X上的任何連續(xù)線性泛函f都有f(x)=0,對(duì)任意x∈S蘊(yùn)含f(x')=0.

命題2.4設(shè)M是巴拿赫空間X的有限維子空間，則有X的子空間N，使得X=M+N且M與N的交為{0}。