勒贝格积分与黎曼积分的比较

Lebesgue积分与Riemann积分的比较

Lebesgue积分与Riemann积分的比较

20141000449 陈佳龙 20141003908 王珏 20141000194 杜腾飞

摘要 我们知道，当涉及到某种物理量“累积”的时候，我们会立刻想到Riemann积分。 它处理的模型有着“基本”连续的特点，事实上，连续我们已做了推广.即限制在集合上 连续的概念.如Delet函数是间断的，但限制在无理点集或有理点集合是连续的.在经典物 理学中，我们要处理的问题数学化后大多为连续或者间断点不太多的情形。随着量子物 理的发展，所遇到的问题显然以不能够用R积分解决，在此背景下Lebesgue积分得以迅 速发展，俨然已发展为当代分析的主流。建立在勒贝格测度，及勒贝格可测函数上的勒 贝格积分的出现晚黎曼积分近半个世纪，其理论体系在当代得以完善。其优越性高于黎 曼积分，应用更加广泛。本文就黎曼积分与勒贝格积分在定义，性质方面做一些简单比 较，就连续函数，可测函数，黎曼可积函数，勒贝格可积函数，之间的关系以及黎曼可 积函数类与勒贝格可积函数类的势及包含关系进行比较. 关键词： 黎曼积分，勒贝格可测函数，勒贝格积分，示性函数，连续函数，测度论，几乎处处，零测集.

正文 一：黎曼积分与勒贝格积分定义比较 定义在此描述。R积分是这样定义的： R积分创立于19世纪中叶，近半个

定义 设函数f?x?在区间?a,b?世纪之后的1902年法国数学家勒贝格创立了勒贝格积分。其初衷是试图寻找解决诸如量上有定义，用分点 子物理中的物理量与一般随机量的数学期望

a?x0?x1?x2???xn?b

值等课题。事实上运用L积分可以解决包括古典物理问题之外的更一般的问题。基于勒

将区间?a,b?分成n个小区间。令?表示一切

贝格测度论定义的勒贝格积分对函数的限制更加宽泛，已经跳出了定义于R上有界函数

小区间长度?xk?xk?xk?11?k?n中的

的范畴而上升到了广义可测实函数，因而其研究范围也由R上有界闭区间延伸到了整个最大者，即??max?x。在每个小区间

??RN的有界可测集E，进而借助示性函数我们

1?k?nk可以将L积分定义在整个RN空间。这种优越性是基于测度论与可测函数相关理论而在其定义上便已显现出来了。为更好地说明L积分与R积分的异同，我们有必要将R积分的

1

?xk?1,kx?上任取一点?kn?xk?1??k?xk?，并

且作和

???f??k??xk.

k?1Lebesgue积分与Riemann积分的比较

如果当??0时，和数?不管分割如何取法，也不管?k如何取法，都有共同的极限I，即

??L?E?存在极限A，则称A是f?x?在E上

iii?1nlim??lim?f??k??xk?I,则称

??0??0k?1n的勒贝格积分，简称L积分，记为

?fdx

E此极限I为函数f?x?从a到b的黎曼积分，记作

I??f?x?dx，

ab 关于勒贝格积分有多种等价表述形式，为了更好的的说明问题，我们选取了两种定义模式，当然还有其它的定义方式，如张喜堂老师编的《实变函数论的典型问题与法方》中，对L积分的定义是先从有界函数的L积分着手，即定义有限可测集E的一个分划D，进而定义于D相关的小和数与大和数。最后定义有界函数的上下勒贝格积分。若上下积分相等，则称函数勒贝格可积。就本文所列举的的两种定义而言，其中第一种定义模式仿照了黎曼积分的定义，而第二种以测度为基础，先定义简单函数的积分，进而定义一般函数的积分，此种方式也适用于一般测度空间上的积分。在后面的相关论述中我们将主要选取第二种方式。

定义1：设勒贝格可测集E的勒贝格测度有限(L?E???).设f是E上有界可测函数(

由此可以看出与黎曼积分不同勒贝格积分是划分值域而不是划分定义域来求和的。显然与黎曼函数不同，由于黎曼积分要求小区间的长度而勒贝格积分要求定义域的测度，故对定义在定义在多维有界可测集上的广义实函数这样定义其积分就显得自然流畅,而黎曼积分只能对“ 标准”的实函数定义积分。

第二种定义方式是基于勒贝格测度论与勒贝格函数论，先定义有界可测集上简单函数的勒贝格积分，进而定义一般可测函数的L积分，最后定义无限可测集上的可测函数的勒贝格积分。此种定义，借助测度的性质及勒贝格可测函数的性质，对勒贝格积分性质的讨论自然流畅。

定义2.1 有界可测集E上简单函数L积分定义为，设E上简单函数??x?有表示

??x???yk?e?x?k?1kn

f?x??M)。任取分点

其中ek?E???yk?等为互不相交的可测集，称和?ykmek为简单函数??x?在E上

k?1n-M?y0?y1???yn?M.令

?y?max?yi?yi?1;1?i?n?,

的积分，并记为

Ei??x;yi?1?f?x??yi?

任取?????x?dm??ymekEk?1有时可以简写成??dm。

Enk

?yi?1,yi?.若当?y?0时，和

对于以上定义，我们可以把记号中的

dm 2

Lebesgue积分与Riemann积分的比较

dx换成

是允许的，从以上简单函数L积

可以通过简单函数的L积分来定义有界可测

集合E上的可测函数的勒贝格积分

定义2.2：设f?x?是有界可测集E上的可测函数，对于f?x??0的情形，取简单函数??x?满足0???x??f?x??x?E?，令?变动，定义

分的定义可以看出当??x?为一个常数c时，其积分值为c倍的可测集E的测度。而当c

为1时，该积分值为可测集E的测度。另外还应注意，简单函数积分同函数表示式无关，即

???x?dm??ykmek??cjmEjEkjf?x?在E上的L积分为

在叙述一般函数L积分定义之前，有必要先对简单函数L积分的一些性质进行描述。 （i）如果简单函数的正部与负部分别为

?f?x?dm?E0???x??fEsup???x?dm

???x?与?-?x?，则有

??此式右边非负数或?.如果此量为有限，则称

积分为?（即此时称函数在可测集E上不可???x?dm????x?dm????x?dmEEEf?x?在E上L可积。否则只说f?x?在E上的

积）.对于更一般的可测函数f?x?，当?f?dmE

简单函数的L积分具有线性可加性（ii）设?1，?2是E上简单函数，a1，a2是常数，则有

112211与?f-dm不同时为?时，定义f?x?在E上的

E积分为

?f?x?dm??f?x?dm??f?x?dm??EEE??a??x??a??x??dm?a???x?dm?a???x?dm22EE. E当此右式两项均有限时，也只有在此时积分是有限的，我们称f在E上可积，记作f?LE或简记为f?L.当右边两项均不可积时，原

（iii）设?是E上简单函数，E?E1?E2，

E1，E2为互不相交的可测集，则

???x?dm????x?dm????x?dm

EE1E2 对于以上简单函数L积分的性质我们可以类比定义在闭区间?a,b?上的连续函数f?x?的黎曼积分的线性性质。

我们知道，勒贝格可测集E上的可测函数均可由E上的简单函数列逼近，那么，自然会问，E上的可测函数的勒贝格积分与简单函数的勒贝格积分是何种关系。事实上，我们

3

积分无意义.即，积分不存在.当右边两项有一项不可积分时，我们称函数不可积.

以上便是可测函数在有界可测集E上的勒贝格积分的定义的第二种处理方式。我们有必要强调，我们只考虑对定义在可测集E上的勒贝格可测函数定义勒贝格积分。事实上，在上面的所有论述中，我们都是假定可测集E是有界的。事实上，对于无界可测集上的可测函数亦是可以定义其勒贝格积分的.其处理方式是将定义在有界可测集上的简单函数推广到无界。对比黎曼积分，我们可以将有界区间推广为无界，即无穷积分 。最后关于L

Lebesgue积分与Riemann积分的比较

积分的定义，我们可以借助可测集E的示性函数将L积分的定义推广到整个RN空间。我们还应指出，对于非负函数f的L积分表现为n+1维测度。这与非负函数的黎曼积分表下表为面积是相近的。其实上，对于一维非负函数的L积分也表现为“面积”

对比定义在闭区间上函数黎曼积分的。

二，勒贝格可积函数类与黎曼可积函数类 对于黎曼可积函数的判定，我们有上和，下和，的概念。并且有振幅的概念，即函数黎曼可积的充要条件是??i?xi?0.我

?定义，其方式上是不同.当然，最根本的不同是其处理的问题不同且 L积分的定义更加广泛。我们知道，可测集E上的连续函数都是可测的，且黎曼积分处理的均为一维区间上的函数，即定义在Borel集的一个子集类上的函数，由于Borel集是可测的，所以对于黎曼积分的问题我们都可以试图用勒贝格积分去考虑

f?x??g?x?dm?????a,b

4）定理2 定义在有限区间上的函数若为

们知道闭区间上的连续函数是黎曼可积的.这R可积，则必L可积分，且积分相等. 样就确定了一大类黎曼可积函数。并且我们 注释:上述四条回答了最初的提问，即勒贝还有闭区间上的单调有界函数是黎曼可积的，格可积函数与黎曼可积函数之间的关系，其闭区间上间断点不多的函数是黎曼可积的。

中就“4）”，可以做补充，即“函数在?a,b?上

以及黎曼可积函数的必要条件即函数必须是有界的，这样又排除了一类黎曼不可积函数。

R可积的充要条件是函数在?a,b?上地不连续

我们知道，可测集上的连续函数是可测的，并且几乎处处有限的可测函数基本上是连续点所成之集测度为0”.可以看出，若不考虑函数。那么我们自然会问，定义在可测集上反常积分，则黎曼可积的函数是勒贝格可积的连续函数是否是L可积的？是不是R可积的。并且可以看出，定义在 区间上的勒贝格了就一定L可积，如果不是，那么L可基函可积函数是可以用连续函数来平均逼近的。数与R可积函数类之间有何关系呢？是否某对比几乎处处有限的函数可用连续函数逼近，一类函数一定是L可积的，或者那一类函数此处的条件明显加强了 。事实上勒贝格可积一定是L不可积的呢？最后既然勒贝格可测函数必是几乎处处有限的，则在区间上的L函数可用连续函数逼近，那么勒贝格可积函可积函数必是几乎处处有限的，那么此处将数是不是能用连续函数逼近呢？对与上述问可测 函数限制在了闭区间上，而不是多维闭题的回答，将在该部分该部分做出论述。 区间或者是有界 可测集E上，虽不太完美，

1）有界可测函数必勒贝格可积. 但也很漂亮。 2）勒贝格可积函数必几乎处处有限.

5）若mE?0，则E上的任何函数f?x?都

注释：上述可测函数定义在有界可测集E上。

是L可积的，并且积分等于0

3）定理1 设f?x?是?a,b?上的 勒贝格

注释：我们知道，定义在零侧集上的函数均可测，而上述定理告诉我们零侧集上勒贝

可积函数，则对任何正数?，有?a,b?上的连

格积分的性质，两者统一来看，是非常漂亮的结论，此结论也告诉我们一个重要事实:在

续函数g?x?，使

一个测度为零的集合上改变函数的值，既不影响函数的可积性，也不敢变其积分值.

三：勒贝格积分与黎曼积分性质的比较。 比较完勒贝格积分与黎曼积分的定

4

Lebesgue积分与Riemann积分的比较

义与函数类之后，最后我们对勒贝格积分与黎曼积分的性质进行比较.该部分的论述将分两部分进行，其中第一部分就函数而言，第二部分就函数列而言.其中对可测函数列的勒贝格积分的讨论中，我们会与一致收敛的函数项级数的相关性质进行比较.事实上对积分性质的比较，应该就特殊函数与特殊可测集进行更加细致的讨论，如有关可测集示性函数的L积分的相关性质及Cantor集上可测函数勒贝格积分的性质进行论述。然而由于时间原因，此部分内容无法进行细致学习与论述，实感遗憾。

?about function

1.勒贝格积分的线性性质： 定理3 设f?x?在E上勒贝格可积，则对任何实数c,cf?x?也可积，且

?f?x?dm??g?x?dm.

EE 注释：上述定理中E可以为无限可测集.对于黎曼积分，也有与之等价的性质.事实上，上述定理中的条件均可以减弱.即“若“若f(x)?g?x?a.e于E，则?fdm??gdm”

EEf?x??g?x?a.e于E上，g?x?在E上可积，则

f?x?也在E上可积.且，?f?x?dm??g?x?dm”.

EE关于定理5,有一推论

推论1 设f?x?是有界可测集E上的可测函数，A?f?x??B,则

?cf?x?dm?c?f?x?dm.

EEAmE??f?x?dm?BmE

E 定理4 设f，g在E上均L可积，则

f?g也可积，且

注释：由于有界可测函数是勒贝格可积

的，再对比定理5，该推论显然是成立的。事实上，当f?x??C时，?f?x?dm?CmE.当 mEE??f?g?dm??fdm??gdm

EEE=0时，?f?x?dm?0.

E （错误推断）设f?x?，g?x?都是E

mE??g?x?上的可测函数，（E也可取无界），

注释：上述定理中可测集E并不限定在有限，

也可无限.对比黎曼积分，也有与之等价的性质.

2.与几乎处处有关的性质:

定理5 设f，g在有界可测集E上均勒贝格可积，且f(x)?g?x?，则

可积,且 f?x??g?x?a.e 于E,f?x?一定可积. 注释：对于上述错误推断，加强条件，则可得到如下性质.

定理8 若f?x?在E上可测，g?x?在E上勒贝格可积分，且g?x??0，f?x??g?x?,则

?Efdm??gdm

E 定理6 若f?x??g?x?于有界可测集E，

f?x?在E上可积.

3. 有些性质是勒贝格积分特有的，有些黎曼积分的性质，勒贝格积分却不一定有. 定理9 （勒贝格积分的绝对可积性）f?x?5

g?x?在E上可积，则f?x?也在E上可积.且，

Lebesgue积分与Riemann积分的比较

在有界可测集E上勒贝格可积的充要条件是

f?x?在E上可积

注释：事实上，E可以是无界的，并且我们还有以下性质

注释：该定理中E可以为无限，该定理有下列推论

推论2 若f?x??0，?f?x?dm?0,则

Ef?x??0，a.e于E.

定理12（有限可加性）设f?x?是有界可测集E上的勒贝格可积函数，E??Ek,Ekk?1n?f?x?dm??f?x?dm

EE对比黎曼积分，此性质是不成立的.我们可以说，f黎曼可积则f黎曼可积，但是f黎曼可积推不出f黎曼可积.如

等均可测且两两互不相交，则有

?1x?Q??0,1?f?x???c

???1x?Q?0,1?此函数显然黎曼不可积，而f?x??1 ，

?f?x?dm??f?x?dm??f?x?dm????f?x?dmEE1E2En

注释：此定理可以中E可以为无限.此性

质可以对比黎曼积分的如下性质，即“在区

间?a,b?上黎曼可积的函数f?x?，有

x??0,1?显然是黎曼可积的.

b定理10 f?x?为E上的勒贝格可积函数，则f2?x?在E上不一定L可积分.

注释：对比黎曼积分，f?x?黎曼可积，则可推出f2?x?是黎曼可积的. 我们构造下列函数

?f?x?dx??f?x?dx??f?x?dx???f?x?dxaacncdb

其中任意c,d,...n属于?a,b?.事实上对于一维无界区间而言黎曼积分的该性质亦是成立的.

定理13，（?/完全可加性）设f?x?是有界可测集E上的勒贝格可积函数，则E??Ek,Ei,Ej等均可测且两两互不相交，

k?1??1x??0,1??f?x???2 x?0??0该函数是L可积的，然而f2?x?L不可积. 4 勒贝格积分的其他性质

定理11（唯一性定理）设f在有限可测集E上勒贝格可积，则?fdm?0的充要条件

E有

?f?x?dm??f?x?dm??f?x?dm???f?xEE1E2En

注释：该定理中E可为无界可测集， 定理14（绝对连续性）设f?x?在有界可测集E上L可积，则对任意?，有??0，

6

是f在E上几乎处处为零.

Lebesgue积分与Riemann积分的比较

使当me??(e?E)时就有

对比黎曼积分的性质，函数项级数一致收敛，则部分和函数的极限号与积分号方可交换，可见，勒贝格积分要方便很多.

定理 16 （勒维定理）设可测集E上可测函

数列?fn?x??满足下面条件：

?f?x?dm??e注释：此定理中E可以是无界.此定理若将积分看成更高阶维空间的测度，则即n维空间任意小的空间都对应与n+1维任意小的空间.若将积分看成原函数，则原函数是绝对连续的，对应黎曼积分有性质“设f?x?在

0?f1?x??f2?x???；limfn?x??f?x??x?E?

n?? 则fn?x?的积分序列收敛于f?x?的积分：

?a,b?上黎曼可积，则对任意x??a,b?，

F?x???f?x?dx是x的连续函数”.

ax?limf?x?dm?lim?f?x?dm

En??nn??nE? about function column

定理 15 设f?x?是有界可测集E上的非负的勒贝格可积函数，?fn?x??n?N是满足条件

注释：显然该定理更具朴实意义，即收敛的可测函数列的积分符与极限符号可交换.该定理是勒贝格积分的重要极限定理之一，也是勒贝格积分论的核心定理之一，其应用非常广泛.与函数项级数的相关定理对比，可看出勒贝格积分在对收敛的要求上明显宽松很多，这也便是勒贝格积分教黎曼积分更加优越的原因之一了.

定理（法杜定理）设fn?x?是可测集E上的非

负可测函数列，则

0?f1?x??f2?x???；limfn?x??f?x??x?E?

n??的简单函数列，则

?f?x?dm?lim?f?x?dm

En??nE?limf?x?dm?lim?f?x?dm

En??nn??nE注释：此定理中E可以是无界，且若f?x?勒贝格积分存在，此定理也是成立的，收敛与L可积函数的简单渐升函数列积分符与极限符号是可交换的.即

注释：该定理便是勒贝格积分的又一重要极限定理，也称法图定理，较勒维定理，该定理有明显放松了，即不要求函数列收敛，只要求其可测.

?limf?x?dm?lim?f?x?dm

En??nn??nE

7

Lebesgue积分与Riemann积分的比较

参考文献：《实变函数与泛函分析概要》第四版 郑维行 王声望 高等教育出版社

《实变函数论》第二版 周民强 北京大学出版社

《实变函数论的典型问题与方法》 张喜堂 华中师范大学出版社

《数学分析》 北大数学系编 高等教育出版社 《数学分析》 复旦数学系 编 高等教育出版社

《中华百科全书，数学》

8

本文来源：https://www.bwwdw.com/article/nvy3.html