通过L积分几何意义谈对黎曼积分的认识.docx

通过L积分几何意义谈对黎曼积分的认识 徐加兰、吴棋、臧晓宇、闫祺 数学与应用数学13-1班摘要:本文研究了黎曼积分的定义和性质，发现在实变函数里引入勒贝格积分可以弥补黎曼积分的不足，由此提出了从测度、可测集、可测函数到勒贝格积分的定义.通过比较两者之间的定义、性质、几何关系等，讨论了勒贝格积分与黎曼积分的联系与区别，加深对黎曼积分的认识.关键词: 黎曼积分 勒贝格积分 外测度 可测集 可测函数1 黎曼积分1.1 背景微积分的萌芽、发生与发展，经历了一个漫长的时期.早在古希腊时期，欧多克索斯就提出了穷竭法.这使得古希腊数学家在所有论证中都不用“无穷小量”这个词，仅仅使用只需有限步可做到的穷竭法就够了.从16世纪中叶开始，微积分正式进入了酝酿阶段.现代数学史家波耶认为在所有微积分的先导工作中，费马和巴罗最接近于分析学.接下来，牛顿和莱布尼茨在17世纪下半叶终于创立了微积分学.牛顿和莱布尼茨得到以下公式：即设F(x)是f(x)的不定积分，则有.牛顿将面积计算与求切线问题的互逆关系，明确地作为一般规律提出来，并将它作为建立微积分普遍算法的基础.20 世纪的分析学仍在大步前进，20 世纪初勒贝格开创了可列可加测度的积分论，即实变函数论，也称实分析.1.2 定义函数f(x)在区间[a,b],上有定义,任意用分点a=…=b将区间[a,b]划分成n个小区间，每个小区间为[,]，且小区间的长度?=-，在每个小区间上任取一点，且(≤≤),i=(1,2,…,n),作和式记如果当λ→0时,上述和式的极限存在,则称函数f(x)在区间[a,b],上可积,并称此极限值为函数f(x)在区间[a,b]上的定积分,记作即其中f(x)称为被积函数,f(x)dx称为被积表达式,x称为积分变量,记号“∫”称为积分号,区间[a,b],称为积分区间,a与b分别称为积分下限和积分上限,和式称为f(x)的积分和.1.3 性质⒈（线性性）若f(x)是定义在[a,b]上的黎曼可积函数，K为常数，则Kf(x)在[a,b]上也黎曼可积，且有⒉若f(x)，g(x)在[a,b]黎曼可积，则f(x)+g(x)，f(x)-g(x)，f(x)g(x)也在[a,b]黎曼可积.注： ①②综合以上两条⒊（区域可加性）设有界函数f(x)在[a,c]，[c,b]上都黎曼可积，则f(x)在[a,b]上也黎曼可积，且有⒋（单调性）f(x)，g(x)是定义在[a,b]上黎曼可积，且f(x)≤g(x)，则⒌（可积必绝对可积）若f(x)在[a,b]上黎曼可积，则|f(x)|在[a,b]上也黎曼可积，且有注：其逆命题不成立⒍若f(x)在[a,b]上黎曼可积，则在[a,b]的任意内闭子区间[α，β]? [a,b]上也黎曼可积.且其积分值不会超过在[a,b]上的积分值.⒎若f(x)是[a,b]上非负且连续的函数.若有则f(x)在[a,b]上恒等于零.⒏f(x)，g(x)在[a,b]黎曼可积，M=max{f(x)，g(x)}，m=min{f(x)，g(x)}在[a,b]黎曼可积.⒐若f(x)在[a,b]上黎曼可积， 在[a,b]上有定义且有界，则也在[a,b]上黎曼可积.引子X2+1=0实数到复数，狄里克莱，P58,80,1002 勒贝格积分实变函数论中核心的内容之一是建立在测度理论上的勒贝格积分理论，而测度理论的核心是建立一般集合外测度.因而集合外测度概念是实变函数中的一个基本概念.目前实变函数论的各种教材中定义的集合外测度概念都是用开区间的长度( 面积，体积) 来定义的，因此我们首先给出勒贝格测度的定义.2.1 外测度定设E为中任一点集，对于每一列覆盖E的开区间做出它的体积总和μ=（μ可以等于+∞，不同的区间列一般有不同的μ），所有这一切的μ组成一个下方有界的数集，他的下确界（完全由E确定）称为E的勒贝格外侧度，简称L外侧度或外侧度，记为m*E，即m*E=2.2.2 可测集定义设E是中的点集,如果对任意一点集T都有：m*T=m*(TE)+m*()则称集E是L可测集.2.2.3可测函数定设f(x)是定义在可测集E实函数，如果对于任意实数α,E[f(x)α]都是可测集，则称f(x)在E上是可测函数.注：E[f(x)α]={x|xf(x)α].2.2.4Lebesgue积分（1）勒贝格积分定定义1 设f(x)是定义在E上的可测函数，αf(x)β ，对[α,β]的一个分划D：α=…=β，记=E{x:≤f(x)≤}(i=0,1,2,…,n),则{；i=1，2，…，n}是两两不相交的可测集，且有E=，mE =．那么：1)称S(D)= ，s(D)=分别为函数f(x)在分划D下的大和与小和；2)称,I=分别为函数f(x)在E上的勒贝格积分与下积分.3)若有界可测函数f(x)在E上的勒贝格上积分与下积分相等，则称函数f(x)在E上