徐鶴萍,張承坤,李軍
(中國傳媒大學(xué)理學(xué)院,北京 100024)
文獻[1]中給出了基于普通加法和乘法的一般可測函數(shù)的泛積分的定義,在次可加的假定下,討論了一般可測函數(shù)泛積分的線型性。本文將進一步討論一般實值可測函數(shù)泛積分的基本性質(zhì),并給出相應(yīng)的泛積分收斂定理。
下面我們回顧單調(diào)測度和非負可測函數(shù)的泛積分的定義。
(1)μ(φ)=0且μ(X)>0;
當μ是單調(diào)測度時,(X,A,μ)稱為單調(diào)測度空間。
取A={a},B=,則
μ(A)+μ(B)=1.2≠1=μ(A∪B)=μ(X)。
顯然,單調(diào)測度μ不具有可加性。
一個集函數(shù)μ稱為
μ(A∪B)≤μ(A)+μ(B)。
下面我們回顧非負可測函數(shù)的泛積分的定義。
例2.2 在例2.1定義的單調(diào)測度空間中,我們設(shè)
可得
由此可知
所以泛積分不具有線性性。
非負可測函數(shù)泛積分有以下基本性質(zhì)(可參見文獻[10])。
一般地,基于單調(diào)測度的泛積分不具有線型。然而當單調(diào)測度是次可加的,則對應(yīng)的泛積分具有線型性,即文獻[1]中證明了以下結(jié)論:
本節(jié)中我們討論一般實值可測函數(shù)的泛積分。
f=f+-f-,
其中,f+和f-分別表示f的正部和負部,即
文獻[1]中引入了一般實值可測函數(shù)的泛積分的定義,我們陳述如下:
當f是非負可測函數(shù)時,定義3.1中泛積分的定義與定義2.1一致.因此,一般可測函數(shù)泛積分的定義是非負可測函數(shù)泛積分定義的推廣。
5)若f是可積的,則f是可積的。
證明:由文獻[10]中非負可測函數(shù)的泛積分性質(zhì),1),2)顯然成立。
3)對非負函數(shù)的泛積分有
當c≥0時,
當c<0時,
4)由f≤g可知,f+(x)≤g+(x),f-(x)≥g-(x),由性質(zhì)2.1中的3)可得,
即
5)由于f+≤f且f-≤f,根據(jù)性質(zhì)2.1(3)和f的可積性可知,
f+可積且f-也可積,因此可得f是可積的(在定義3.1的意義下)。
性質(zhì)證畢。
注1:在經(jīng)典Lebesgue積分理論中,f的可積性與f的可積性是等價的。
一般地,以上性質(zhì)(5)的逆命題是不成立的,即由f的泛可積性推不出f的泛可積性。
由此可知f是泛可積的,而f卻不是泛可積的:
性質(zhì)3.2 設(shè)μ是次可加的。若f是泛可積的,則f是可積的。
證明:由于f是可積的,且μ是次可加的,由定理2.1[1]可得:
我們知道,一般地,基于單調(diào)測度的泛積分不具有線性性,當考慮的單調(diào)測度是次可加時,那么相應(yīng)的泛積分具有線性性。文獻[1]中得到了以下結(jié)果:
證明:由于μ是次可加的,f和g均可積,故f和g均可積;
由于f+g≤f+g,故f+g可積;
從而,
由非負可測函數(shù)的泛積分可得,
由此得
證明:由f=f++f-及非負可測函數(shù)的泛積分具有線性可知,
且
從而
以下我們陳述泛積分的Levi單調(diào)收斂定理和Fatou引理,證明與Lebesgue積分的證明一致(參見文獻[13])。
定理3.4(Fatou引理)設(shè)fn:A→0,∞是非負可測函數(shù)列,則
以下我們給出泛積分的一類控制收斂定理:
2)存在A上的泛可積函數(shù)g,使得對每一n≥1,在A上幾乎處處有fn(x)≤g(x),
則f和fn都在A上泛可積,并且
證明:由fn(x)≤g(x),分以下兩種情況討論:
1)fn(x)≤g(x);
2)-fn(x)≤g(x)。
對第一種情況可得:g(x)-fn(x)≥0,
由Fatou引理得
由μ的次可加性可知,泛積分具有線性性,因此,
由Levi單調(diào)收斂定理,
即
對第二種情況可得:g(x)+fn(x)≥0,
由Fatou引理得
由μ的次可加性可知,泛積分具有線性,因此,
由Levi單調(diào)收斂定理,
綜合一二兩種情況即得
定理證畢。
根據(jù)外側(cè)度的性質(zhì),本文中的性質(zhì)2.1、定理2.1、性質(zhì)3.1、性質(zhì)3.2、定理3.1、定理3.2、定理3.3、定理3.4、定理3.5對基于外側(cè)度的泛積分仍然成立。特別地,我們強調(diào)基于外側(cè)度的泛積分具有線性性。