概述簡介
泛函分析(Functional Analysis)是現(xiàn)代數(shù)學的一個分支,隸屬于分析學,其研究的主要對象是函數(shù)構(gòu)成的空間。泛函分析是由對函數(shù)的變換(如傅立葉變換等)的性質(zhì)的研究和對微分方程以及積分方程的研究發(fā)展而來的。使用泛函作為表述源自變分法,代表作用于函數(shù)的函數(shù)。巴拿赫(Stefan Banach)是泛函分析理論的主要奠基人之一,而數(shù)學家兼物理學家維多·沃爾泰拉(Vito Volterra)對泛函分析的廣泛應用有重要貢獻。1
選擇公理泛函分析所研究的大部分空間都是無窮維的。為了證明無窮維向量空間存在一組基,必須要使用佐恩引理(Zorn's Lemma)。此外,泛函分析中大部分重要定理都構(gòu)建與罕-巴拿赫定理的基礎之上,而該定理本身就是選擇公理(Axiom of Choice)弱于布倫素理想定理(Boolean prime ideal theorem)的一個形式。1
歷史簡介背景十九世紀以來,數(shù)學的發(fā)展進入了一個新的階段。這就是,由于對歐幾里得第五公設的研究,引出了非歐幾何這門新的學科;對于代數(shù)方程求解的一般思考,最后建立并發(fā)展了群論;對數(shù)學分析的研究又建立了集合論。這些新的理論都為用統(tǒng)一的觀點把古典分析的基本概念和方法一般化準備了條件。這時候,函數(shù)概念被賦予了更為一般的意義,古典分析中的函數(shù)概念是指兩個數(shù)集之間所建立的一種對應關(guān)系?,F(xiàn)代數(shù)學的發(fā)展卻是要求建立兩個任意集合之間的某種對應關(guān)系。
由于分析學中許多新部門的形成,揭示出分析、代數(shù)、集合的許多概念和方法常常存在相似的地方。比如,代數(shù)方程求根和微分方程求解都可以應用逐次逼近法,并且解的存在和唯一性條件也極其相似。這種相似在積分方程論中表現(xiàn)得就更為突出了。泛函分析的產(chǎn)生正是和這種情況有關(guān),有些乍看起來很不相干的東西,都存在著類似的地方。因此它啟發(fā)人們從這些類似的東西中探尋一般的真正屬于本質(zhì)的東西。
非歐幾何的確立拓廣了人們對空間的認知,n維空間幾何的產(chǎn)生允許我們把多變函數(shù)用幾何學的語言解釋成多維空間的映像。這樣,就顯示出了分析和幾何之間的相似的地方,同時存在著把分析幾何化的一種可能性。這種可能性要求把幾何概念進一步推廣,以至最后把歐氏空間擴充成無窮維數(shù)的空間。
20世紀初,瑞典數(shù)學家弗列特荷姆和法國數(shù)學家阿達瑪發(fā)表的著作中,出現(xiàn)了把分析學一般化的萌芽。隨后,希爾伯特和海令哲來創(chuàng)了“希爾伯特空間”的研究。到了二十年代,在數(shù)學界已經(jīng)逐漸形成了一般分析學,也就是泛函分析的基本概念。研究無限維線性空間上的泛函數(shù)和算子理論,就產(chǎn)生了一門新的分析數(shù)學,叫做泛函分析。在二十世紀三十年代,泛函分析就已經(jīng)成為數(shù)學中一門獨立的學科了。2
研究現(xiàn)狀泛函分析目前包括以下分支:
軟分析(soft analysis),其目標是將數(shù)學分析用拓撲群、拓撲環(huán)和拓撲向量空間的語言表述。
巴拿赫空間的幾何結(jié)構(gòu),以Jean Bourgain的一系列工作為代表。
非交換幾何,此方向的主要貢獻者包括Alain Connes,其部分工作是以George Mackey的遍歷論中的結(jié)果為基礎的。
與量子力學相關(guān)的理論,狹義上被稱為數(shù)學物理,從更廣義的角度來看,如按照Israel Gelfand所述,其包含表示論的大部分類型的問題。2
拓撲線性空間由于泛函分析源自研究各種函數(shù)空間,在函數(shù)空間里函數(shù)列的收斂有不同的類型(譬如逐點收斂,一致收斂,弱收斂等等),這說明函數(shù)空間里有不同的拓撲。而函數(shù)空間一般是無窮維線性空間。所以抽象的泛函分析研究的是一般的(無窮維的)帶有一定拓撲的線性空間。
拓撲線性空間的定義就是一個帶有拓撲結(jié)構(gòu)的線性空間,使得線性空間的加法和數(shù)乘都是連續(xù)映射的空間。1
巴拿赫空間這是最常見,應用最廣的一類拓撲線性空間。比如有限閉區(qū)間上的連續(xù)函數(shù)空間,有限閉區(qū)間上的k次可微函數(shù)空間?;蛘邔τ诿總€實數(shù)p,如果p ≥ 1,一個巴拿赫空間的例子是“所有絕對值的p次方的積分收斂的勒貝格可測函數(shù)”所構(gòu)成的空間。
在巴拿赫空間中,相當部分的研究涉及到對偶空間的概念,即巴拿赫空間上所有連續(xù)線性泛函所構(gòu)成的空間。對偶空間的對偶空間可能與原空間并不同構(gòu),但總可以構(gòu)造一個從巴拿赫空間到其對偶空間的對偶空間的一個單同態(tài)。
微分的概念可以在巴拿赫空間中得到推廣,微分算子作用于其上的所有函數(shù),一個函數(shù)在給定點的微分是一個連續(xù)線性映射。1
希爾伯特空間希爾伯特空間可以利用以下結(jié)論完全分類,即對于任意兩個希爾伯特空間,若其基的基數(shù)相等,則它們必彼此同構(gòu)。對于有限維希爾伯特空間而言,其上的連續(xù)線性算子即是線性代數(shù)中所研究的線性變換。對于無窮維希爾伯特空間而言,其上的任何態(tài)射均可以分解為可數(shù)維度(基的基數(shù)為50)上的態(tài)射,所以泛函分析主要研究可數(shù)維度上的希爾伯特空間及其態(tài)射。希爾伯特空間中的一個尚未完全解決的問題是,是否對于每個希爾伯特空間上的算子,都存在一個真不變子空間。該問題在某些特定情況下的答案是肯定的。1
算子在具體的函數(shù)空間上,我們有對函數(shù)的各種各樣的操作。最典型的是對函數(shù)求導數(shù)的操作。這樣的操作一般叫做算子。作為一個拓撲空間之間的映射,我們總可以要求算子是連續(xù)映射。對拓撲線性空間上的算子的研究構(gòu)成了泛函分析的一個很大的分支領域。1
線性算子和線性泛函最基本的算子是保持拓撲線性空間結(jié)構(gòu)的算子,稱作線性算子。如果像空間是拓撲線性空間所在的數(shù)域(特別的,一個一維拓撲線性空間)那么這樣的算子成為線性泛函。
在線性算子的理論中有幾個非常基本而重要的定理。
1.一致有界定理(亦稱共鳴定理),該定理描述一族有界算子的性質(zhì)。
2.罕-巴拿赫定理(Hahn-Banach Theorem)研究了如何將一個算子保范數(shù)地從一個子空間延拓到整個空間。另一個相關(guān)結(jié)果是對偶空間的非平凡性。
3.開映射定理和閉圖像定理。
4.譜定理包括一系列結(jié)果,其中最常用的結(jié)果給出了希爾伯特空間上正規(guī)算子的一個積分表達,該結(jié)果在量子力學的數(shù)學描述中起到了核心作用。1
非線性算子更一般的我們會遇到非線性的算子。最簡單的例子就是各種函數(shù)空間上不同的能量泛函。非線性的算子在微分幾何和微分方程理論中都扮演重要的角色,比如極小曲面就是能量泛函的極小點。1
特點和內(nèi)容泛函分析的特點是它不但把古典分析的基本概念和方法一般化了,而且還把這些概念和方法幾何化了。比如,不同類型的函數(shù)可以看作是“函數(shù)空間”的點或矢量,這樣最后得到了“抽象空間”這個一般的概念。它既包含了以前討論過的幾何對象,也包括了不同的函數(shù)空間。
泛函分析對于研究現(xiàn)代物理學是一個有力的工具。n維空間可以用來描述具有n個自由度的力學系統(tǒng)的運動,實際上需要有新的數(shù)學工具來描述具有無窮多自由度的力學系統(tǒng)。比如梁的震動問題就是無窮多自由度力學系統(tǒng)的例子。一般來說,從質(zhì)點力學過渡到連續(xù)介質(zhì)力學,就要由有窮自由度系統(tǒng)過渡到無窮自由度系統(tǒng)?,F(xiàn)代物理學中的量子場理論就屬于無窮自由度系統(tǒng)。
正如研究有窮自由度系統(tǒng)要求 n維空間的幾何學和微積分學作為工具一樣,研究無窮自由度的系統(tǒng)需要無窮維空間的幾何學和分析學,這正是泛函分析的基本內(nèi)容。因此,泛函分析也可以通俗的叫做無窮維空間的幾何學和微積分學。古典分析中的基本方法,也就是用線性的對象去逼近非線性的對象,完全可以運用到泛函分析這門學科中。
泛函分析是分析數(shù)學中最“年輕”的分支,它是古典分析觀點的推廣,它綜合函數(shù)論、幾何和代數(shù)的觀點研究無窮維向量空間上的函數(shù)、算子、和極限理論。他在二十世紀四十到五十年代就已經(jīng)成為一門理論完備、內(nèi)容豐富的數(shù)學學科了。
半個多世紀來,泛函分析一方面以其他眾多學科所提供的素材來提取自己研究的對象,和某些研究手段,并形成了自己的許多重要分支,例如算子譜理論、巴拿赫代數(shù)、拓撲線性空間理論、廣義函數(shù)論等等;另一方面,它也強有力地推動著其他不少分析學科的發(fā)展。它在微分方程、概率論、函數(shù)論、連續(xù)介質(zhì)力學、量子物理、計算數(shù)學、控制論、最優(yōu)化理論等學科中都有重要的應用,還是建立群上調(diào)和分析理論的基本工具,也是研究無限個自由度物理系統(tǒng)的重要而自然的工具之一。今天,它的觀點和方法已經(jīng)滲入到不少工程技術(shù)性的學科之中,已成為近代分析的基礎之一。
泛函分析在數(shù)學物理方程、概率論、計算數(shù)學、連續(xù)介質(zhì)力學、量子物理學等學科有著廣泛的應用。近十幾年來,泛函分析在工程技術(shù)方面有獲得更為有效的應用。它還滲透到數(shù)學內(nèi)部的各個分支中去,起著重要的作用。3