历经两个世纪,微积分最终在他的手中得以完善!

文章介绍了亨利·勒贝格在20世纪初对积分论的革命性贡献,特别是勒贝格积分的概念,它扩展了黎曼积分的局限,允许处理更广泛的函数,包括一些不连续的函数。勒贝格的理论不仅解决了黎曼积分无法处理的问题,还为后来的数学分析奠定了基础,展示了数学在处理复杂问题上的进步。
摘要由CSDN通过智能技术生成

4c171a1ed35c97dc8404770ac04cf7be.png

随着20世纪的到来,数学家们有理由为自己喝彩。微积分已经存在了两个多世纪。它的基础已经不容置疑,许多悬而未决的问题已经宣告解决。自从牛顿和莱布尼茨初创微积分以来,分析学走过了漫长的路程。

适逢其时,亨利·勒贝格卷入到这门学科中来。他在1902年对积分论进行了革命,并且进一步把这场革命推进到实分析,那时他还是巴黎大学的一名才华横溢的博士生。他以一篇博士论文实现了这一目标,那篇论文被描述成“以往所有数学家写就的最佳论文之一”

勒贝格利用可测集和可测函数的思想作出他的最大贡献:勒贝格积分。

有界函数f的黎曼积分从把定义域剖分为细小的子区间的一个划分开始,在这些子区间上构建矩形,它们的高由函数值确定,最后令最大子区间的宽度收缩为零。相反,替代的勒贝格积分乃是基于一种简单而又富有想象力的思想:采用函数值域的划分代替定义域的划分。

我们用图解来说明,考虑图14-3中的有界可测函数。勒贝格令489ca007b2a1c31228f1355e87a9bd7f.pngf在区间[ab]上的下确界和上确界,即函数的最大下界和最小上界,所以区间[lL]包含函数的值域。于是,对于任意af3ddf8fb5cd8468358cca652b7c19eb.png,勒贝格设想区间[lL]的一个由点

6f24c67770a5d443b562d2af29c9f48a.png

构成的划分,其中相邻分点之间的最大间隔小于ε

86b58d9e963da99ec1e01c99d6efc8f2.png

图 14-3

用沿y轴的这样一个划分,我们建立“勒贝格和”。像黎曼和一样,我们将用面积已知的一些区域逼近曲线下方的区域,不过我们可以不再要求这些区域一定为矩形。相反,我们考虑沿y轴的子区间fb26f808eeb62a7e7ad48fe8fbf289f0.png,并且注意由360626cada996c345028987b114d84c2.png定义的[ab]的子集5f0ad4f79af9fe8bc3f047b4e3032603.png。这个子集就是图14-3中在x轴上标示出的部分。这里,267cab8c6ecb9b79a567970ff8ec85b2.png是三个子区间的并集,但是它的结构可能非常复杂,这同求积分的函数有关。

在黎曼方法的相似步骤中,我们是构造一个矩形,它的高是函数值的近似值,宽是相应子区间的长度,而其面积为这两个值的乘积。对于勒贝格积分,我们用91623df2dbd7cfbb542a51e4a2324908.png作为函数在集合939063cd6cbf85e503bcb88d5972848c.png上的近似值,但是如果b4d73c9a7ddc92981eeeac7ba99c273c.png不是区间的情形,如何去确定它的长度呢?

毫不奇怪,答案是用集合e64c017202ec28452255617967adb258.png的测度扮演这种长度的角色。我们用高乘“长度”得到的616b77e423f51d0009849c1c90228606.png作为黎曼和中窄小矩形之一的相应面积。在函数值域的所有子区间上对这些面积求和,我们得到一个勒贝格和e503ca510145ecef59f1af68ab109128.png,在这个级数中我们令最后一项为9f270681f9904cb7466f26f80f6a0668.png。最后,勒贝格令2570027f4d6421360f001ad7a8a475d0.png,致使28ff136c14df45a1a0d26cf3a7cb0f9b.png的最大值也趋近零。如果通过极限过程产生一个唯一的值,我们就说f在[ab]上是勒贝格可积的,并且定义

fe548e3c5f62c1485cbc37969a8fd36e.png

在继续进行讨论之前,我们必须说明两个问题。第一,很明显,集合e37fc9f850d7598247b6b77f9f2237af.png把区间[ab]划分成若干子集,不过不一定是子区间。第二,我们假定f是可测的,根据式(4),这个假定蕴含每个02f131fc1e7d48e4d8eb1017a0e0ddf1.png以及87dff8485f51138a8a32ebb475a99868.png是可测集,所以我们完全可以讨论关于fe4990516ae554f8ae989ff049fe5ad3.png的问题。至此,一切都井然有序。

勒贝格在为一般读者编写的一本书中,用一个比喻来对比黎曼的方法与他自己的方法。他想象一位零售商,在一天终结时想要汇总营业收入。对于这位店主来说,一种选择是“按照随机顺序计算到手的现金和账单”。勒贝格把这样一位零售商称为“缺乏系统观点的”人,他依次累加收集起来的款项:1美元,10美分,25美分,另1美元,10美分,如此等等。这种方法犹如当他们从左至右越过区间[ab]时提取遇到的函数值。对于黎曼积分,这个过程是由定义域中的值“驱动”的,而值域中的值被搁置一旁。

勒贝格接着指出,如果不这样做,店主在结账时不考虑收到每笔款项的顺序,而代之以按款项的面值分组,难道不是更为可取吗?例如,可能共计收到10美分12笔,25美分30笔,1美元50笔,等等。这样,计算一天的收入将变得很简单:用每种币值的数量(对应于ab9e53ba5078d672aebe11808038eb6a.png的测度)乘以币值(对应于函数值3ec028af416aa655662a242f2bfc966c.png),然后对结果求和。这种情况下,正如勒贝格积分的情形,其过程是由值域中的函数值驱动的,而划分定义域的ab56f8068d85c9638838624648e5b411.png被搁置一旁。

勒贝格承认,对于商业经营中涉及的有限的量,这两种方法产生同样的结果。“但是对于我们必须求数目无限的极微小的量之和而言,”他写道,“这两种方法之间存在着巨大差别。”为了强调这种差别,他指出:

我们的积分的构造定义,同黎曼积分的定义十分相似。不过,黎曼是把变量x改变的区间剖分成微小的子区间,而我们则是剖分函数f?(x)改变的区间。

为了说明自己并非漫无目标地追求定义,勒贝格证明了关于他的新积分的若干定理。我们将考察其中几个定理,但是不予证明。

定理 1 地如果f(x)是区间[ab]上的有界黎曼可积函数,那么f是勒贝格可积的,并且8c3176addb157116d41024b367cb236e.png在两种情况下具有相同的积分值。

这个结果是令人欣慰的,因为它说明勒贝格积分保存了黎曼积分的精华。

定理 2 如果f(x)是区间[ab]上的有界可测函数,那么它的勒贝格积分存在。

我们从这个定理看出勒贝格思想的巨大力量,因为可测函数族包含的函数远远多于黎曼可积函数(即所有那些几乎处处连续的函数)族。简而言之,勒贝格可积的函数多于黎曼可积的函数。定理1和定理2表明,勒贝格名副其实地扩充了过去的理论。

例如,我们已经知道狄利克雷函数d(x)在区间[0, 1]上是有界的和可测的。因此,尽管事实上积分756b701d8bc1f0e366b94348699bd623.png在黎曼的理论下是没有意义的,然而作为勒贝格积分却是存在的。

更为可取之处在于,这个积分值是很容易计算的。我们从值域的任意划分dbc08f604441943de699ce1d7c809fd1.png着手。根据狄利克雷函数的性质,

ef7417e7232dd588ea92fb8409608404.png

对于这个随意的划分,勒贝格和为

73bed73e3c68ed9fc6f245372ea6aded.png

正是由于对于任意划分这个勒贝格和为零,所以,所有这样的极限也为零。也就是说,277068ab934378b0e9c8d3b787b7eae8.png

狄利克雷函数是处处不连续的这一事实,使它成为黎曼不可积的,但是这样普遍的不连续性对于勒贝格积分是无关紧要的。这种结果无可争辩地说明数学上取得的巨大进展。

定理 3 地如果fg是区间[ab]上的有界可测函数,并且几乎处处有9f2f336951023ac4ca3b395f66b5e5c3.png,那么6af9748e71f93b8cb6aa0c3e01cb6656.png

这个定理说明,改变一个可测函数在一个测度为零的集合上的值,对于它的勒贝格积分的值没有影响。对于黎曼积分,如果改变函数在有限个点上的值,不会改变积分值,但是一旦胡乱修改无穷多点上的函数值,结果就无法预料了。相形之下,勒贝格积分具备足够的抗变能力,我们可以在一个测度为零的无穷集合上改变函数值而不影响它的可积性和积分值。

为了考查这个定理的作用,我们重温区间[0, 1]上的狄利克雷函数1348f5a9793692a9ac70111d1e7917af.png和直尺函数44ec4b545c9af98d0298fca01e537147.png,并且通过引进在[0, 1]上所有点都等于0的函数,组成一个三位一体的函数8ed51003e6eff6c4f4f9300ea915c9d4.png。这三个函数dRg自然不是全等的,因为它们在单位区间的有理数点上具有不同的值。但是从测度理论的观点看,这样的差别是微不足道的,因为dc698ac533e875ab1284e30b4104d45c.pnga029028edb19f5023ba0b367247c26c8.png。换句话说,狄利克雷函数和直尺函数几乎处处等于零。由定理3推出5cd29be8dd1ff8ffc5325f67534c0bc8.png,这正是我们过去见过的结果。

在勒贝格的论文中还有另外一个重要定理,那就是我们现在所说的有界收敛定理。他在非常弱的条件下,证明了这个允许进行极限与积分的交换的定理。这是超越黎曼理论的一项重大进展。

定理4(勒贝格有界收敛定理) 如果3b6b362434e25e27ea7c757e90abcc0e.png是区间[ab]上的可测函数序列,其中的函数以数M >0一致为界(即对于所有k≥1和[ab]内的所有x42ca6135fb2e5e542df7d3b6652be7db.png),并且如果dd6cabf4feccf7601f8792e3957d5078.png是点态极限,那么

503df3205e20c5b75003dcfe6ad3af27.png

利用这个定理我们可以提出对d28753253fe7f0104fb07112faadfb63.png的第三次处理。早先我们引进了区间[0, 1]上的一个函数序列1a7f96b262344d4bde614bb1d96ddf26.png,如在式(1)中所见,对于这个序列,f28d8349a7eaf1c15de892f25b9a7932.png。显然,对于所有x和全部kda501faa5de479917bb841adaaedc2f8.png,所以这是一个一致有界的函数族,同时由于每个f84fa550bcd9a301ce936088a59c25f3.png在除k个点之外为零,可知每个函数是可测的并且be08add99d3bd74260cf80f024006e77.png。根据勒贝格有界收敛定理,我们再一次推出

a84d265fd0fcf176dc015b8be6545f08.png

44ea48b7859a77e7e24f1879a4b2d4d5.png

勒贝格有界收敛定理的证明(1904)

时代铸就一个人的最后成就。我们回忆一下,沃尔泰拉曾经发现一个病态函数,它具有有界而不可积的导数。在沃尔泰拉时代, “不可积的”自然是指“不是黎曼可积的”。

然而,采用勒贝格定义的替代积分,这个函数的病态特征随之消失。因为倘若F是具有有界导数F'的可微函数,那么勒贝格积分a1cf25e507059c039cedc42aee38cd99.png必定存在,这正如我们在第13章所见,F'是属于贝尔0类或贝尔1类的函数。这是使其成为勒贝格可积的充分条件。

有界收敛定理更值得称道之处还在于,它使勒贝格得以证明下面的定理。

定理 5 如果函数F在区间[ab]上是可微的并且具有有界的导数F',那么c1dd2507dc7facc0f3af329bd59aa2cd.png

这是完全恢复原来的完美形态的微积分基本定理。对于勒贝格积分,为使基本定理成立,对导数无需附加限制条件,例如不必要求导数是连续的。因此,在一定的意义下,勒贝格把微积分中的这个处在中心地位的结果恢复成它在牛顿和莱布尼茨时代那种“自然的”形式。

在行将结束之际,我得承认,许许多多的技术细节在对勒贝格工作的这个简短介绍中无法顾及。对他的思想的全面论述需要花费大量的时间和篇幅,那样自然会使那些来自他的博士论文的思想越发令人惊叹!毫不奇怪,这篇学位论文出类拔萃,独树一帜。

在1904年那本重要的专题著作的序言中,勒贝格承认他的那些定理把我们从“优美的”函数之邦带到一个更复杂的函数王国,而为了解决那些简单陈述的具有历史意义的问题,还需要在这片王国居住下来。他写道:“这是为了解决已经提出的那些问题而不是出于对复杂事物的偏爱,我在书中引进一个积分定义,这个定义比黎曼积分的定义更具有普遍性,并且把黎曼积分作为一个特例。” 

为的是解决历史留下的问题而不是为了使生活变得错综复杂化:这是亨利·勒贝格在他研究数学的旅程中所奉行的金科玉律。

  推荐阅读

63a3d14adb8c02b76a9eb362ccbf4748.png

作者:[美] William Dunham

译者:李伯民 汪军 张怀勇

第七届文津图书奖推荐书目

这不是一本数学家的传记,而是一座展示微积分宏伟画卷的陈列室

汇聚了牛顿、莱布尼茨、伯努利兄弟、欧拉、柯西、黎曼等耳熟能详的数学大师经典卓著

6a071f92093b7cc11713460741d3d965.jpeg

00212ff5bda5f2d03e48bcd54d4761a8.jpeg

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值