Can you summarize the following document?
        
  從現代觀點來看,泛函分析研究的主要是實數域或複數域上的完備賦範線性空間。這類空間被稱為巴拿赫空間,巴拿赫空間中最重要的特例被稱為希爾伯特空間,其上的範數由一個內積匯出。這類空間是量子力學數學描述的基礎。更一般的泛函分析也研究Fréchet空間和拓撲向量空間等沒有定義範數的空間。  泛函分析所研究的一個重要物件是巴拿赫空間和希爾伯特空間上的連續線性運算元。這類運算元可以匯出C*-代數和其他運算元代數的基本概念。

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

  一般的巴拿赫空間("Banach")比較複雜,例如沒有通用的辦法構造其上的一組基。  對於每個實數formula_2,如果formula_3,一個巴拿赫空間的例子是“所有絕對值的formula_2次方的積分收斂的勒貝格可測函式”所構成的空間。(參看Lp空間)  在巴拿赫空間中,相當部分的研究涉及到對偶空間的概念,即巴拿赫空間上所有連續線性泛函所構成的空間。對偶空間的對偶空間可能與原空間並不同構,但總可以構造一個從巴拿赫空間到其對偶空間的對偶空間的一個單同態。  微分的概念可以在巴拿赫空間中得到推廣,微分運算元作用於其上的所有函式,一個函式在給定點的微分是一個連續線性對映。

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

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

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