李 偉

(集美大學(xué) 理學(xué)院,福建 廈門 361021)

1902年在測度理論基礎(chǔ)上建立了Lebesgue積分(簡稱L-積分)[1].但它的建立是非黎曼型的，而且并非Riemann積分的全部推廣.1973年E.J.Mcshane建立一種積分，人們稱之為Mcshane積分(簡稱M-積分)[2]，它是黎曼型的，無需用到測度理論，并證明了它等價于經(jīng)典的Lebesgue積分.為了便于闡述，本文不妨用LM-積分來統(tǒng)稱它們.本文首先給出有關(guān)聯(lián)性的若干定義，并分析了相關(guān)的意義，然后給出文獻(xiàn)[3]定理1的簡化證明，并證明了LM-收斂定理，它推廣了Lebesgue收斂定理.

1 預(yù)備知識

可見R-積分定義中要求兩個“無關(guān)性”，即“與分割T無關(guān)”、“與ξi∈[xi-1,xi]的選取無關(guān)”，才能保證積分的“確定性”和“唯一性”.如果在保證黎曼和的極限惟一性的條件下，適當(dāng)減弱兩個“無關(guān)性”來定義積分，則有可能擴(kuò)大可積范圍.事實(shí)證明這個目的可通過多種途徑達(dá)到.例如，下面介紹的R.Henstock 所用的方法[4].為了保證黎曼和的極限的惟一性，粗略看來，就是希望對ξi∈[xi-1,xi]，|∑f(ξi)(xi-xi-1)-A|要任意小.這個要求對某些[xi-1,xi]中的x，只要函數(shù)值變化不大，上述絕對值相應(yīng)變化不大；但若在[xi-1,xi]中函數(shù)值變化較大時，相應(yīng)會使上述絕對值有較大的變動，甚至難于保持任意小.因此一律要求[xi-1,xi]的長度小于固定的常數(shù)δ，會使可積函數(shù)范圍變窄.為了避免這種情況，一種想法是使ξi與[xi-1,xi]相適應(yīng)，因地制宜選擇δ，即使δ與ξi有關(guān)，亦即視δ為ξi的函數(shù)，由此達(dá)到要求的目的.

定義2 設(shè)δ(x)為[a,b]上的正值函數(shù)，所謂[a,b]上的分法D是δ-精細(xì)的，是指有序分點(diǎn)：a=x0

可見[a,b]上的δ-精細(xì)分法D是區(qū)間[xi-1,xi]與ξi組成的偶對{([xi-1,xi],ξi),i=1,2,…,n}，常簡記分法D={([U,V],ξ)}，滿足:ξ∈[u,v]?(ξ-δ(ξ),ξ+δ(ξ)).

其中[u,v]為分法D的典型區(qū)間.如果ξ?[a,b]，而不要求ξ?[u,v]，即滿足[u,v]?(ξ-δ(ξ),ξ+δ(ξ))，則稱這種分法為δ-精細(xì)M-分法[2].

但是這種分法先是在[a,b]上取ξ，然后考慮{(ξ-δ(ξ),ξ+δ(ξ))}對[a,b]的開覆蓋.由Heine-Borel有限覆蓋定理[1]，可取出有限個(ξ-δ(ξ),ξ+δ(ξ))覆蓋[a,b]，再在每相鄰的兩個開覆蓋的公共部分中取一點(diǎn)作分點(diǎn)，a為起點(diǎn)，b為終點(diǎn)，再從a到b這些有限個點(diǎn)依次排列為：a=x0

定義3[5]一個數(shù)A叫做函數(shù)f(x)從a到b(或[a,b]上)的R-積分，如果?ε>0，?δ(x)=δ>0，使得對[a,b]上任意的δ-精細(xì)分法D={([u,v],ξ)}，有：|(D)∑f(ξ)(v-u)-A|<ε.

Mcshane在1973年已證明了M-積分等價于L-積分[2]，并且M-積分包含在KH-積分里面[6].

定義5 設(shè)f(x)定義于[a,b]，?t?[a,b]，若?ε>0，?δ(x)>0，?[r,s]?(t-δ(t),t+δ(t))，[r,s]?[a,b].對[r,s]上任何δ-精細(xì)M-分法D={([u,v],ξ)}，有:|(D)∑f(ξ)(v-u)|<ε.

則稱f(x)在[a,b]上具局部小黎曼和性質(zhì)，簡記為LSRS.又設(shè){fn}為[a,b]上的函數(shù)列，若上述等式對所有n成立，即對任意的自然數(shù)n，都有:|(D)∑fn(ξ)(v-u)|<ε,則稱fn在[a,b]上具一致局部小黎曼和性質(zhì)，簡記為ULSRS[7].若上述對[r,s]所作的分法為δ-精細(xì)分法，其他的不變，則稱f(x)在[a,b]上具LSRS*性質(zhì)和fn(x)在[a,b]上具ULSRS*性質(zhì)[6].

為了給出積分的收斂定理，首先看一個例子.

則每個fn(x)在[0,1]上為L-可積，但其極限函數(shù):

不為L-可積，這說明L-積分對極限運(yùn)算并不封閉.由文獻(xiàn)[1]知，在一定條件下，L-積分有較好的收斂定理，即L-控制收斂定理和Vitali收斂定理，但前者即為后者的推論[1].

2 定理及其推廣

定理1 設(shè):1)fn(x)→f(x)于[a,b]；2)fn(x)在[a,b]上為等度KH-可積,

則：fn(x)在[a,b]上具ULSRS*性質(zhì).

定理1的證明見文獻(xiàn)[7] .下面給出文獻(xiàn)[3]中定理1的簡化證明.

定理2 設(shè):1)fn(x)→f(x)a.e.于[a,b]；2)每個fn在[a,b]上L-可積；

(注：定理2的條件為L-積分收斂定理條件[1])

證明記:X={x|fn(x)→f(x)}，則|X|=0(|X|表X的外測度，下同).

令：

(D2)∑|f*(ξ)(v-u)-F(u,v)|+(D2)∑|F(v-u)-Fn(u,v)|<

2ε+ε(b-a)+2ε+ε=ε(b-a+5).

由于M-積分與L-積分等價，那么LM-積分的收斂定理可作如下推廣.

定理3 設(shè)f(x)為定義于[a,b]上的實(shí)函數(shù)，滿足：

1)fn(x)→f(x)a.e.于[a,b]；2)fn(x)在[a,b]上等度M-可積；

3)fn(x)在[a,b]上具ULSRS性質(zhì)，則f(x)在[a,b]上為M-可積，且：

證明記:X={x|fn(x)→f(x),x∈[a,b]}，則|X|=0.

令：

由條件2)和3)可確定共同的δ(x)>0，對[a,b]上任作δ-精細(xì)M-分法D和D′，對每個n，有：

2ε+8ε+8ε=18ε.

從而由文獻(xiàn)[6]的等度收斂定理，得知結(jié)論成立.證畢.

[1] 江澤堅，吳智泉.實(shí)變函數(shù)論[M].北京：人民教育出版社，1961：59-75.

[2] Mcshane E J.A unified theory of integration[J].Amer Math Monthly,1973，8：36-39.

[3] 李偉.Mcshane積分的LSRS收斂定理的新擴(kuò)展[J].集美大學(xué)學(xué)報：自然科學(xué)版，2009，14(2)：195-197.

[4] Henstock R.Lectures on the theory integration[M].World Scientific，1988：15-16.

[5] 丁傳松，李秉彝.廣義黎曼積分[M].北京：科學(xué)出版社，1989：5-8.

[6] Lee P. Y.Lanzhou Lectures on Henstock Integration[M].World Scientific，1989：15-28.

[7] Xu Dong Fu.The LSRS Porperty and the Convergence Theorem of Henstock-Kurzweil Integral[J].數(shù)學(xué)物理學(xué)報:英文版：1997,17(4)：443-448.