崔方達，楊 婷，嚴 萍，姚云飛，吳士林

（1.阜陽師范學院 數學與統(tǒng)計學院，安徽 阜陽 236037；2.宿松九成學校，安徽 安慶 246220）

Lebesgue積分的應用及其注記

崔方達1，楊 婷1，嚴 萍1，姚云飛1，吳士林2

（1.阜陽師范學院 數學與統(tǒng)計學院，安徽 阜陽 236037；2.宿松九成學校，安徽 安慶 246220）

Riemann積分問題的處理往往都很困難，事實上，可以借助實變函數的Lebesgue積分的理論與方法對數學分析中有關問題的處理是非常有效的。因此本文將研究實變函數的思想方法在數學分析中若干應用，給出Lebesgue積分在Riemann積分中等系統(tǒng)問題的應用，從而獲得一系列Riemann積分及其困難的問題簡單處理及其證明。

實變函數；思想方法；數學分析；Riemann積分；Lebesgue積分

現行的有關實變函數的文獻[1-8]關于Riemann積分定理與問題的處理往往都很困難。特別是有些較難的Riemann積分問題，從Riemann積分自身去看，很難理解，形如詩句“不識廬山真面目，只緣身在此山中”。而現行的實變函數的文獻，基本上只給出Lebesgue積分和Riemann積分一個關系的命題，并沒有給出其在Riemann積分中系統(tǒng)的系列的應用。事實上，可以借助實變函數的Lebesgue積分的理論與方法對數學分析中有關問題的處理是有效的。因此，本文將研究實變函數的思想方法在數學分析中若干應用，給出Lebesgue積分在Riemann積分中等系統(tǒng)問題的應用，從而獲得一系列Riemann積分及其困難的問題簡潔的處理和新的證明。為了簡單，本文僅考慮有限維歐氏空間。

1 預備知識

1.1 記號

RK：表示K維歐式空間；

R積分：Riemann積分；

L積分：Lebesgue積分；

C(E)：集合E(E?RK)的全體連續(xù)函數；

B(E)：定義在集合E上的有界函數全體；

L(E)：定義在可測集E上的Lebesgue可積的全體函數；

R[a,b]：在[a,b]的全體正常的R可積函數；

m(E)：Lebesgue可測集E的測度；

M(E)：定義在Lebesgue可測集E上的可測函數的全體；

M+(E)：定義在Lebesgue可測集E上的非負的可測函數的全體；

Card(E)：集合E之基數；

?0：可列集E之基數；

Lip[a,b]：在[a,b]的滿足李普希茲條件的函數的全體；

BV[a,b]：[a,b]的有界變差函數全體；

f=g a.e于E：在E的f(x)和g(x)幾乎處處相等的兩個函數。

1.2引理

引理1[1]設f∈B[a,b],則f∈R[a,b]?m(Ef)=0。

注1 由引理1知當f∈R[a,b]時，則（i）[a,b]-Ef有?個點（不可列），f∈C([a,b]-Ef)，其中m([a,b]-Ef)=m([a,b])-m(Ef)=b-a＞0；（ii）在[a,b]的任一鄰域都有f之連續(xù)點[9-13]；（iii）f在[a,b]必有無窮多個點連續(xù)存在[9,12]；（iv）f在[a,b]必有無限多個處處稠密的連續(xù)點[9]；（v）f∈R[a,b]?f在[a,b]幾乎處處連續(xù)[7]，即f在[a,b]不連續(xù)點可用長度任意小開區(qū)間集覆蓋[12]。

注2 注1中的命題（i）、（ii）、（iii）、（iv）、（v）在文獻[9]、[11]、[12]、[13]中處理得都較難，此處有了引理1，這類問題的處理就成了推論，簡潔易懂。

注3（i）設f∈B[a,b]，若Card(Ef)=?0，則f∈R[a,b]；

（ii）設f∈B[a,b]，只有有限個聚點，則f∈R[a,b]

此處（i）、（ii）是文獻[12]173-174的問題，在本文系統(tǒng)下成為引理1的特例。

引理2[1-3]設f∈B[a,b],若f∈R[a,b]，則

2 L積分在R可積性中的應用及其注記

例1[9，13，14]f∈C[a,b]?f∈R[a,b]。

證由f∈C[a,b]知Ef=?，據[9]P78的引理組知f∈B[a,b],于是由引理1得f∈R[a,b]。

注4該例1是文獻[9]P211的定理9.4，[13]P80的可積函數類I的命題，[14]的定理7.1.2的推論1。但這些文獻中的證明都較本文例1引用引理1之法繁，沒有此處簡單。

例2[9，13,14]

證明由Card(Ef)=n0∈N?m(Ef)=0，又已知f∈B[a,b]，于是由引理1知f∈R[a,b]。

注5該例2是文獻[9]的定理9.5，[13]的P80的可積函數類II的命題，[14]的定理7.1.3的推論3.但這些文獻中的證明都較本文例2引用引理1之法難，沒有此處簡易。

注6在Reimann積分系統(tǒng)中獲得了例3的結果，但是若從本文的引理1的思想出發(fā)，在f∈B[a,b]的條件下，為f在[a,b]的間斷點}的基數可以是?0，甚至可以是 ?，但只要其m(Ef)=0，就有f∈R[a,b]。

例3[9]設。若f∈[a,b]上只有an為其間斷點，則f∈R[a,b]。

證明由題設知，m(Ef)=0，又已知f∈B[a,b]，于是由引理 1知f∈R[a,b]。

注7該例即文獻[9]P15的問題4，一般文獻中在處理這個問題時都較此處難。

則f∈R[0,1]。

注8例4是文獻[10]問題2194，是文獻[14]問題5(4)，此處較文獻[11]的證明簡單。

例5[9-10]設

證明由f(x)知 0≤f(x)＜1,0≤x≤1即f∈B[0,1]，，其中。而Card(Ef)=?0,，m(Ef)=0，于是由例3或據引理1知f∈R[0,1]。

注9是文獻[9]P219問題6，文獻[10]問題2196，較文獻[11]的證明簡潔。是文獻[15]問題110，此處較文獻[15]說清楚了，事實上，在Riemann積分中很難解決。

例6[9]設f,g∈B[a,b]，若僅在[a,b]中有限個點{x1,x2,…,xk}處f(x)≠g(x),f∈R[a,b],則（i）

證明(i)由題設知Eg?Ef?{x1,x2,…,xk}，據f∈R[a,b]與引理1及其有限點集的測度為零的性質知

所以m(Eg)=0。已知g∈B[a,b]，故g∈R[a,b]。

(ii)因為m({x1,x2,…,xk})=0，所以f(x)=g(x),a.e于[a,b]，于是由引理1，引理2與[2]定理1（iv)得

注10此例是[9]P215問題3。

例7[9]設f在[a,b]有定義，且 ?ε＞0,?g∈R[a,b]使得

今證，凡g之連續(xù)點，一定是f的連續(xù)點。

設x0為g(x)在[a,b]的連續(xù)點，于是由連續(xù)性之定義知：?ε＞0,?δ＞0,當x∈[a,b]且|x-x0|＜δ時，恒有，從而據（*）式知：

故x0為f在[a,b]的連續(xù)點。

由此可知，Ef?Eg，由于g∈R[a,b]故由引理1知m(Eg)=0，所以0≤m*(Ef)≤m(Eg)=0，

故m(Ef)=0。由引理1知f∈R[a,b]。

注11此例是[9]的P215的問題7。

例8[9]狄利克雷函數

證明因為f∈B[0,1]且Ef=[0,1]，而m(Ef)=1-0=1＞0，所以由引理1知f?R[0,1]。

注12此例8為[9]P210例1，在此簡潔證之。

證明因為f∈B[0,1]，而Ef∈[0,1]，m(Ef)=1＞0，所以由引理1知f?R[0,1]。

注13此例9為[9]P219的例題在此簡潔之證之。

證明由f(x)之狀得f(x)=xD(x)，其中D(x)為定義在[0,1]的狄利克雷函數，于是由[9]P72的例1知Ef=(0,1]，而m(Ef)=m(0,1]=1≠0，故由引理1知f?R[0,1]。

注14此例10是[9]P240問題3，在此獲得簡單的證明。

例11【9】f,g∈R[a,b]，則f+g∈R[a,b]，f-g∈R[a,b]。

證明由f,g∈R[a,b]知f,g∈B[a,b],據此知f+g,f-g∈B[a,b]，由f,g∈R[a,b]與連續(xù)函數的運算 性 質 知Ef+g?Ef?Eg，Ef-g?Ef?Eg，m(Ef)=0,m(Eg)=0。于是據[2]P67的定理1的零測度集的性質知m(Ef+g)=0，m(Ef-g)=0，故由引理1知f+g∈R[a,b]，f-g∈R[a,b]。

注15[9]P216性質2在此給出了新證明。

例 12[9]若f∈R[α,β]，a≤f(t)≤b,t∈[α,β]，且φ∈C[a,b]，則φ°f∈R[α,β]，即φ(f(t))∈R[α,β]。

證明因為a≤f(t)≤b，φ∈C[a,b]，所以φ∈B[a,b]，φ°f∈B[α,β]。

由f∈R[α,β]與引理1知m(Ef)=0，由復合函數的連續(xù)性知當t0為f之連續(xù)點，由φ∈C[a,b]知其也一定為φ(f(t))在[α,β]的連續(xù)點。故知Eφ°f?Ef，由m(Ef)=0，據[2]P67定理 1知m(Eφ°f)=0,由引理1知φ°f∈R[α,β]。

注16較文獻[9]P239例2、[11]P370-371的問題2202、[13]P174例4.1.3等文獻的解法簡潔。

注17本例為文獻[9]的第9章的最后一個例子，特別有用，但可惜很多文獻只述證而很少在理論上用于定理的證明。

[1]程其襄，張奠宙，魏國強，等.實變函數與泛函分析基礎[M]．2版.北京：高等教育出版社，2004：111-112.

[2]程其襄，張奠宙，魏國強，等.實變函數與泛函分析基礎[M].3版.北京：高等教育出版社，2010：67,156-160.

[3]劉培德.實變函數教程[M].北京：科學出版社，2006：101.

[4]周性偉.實變函數[M].2版.北京：科學出版社，2004：78-88.

[5]那湯松，徐瑞云譯.實變函數論(上冊)修訂本[M].北京：高等教育出版社，1958.

[6]周民強.實變函數論[M].2版.北京：北京大學出版社，2008.

[7]胡適耕.實變函數[M].北京：高等教育出版社,施普林格出版社，1999：93-97.

[8]徐森林.實變函數論[M].合肥：中國科學技術大學出版社，2002：284-290.

[9]華東師范大學數學系.數學分析（上）[M].4版.北京：高等教育出版社，2010：74,76,125-126,206,208-209,211-224,227-230,233-234,239-240,242.

[10]吉米多維奇.數學分析習題集[M].北京：人民教育出版社，1978：166-167.

[11]費定暉，周學圣.吉米多維奇著數學分析習題集題解（三）[M].濟南：山東科技出版社，1979.

[12]裘兆泰.王承國.章仰文.數學分析學習指導[M].北京：科學出版社，2004.

[13]菲赫金哥茨.徐獻瑜[M].8版.北京：高等教育出版社，2014.

[14]陳紀修，施崇華，金 路.數學分析(上)[M].2版.北京：高等教育出版社，2011：26,281.

[15]孫本旺，汪 浩.數學分析中的典型例題和解題方法[M].長沙：湖南科學技術出版社，1983：155-156.

On some applications of Lebesgue integral and their notes

CUI Fang-da1,YANG Ting1,YAN Ping1,YAO Yun-fei1,WU Shi-lin2
(1.School of Mathematics and Statistics,Fuyang Normal University,Fuyang Anhui236037,China;2.Jiucheng School of Susong,Anqing Anhui246220,China）

The existing literatures on mathematical analysis are often hard to deal with several problems of Riemann integral.In fact,with the help of the theory and method of Lebesgue integral in real variable function,mathematical analysis issues related to treatment is very effective.So this article will study some applications of the thinking method of real variable function in mathematical analysis,and especially give the application of Lebesgue integral in some problems related to Riemann integral. As a result,some simple processing and proofs of difficult problems on Riemann integral are given．

real variable function;thinking method;mathematical analysis;Riemann integral;Lebesgue integral

O17，O174.1

：A

：1004-4329（2016）04-015-04

10.14096/j.cnki.cn34-1069/n/1004-4329(2016)04-015-04

2016-09-25

國家級大學生創(chuàng)新訓練項目（AH201410371005）資助。

崔方達（1979- ），男，碩士，講師，研究方向：應用數學。