Riemann积分和Lebesgue积分的联系和本质区别

力J1.镌sDm胁珊蹦如2008年5月
Riemann积分和Lebesgue积分的联系和本质区别
张丽君
(山西师范大学数计学院,山西临汾041004)
【摘要】Riemann在19世纪中期引入了Riemann积分.比较完整深刻的提出定积分概念的实质。20世纪初,集合论的观点引起积分学的变革,kbe8舭以集合测度为基础,对Rienmn积分的定义加以改造.建立‰舭积分的概念。在一般的分析书中,揭示了Rio-1llSILrl积分和IJebeBgI埒积分的联系,指出了kbe孵地积分是Riemann积分的一种推广,井为一般的有界函数的Riemann积分提出了简明的判别准则,并没有指出它们之间的本质区别。本文将从Riemarm积分和Lebeague积分的定义和联系入手,去探讨它们之同的本质的区别:从Riemann积分推广到1.daesgue积分的本质是从不完备空间R[a,b]到完备空间L[a’b】的扩充。
【关键词】Riemarm积分;I,ebesgue积分;完备空间;L[a,b】R[a,b】‘
1.引言
积分真正的发展要在17世纪以后,经过半个世纪的酝酿,牛顿的<流
数简论>标志着微积分的诞生,莱布尼茨对积分也作出了巨大的贡献。进
入18世纪,数学的发展进入了分析的时代,欧拉对微积分的进步作出了
巨大的贡献,但是积分的概念一直受面积观念的影响,直到柯西才真正的
从分析的角度给出了积分的构造性定义,此外,柯西具有创造性的从“和
式极限”这个观点出发,使积分作为一个独立的个体从微分中分离出来,
并且积分作为“和式极限”的观点,为在数学分析中引入重积分,曲线和曲
面积分创造了条件,为引进其他类型的积分,如R/emann积分和Lebesguc
积分创造了条件。
金善雅电影2.Riemann积分和Lebesgue积分简介。
积分的发展和函数概念的发展是密不可分的。积分理论一直和函数
的连续性紧密的联系在一起。随着傅立叶的不连续函数可以用三角级数
和来表示,这样便提出了一个问题:是否可以将只适用于连续函数的积分
推广到更为一般的函数上呢?
2.1.彪emann积分简介o
R/ematml826年生于汉诺威的步雷斯伦茨,1866年卒于意大利的塞那
斯加。在研究傅立叶级数时,曾不断的尝试使更广泛一类的函数可以用
傅立叶级数来表示。这个想法依赖与对傅立叶级数中的被积函数月喾)的
范围。于是1853年他写了为取得大学教授资格而写得一篇题为<用三角
级数来表示函数>的论文。在这篇文章中,黎曼用了四页的篇幅给出了他
的定积分的定义以及可积性准则,除了这几页之外,黎曼再也没有从事过
积分理论的研究,尽管如此,黎蔓在这篇文章中体现的极为深刻的积分思
患使他成为对近代积分学影响最大的数学家之一。直到1887年这篇文
章才被发表,当时黎曼已去世。
黎曼的定积分定义如下:
取处于口和b之间的数列毛,恕…,Xtt-|按大小排列,为简单起见把zl
--tl,勉一茹I…。b--Xn.1分别记做南。岛,…,瓦。这时和式:
s=6L代a+占151)+I¥√Ill+占。岛)+…+6,以Xtt.1+宣。氐)值.与区问
最和数巩的选择有关。如果和5具有这样的性质:无论岛和数毋怎么选
择,只要所有的最的值无限减小,它就趋于一个固定的极限A,这个极限
记为』欤z)出这样取岛为区间中的任一点,刚“茹)在[口,b]上的积分定
义为:
.■
』欤聋)如=鲰.矾龟)(毛-Zi—1)
从黎曼积分的定义可以看到。求黎曼积分的时候采取一种逼近的方法。包括两个步骤:其一为剖分,其二为取极限。黎曼的积分思想和柯西的积分思想一样,都是把区间分成一些小区间,然后构造相应的近似和。但是黎曼把连续函数推广到有界函数。定义了积分以后,那么什么情况下的函数是可积的呢?黎曼又给出了可积性准则:
对于有界函数,(#),把[4,6]分割成子区间:△写I,Ax2…,Xx。,并以最大值和最小值之差定义为^茹)在各子区问上的振幅。当最大的△毛趋■
于0时,和式s=z只吼)厶喾j趋于一个唯一的极限的一个充要条件是:对任意的口>O,存在一个分割使得,(,)的振幅在大于口的那些区间的总长度可以任意的小。
根据黎曼的理论,连续函数是可积的。如果从积分的几何背景来说,以连续曲线围成的平面图形是能够计算面积的,这样黎曼积分也成了计算面积的有利工具。
作者简介:张丽君,山西师范大学教计学院。
黎曼积分所考虑的是有穷区间上的有界函数,对于区间有穷和函数
有界两个方面加以推广便得到了无穷积分和暇积分。对于这些推广我们不做仔细讨论,我们转向黎曼积分在理论上更为重要的一种推广——·£e6-tsgue积分o
2.2.Lebesgue积分简介o
19世纪末集合论的建立为微积分的变革奠定了理论基础,科学家们开始着手改进并推广黎曼积分,主要的办法是扩大可积函数类,使得它能保持黎曼积分的几何壹观和计算上的有效,又能在积分与极限交换顺序的条件上有较大的改变,沿这条路走下去就产生了Lebesgue积分。
/,ebesguel875年生于博韦,1941年卒于巴黎。在巴黎高等师范学校学习期间是Bore/的学生。在此期间Lebesgue接触到了Bord的关于论述点集测度新方法的(函数论讲义>以及法国数学家尼L妇妇关于不连续实变函数的论文,向Lebesgue揭示了在这个领域中可以探索的空间是多么的广阔。1899到1902年,Lebesgue在南锡中心中学任教期间进一步发展了他在巴黎大学所作的博士论文<积分长度面积>中的思想。在这篇论文中,他第一次叙述了有关测度和积分的内容。
2.2.1.。病态函数”促进了Lebesgue积分的产生。
古典数学研究的函数一般都是有连续的导函数的,甚至是无穷次可微的光滑函数,但是数学家们陆续
发现了一些奇异的函数,例如D/r/c.h/a函数就是这样的一个“病态函数”。(D/r/&/越函数为定义在区间[0,1]上的函数,它在有理点处取值0,无理点处取值1)正是这些“病态函数”的出现对古典数学规律提出了挑战,促使新概念新定义的出现和新理论的建立,开拓并在更高的层次上得到统一。
2.2.2.tebesgue测度
首先应该提出的是Lebesgue在前人研究的基础上提出了自己的测度概念,在实便函数论中我们提到过,这里做一个简要的说明:
给定实数轴的一个子集E,对每一列覆盖E的开区问^,
矽以)E,作出它的长度总和p=.置It,l,所有这一切的p组成一个下方有界的数集,它的下确界称为E的1.,ebesgue外测度,记为in·E,如果E
c[a,b],则E的内测度定义为m村=(b一口)一m’([口,b]/e)。当m‘/嚣=m。E时,称层是/,ebesguo可测的。
Lebesgue所定义的测度满足可数可加性,这个性质十分重要,比如说[o,l】中的有理数集合Q,对于黎曼而言是不可测的。如果采用Lebesgue测度,则口是可测的。这样Lebe
sgue所定义的可数可加性的测度下,可测集的范围得以扩大。
2.2.3./,ebesgue积分的定义。
tebesgue在讲到他的积分时作过这样的一个比喻:。我必须偿还一笔
钱,如果我从口袋中随意摸出各种不同面值的钞票,逐一的还给债主到全部还清,这就是黎曼积分,如果我把钱全拿出来并把相同面值的钱放到一起。然后再一起付给应还的数目,这就是我的积分。
设E是一可测集.,,诹<+*以膏)是E上的有界函数,将,,=,(膏)在区间[4,6]上的值的下确界A和上确界口之问的线段分成n个小区间:[Yo,,,l】,[,,t,毙】,….[h—l,靠]。其中:Yo=^,h=Bo氯甲苯
记毛={gIyj.1苎砜茹)<Yl},任取磊e[咒一I,扎】(i=l,2,…,n),作和式:
s∽D)=.互毒m(最)
●tU
记:^=.一l儿一九.1I,若极限魄s(,’D)存在,则称,(量)在岳上Lebesgue可积,称其极限值为^g)在E上的tebesgut积分。
力JfI镌姒胁柚航嘻2008年5月大白鲨光驱
记作:JE只#)拥o
3.m绷彻n积分和Lebesgue积分的简单比较
在厶6掣e积分的意义下,可积函数的范围扩大了。Lebesgue证明出,尽管一个函数是处处都不连续的,但只要它是可测的{,(,)是定义在可测集E上的实函数,若对每一个实数4。集EU‘口)恒可测,则称,(茹)是E上的可测函数},那么它就是可积的。
可积函数有一个很好的性质:若以z)是可测集层上的有界可测函数,则改变,(#)在一零测度集合上的数值之后,不影响其可积性,也不影响积分值。
在实变函数论中的Lebesgue积分的一个经典的例子就是D/r/ch/雹函数的积分,这里就不再细说明了。
而且Le/地s6,ue还给出了触胁可积的充要条件:定义在区间[口,6]上的有界函数以z)
是R切mnn可积的,当且仅当厂(z)的不连续点所组成集合的Lebesgue测度是零。这个准则除了叙述上很优美之外,更重要的是它使人们更加深刻而清楚的意识到真正决定R/onann可积的不是不连续点的“多少”而是这些不连续点的。长度”。
Lebezgue积分优于R/enumn积分的另一点就是减弱了积分号和极限号换序的条件。对于Rk'mann而言,只有在一致收敛的条件下,积分和极限的顺序才可以交换。Lebesgue对此进行了改进,提出了有界收敛定理。
设∽(譬)}是层上的一列可测函数,且∽(茹)}在层上几乎处处收敛子,(z),而且吮(算)Is,o则,(茹)在层上厶咖可积,且f以富)如=跏五(#)出。
■--■
这个定理中体现了k6铷伴积分中的几个重要的思想:(1)把连续函数推广到了可测函数,此类函数的优越性在于其函数列的极限仍然是可测函数,在某一零测集上不收敛不能破坏起可测性。(2)提出了独特的。几乎处处”的概念,即A是与集合E中的点有关的命题,若使A不成立的点的全体的/ebesS-ue测度为零,则称A在E上“几乎处处”成立。
我们现在拿伪ich细函数作为一个例子:把[O,1]中的有理点依次排列为,I,r2…,r-,…作函数:
中国学习网。,、r1,斑{rl,r2,…,~t1
%¨J2io,其余点j
每个D。(*)显然是可测的,并且D。(*)5D(善)。由于
n—●■
铷D。(喾)=D(*),』5D。(茹)dx=0,
于是由Lebessue有界收敛定理知:
』5D(g)出=//ra』5D。(髫)dx=0
如果从R/fmatm积分的角度来看的话。尽管。但是的极限根本不是R/emann可积的,也就更谈不上积分与极限的换序问题了。
4.R/emanrt积分和Lebe强gue积分的本质区别
通过上面的内容我们看到如6锷聊积分是对于R/emann积分的一种推广,那么R/eman/t积分和Leb∞gue积分之间最本质的区别是什么呢?下面我们从他们的定义出发,利用空问的完备性概念加以讨论。
我们先给出以下几个定义:
定义l设x是一个非空的集合,若对于工中的任意两个元素x,y,都有唯一确定的实数d(茹。Y)与之对应,并且满足:
(1)d(#,y)≥O,d(#,,,)=O的充要条件是茗=,,
(2)对于任意的疆,都有d(x。y)sd(髫,z)+d(=,),)
则称d(#,y)是#与y之间的距离,称z为距离空间,记作x=(工,d)。
定义2设工=(x,d)是距离空间,{%}是x中的点列(元索列),如果对于任意给的正数占>0,存在自然数Ⅳ;Ⅳ(占),使得当聘,m>Ⅳ时,必有d(‰,“)<量,则称{%}是x中的基本点列。如果对于x中的每个基本点列,都存在点糕z,使得limd(x。,茹)=O。则称距离空间x是完备的。
南京海关
令R[口,6]表示在区间[口,6]上的全体RL.mana可积函数。L[4,b]表示在区间[口,b]上的全体厶咖可积函数。在R[口,6]和Ⅱa,b]引入距离:d∽量);J:l,(霉)-g(x)I如。可知R[口,b]和Ⅱ4,b]在此距离下为距离空间。
命题l。剐口,6]是一个不完备的空间。
证明:不失一般性,取口=O,b=l,在区间[0。1]上做一个完备集Po
使得mPo=÷。为此只要确定关于Po的补集岛就可以了。
我们构造岛如下:
作者简介:张丽君。山西师范大学数计学院。
第一组取中点在÷,长度为÷的开区间(砉,砉),第二组取中枣分别在歹3与歹13,长度为i-b的两个开区间,…,第n组取余下的区间的中点为中点,长度分别为石i。÷i鬲的2”1个开区间,显然这些区间互不相交,所取出的这些区间的全体记倌c0则
.1222
2一一I1‘响?下+弼i+歹刁"”+万啊p”2丁
而且Po=[o,1】一岛是一完备集,,喝=m[o,1]一moo=÷。
下面我们在EO,1]上定义一个函数列:
,、r1,当髫在Go的前n组中
‰‘列2Io,当;不在Go的前n组中
显然有:9t(善)s妒2(#)s…s9.s…
而:(R)J概(茹)出=。虿南.
从而对任给的暑>0,只要n足够的大就有:
(月)』5I‰-(x)’妒-(*)Ida=▲三l方<芎
所以{妒.(菇)}是空间alo,1]上的基本点列。并且显然有:
搿//m小h㈤=艨竺筹
又因为妒(算)在Po上不连续,并且,哦=÷。所以在妒[o,1]上不是R/emann可积的。所以RE0,1]不是完备空问。
命题2Ⅱ口,b]是一个完备空间。
证明:设函数列五(#)吐[o,b]是空间“口,b]上的基本点列。即对任意的占>0。有自然数N。当n.m>Ⅳ时。有
』[。.‘】帆(∞)一厶(#)l☆<8
设:E={簖帆(z)一厶(*)≥6l}则:
跏(E)s(L)h嘛(茗)一厶(*)l出s(L)J:吮(g)一厶(*)I出<暑
于是由脓:定理以依测度收敛于,o从而有子序列依测度收敛于二
下面证明以I即可。显然五I也是基本列,即:·对上面的F,当时‰。n;>N时,有
d瓴I以1)=(L)』:哌I(*)一无j(茹)I如<置
另一方面:
当n‘一+*时。帆I(茹)吒l(茗)I几乎处处依测度收敛于tf(茹)一厶·(膏)I。由胁引理:’
dL‘。∞=(L)J:If(髫)..厶I(z)I出
s枷(£)』:吮·(#)吒i(善)I也
H-
<占
故,—五I吐[口。b]从而,=五‘+(厂—五j)正[a,b]。
于是:d∽力=d瓴工I)+d∽I力(掌
所以:枷五=,从而:肛口,b]是完备空间。
_’+-
结论:
从R/ernann积分推广到厶6唧”积分的本质是从不完备空间R[o。b】到完备空间Ⅱ口,6]的扩充。.
【参考文献】‘
【1】程其襄张莫宙等。实交函数与泛函分析基础.第二版.高等教,『出版社.2003.’【2】事文林.数学史概论.高等教育出版社.2005.
【3】刘玉琏辱.教学分析讲义.人民教育出版社.1982.
【4】江泽坚等.实变函数论.高等教育出版社.2000.
【5l华东师大数学系主编.数学分析.2002.
【6】夏道行.实麦函数论与泛函分析.人民教育出版社.1979.
Riemann积分和Lebesgue积分的联系和本质区别
作者:张丽君
作者单位:山西师范大学数计学院,山西,临汾,041004
刊名:
南北桥
英文刊名:SOUTH NORTH BRIDGE
年,卷(期):2008,""(5)
被引用次数:0次
参考文献(6条)
1.程其襄.张奠宙实交函数与泛函分析基础 2003
2.事文林数学史概论 2005
3.刘玉琏数学分析讲义 1982
4.江泽坚实变函数论 2000
5.华东师范大学数学系数学分析 2002
6.夏道行实变函数论与泛函分析 1979
相似文献(10条)
1.期刊论文熊启才.和来香.张志学关于Directly-Riemann积分、Lebesgue积分与Riemann积分的相互关系-喀什师范学院学报2003,24(3)
利用Directly-Riemann积分、Lebesgue积分及Riemann积分的有关性质,得到了Directly-Riemann积分可积条件以及它们之间的相互关系.
2.期刊论文熊启才.曹吉利.刘德斌Directly-Riemann积分、Lebesgue积分与Riemann积分关系的重要性质-汉中师范学院学报2003,21(6)
在Directly-Riemann积分、Lebesgue积分及Riemann积分的条件下,得到了3种积分之间相互关系的一些重要性质.中星1a
3.期刊论文王军涛.宋林森Riemann积分与Lebesgue积分的比较-河南科技学院学报(自然科学版)2008,36(4)
从Riemann积分与Lebesgue积分的定义、性质、积分与极限交换次序及微积分基本定理等方面进行比较,并给出Lebesgue积分下的积分中值定理及证明,讨论了Lebesgue积分和Riemann积分二者之间的关系.最后,通过二者在广义积分方面的比较,说明Lebesgue积分在广义积分方面并不是Riemann积分的推广.
4.期刊论文李宇洁Lebesgue积分与Riemann积分的比较-商情2009,""(32)
Lebesgue积分与Riemann积分分别是数学中研究的核心内容,这两种积分在分析数学中占有很重要的地位,本文主要研究了Lebesgue积分与Riemann积分的比较,在给出Lebesgue积分与Riemann积分的定义后,再给出他们之间的一些主要性质的比较,进而在它们之间的联系与优越性方面进行一些讨论.
5.期刊论文曹怀信.Cao huaixin Riemann积分与Lebesgue积分的关系-陕西师范大学继续教育学报2005,22(3)
本文研究了一般Riemann积分(即k-重积分)与Lebesgue积分的关系,证明了:若函数f在有界闭域D()Rk上Riemann可积,则f在D上Lebesgue可积且积分值相等.作为应用,讨论广义Riemann积分(即瑕积分与无穷限积分)与Lebesgue积分的关系.进而,给出了计算几类Lebesgue积分的方法.
6.期刊论文杨明顺.YANG Ming-shun Riemann积分与Lebesgue积分的本质区别-江西科学2009,27(1)
对Riemann积分与Lebesgue积分的本质区别进行了研究.得出二者的本质区别为:区间上所有Riemann可积函数所生成的空间不是完备的,而所有Lebesgue可积函数所生成的空间是完备的,并对此结论进行了证明.
7.期刊论文林秋红Riemann积分和Lebesgue积分性质的比较-湖北广播电视大学学报2010,30(3)
本文主要对Riemann积分和Lebesgue积分进行归纳总结,着重比较了这两种积分性质上的异同,及它们在极限、微分等方面的应用.
8.期刊论文金瑾关于广义Riemann积分与Lebesgue积分几个性质的研究-广西教育学院学报2002,""(3)
根据广义Rjemann积分和Lebesgue积分的概念,给出了广义Riemann积分与Lebesgue积分的几个性质.
9.期刊论文杨华.蒋锋Riemann积分和Lebesgue积分的本质区别-高等函授学报(自然科学版)2004,18(5)
本文从Riemann积分和Lebesgue积分的定义出发,揭示它们的本质并不是划分的不同,而是在于分别由其可积函数全体构成的空间是否具有完备性. 10.期刊论文何美Riemann积分与Lebesgue积分的本质区别-西南民族学院学报(自然科学版)2002,28(2)
指出Riemann积分与Lebesgue积分的本质区别在于:区间[a,bl上所有Riemann可积函数所生成的空间是不完备的,而所有Lebesgue可积函数所生成的空间是完备的.
本文链接:d.wanfangdata/Periodical_nbq200805084.aspx
授权使用:中国地质大学(北京校区)(中国地质大学),授权号:4ba2bc6c-1c03-4fae-9ae0-9e2800d37e34
下载时间:2010年11月8日

本文发布于:2024-09-22 18:24:27,感谢您对本站的认可!

本文链接:https://www.17tex.com/xueshu/259229.html

版权声明:本站内容均来自互联网,仅供演示用,请勿用于商业和其他非法用途。如果侵犯了您的权益请与我们联系,我们将在24小时内删除。

标签:函数   区间   定义   可积
留言与评论(共有 0 条评论)
   
验证码:
Copyright ©2019-2024 Comsenz Inc.Powered by © 易纺专利技术学习网 豫ICP备2022007602号 豫公网安备41160202000603 站长QQ:729038198 关于我们 投诉建议