跳至內容

泛函分析

本頁使用了標題或全文手工轉換
維基百科,自由的百科全書
圓形鼓皮的理想化振動模式之一。 這些模式是函數空間線性算子固有函數,是泛函分析中一種常見的結構。

泛函分析(英語:Functional Analysis)是現代數學分析的一個分支,隸屬於分析學,其研究的主要物件是函數構成的函數空間。泛函分析歷史根源是由對函數空間的研究和對函數的轉換(如傅立葉轉換等)的性質的研究。這種觀點被證明是對微分方程式積分方程式的研究中特別有用。

使用泛函這個詞作為表述源自變分法,代表作用於函數的函數,這意味著,一個函數的參數是函數。這個名詞首次被雅克·阿達馬在1910年使用於這個課題的書中。是泛函分析理論的主要奠基人之一。然而,泛函的一般概念以前曾在1887年是由義大利數學家和物理學家維多·沃爾泰拉(Vito Volterra)介紹。非線性泛函理論是由雅克·阿達馬的學生繼續研究,特別是莫里斯·弗雷歇(Maurice Fréchet)可和列維(Levy)。

雅克·阿達馬還創立線性泛函分析的現代流派,並由弗里傑什·里斯和一批圍繞著斯特凡·巴拿赫(Stefan Banach)的波蘭數學家群體利沃夫數學學派英語Lwów School of Mathematics進一步發展。

賦範線性空間

[編輯]

從現代觀點來看,泛函分析研究的主要是實數體複數域上的完備賦範線性空間。這類空間被稱為巴拿赫空間,巴拿赫空間中最重要的特例被稱為希爾伯特空間,其上的範數由一個內積導出。這類空間是量子力學數學描述的基礎。更一般的泛函分析也研究Fréchet空間拓撲向量空間等沒有定義範數的空間。

泛函分析所研究的一個重要物件是巴拿赫空間和希爾伯特空間上的連續線性算子。這類算子可以導出C*-代數和其他算子代數的基本概念。

希爾伯特空間

[編輯]

希爾伯特空間(Hilbert)可以利用以下結論完全分類,即對於任意兩個希爾伯特空間,若其基數相等,則它們必彼此同構。對於有限維希爾伯特空間而言,其上的連續線性算子即是線性代數中所研究的線性轉換。對於無窮維希爾伯特空間而言,其上的任何態射均可以分解為可數維度(基的基數為)上的態射,所以泛函分析主要研究可數維度上的希爾伯特空間及其態射。希爾伯特空間中的一個尚未完全解決的問題是,是否對於每個希爾伯特空間上的算子,都存在一個真不變子空間。該問題在某些特定情況下的答案是肯定的。

巴拿赫空間

[編輯]

一般的巴拿赫空間(Banach)比較複雜,例如沒有通用的辦法構造其上的一組基。

對於每個實數,如果,一個巴拿赫空間的例子是「所有絕對值次方的積分收斂的勒貝格可測函數」所構成的空間。(參看Lp空間

在巴拿赫空間中,相當部分的研究涉及到對偶空間的概念,即巴拿赫空間上所有連續線性泛函所構成的空間。對偶空間對偶空間可能與原空間並不同構,但總可以構造一個從巴拿赫空間到其對偶空間對偶空間的一個單同態

微分的概念可以在巴拿赫空間中得到推廣,微分算子作用於其上的所有函數,一個函數在給定點的微分是一個連續線性映射

主要結果和定理

[編輯]

泛函分析的主要定理包括:

泛函分析與選擇公理

[編輯]

泛函分析所研究的大部分空間都是無窮維的。為了證明無窮維向量空間存在一組基,必須要使用佐恩引理(Zorn's Lemma)。此外,泛函分析中大部分重要定理都構建於哈恩-巴拿赫定理的基礎之上,而該定理本身就是選擇公理(Axiom of Choice)弱於布林質理想定理(Boolean prime ideal theorem)的一個形式。

研究現狀

[編輯]

泛函分析目前包括以下分支:

參考資料

[編輯]

相關主題

[編輯]