泛函分析（Functional Analysis）是現代數學的一個分支，隸屬於分析學，其研究的主要物件是函式構成的空間。泛函分析是由對變換（如傅立葉變換等）的性質的研究和對微分方程以及積分方程的研究發展而來的。使用泛函作為表述源自變分法，代表作用於函式的函式。巴拿赫（Stefan Banach）是泛函分析理論的主要奠基人之一，而數學家兼物理學家伏爾泰拉（Vito Volterra）對泛函分析的廣泛應用有重要貢獻。
泛函分析是20世紀30年代形成的數學分科。是從變分問題，積分方程和理論物理的研究中發展起來的。它綜合運用函式論，幾何學，代數學的觀點來研究無限維向量空間上的函式，運算元和極限理論。它可以看作無限維向量空間的解析幾何及數學分析。主要內容有拓撲線性空間等。泛函分析在數學物理方程，機率論，計算數學等分科中都有應用，也是研究具有無限個自由度的物理系統的數學工具。泛函分析是研究拓撲線性空間到拓撲線性空間之間滿足各種拓撲和代數條件的對映的分支學科。
[編輯本段]賦範線性空間
從現代觀點來看，泛函分析研究的主要是實數域或複數域上的完備賦範線性空間。這類空間被稱為巴拿赫空間，巴拿赫空間中最重要的特例被稱為希爾伯特空間，其上的範數由一個內積匯出。這類空間是量子力學數學描述的基礎。更一般的泛函分析也研究Fréchet空間和拓撲向量空間等沒有定義範數的空間。
泛函分析所研究的一個重要物件是巴拿赫空間和希爾伯特空間上的連續線性運算元。這類運算元可以匯出C*代數和其他運算元代數的基本概念。
1. 希爾伯特空間
希爾伯特空間可以利用以下結論完全分類，即對於任意兩個希爾伯特空間，若其基的基數相等，則它們必彼此同構。對於有限維希爾伯特空間而言，其上的連續線性運算元即是線性代數中所研究的線性變換。對於無窮維希爾伯特空間而言，其上的任何態射均可以分解為可數維度（基的基數為50）上的態射，所以泛函分析主要研究可數維度上的希爾伯特空間及其態射。希爾伯特空間中的一個尚未完全解決的問題是，是否對於每個希爾伯特空間上的運算元，都存在一個真不變子空間。該問題在某些特定情況下的答案是肯定的。
2. 巴拿赫空間
一般的巴拿赫空間比較複雜，例如沒有通用的辦法構造其上的一組基。
對於每個實數p，如果p ≥ 1，一個巴拿赫空間的例子是“所有絕對值的p次方的積分收斂的勒貝格可測函式”所構成的空間。（參看Lp空間）
在巴拿赫空間中，相當部分的研究涉及到對偶空間的概念，即巴拿赫空間上所有連續線性泛函所構成的空間。對偶空間的對偶空間可能與原空間並不同構，但總可以構造一個從巴拿赫空間到其對偶空間的對偶空間的一個單同態。
微分的概念可以在巴拿赫空間中得到推廣，微分運算元作用於其上的所有函式，一個函式在給定點的微分是一個連續線性對映。
[編輯本段]主要結果和定理
泛函分析的主要定理包括：
1. 一致有界定理（亦稱共鳴定理），該定理描述一族有界運算元的性質。
2. 譜定理包括一系列結果，其中最常用的結果給出了希爾伯特空間上正規運算元的一個積分表達，該結果在量子力學的數學描述中起到了核心作用。
3. 罕-巴拿赫定理（Hahn-Banach Theorem）研究瞭如何將一個運算元保範數地從一個子空間延拓到整個空間。另一個相關結果是對偶空間的非平凡性。
4. 開對映定理和閉影象定理。
[編輯本段]泛函分析與選擇公理
泛函分析所研究的大部分空間都是無窮維的。為了證明無窮維向量空間存在一組基，必須要使用佐恩引理（Zorn"s Leema）。此外，泛函分析中大部分重要定理都構建與罕-巴拿赫定理的基礎之上，而該定理本身就是選擇公理（Axiom of Choice）弱於布倫素理想定理（Boolean prime ideal theorem）的一個形式。
[編輯本段]泛函分析的研究現狀
泛函分析目前包括以下分支：
1. 軟分析（soft analysis），其目標是將數學分析用拓撲群、拓撲環和拓撲向量空間的語言表述。
2. 巴拿赫空間的幾何結構，以Jean Bourgain的一系列工作為代表。
3. 非交換幾何，此方向的主要貢獻者包括Alain Connes，其部分工作是以George Mackey的遍歷論中的結果為基礎的。
4. 與量子力學相關的理論，狹義上被稱為數學物理，從更廣義的角度來看，如按照Israel Gelfand所述，其包含表示論的大部分型別的問題。
[編輯本段]泛函分析的產生
十九世紀以來，數學的發展進入了一個新的階段。這就是，由於對歐幾里得第五公設的研究，引出了非歐幾何這門新的學科；對於代數方程求解的一般思考，最後建立並發展了群論；對數學分析的研究又建立了集合論。這些新的理論都為用統一的觀點把古典分析的基本概念和方法一般化準備了條件。
本世紀初，瑞典數學家弗列特荷姆和法國數學家阿達瑪發表的著作中，出現了把分析學一般化的萌芽。隨後，希爾伯特和海令哲來創了“希爾伯特空間”的研究。到了二十年代，在數學界已經逐漸形成了一般分析學，也就是泛函分析的基本概念。
由於分析學中許多新部門的形成，揭示出分析、代數、集合的許多概念和方法常常存在相似的地方。比如，代數方程求根和微分方程求解都可以應用逐次逼近法，並且解的存在和唯一性條件也極其相似。這種相似在積分方程論中表現得就更為突出了。泛函分析的產生正是和這種情況有關，有些乍看起來很不相干的東西，都存在著類似的地方。因此它啟發人們從這些類似的東西中探尋一般的真正屬於本質的東西。
非歐幾何的確立拓廣了人們對空間的認知，n維空間幾何的產生允許我們把多變函式用幾何學的語言解釋成多維空間的影響。這樣，就顯示出了分析和幾何之間的相似的地方，同時存在著把分析幾何化的一種可能性。這種可能性要求把幾何概念進一步推廣，以至最後把歐氏空間擴充成無窮維數的空間。
這時候，函式概念被賦予了更為一般的意義，古典分析中的函式概念是指兩個數集之間所建立的一種對應關係。現代數學的發展卻是要求建立兩個任意集合之間的某種對應關係。
這裡我們先介紹一下運算元的概念。運算元也叫算符，在數學上，把無限維空間到無限維空間的變換叫做運算元。
研究無限維線性空間上的泛函式和運算元理論，就產生了一門新的分析數學，叫做泛函分析。在二十世紀三十年代，泛函分析就已經成為數學中一門獨立的學科了。
[編輯本段]泛函分析的特點和內容
泛函分析的特點是它不但把古典分析的基本概念和方法一般化了，而且還把這些概念和方法幾何化了。比如，不同型別的函式可以看作是“函式空間”的點或向量，這樣最後得到了“抽象空間”這個一般的概念。它既包含了以前討論過的幾何物件，也包括了不同的函式空間。
泛函分析對於研究現代物理學是一個有力的工具。n維空間可以用來描述具有n個自由度的力學系統的運動，實際上需要有新的數學工具來描述具有無窮多自由度的力學系統。比如梁的震動問題就是無窮多自由度力學系統的例子。一般來說，從質點力學過渡到連續介質力學，就要由有窮自由度系統過渡到無窮自由度系統。現代物理學中的量子場理論就屬於無窮自由度系統。
正如研究有窮自由度系統要求 n維空間的幾何學和微積分學作為工具一樣，研究無窮自由度的系統需要無窮維空間的幾何學和分析學，這正是泛函分析的基本內容。因襲，泛函分析也可以通俗的叫做無窮維空間的幾何學和微積分學。古典分析中的基本方法，也就是用線性的物件去逼近非線性的物件，完全可以運用到泛函分析這門學科中。
泛函分析是分析數學中最“年輕”的分支，它是古典分析觀點的推廣，它綜合函式論、幾何和代數的觀點研究無窮維向量空間上的函式、運算元、和極限理論。他在二十世紀四十到五十年代就已經成為一門理論完備、內容豐富的數學學科了。
半個多世紀來，泛函分析一方面以其他眾多學科所提供的素材來提取自己研究的物件，和某些研究手段，並形成了自己的許多重要分支，例如運算元譜理論、巴拿赫代數、拓撲線性空間理論、廣義函式論等等；另一方面，它也強有力地推動著其他不少分析學科的發展。它在微分方程、機率論、函式論、連續介質力學、量子物理、計算數學、控制論、最最佳化理論等學科中都有重要的應用，還是建立群上調和分析理論的基本工具，也是研究無限個自由度物理系統的重要而自然的工具之一。今天，它的觀點和方法已經滲入到不少工程技術性的學科之中，已成為近代分析的基礎之一。
泛函分析在數學物理方程、機率論、計算數學、連續介質力學、量子物理學等學科有著廣泛的應用。近十幾年來，泛函分析在工程技術方面有獲得更為有效的應用。它還滲透到數學內部的各個分支中去，起著重要的作用。
泛函分析（Functional Analysis）是現代數學的一個分支，隸屬於分析學，其研究的主要物件是函式構成的空間。泛函分析是由對變換（如傅立葉變換等）的性質的研究和對微分方程以及積分方程的研究發展而來的。使用泛函作為表述源自變分法，代表作用於函式的函式。巴拿赫（Stefan Banach）是泛函分析理論的主要奠基人之一，而數學家兼物理學家伏爾泰拉（Vito Volterra）對泛函分析的廣泛應用有重要貢獻。
泛函分析是20世紀30年代形成的數學分科。是從變分問題，積分方程和理論物理的研究中發展起來的。它綜合運用函式論，幾何學，代數學的觀點來研究無限維向量空間上的函式，運算元和極限理論。它可以看作無限維向量空間的解析幾何及數學分析。主要內容有拓撲線性空間等。泛函分析在數學物理方程，機率論，計算數學等分科中都有應用，也是研究具有無限個自由度的物理系統的數學工具。泛函分析是研究拓撲線性空間到拓撲線性空間之間滿足各種拓撲和代數條件的對映的分支學科。
[編輯本段]賦範線性空間
從現代觀點來看，泛函分析研究的主要是實數域或複數域上的完備賦範線性空間。這類空間被稱為巴拿赫空間，巴拿赫空間中最重要的特例被稱為希爾伯特空間，其上的範數由一個內積匯出。這類空間是量子力學數學描述的基礎。更一般的泛函分析也研究Fréchet空間和拓撲向量空間等沒有定義範數的空間。
泛函分析所研究的一個重要物件是巴拿赫空間和希爾伯特空間上的連續線性運算元。這類運算元可以匯出C*代數和其他運算元代數的基本概念。
1. 希爾伯特空間
希爾伯特空間可以利用以下結論完全分類，即對於任意兩個希爾伯特空間，若其基的基數相等，則它們必彼此同構。對於有限維希爾伯特空間而言，其上的連續線性運算元即是線性代數中所研究的線性變換。對於無窮維希爾伯特空間而言，其上的任何態射均可以分解為可數維度（基的基數為50）上的態射，所以泛函分析主要研究可數維度上的希爾伯特空間及其態射。希爾伯特空間中的一個尚未完全解決的問題是，是否對於每個希爾伯特空間上的運算元，都存在一個真不變子空間。該問題在某些特定情況下的答案是肯定的。
2. 巴拿赫空間
一般的巴拿赫空間比較複雜，例如沒有通用的辦法構造其上的一組基。
對於每個實數p，如果p ≥ 1，一個巴拿赫空間的例子是“所有絕對值的p次方的積分收斂的勒貝格可測函式”所構成的空間。（參看Lp空間）
在巴拿赫空間中，相當部分的研究涉及到對偶空間的概念，即巴拿赫空間上所有連續線性泛函所構成的空間。對偶空間的對偶空間可能與原空間並不同構，但總可以構造一個從巴拿赫空間到其對偶空間的對偶空間的一個單同態。
微分的概念可以在巴拿赫空間中得到推廣，微分運算元作用於其上的所有函式，一個函式在給定點的微分是一個連續線性對映。
[編輯本段]主要結果和定理
泛函分析的主要定理包括：
1. 一致有界定理（亦稱共鳴定理），該定理描述一族有界運算元的性質。
2. 譜定理包括一系列結果，其中最常用的結果給出了希爾伯特空間上正規運算元的一個積分表達，該結果在量子力學的數學描述中起到了核心作用。
3. 罕-巴拿赫定理（Hahn-Banach Theorem）研究瞭如何將一個運算元保範數地從一個子空間延拓到整個空間。另一個相關結果是對偶空間的非平凡性。
4. 開對映定理和閉影象定理。
[編輯本段]泛函分析與選擇公理
泛函分析所研究的大部分空間都是無窮維的。為了證明無窮維向量空間存在一組基，必須要使用佐恩引理（Zorn"s Leema）。此外，泛函分析中大部分重要定理都構建與罕-巴拿赫定理的基礎之上，而該定理本身就是選擇公理（Axiom of Choice）弱於布倫素理想定理（Boolean prime ideal theorem）的一個形式。
[編輯本段]泛函分析的研究現狀
泛函分析目前包括以下分支：
1. 軟分析（soft analysis），其目標是將數學分析用拓撲群、拓撲環和拓撲向量空間的語言表述。
2. 巴拿赫空間的幾何結構，以Jean Bourgain的一系列工作為代表。
3. 非交換幾何，此方向的主要貢獻者包括Alain Connes，其部分工作是以George Mackey的遍歷論中的結果為基礎的。
4. 與量子力學相關的理論，狹義上被稱為數學物理，從更廣義的角度來看，如按照Israel Gelfand所述，其包含表示論的大部分型別的問題。
[編輯本段]泛函分析的產生
十九世紀以來，數學的發展進入了一個新的階段。這就是，由於對歐幾里得第五公設的研究，引出了非歐幾何這門新的學科；對於代數方程求解的一般思考，最後建立並發展了群論；對數學分析的研究又建立了集合論。這些新的理論都為用統一的觀點把古典分析的基本概念和方法一般化準備了條件。
本世紀初，瑞典數學家弗列特荷姆和法國數學家阿達瑪發表的著作中，出現了把分析學一般化的萌芽。隨後，希爾伯特和海令哲來創了“希爾伯特空間”的研究。到了二十年代，在數學界已經逐漸形成了一般分析學，也就是泛函分析的基本概念。
由於分析學中許多新部門的形成，揭示出分析、代數、集合的許多概念和方法常常存在相似的地方。比如，代數方程求根和微分方程求解都可以應用逐次逼近法，並且解的存在和唯一性條件也極其相似。這種相似在積分方程論中表現得就更為突出了。泛函分析的產生正是和這種情況有關，有些乍看起來很不相干的東西，都存在著類似的地方。因此它啟發人們從這些類似的東西中探尋一般的真正屬於本質的東西。
非歐幾何的確立拓廣了人們對空間的認知，n維空間幾何的產生允許我們把多變函式用幾何學的語言解釋成多維空間的影響。這樣，就顯示出了分析和幾何之間的相似的地方，同時存在著把分析幾何化的一種可能性。這種可能性要求把幾何概念進一步推廣，以至最後把歐氏空間擴充成無窮維數的空間。
這時候，函式概念被賦予了更為一般的意義，古典分析中的函式概念是指兩個數集之間所建立的一種對應關係。現代數學的發展卻是要求建立兩個任意集合之間的某種對應關係。
這裡我們先介紹一下運算元的概念。運算元也叫算符，在數學上，把無限維空間到無限維空間的變換叫做運算元。
研究無限維線性空間上的泛函式和運算元理論，就產生了一門新的分析數學，叫做泛函分析。在二十世紀三十年代，泛函分析就已經成為數學中一門獨立的學科了。
[編輯本段]泛函分析的特點和內容
泛函分析的特點是它不但把古典分析的基本概念和方法一般化了，而且還把這些概念和方法幾何化了。比如，不同型別的函式可以看作是“函式空間”的點或向量，這樣最後得到了“抽象空間”這個一般的概念。它既包含了以前討論過的幾何物件，也包括了不同的函式空間。
泛函分析對於研究現代物理學是一個有力的工具。n維空間可以用來描述具有n個自由度的力學系統的運動，實際上需要有新的數學工具來描述具有無窮多自由度的力學系統。比如梁的震動問題就是無窮多自由度力學系統的例子。一般來說，從質點力學過渡到連續介質力學，就要由有窮自由度系統過渡到無窮自由度系統。現代物理學中的量子場理論就屬於無窮自由度系統。
正如研究有窮自由度系統要求 n維空間的幾何學和微積分學作為工具一樣，研究無窮自由度的系統需要無窮維空間的幾何學和分析學，這正是泛函分析的基本內容。因襲，泛函分析也可以通俗的叫做無窮維空間的幾何學和微積分學。古典分析中的基本方法，也就是用線性的物件去逼近非線性的物件，完全可以運用到泛函分析這門學科中。
泛函分析是分析數學中最“年輕”的分支，它是古典分析觀點的推廣，它綜合函式論、幾何和代數的觀點研究無窮維向量空間上的函式、運算元、和極限理論。他在二十世紀四十到五十年代就已經成為一門理論完備、內容豐富的數學學科了。
半個多世紀來，泛函分析一方面以其他眾多學科所提供的素材來提取自己研究的物件，和某些研究手段，並形成了自己的許多重要分支，例如運算元譜理論、巴拿赫代數、拓撲線性空間理論、廣義函式論等等；另一方面，它也強有力地推動著其他不少分析學科的發展。它在微分方程、機率論、函式論、連續介質力學、量子物理、計算數學、控制論、最最佳化理論等學科中都有重要的應用，還是建立群上調和分析理論的基本工具，也是研究無限個自由度物理系統的重要而自然的工具之一。今天，它的觀點和方法已經滲入到不少工程技術性的學科之中，已成為近代分析的基礎之一。
泛函分析在數學物理方程、機率論、計算數學、連續介質力學、量子物理學等學科有著廣泛的應用。近十幾年來，泛函分析在工程技術方面有獲得更為有效的應用。它還滲透到數學內部的各個分支中去，起著重要的作用。