勒贝格积分

title: 引入.
content: 在闭区间formula_2和formula_3之间对函数formula_4的积分可以被看作是求formula_4的函数图像下的面积。对于多项式这样比较常见的函数来说这个定义简而易懂。但是对于更加稀奇古怪的函数来说它是什么意思呢?广义地来说,对于什么样的函数“函数图像下的面积”这个概念有意义?这个问题的答案具有很大的理论性和实际性意义。  19世纪里在数学中有把整个数学理论放到一个更加坚固的基础上的趋势。在这个过程中数学家也试图给积分计算提供一个稳固的定义。波恩哈德·黎曼提出的黎曼积分成功地为积分运算提供了一个这样的基础。黎曼积分的出发点是构造一系列容易计算的面积,这些面积最后收敛于给定的函数的积分。这个定义很成功,为许多其它问题提供了有用的答案。  但是在求函数序列的极限的时候黎曼积分的效果不良,这使得这些极限过程难以分析。而这个分析比如在研究傅里叶级数、傅里叶变换和其它问题时却是极其重要的。勒贝格积分能够更好地描述在什么情况下积分有极限。勒贝格积分所构造出的容易计算的面积与黎曼积分所构造的不同,这是勒贝格积分更加成功的主要原因。勒贝格的定义也使得数学家能够计算更多种类的函数的积分。比如输入值为无理数时函数值为0,输入值为有理数时函数值为1的狄利克雷函数没有黎曼积分,但是有勒贝格积分。
title: 推导.
content: 以下的介绍是遵循最常见的勒贝格积分的介绍进行的。在这个介绍中积分理论分两部分:
title: 测度理论.
content: 最初测度理论是用来对欧几里得空间中直线的长度,以及更广义地,欧几里得空间的子集的面积和体积进行仔细分析发展出来的。它尤其可以为formula_6的哪些子集拥有长度这个问题提供一个系统性的回答。后来发展的集合论证明,实际上不可能为formula_6的所有子集都分配一个长度,且保持天然的可加性和平移不变的性质。因此给出一个合适的,可测量的子集类是一个关键的前提。  当然,黎曼积分隐含了长度的概念。事实上计算黎曼积分的元素是["a", "b"] × ["c", "d"]所组成的长方形,它的面积为("b"−"a")("d"−"c")。"b"−"a"是这个长方形的宽度,而"d"−"c"则是其高度。黎曼只能用平面的长方形来估算曲线下的面积,因为当时还没有其它适当的理论来测量更一般的集合。  在大多数现代的教科书中测度和积分都是公理性的。也就是说测度是一个定义在集合formula_8的某些子集组成的集合formula_9上的函数μ,这些子集必须拥有一定的特征。在许多不同的情况下这些特征成立。  关于测度理论详见测度。
title: 积分.
content: 从一个测度空间("E","X",μ)出发,formula_8是一个集合,formula_9是由formula_8的子集构成的σ代数,μ是定义在formula_9上的测度。  比如formula_8可以是一个formula_15维欧几里得空间R或者它的一个勒贝格可测子集。则formula_9是所有formula_8的勒贝格可测子集构成的σ代数,μ则是勒贝格测度。在讨论概率论时,μ是概率空间formula_8中的概率测度,满足μ(formula_8)=1。  在勒贝格理论中只有对所谓的可测函数才能够进行积分。一个函数formula_4被称为是可测的,假如每个区间 formula_21 的的原像是 formula_8 中的可测集合,也就是:  可以证明,这与要求R中每个博雷尔子集的原像属于formula_9的条件是等价的。我们从现在起直接使用第二个条件。可测函数的集合在函数的代数运算下是封闭的,更重要的是在多种逐点序列极限下它们是封闭的: 是可测的,假如原序列formula_26是由可测函数组成的,其中formula_27英语:N。  我们对formula_8上的可测实数值函数formula_4积分 分步进行构造:  指示函数:与给定的测度μ一致的可测集合formula_31的指示函数的积分唯一可选择的值为:  简单函数:指示函数的有限线性组合: 这里系数 formula_34 是实数,集合 formula_35 是可测集。这样的函数称为可测简单函数(注意:根据这里的定义,这里讨论的「简单函数」都是可测函数)。我们现在用线性性质将积分延拓到非负的可测简单函数上。当 formula_34 非负时,令 在这里和可能是无限的。一个简单函数可以通过不同方法的指示函数线性组合形成,但是其积分始终是一致的,这一点可由测度的可加性证明。  假如formula_8是一个可测集合,formula_39 是一个可测简单函数的话则  非负函数:formula_4 为 formula_8 中的一个非负可测函数,其值可以取 +∞,即 formula_4 的对应域是广义实数的非负部分。我们定义  我们必须证明这个积分与上面定义在简单函数集合上的积分相符。此外还有这个积分定义是否与黎曼积分的概念有对应关系的问题。事实上可以证明这两个问题的答案都是肯定的。  这样我们定义了 formula_8 中所有非负扩展实值可测的函数formula_4的积分。要注意的是这里定义的函数积分可以是无限大。  带负数值的函数:为了解决有负数值的函数,我们还需要添加几个定义。假设可测函数 formula_4 将可测集合formula_8 映射到广义实数(既实数加上±∞),则有 其中  此外还有这性质  formula_55 与 formula_56 两者皆是非负可测函数,其勒贝格积分已经刚给出定义。 若 formula_57 与 formula_58 两个积分中有一个是有限的,则可以定义一般可测函数 formula_4 的勒贝格积分为:  注意函数积分不严格限制一定要有限,可以是正无穷大或负无穷大。但如果积分是有限的话,也就是若 formula_61 与 formula_62 都成立的话,  则称函数 formula_4 为勒贝格可积(Lebesgue integrable)。  两积分皆有限,这条件等价于:  事实上这个定义给出了具有良好特性的积分。  复数值函数也可以类似地定义积分,只要分别考虑实数部分和虚数部分就可以了。 比如对任意复数函数 "h"="f"+"ig" 其中 "f" 跟 "g" 都是实函数,则函数 "h" 的积分定义为  函数是勒贝格可积的当且仅当其绝对值是勒贝格可积的。
title: 直观解释.
content: 要直观地解释两种积分的原理,可以假设我们要计算一座山在海平面以上的体积。  黎曼积分是相当于把山分为每块都是一平方米大的方块,测量每个方块正中的山的高度。每个方块的体积约为1x1x高度,因此山的总体积为所有高度的和。  勒贝格积分则是为山画一张等高线图,每根等高线之间的高度差为一米。每根等高线内含有的岩石土壤的体积约等于该等高线圈起来的面积乘以其厚度。因此总体积等于所有等高线内面积的和(注意:这里对勒贝格积分的解释跟正式的定义「有点」不一样,虽然经过修正后可能大意差不多,请读者参看下面比较正式的构造勒贝格积分的方法或勒贝格积分的定义自己思考这种解释合不合理)。  佛兰德(英语:Folland)描述黎曼积分跟勒贝格积分的不同,以非负函数 formula_66 这例子来讲,黎曼积分是分割 formula_1-轴上的定义域区间 formula_68 为更小的子区间,并计算黎曼和,当子区间越来越小时黎曼和的极限就是黎曼积分;而勒贝格积分则是将 formula_4 在 formula_70-轴上的对应域分割成不相交的区间 formula_71,并用定义域中的子集合 formula_72 来定义趋近 formula_4 的简单函数 而这简单函数 formula_39 的积分为:formula_76,当把对应域的分割越来越细时,这简单函数积分的极限就是勒贝格积分。更简化讲的话就是:黎曼积分是分割定义域来计算积分;勒贝格积分则是用分割对应域来计算积分。  参见简单函数的性质。
title: 例子.
content: 有理数的指示函数formula_77是一个无处连续的函数。
title: 黎曼积分的不足.
content: 傅里叶级数出现后,许多包括积分的分析问题也随之出现,要解决这些问题需要交换函数的无限求和和积分两种运算。但是要找到以下两个积分相等的条件 在黎曼积分的理论中是很难解决的。除此之外黎曼积分还有一些其它的困难。这些困难主要涉及上面已经讨论过的求极限的问题。  单调收歛性质不成立:如上所述,有理数的指示函数 formula_77 没有黎曼积分。尤其是单调收敛定理在这例子不成立。要了解为什么,设 {formula_34}=formula_85∩[0,1](为可数集合)。令  每个函数 formula_87 除了在限点之外皆为,因此其黎曼积分为 。序列 formula_87 也是非负的,但却单调递增到不是黎曼可积的函数 formula_77。  不适宜于无界区间:黎曼积分一般只用来在有界区间内对函数进行积分。虽然可以用以下方式扩展 但是这个定义打破了平移不变性:设formula_4和formula_92在区间["a", "b"]外为0,而且是可以黎曼积分的。设对于某formula_93,则formula_94。通过这个瑕积分的定义函数formula_95 假如 formula_96,否则的话-1,formula_97假如formula_98,否则-1。这两个函数互相之间平移不变,但是瑕积分却不是平移不变的。
title: 基本定理.
content: 勒贝格积分不能区分仅在一个μ测度0的集合上有区别的函数。精确地说,函数formula_4和formula_92几乎处处相等当且仅当  勒贝格积分拥有以下特征:  线性:设formula_4和formula_92为勒贝格可积的函数,formula_2和formula_3是实数,则formula_118是勒贝格可积的,且  单调性:设formula_120则  单调收敛定理:设formula_122是一个实数值、非负可测函数的序列,且 则  注意:任何积分的值均可以是无穷大。  法图引理:设formula_125是一个实数值、非负可测函数的序列,则  在这里所有积分的值也均可以是无穷大。  勒贝格控制收敛定理:设formula_125是一个复可测函数的序列,并拥有逐点极限formula_4,且如果有一个勒贝格可积的函数formula_92(即formula_130),对所有formula_131满足formula_132,则formula_4是勒贝格可积的,且
title: 证明技巧.
content: 在这里我们通过证明上面已经提到过的勒贝格单调收敛定理,来说明勒贝格积分理论的证明技巧。  设formula_125是一个非负可测函数的非递减序列,令  由积分的单调性可以立刻得出: 由于该系列是单调的,因此可以推出右侧的极限存在。  我们现在来证明另一个方向的不等式(它也可以通过法图引理证明),即  由积分的定义可以推出,有一个非负简单函数的非递减序列formula_139,几乎处处逐点收敛于formula_4,使得  因此只需证明对于任何formula_142  我们来证明假如formula_92是一个简单函数而且几乎处处 则  将函数formula_92分解为其常数部分,可以化为formula_92是一个集合的指示函数的情况。这样的话我们只要证明 则  要证明这个结果,令formula_155并定义可测集合的序列为  由积分的单调性可以得出对于任何formula_157,  由于对于足够大的"n",几乎所有的"x"都位于formula_159内,我们便有 对于一个测度为0的系列成立。因此根据μ的可数可加性  由于这个结果对于任何正的ε成立,因此定理得证。
title: 其它表达方式.
content: 关于勒贝格测度的积分也可以不通过使用整个测度理论引导出来。一个这样的方法是使用丹尼尔积分。  使用泛函分析的方法也可以发展出积分的理论。任何定义在formula_162(或一个固定的开子集)上的紧支撑连续函数formula_4都有黎曼积分。从这些积分开始,我们可以建立更一般的函数的积分。设formula_164为formula_165上所有实数值紧支撑连续函数所构成的空间。定义formula_164的范数为  这样一来formula_164是一个赋范向量空间(特别地,它是一个度量空间)。所有的度量空间都有豪斯多夫完备性,因此令formula_169为其完备空间。这个空间与勒贝格可积分函数余积分为零的子空间同构。而且黎曼积分∫关于formula_164上的范数是一致连续的泛函,而formula_164在formula_169是稠密的。因此∫是所有formula_169唯一的延伸。这个积分正好就是勒贝格积分。  这个结果可以被广泛化来建立关于局部紧空间的拉东测度的积分理论。2004年尼古拉·布尔巴基就是使用了这个方法。
title: 应用.
content: 值得指出的是许多拓扑向量空间(比如希尔伯特空间或者巴拿赫空间)中的定理以及其中的极限运算,通过使用勒贝格积分获得了巨大的简化。

Summary: 勒贝格积分(英语:Lebesgue integral)是现代数学中的一个积分概念,它将积分运算扩展到任何测度空间中。在最简单的情况下,对一个非负值的函数的积分可以看作是函数图像与formula_1轴之间的面积。勒贝格积分则将积分运算扩展到更广的函数(可测函数),并且也扩展了可以进行积分运算的集合(可测空间)。

Lebesgue integration: In mathematics, the integral of a non-negative function of a single variable can be regarded, in the simplest case, as the area between the graph of that function and the -axis. The Lebesgue integral extends the integral to a larger class of functions. It also extends the domains on which these functions can be defined.