代數函式

[拼音]：banahe kongjian

[外文]：Banach space

一種賦有“長度”的線性空間，泛函分析研究的基本物件之一。數學分析各個分支的發展為巴拿赫空間理論的誕生提供了許多豐富而生動的素材。從K.（T.W.）外爾斯特拉斯以來，人們久已十分關心閉區間[α，b]上的連續函式以及它們的一致收斂性。甚至在19世紀末，G.阿斯科利就得到[α，b]上一族連續函式之列緊性的判斷準則，後來十分成功地用於常微分方程和複變函式論中。1909年F.（F.）里斯給出C[0，1]上連續線性泛函的表示式，這是分析學歷史上的重大事件。還有一個極重要的空間，那就是由所有在[0，1]上p次可勒貝格求和的函式構成的Lp空間(1<p<∞)。在1910～1917年，人們研究它的種種初等性質；其上連續線性泛函的表示，則照亮了通往對偶理論的道路。人們還把弗雷德霍姆積分方程理論推廣到這種空間，並且引進全連續運算元的概念。當然還該想到希爾伯特空間。正是基於這些具體的、生動的素材，S.巴拿赫與N.維納相互獨立地在1922年提出當今所謂巴拿赫空間的概念，並且在不到10年的時間內便發展成一部本身相當完美而又有著多方面應用的理論。

定義

對於實(或復)數域

K

上的線性空間

X

，若有從

X

到

R

的函式‖x‖使得：

（1）‖x‖≥0，‖x‖=0必須且只須x=0，②對α ∈

K

，有‖αx‖=α‖x‖，③‖x+y‖≤‖x‖+‖y‖，則稱

X

為線性賦範空間，而稱‖x‖為範數。

顯然，範數這概念是

R

n中向量長度概念的推廣。如同有理數系可完備化為實數系，任何線性賦範空間也可按照距離d(x，y)=‖x-y‖作為度量空間而完備化。

完備的賦範線性空間稱為巴拿赫空間。例如，設Ω為緊豪斯多夫空間，令C(Ω)表示Ω上一切實(或復)值連續函式的全體，則C(Ω)關於範數

成為一個巴拿赫空間。再如，設(Ω，μ)是正測度空間，令Lp(Ω，μ)表示Ω上一切p（p≥1）次可求和函式的全體，則Lp(Ω，μ)關於範數

成為一個巴拿赫空間。特別取Ω={1，2，3，…}，μ(n)＝1(當n＝1、2、3、…)則相應的Lp(Ω，μ)成為滿足條件

的數列

的全體，而相應的範數為

。一般記這個特殊的Lp（Ω，μ）為lp。還如，設(Ω，β，μ)是正測度空間，對Ω上可測的函式ƒ(t)，如果有正數α，使於Ω幾乎處處有│ƒ｜(t)｜≤α，則稱 ƒ(t)為本性有界的函式，而記上述諸α之下確界為

。令L∞(Ω)表示Ω上之本性有界函式的全體，則L∞(Ω)關於範數

成為一個巴拿赫空間。特別對Ω={1，2，3，…}而μ(n)=1(n=1，2，3，…)則相應的L∞(Ω)即有界數列

的全體，而相應的範數為

。一般記這個特殊的L∞(Ω)為m。

若

，則稱

強收斂於x，簡寫作

。

基

作為完全就範直交函式系的推廣，設

是巴拿赫空間

X

中的序列，如果對每個x ∈

X

都恰有一數列

，使

，則稱

為

X

的基，而稱

X

為有基的空間。凡有基的空間一定是可分的，對於許多可分空間，人們具體地構造出它們的基。但是，是否每個可分的巴拿赫空間都有基的問題，直到1973年才由P.恩夫洛舉出反例。確有可分而沒有基的巴拿赫空間。

對偶空間

設 ƒ(x)是從實(或復)域

ƒ

上賦範線性空間

X

到

ƒ

上的線性函式。若ƒ(x)還是連續的，則稱ƒ(x)為連續線性泛函。一切如此的ƒ(x)按範數

構成的巴拿赫空間，便稱為

X

的對偶空間(或共軛空間)並記作

X

*（或

X

┡）。

在許多數學分支中都會遇到對偶空間，例如矩量問題、偏微分方程理論等。一些物理系統的狀態也常與適當空間上的線性泛函聯絡在一起。至於泛函分析本身，對偶空間也是極為重要的概念。通過

X

*，能更好地理解

X

。

里斯表現定理

設Ω是緊豪斯多夫空間，則於復的C(Ω)上的連續線性泛函ƒ(x)，便恰有Ω上的一個復正則波萊爾測度μ使

(1)

並且‖ƒ‖=μ在Ω上的全變差 |μ|。許多人把這結果稱作里斯表現定理。它是發展近代運算元譜論的重要工具，還有著其他多方面的應用。這定理也可推廣至區域性緊豪斯多夫空間。許多測度來源於此定理。

設Ω上所有復的正則波萊爾測度為m(Ω)，對每個μ∈m(Ω)，由(1)式定義的ƒ(x)是C(Ω)上的連續線性泛函，定義‖μ‖＝全變差|μ|，則C(Ω)*保範同構於m(Ω)。

例如，於正測度μ，有Lp(Ω，μ)(1<p<∞)上每個連續線性泛函ƒ(x)皆可表為

(2)

式中z(t)∈Lq(Ω，μ)，而

，並且

。另一方面，由(2)式右端定義的泛函在[Lp(Ω，μ)]*中，總之[Lp(Ω，μ)]*保範同構於Lq(Ω，μ)。

再如，於δ-有限的正測度μ，有L1(Ω，μ)上的連續線性泛函ƒ(x)可表為

(3)

式中z(t)∈L∞(Ω，μ)，並且

另一方面，由(3)定義的泛函在 [L1(Ω)]*中。總之，[L1(Ω，μ)]*保範同構於L∞(Ω，μ)。

由於古典分析發展的要求，也因為巴拿赫空間理論本身的需要，於是人們研究

X

與

X

*之間的關係，這便是對偶理論。這理論的主要工具是哈恩－巴拿赫擴張定理:設M是線性賦範空間

X

的閉線性子空間，則①對M上的連續線性泛函g(x)，恆有ƒ(x)∈

X

*使ƒ(x)=g(x)，當x∈M，又‖ƒ‖=‖g‖(

)；

（2）對

X

中任給的x0≠0，恆有 ƒ(x)∈

X

* 使 ƒ(x0)=‖x0‖，‖ƒ‖=1，③對任意

，恆有ƒ(x)∈

X

*當x∈M使得ƒ(x)=0，ƒ(x0)=1，並且‖ƒ‖=1/d，這裡

。

設ƒ(x)∈

X

*，一般稱點集H={x∈

X

;ƒ(x)＝常數C}為

X

中的閉超平面。設M是

X

的子空間，x0∈

X

，則稱點集x0+M為

X

中的線性簇。這樣，哈恩－巴拿赫定理便有如下的幾何解釋：若

X

中的線性簇m與非空的開凸集

K

不相交，則有閉超平面H使

而

。

自反空間

對巴拿赫空間

X

有對偶空間

X

*，而

X

*的對偶空間則記作

X

**，任給x0∈

X

，通過

（當x*∈

X

*）便確定一個

，並且

。這表明存在對映τ把

X

保範地嵌入到

X

**中。一般

X

**。如果τ(

X

)＝

X

**，則稱

X

為自反空間。典型的自反空間是Lp[0，1](1<p<∞)，但L1[0，1]與C[0，1]都不自反。

弱收斂

無窮維巴拿赫空間的單位球是不可能按範數拓撲為緊的，因此許多有限維空間的命題都不能推廣到一般巴拿赫空間。針對這一點，人們引進弱收斂的概念。對X 中

與 x0，若於任何 x*∈

X

*都有

，則稱

弱收斂於x0，記作

。

埃伯萊因－什穆利揚定理

巴拿赫空間

X

是自反的；必須且只須

X

中任何按範數有界的點列都含有弱收斂的子序列。

利用自反空間的這個拓撲性質，便能證明如下的結果：設J(x)是自反空間

X

之有界凸閉集C上弱下半連續的有界泛函，則J(x)在C上達到最小值。

應該指出，正是為著使得一些重要的命題得以成立，人們才引進種種型別的巴拿赫空間，自反空間就是一個鮮明的例子。再如與上述極值問題的惟一性有關，有所謂球狀空間；與拉東-尼科迪姆定理相關，則有一致凸空間等等。

人們曾經長久地停留在序列弱收斂上。其實即使對於l2上的弱拓撲，只用序列弱收斂也是不行的。J.馮·諾伊曼首先看到這一點，並且在1930年就使用弱鄰域概念。

X

上使得一切x*∈

X

* 都連續的最弱的拓撲稱為

X

上的弱拓撲。全體

，其中

，ε>0，n=1，2，…構成

X

在O點的一個弱鄰域基。

X

*上使得一切

，x∈

X

都連續的最弱的拓撲稱為

X

*上的弱*拓撲。全體

，

其中

，ε>0，n=1，2，…構成X *在O點的一個弱*鄰域基。

線性運算元

設

T

是從實（或復）域F上的線性空間

X

中線性流形

M

到

F

上的線性空間Y的對映，如果

則稱

T

是線性運算元，

M

為

T

的定義域，記作

D

(

T

)。特別當

M

=

X

而Y為數域

F

時，

T

便稱為

X

上的線性泛函。

設

X

、Y都是賦範線性空間，x0∈

D

(

T

)，若對

D

(

T

)中任何收斂於x0的序列

都有

T

xn→

T

x0，則稱

T

在x0處連續。設

D

(

T

)=

X

， 則線性運算元

T

在

X

上每點都連續必須且只須

T

是有界的， 即

。這時還稱

為

T

的範數，記作‖

T

‖。

設

X

與Y都是數域

F

上的線性空間，A與B都是從

X

到Y的線性運算元，對A與B可定義如下的運算:(A+B)x=Ax+Bx，(αA)x=α(Ax)，當x∈

X

，α∈F又定義(AB)x=A(Bx)，x∈

X

，當 A與B都是從

X

到

X

的線性運算元時。若線性運算元T是單射的，則將它的逆對映記作

T

-1，而Ix=x則稱為單位運算元或恆等運算元。

設

H

為度量空間，

，對 x0 ∈

E

， 若有小球

，則稱x0在

E

的內部。若點集

S

的閉包埅之內部是空的，則稱

S

在

H

中無處稠密。若度量空間

H

中的點集

，而每個

S

n皆在

H

中無處稠密，則稱

E

為

H

中第一綱的點集。

H

中非第一綱的點集叫做第二綱的。顯然全體有理數在實軸上便是第一綱的。可以這樣想：第一綱的點集是比較稀疏的。

貝爾綱定理

完備的度量空間必定是第二綱的。這是區間套定理的發展和提高，在證明許多存在定理時是很有用處的。在勒貝格關於奇異積分與O.特普利茨關於正則求和法以及哈恩關於插值理論等方面的研究之後，巴拿赫與H.斯坦豪斯在1927年給出共鳴定理。

共鳴定理

又稱一致有界原理。設

X

是巴拿赫空間，Y是線性賦範空間，

是一族從

X

到Y的有界線性運算元。如果

當x∈

X

，則

。這是有著多方面應用的重要定理，是綱定理的直接推論。和綱推理密切相關，還有極著名的開對映定理。

開對映定理

設

X

與Y都是巴拿赫空間，若

T

是從

X

到Y的有界線性運算元，且

T

X

=Y，則

T

變

X

的開集為Y中的開集。這在有限維空間是平凡的，但在無限維空間卻是極為深刻有力的工具。它有下列重要推論。

巴拿赫逆運算元定理設

X

與Y都是巴拿赫空間，若

T

是從

X

到Y的有界線性運算元，且

T

是一對一的，又

T

X

=Y，則

T

-1連續。

開對映定理還有一個關於閉運算元的重要推論。設y=

T

x是線性的，若從

恆有x0∈

D

(

T

)且

，則稱

T

為閉運算元。閉運算元在應用上是非常重要的概念。表面上，閉性與連續性很相似，其實差異不小，因為連續性是從較少的假設xn→x0到更多的結論

且

。一般稱X×Y中之

G

(

T

)={Tx>；x∈

D

(

T

)}為

T

的影象。易見

T

是閉運算元，則

G

(

T

)按範數‖‖=‖x‖+‖y‖是閉的點集。

閉影象定理

設

X

與Y都是巴拿赫空間，若

T

是從

X

到Y的線性運算元，則

T

是有界的必須且只須

G

(

T

)是閉的。

共軛運算元

設

X

與Y都是巴拿赫空間。若線性運算元

T

的定義域

D

(

T

)在

X

中稠密，而

T

的值都在Y中，如果對

有x*∈

X

*使當x∈

D

(

T

)時，y*(

T

x)=x*(x)則x*由y*惟一確定，記作

T

┡y*=x*，一般稱

T

┡為

T

的共軛運算元或對偶運算元。特別當

T

是從

X

到Y的有界線性運算元時，則

T

┡也是有界的，且‖

T

┡‖=‖

T

‖。顯然，共軛運算元是轉置矩陣的推廣，所以它自然地在研究方程

T

x=y時起著重要的作用。

設A為巴拿赫空間

X

上的線性運算元，稱N(A)={x;Ax=0}為A的零空間，

R

(A)={y;y=Ax，x∈

D

(A)}為A的值域。從線性方程組的解，已經看到A與A┡之值域與零空間的密切關係，後來在弗雷德霍姆理論中又再次看到這點。

對點集

，所謂M在

X

*中的零化子即

而於點集

，則

G

在

X

中之零化子即

。

設A為巴拿赫空間上有界線性運算元，則

，

，

，

。

若又設

X

自反，則

。

閉值域定理

設

X

與Y是巴拿赫空間，而

T

是從

X

到Y的閉線性運算元，且

，則下列命題等價：①

R

(

T

)在Y 中是閉的，②

R

(

T

┡)在

X

*中是閉的，③

④

。

參考書目

S.Banach，Théorie des Opérations Linéaires， Monografje Mathematyczne， Warsaw， 1932.

N.Dunford and J.T.Schwartz，Linear Operators， Part 1.General Theory，Interscience， New York， 1958.

A.E.Taylor and D.C.Lay，Introduction to functional Analysis， John Wiley & Sons， New York， 1979.