抽象積分

抽象積分

抽象積分(abstract integral)是勒貝格積分的進一步抽象,是現代分析數學中的重要工具之一。設(Ω,F,μ)是測度空間,f(x)是(Ω,F)中的可測函式,建立抽象積分∫Ωf(x)dμ的步驟與建立勒貝格積分或勒貝格-斯蒂爾傑斯積分的步驟基本相同,只需在定義中將勒貝格測度換成一般測度μ,相應的非負簡單函式、非負可測函式、一般可測函式換成測度空間中的同名函式即可。對於積分存在和可積兩個概念也做類似定義,當(Ω,F,μ)是完備測度空間時,抽象積分的性質與勒貝格積分的性質基本相同,也有關於積分收斂性的三大定理(列維定理法圖引理勒貝格控制收斂定理)。也可以引進平均收斂等概念,並且與幾乎處處收斂、依測度收斂、近於一致收斂的關係也一樣,僅需做明顯的文字和記號修改。

基本介紹

  • 中文名:抽象積分
  • 外文名:abstract integral
  • 簡介:勒貝格積分的進一步抽象
  • 所屬學科:數學
  • 相關概念:勒貝格積分,測度積分等
基本介紹,拓撲線性空間上的積分,Birkhoff積分,

基本介紹

積分的概念可從不同的觀點出發向各種不同的方向抽象化。它大致可以分為兩個方向,一個方向是對取值於局部凸拓撲線性空間(不一定是數空間)的函式或測度定義積分(簡稱為在拓撲線性空間上的積分),另外一個方向是把和序關係有關的積分抽象化。下面對各方向取其有代表性的兩個積分予以敘述。

拓撲線性空間上的積分

拓撲線性空間上的積分(Bochner積分)
為定義在
有限測度空間
上,取值於Banach空間X中的函式,如果在使
的互不相交的F可測集
上,
x(s)分別取常量
,就稱它為階梯函式(step function)或有限值函式(finite-valued function)。使用
的定義函式
,可以把這個階梯函式表示為
如果對於
能選取適當的階梯函式序列
,使得在S上對幾乎一切s,
成立,則稱
強可測的(strongly measurable)。當
為強可測,且
作為S上的實值函式為Lebesgue可積時,則定義
Bochner可積的(Bochner integrable)(由
的強可測性可以得到
的可測性)。特別當
是Bochner可積的階梯函式
時,其Bochner積分定義為
一般地說,對於Bochner可積函式
,可以證明,存在滿足下列條件的Bochner可積的階梯函式序列
i)對幾乎一切S,
ii)
(例如,由
的強可測性得到,存在階梯函式序列
,對幾乎一切s,它強收斂於
,對此
,如下地定義階梯函式序列
:當
時,令
;當
時,令
;則
滿足上述條件i),ii)。)從而對於這樣的
強收斂,且其極限不依賴於
的選擇方法。而
的Bochner積分(Bochner integral),就定義為
為了和其他積分加以區別,有時把Bochner積分寫作
。Bochner可積函式在任意的F可測集上都是Bochner可積的,除此之外,Lebesgue積分的幾乎所有性質(線性,完全可加性,絕對連續性,Lebesgue收斂定理,Fubini定理等),把絕對值換以範數之後都照樣成立。但是Radon-Nikodym定理不成立。當T是由Banach空間X到Banach空間Y的連續線性運算元時,若S上取值於X中的函式
是Bochner可積的,則
作為S上取值於Y中的函式是Bochner可積的,且
成立。特別當S是n維Euclid空間時,Bochner積分具有強可微性。

Birkhoff積分

Birkhoff積分是關於在
有限測度空間
上定義的,在Banach空間X中取值的函式
,按Lebesgue積分的構造方法定義的積分。首先,對於X的元的可列族
,當級數
在其各項的次序任意改變之後仍然強收斂時,稱
為無條件收斂(unconditionally converge)。當
無條件收斂時,可以證明,它的和不依賴於相加的順序,總是一定的。特別當X是數空間時,無條件收斂和絕對收斂的概念是一致的;但一般地說,無條件收斂的級數並不一定絕對收斂(絕對收斂是指
收斂)。給定S的一個可列分割
若函式
在每個
上有界且
無條件收斂,則稱
關於
可求和,此種和的全體
的凸閉包,稱為
對於△的積分值域(integral range),記作
。於是,如果對任意的正數
,可選取S的可列分割△,使
關於△可求和,且
的直徑小於
,則稱
Birkhoff可積的(Birkhoff integrable)。若
關於某一可列分割△可求和,則可以證明,它對△的任一加細
仍然是可求和的,且
。從而當
是Birkhoff可積時,
成為只含有X的一個點的集合。此
定義為
Birkhoff積分(Birkhoff integral),寫作
或簡寫為
Birkhoff可積函式在任意的F可測子集上仍為Birkhoff可積函式。Birkhoff積分作為集函式具有完全可加性和絕對連續性,對於被積函式具有線性性質。但Fubini定理不成立。又對於收斂定理來說不能得到Bochner積分那樣好的結果,Bochner可積函式必是Birkhoff可積的,但其逆不成立。
以此Birkhoff積分的構造法為基礎,G.Birkhoff和R.S.Phillips對取值於局部凸拓撲線性空間中的函式的積分作了定義。用此種積分的理論,使得Birkhoff積分成為這種積分基於在Banach空間上引人拓撲的方法,不同而得到的特殊情形。 進一步C.E.Rickart把Birkhoff積分推廣到取值為局部凸拓撲線性空間的子集的函式,並求得了Radon-Nikodym定理。

相關詞條

熱門詞條

聯絡我們