巴拿赫空間

在數學里，尤其是在泛函分析之中，巴拿赫空間是一個完備賦范向量空間。更精確地說，巴拿赫空間是一個具有範數並對此範數完備的向量空間。

基本介紹

• 中文名：巴拿赫空間
• 外文名：Banach space
• 提出者：巴拿赫
• 提出時間：1920
• 套用學科：數學
• 適用領域範圍：泛函分析

定義

巴拿赫空間有兩種常見的類型：“實巴拿赫空間”及“復巴拿赫空間”，分別是指將巴拿赫空間的向量空間定義於由實數或複數組成的域之上。

許多在數學分析中學到的無限維函式空間都是巴拿赫空間，包括由連續函式（緊緻赫斯多夫空間上的連續函式）組成的空間、由勒貝格可積函式組成的Lp空間及由全純函式組成的哈代空間。上述空間是拓撲向量空間中最常見的類型，這些空間的拓撲都自來其範數。

巴拿赫空間是以波蘭數學家斯特凡·巴拿赫的名字來命名，他和漢斯·哈恩及愛德華·赫麗於1920-1922年提出此空間。

例子

以下令K為體R或C之一。

常見的歐氏空間K（其範數為歐幾里德範數，x= (x₁, …,x_n)的範數定義為||x||= (x₁+…+x_n)）是巴拿赫空間。因此，因為在每一個有限維K向量空間上的所有範數均等價，所以每一個具有任意範數的有限維K向量空間都是巴拿赫空間。

考慮一個由定義於閉區間[a,b] 上的所有連續函式ƒ: [a,b]→K所組成的空間。這個空間會成為一個巴拿赫空間（標記為C[a,b]），若存在一個定義在此空間中的洽當範數||ƒ||。此類範數可以定義為||ƒ|| = sup { |ƒ(x)|:x∈ [a,b] }，稱之為最小上界範數。上述範數是良好定義的，因為定義於閉區間的連續函式都是有界的。

若f為一個定義於閉區間上的連續函式，則此函式為有界的，並其定義如上的最小上界可由極值定理取得，因此可以用最大值來取代最小上界。在此例之中，其範數也稱為“最大值範數”。

上述空間也可推廣至由所有連續函式X→K（其中X為一緊緻空間）或所有“有界”連續函式X→K（其中X為任意拓撲空間）所組成的空間，標記為C(X)；或由所有有界函式X→K（其中X為任意集合）所組成的空間，標記為B(X)。在上述所有的例子之中，甚至可以將函式相乘，而乘積還會在原空間內；亦即，上述所有例子實際上都會是有單位的巴拿赫代數。

對每一個開集Ω⊆C，由所有有界解析函式u:Ω→C所組成的集合A(Ω) 會是一個在最小上界範數下的復巴拿赫空間。這可以用解析函式的一致極限也會是解析的這個事實來證明。

設p≥ 0 為一實數，考慮由K內元素排成的所有其無窮級數∑_i|x_i|為有限的無限序列(x₁,x₂,x₃, …)所組成的空間。這個級數的p次方根即定義為此序列的p-範數。上述空間和範數即會形成一個巴拿赫空間，標記為ℓ。

巴拿赫空間ℓ是由所有在K內元素排成的所有有界序列所組成的空間；此類序列的範數定義為序列中每個數字的絕對值的最小上界。

再者，設p≥ 1 為一實數，可考慮由所有其|ƒ|為勒貝格可積的函式ƒ: [a,b]→K所組成的空間。此函式積分的p次方根即定義為其範數。但上述空間和範數不能形成一個巴拿赫空間，因為存在一個範數為零的非零函式。但可定義一個等價關係：f及g為等價若且唯若ƒ−g的範數為零。如此，其等價類即可形成一個巴拿赫空間，標記為L([a,b])。在這裡使用勒貝格積分，而不是黎曼積分是有原因的，因為黎曼積分無法形成一個完備空間。這個空間可以再被推廣，詳細可見L空間。

線性變換空間

假設V和W是同一個數域K上的巴拿赫空間，所有線性變換A:V→W的集合記為 L(V,W)。注意：在無限維空間中，線性變換未必是連續的。L(V,W) 本身是一個向量空間。

定義 ||A|| = sup { ||Ax||: ||x|| ≤ 1 }，可以驗證這是 L(V,W) 上的一個範數，使得 L(V,W) 成為一個巴拿赫空間。如果還將映射的複合運算定義為線性變換的乘法，則 L(V) = L(V,V) 構成一個有單位元的巴拿赫代數。