勒贝格积分，是现代数学中的一个积分概念，它将积分运算扩展到任何测度空间中。在最简单的情况下，对一个非负值的函数的积分可以看作是求其函数图像与轴之间的面积。勒贝格积分则将积分运算扩展到其它函数，并且也扩展了可以进行积分运算的函数的范围。最早对积分运算的定义是对于非负值和足够光滑的函数来说，其积分相当于使用求极限的手段来计算一个多边形的面积。但是随着对更加不规则的函数的积分运算的需要不断产生（比如为了讨论数学分析中的极限过程，或者出于概率论的需求），很快就产生了对更加广义的求极限手段的要求来定义相应的积分运算。在实分析和在其它许多数学领域中勒贝格积分拥有一席重要的地位。勒贝格积分是以亨利·勒贝格命名的，他于1904年引入了这个积分定义。今天勒贝格积分有狭义和广义两种意义。广义地说是相对于一个测度而定义的函数积分。狭义则是指相对于勒贝格测度在实直线或者更高维数的欧氏空间的一个子集中定义的函数的积分。

众所周知，在里一个区域E的黎曼积分的几何意义是分别用一个(即有限个)曲边多边形A和B去覆盖和填充E，若，则称E可积。而在应用中这在某种情况下面是不足够的。所以亨利·勒贝格从“一个”曲边多边形出发，去更改积分的定义，把“一个”改为“可数个”，最终导致数学史上的第三次完备化——L可积函数的极限仍然是L可积的。

积分是“和”的概念。即将东西加起来。所以积分早期是从面积，路程等计算中发展起来。比如计算面积，将X轴的区间分成若干小区间，将小区间的高度（Y值）乘以小区间的长度，然后加起来。用极限法就可以求得精确的面积。这是传统的积分概念（黎曼积分）。

勒贝格从另一个角度来考虑积分概念，导致勒贝格积分和测度概念。比如计算面积，可以将小区间的高度（Y值）乘以对应的所有小区间的长度的和（测度），然后加起来。又比如现有硬币：。用黎曼积分来求和：用勒贝格积分来求和：结果是一样的。但对于一些“坏”函数，结果是不一样的。

比如在X轴闭区间上定义函数：

，当X是有理数；

，当X是无理数。

求该函数覆盖的面积。

黎曼积分无法定义，因为任意小的区间都包含无理数和有理数。

用勒贝格积分来求和：

闭区间的长度（测度）是1；有限点集的长度（测度）是0；无限可数点集（如，有理数）的长度（测度）是0。而闭区间的长度（测度）=有理数集的长度+无理数集的长度。

所以，闭区间的无理数集的长度（测度）是1。这就解释了上述计算结果。

还有物理学里面常见的狄拉克δ函数，Riemann积分下是不可积的，在L积分意义下它有着最初物理学家所定义的性质。

由此可见，勒贝格积分比伯恩哈德·黎曼积分广义。但必须指出，勒贝格积分无法完全代替伯恩哈德·黎曼积分，问题出在L可积函数具有绝对可积的性质，导致条件收敛的黎曼广义可积函数不是L可积函数。

勒贝格积分与实变函数论集合论的观点在20世纪初首先引起积分学的变革，从而导致了实变函数论的建立。

1854年黎曼（德，1826－1866年）定义了黎曼积分，19世纪末，分析的严格化迫使许多数学家认真考虑所谓“病态函数”，特别是不连续函数、不可微函数的积分问题，如，积分的概念可以怎样推广到更广泛的函数类上？1898年波莱尔（法，1871－1956年）的测度论（1925年曾任法国海军部长），1902年亨利·勒贝格（法，1875－1941年）的博士论文《积分，长度与面积》建立了测度论和积分论，使一些原先在伯恩哈德·黎曼意义下不可积的函数按勒贝格的意义变得可积了，可以重建微积分基本定理，从而形成一门新的学科：实变函数论。成为分析的“分水岭”，人们常把勒贝格以前的数学分析称为经典分析，而把以由勒贝格积分引出的实变函数论为基础而开拓出来的分析学称为现代分析。

黎曼积分的重要推广，分析数学中普遍使用的重要工具。

19世纪的微积分学中已经有了许多直观而有用的积分，例如黎曼积分（简称R积分）、黎曼-斯蒂尔杰斯积分（简称R-S积分）等。只要相应的函数性质良好，用这些积分来计算曲边形面积、物体重心、物理学上的功、能等，是很方便的。然而，随着认识的深入，人们愈来愈经常地需要处理复杂的函数，例如，由一列性质良好的函数组成级数所定义出来的函数，两个变元的函数对一个变元积分后所得到的一元函数等。在讨论它们的可积性、连续性、可微性时，经常遇到积分与极限能否交换顺序的问题。通常只有在很强的假设下才能对这问题作出肯定的回答。因此，在理论和应用上都迫切要求建立一种新的积分，它既能保持R积分的几何直观和计算上的有效，又能在积分与极限交换顺序的条件上有较大的改善。1902年法国数学家H.L.亨利·勒贝格出色地完成了这一工作，建立了以后人们称之为勒贝格积分的理论，接着又综合R-S积分思想产生了勒贝格-汤姆斯·斯蒂尔吉斯积分（简称l－S积分）。20世纪初又发展成建立在一般集合上的测度和积分的理论，简称测度论。

（1875～1941）Lebesgue，Henri Lon法国数学家。1875年6月28日生于博韦，1941年7月26日卒于巴黎。1894～1897年在巴黎高等师范学校学习。1902年在巴黎大学获得博士学位，从1902年起先后在雷恩大学、普瓦蒂埃大学、巴黎大学文理学院任教。1922年任法兰西学院教授，同年被选为巴黎科学院院士。

亨利·勒贝格的主要贡献是测度和积分理论。他采用无穷个区间来覆盖点集，使许多特殊的点集的测度有了定义。在定义积分时他也采取划分值域而不是划分定义域的办法，使积分归结为测度，从而使伯恩哈德·黎曼积分的局限性得到突破，进一步发展了积分理论。他的理论为20世纪的许多数学分支如泛函分析、概率论、抽象积分论、抽象调和分析等奠定了基础。利用勒贝格积分理论，他对三角级数论也作出基本的改进。另外，他在维数论方面也有贡献。晚年他对初等几何学及数学史进行了研究。他的论文收集在《勒贝格全集》。

在闭区间a和b之间对函数f的积分可以被看作是求f的函数图像下的面积。对于多项式这样比较常见的函数来说这个定义简而易懂。但是对于更加稀奇古怪的函数来说它是什么意思呢？广义地来说，对于什么样的函数“函数图像下的面积”这个概念有意义？这个问题的答案具有很大的理论性和实际性意义。

19世纪里在数学中有把整个数学理论放到一个更加坚固的基础上的趋势。在这个过程中数学家也试图给积分计算提供一个稳固的定义。伯恩哈德·黎曼提出的黎曼积分成功地为积分运算提供了一个这样的基础。黎曼积分的出发点是构造一系列容易计算的面积，这些面积最后收敛于给定的函数的积分。这个定义很成功，为许多其它问题提供了有用的答案。

但是在求函数序列的极限的时候黎曼积分的效果不良，这使得这些极限过程难以分析。而这个分析比如在研究傅里叶级数、傅里叶变换和其它问题时却是极其重要的。勒贝格积分能够更好地描述在什么情况下积分有极限。勒贝格积分所构造出的容易计算的面积与黎曼积分所构造的不同，这是勒贝格积分更加成功的主要原因。亨利·勒贝格的定义也使得数学家能够计算更多种类的函数的积分。比如输入值为无理数时函数值为0，输入值为有理数时函数值为1的狄利克雷函数没有黎曼积分，但是有勒贝格积分。

以下的介绍是遵循最常见的勒贝格积分的介绍进行的。在这个介绍中积分理论分两部分：

测度理论

最初测度理论是用来对三维空间中直线的长度，以及更广义地，欧几里得空间的子集的面积和体积进行仔细分析发展出来的。它尤其可以为R的哪些子集拥有长度这个问题提供一个系统性的回答。后来发展的集合论证明，实际上不可能为 R的所有子集都分配一个长度，且保持天然的可加性和平移不变的性质。因此给出一个合适的，可测量的子集类是一个关键的前提。

当然，黎曼积分隐含了长度的概念。事实上计算黎曼积分的元素是所组成的长方形，它的面积为是这个长方形的宽度，而d−c则是其高度。伯恩哈德·黎曼只能用平面的长方形来估算曲线下的面积，因为当时还没有其它适当的理论来测量更一般的集合。

在大多数现代的教科书中测度和积分都是公理性的。也就是说测度是一个定义在集合 E的某些子集组成的集合X上的函数μ，这些子集必须拥有一定的特征。在许多不同的情况下这些特征成立。

积分

从一个测度空间出发，E是一个集合，X是由 E的子集构成的σ代数，μ是定义在X上的测度。

比如 E可以是一个n维欧几里得空间R或者它的一个勒贝格可测子集。则X是所有E的亨利·勒贝格可测子集构成的σ代数，μ则是勒贝格测度。在讨论概率论时，μ是概率空间E中的概率测度，满足。

在勒贝格理论中只有对所谓的可测函数才能够进行积分。一个函数f被称为是可测的，假如每个区间 的的原像是 E中的可测集合，也就是：

可以证明，这与要求R中每个博雷尔子集的原像属于X的条件是等价的。我们从直接使用第二个条件。可测函数的集合在函数的代数运算下是封闭的，更重要的是在多种逐点序列极限下它们是封闭的：

是可测的，假如原序列 是由可测函数组成的，其中 N。

我们对E上的可测实数值函数 f积分

分步进行构造：

指示函数：与给定的测度μ一致的可测集合 S的指示函数的积分唯一可选择的值为：

简单函数：通过对指示函数进行有限线性组合：

这里系数 是实数，集合 是可测集。这样的函数称为可测简单函数。我们用线性性质将积分延拓到非负的可测简单函数上。当 非负时，令

在这里和可能是无限的。一个简单函数可以通过不同方法的指示函数线性组合形成，但是其积分始终是一致的，这一点可由测度的可加性证明。

假如E是一个可测集合，s是一个可测简单函数的话则

非负函数： f为 E中的一个非负可测函数，其值可以达到即 f可以在扩展的实数轴上取任何非负值。我们定义

 ，其中s是非负的简单函数， 示零函数，这里的大小关系是对定义域的每个点都成立。

我们必须证明这个积分与上面定义在简单函数集合上的积分相符。此外还有这个积分定义是否与黎曼积分的概念有对应关系的问题。事实上可以证明这两个问题的答案都是肯定的。

这样我们定义了E中所有非负扩展实值可测的函数f的积分。要注意的是这里定义的函数积分可以是无限大。

带负数值的函数：为了解决有负数值的函数，我们还需要添加几个定义。假设f是可将可测集合E映射到一个实数（包括的函数的话，则有

其中

请注意 和 都是非负函数。此外

直观解释

黎曼积分（蓝色）和勒贝格积分（红色） 

要直观地解释两种积分的原理，可以假设我们要计算一座山在地平线以上的体积。

黎曼积分是相当于把山分为每块都是一平方米大的方块，测量每个方块正中的山的高度。每个方块的体积约为1x1x高度，因此山的总体积为所有高度的和。

勒贝格积分则是为山画一张等高线图，每根等高线之间的高度差为一米。每根等高线内含有的岩石土壤的体积约等于该等高线圈起来的面积乘以其厚度。因此总体积等于所有等高线内面积的和。

佛兰德（Folland）总结说，黎曼积分是把分割定义域[a,b]为较小子区间，而勒贝格积分则是分割 f的值域，或者以 这例子来讲，黎曼积分是分割 x-轴上的定义域[a,b]，而勒贝格积分是分割 y-轴上的值域。

例子

有理数的指示函数 是一个无处连续的函数。

在区间之间 没有黎曼积分，因为在实数中有理数和无理数都是稠密的，因此不管怎样把分成子区间，每一个子区间里面总是至少会有一个有理数和一个无理数，因此其达布积分的上限为1，而下限为0。

在区间内 有勒贝格积分。事实上它等于有理数的指示函数，因为 是可数集，因此

关于勒贝格测度的积分也可以不通过使用整个测度理论引导出来。一个这样的方法是使用丹尼尔积分。 

使用泛函分析的方法也可以发展出积分的理论。任何定义在 （或一个固定的开子集）上的紧支撑连续函数 f都有黎曼积分。从这些积分开始，我们可以建立更一般的函数的积分。设 为上所有实数值紧支撑连续函数所构成的空间。定义 的范数为

这样一来 是一个赋范向量空间（特别地，它是一个度量空间）。所有的度量空间都有豪斯多夫完备性，因此令 为其完备空间。这个空间与亨利·勒贝格可积分函数余积分为零的子空间同构。而且黎曼积分∫关于 上的范数是一致连续的泛函，而 在 是稠密的。因此∫是所有 唯一的延伸。这个积分正好就是勒贝格积分。

这个结果可以被广泛化来建立关于局部紧空间的拉东测度的积分理论。2004年尼古拉·布尔巴基就是使用了这个方法。

值得指出的是许多拓扑向量空间（比如希尔伯特空间或者巴拿赫空间）中的定理以及其中的极限运算，通过使用勒贝格积分获得了巨大的简化。