查看“︁勒貝格積分”︁的源代码

{{NoteTA
| G1 = Math
}}[[File:Integral-area-under-curve.svg|thumb|对一个正函数的积分可以看作是求该函数曲线下的面积]]
{{微积分学|一元积分}}
'''勒貝格積分'''（{{lang-en|Lebesgue integral}}）是现代数学中的一个[[积分]]概念，它将积分运算扩展到任何[[测度]]空间中。在最简单的情况下，对一个非负值的函数的积分可以看作是函数图像与<math>x</math>轴之间的面积。勒贝格积分则将积分运算扩展到更廣的函数（可測函數），并且也扩展了可以进行积分运算的集合（可測空間）。

最早的积分运算对于非负值的函数来说，其积分相当于使用求极限的手段来计算一个多边形的面积{{notetag|也就是[[黎曼積分]]}}，但這過程需要函數足够規則。但是随着对更加不规则的函数的积分运算的需要不断产生{{notetag|比如为了讨论[[数学分析]]的[[极限]]过程中導致的函數，或者出于[[概率论]]的需求}}，很快就产生了对更加广义的求极限手段的要求来定义相应的积分运算。

在[[实分析]]和在其它许多数学领域中勒貝格積分拥有一席重要的地位。勒貝格積分是以[[昂利·勒貝格]]命名的，他于1904年引入了这个积分定义。

今天勒贝格积分有狭义和广义两种意义。广义地说是对于一个在一般測度空間（的子集合）上的[[函数]][[积分]]，在這情況下其測度不必然是[[勒貝格測度]]。狭义则是指对于[[勒贝格测度]]在[[實數線]]或者更高维数的[[歐幾里得空間]]的一个子集合上函数的积分。

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

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

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

==推导==
以下的介绍是遵循最常见的勒贝格积分的介绍进行的。在这个介绍中积分理论分两部分：
# 可测集和在这些集合上可以进行的测量的理论
# 可测函数和对这些函数积分的理论

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

当然，黎曼积分隐含了长度的概念。事实上计算黎曼积分的元素是[''a'',&nbsp;''b'']&nbsp;&times;&nbsp;[''c'',&nbsp;''d'']所组成的长方形，它的面积为(''b''−''a'')(''d''−''c'')。''b''−''a''是这个长方形的宽度，而''d''−''c''则是其高度。黎曼只能用平面的长方形来估算曲线下的面积，因为当时还没有其它适当的理论来测量更一般的集合。

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

关于测度理论详见[[测度]]。

===积分===
从一个测度空间<math>(E,X,\mu)</math>出发，<math>E</math>是一个[[集合 (数学)|集合]]，<math>X</math>是由<math>E</math>的子集构成的[[σ代数]]，<math>\mu</math>是定义在<math>X</math>上的测度。

比如<math>E</math>可以是一个<math>n</math>维[[欧几里得空间]]'''R'''<sup>n</sup>或者它的一个[[勒贝格测度|勒贝格可测]]子集。则<math>X</math>是所有<math>E</math>的勒贝格可测子集构成的<math>\sigma</math>代数，<math>\mu</math>则是勒贝格测度。在讨论概率论时，μ是概率空间<math>E</math>中的[[概率]]测度，满足<math>\mu(E)=1</math>。

在勒贝格理论中只有对所谓的[[可测函数]]才能够进行积分。一个函数<math>f</math>被称为是可测的，假如每个區間 <math>(t, \infty)</math> 的原像是 <math>E</math> 中的可測集合，也就是：
:<math> f^{-1}((t,\infty)) \in X\quad \mbox{ for all  }t\in\mathbb{R}</math>。

可以证明，这与要求'''R'''中每个[[博雷尔代数|博雷尔]]子集的原像属于<math>X</math>的条件是等价的。我们从现在起直接使用第二个条件。可测函数的集合在函數的代数运算下是封闭的，更重要的是在多种逐点序列极限下它们是封闭的：
: <math> \liminf_{k \in \mathbb{N}} f_k, \quad \limsup_{k \in \mathbb{N}} f_k </math>
是可测的，假如原序列<math>f_k</math>是由可测函数组成的，其中<math>k\in </math>'''{{lang|en|N}}'''。

我们对<math>E</math>上的可测实数值函数<math>f</math>积分
: <math> \int_E f d \mu = \int_E f\left(x\right)\mu\left(dx\right)</math>，
分步进行构造：

'''指示函数'''：与给定的测度<math>\mu</math>一致的可测集合<math>S</math>的[[指示函数]]的积分唯一可选择的值为：
:<math>\int 1_S  d \mu = \mu (S)</math>

'''简单函数'''：指示函数的有限[[线性组合]]：
:<math>\sum_k a_k 1_{S_k}</math>
这里系数 <math>a_k</math> 是实数，集合 <math>S_k</math> 是<u>可测集</u>。这样的函数称为可测[[简单函数]]{{notetag|根據這裡的定義，<u>這裡討論的「簡單函數」都是[[可测函数|可測函數]]</u>}}。我们现在用线性性质将积分延拓到非负的可测简单函数上。当 <math>a_k</math> 非负时，令
:<math>\int \bigg(\sum_k a_k 1_{S_k}\bigg) d \mu = \sum_k a_k \int 1_{S_k}d \mu = \sum_k a_k \, \mu(S_k) </math>
在这里和可能是无限的。一个简单函数可以通过不同方法的指示函数线性组合形成，但是其积分始终是一致的，这一点可由测度的可加性证明。

假如<math>E</math>是一个可测集合，<math>s</math> 是一个可测简单函数的话则
:<math> \int_E s \, d\mu = \int 1_E\, s \, d\mu = \sum_k a_k \, \mu(S_k \cap E) </math>

'''非负函数'''：<math>f</math> 为 <math>E</math> 中的一个非负可测函数，其值可以取 +∞，即 <math>f</math> 的對應域是[[扩展的实数轴|廣義實數]]的非負部分。我们定义
:<math>\int_E f\,d\mu = \sup\left\{\,\int_E s\,d\mu : \boldsymbol{0}\le s\le f \, \right\}</math>，其中 <math>s</math> 是可測简单函数，<math>\boldsymbol{0}</math> 為零函數，這裡的大小關係是對定義域的每個點都成立{{notetag|<u>「簡單函數」一般都指「可測簡單函數」</u>，特別在討論積分的地方，要不然透過測度計算積分的定義沒有意義}}

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

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

'''带負數值的函数'''：为了解决有負數值的函数，我们还需要添加几个定义。假設可測函數 <math>f</math> 将可测集合<math>E</math> 映射到廣義實數（既實數加上±∞），则有
:<math> f = f^+ - f^-, \quad </math>
其中
:<math> f^+(x) = \left\{\begin{matrix} f(x) & \mbox{if} \quad  f(x) > 0 \\ 0 & \mbox{otherwise} \end{matrix}\right. </math>

:<math> f^-(x) = \left\{\begin{matrix} -f(x) & \mbox{if} \quad  f(x) < 0 \\ 0 & \mbox{otherwise} \end{matrix}\right. </math>

此外還有這性質

:<math> |f| = f^+ + f^-. \quad </math>

<math>f^+</math> 與 <math>f^-</math> 兩者皆是非负可測函数，其勒貝格積分已經剛給出定義。
若 <math> \int f^+ \, d\mu \;\,</math> 與 <math>\;\, \int f^- \, d\mu </math> 兩個積分中有一個是有限的，則可以定義一般可測函數 <math>f</math> 的勒貝格積分為：

:<math> \int f \, d \mu  =  \int f^+ \, d\mu - \int f^- \, d\mu, </math>

注意函數積分不嚴格限制一定要有限，可以是正無窮大或負無窮大。但如果積分是有限的話，也就是若 
<math> \int f^+ d \mu < \infty \;\,</math> 與 <math>\;\, \int f^- d \mu < \infty</math> 都成立的話，

則稱函數 <math>f</math> 为'''勒貝格可積'''（Lebesgue integrable）。

兩積分皆有限，這條件等價於：

:<math> \int |f| d \mu < \infty.</math>


事实上这个定义给出了具有良好特性的积分。

'''[[複變函數]]'''也可以类似地定義积分，只要分别考虑实数部分和虚数部分就可以了。
比如對任意複變函數 <math>h=f+ig</math> 其中 <math>f</math>跟 <math>g</math> 都是實函數，則函數 <math>h</math> 的積分定義為

:<math> \int h \, d \mu = \int f \, d \mu + i \int g \, d \mu.</math>

函數是勒貝格可積的當且僅當其絕對值是勒貝格可積的。

===直观解释===
[[File:RandLintegrals.svg|right|thumb|250px|黎曼积分（蓝色）和勒贝格积分（红色）]]
要直观地解释两种积分的原理，可以假设我们要计算一座山在海平面以上的体积。

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

勒贝格积分则是为山画一张[[等高線]]图，每根等高线之间的高度差为一米。每根等高线内含有的岩石土壤的体积约等于该等高线圈起来的面积乘以其厚度。因此总体积等于所有等高线内面积的和{{notetag|這裡對勒貝格積分的解釋跟正式的定義「有點」不一樣，雖然經過修正後可能大意差不多，請讀者參看下面比較正式的構造勒貝格積分的方法或勒貝格積分的定義自己思考這種解釋合不合理}}。

佛兰德（{{lang|en|Folland}}）<ref>Gerald B. Folland, Real Analysis: Modern Techniques and Their Applications, 1984, p. 56.</ref>描述黎曼積分跟勒貝格積分的不同，以非負函數 <math>f:[a,b]\mapsto [0,\infty],\; a.b\in\R</math> 這例子來講，黎曼積分是分割 <math>x</math>-軸上的定義域區間 <math>[a,b]</math> 為更小的子區間，並計算黎曼和，當子區間越來越小時黎曼和的極限就是黎曼積分；而勒貝格積分則是將 <math>f</math> 在 <math>y</math>-軸上的對應域分割成不相交的區間 <math>\{I_j\}_{j=1}^n</math>，並用定義域中的子集合 <math>\{f^{-1}(I_j)=E_j\}</math> 來定義趨近 <math>f</math> 的簡單函數
:<math>s=\sum_{j=1}^n \inf_{x\in E_j}f(x)\cdot 1_{E_j},\quad s:[a,b]\mapsto \R_{\ge 0},\;\,0\le s\le f,\,\; s</math>為簡單函數，
而這簡單函數 <math>s</math> 的積分為：<math>\sum_{j=1}^n \inf_{x\in E_j}f(x)\cdot \mu(E_j)</math>，當把對應域的分割越來越細時，這簡單函數積分的極限就是勒貝格積分。更簡化講的話就是：'''黎曼積分是分割定義域來計算積分；勒貝格積分則是用分割對應域來計算積分'''。

参见[[简单函数#性质|简单函数的性质]]。

===例子===
有理数的指示函数<math>1_{\mathbb Q}(x) = \begin{cases} 1 , x \in {\mathbb Q}\\ 0 , x \notin {\mathbb Q} \end{cases}\quad</math>是一个无处连续的函数。

*在区间<math>[0,1]</math>之间<math>1_{\mathbb Q}</math>没有黎曼积分，因为在实数中有理数和无理数都是稠密的，因此不管怎样把<math>[0,1]</math>分成子区间，每一个子区间里面总是至少会有一个有理数和一个无理数，因此其[[达布积分]]的上限为1，而下限为0。
*在区间<math>[0,1]</math>内<math>1_{\mathbb Q}</math>有勒贝格积分。事实上它等于有理数的[[指示函数]]，因为<math>\mathbb Q</math>是[[可數集]]，因此
:<math> \int_{[0,1]} 1_{\mathbb{Q}} \, d \mu = \mu(\mathbb{Q} \cap [0,1]) = 0</math>

==黎曼积分的不足==
[[傅里叶级数]]出现后，许多包括积分的分析问题也随之出现，要解决这些问题需要交换函数的无限求和和积分兩種運算。但是要找到以下两个积分相等的条件
: <math> \sum_k \int f_k(x) dx,\quad\int \bigg[\sum_k f_k(x) \bigg] dx  </math>
在黎曼積分的理論中是很难解决的。除此之外黎曼积分还有一些其它的困难。这些困难主要涉及上面已经讨论过的求极限的问题。

'''單調收歛性質不成立'''：如上所述，有理数的指示函数 <math>1_{\mathbb Q}</math> 没有黎曼积分。尤其是[[单调收敛定理]]在這例子不成立。要了解为什么，设 {<math>a_k</math>}=<math>\mathbb Q\cap[0,1]</math>（為可數集合）。令
:<math> g_k(x) = \left\{\begin{matrix} 1 & \text{if }  x = a_j,\,j\le k \\
0 & \text{otherwise} \end{matrix} \right. </math>

每個函数 <math>g_k</math> 除了在限点之外皆為 {{math|0}}，因此其黎曼积分为  {{math|0}}。序列 <math>g_k</math> 也是非负的，但卻單調遞增到不是黎曼可積的函數 <math>1_{\mathbb Q}</math>。

'''不适宜于无界区间'''：黎曼积分一般只用来在有界区间内对函数进行积分。雖然可以用以下方式擴展
:<math> \int_{-\infty}^{+\infty} f(x) dx := \lim_{a \rightarrow \infty} \int_{-a}^{+a} f(x) dx </math>。
但是这个定义打破了平移不变性：设<math>f</math>和<math>g</math>在区间<math>[a, b]</math>外为0，而且是可以黎曼积分的。设对于某<math>y, f(x)=g(x+y)</math>，则<math>\int f=\int g</math>。但按以上[[瑕积分]]的定义，雖然函数<math>f(x)=\begin{cases}1&x>0\\-1&x\le0\end{cases}</math>與<math>g(x)=\begin{cases}1&x>1\\-1&x\le1\end{cases}</math>互為平移，积分值却不相等：
:<math> \int f(x) dx = 0, \quad \int g(x) dx= -2 , \quad </math>
因此瑕积分不是平移不变。

==基本定理==
勒贝格积分不能区分仅在一个<math>\mu</math>测度0的集合上有区别的函数。精确地说，函数<math>f</math>和<math>g</math>[[幾乎處處]]相等[[当且仅当]]
:<math> \mu(\{x \in E: f(x) \neq g(x)\}) = 0 </math>
*假如<math>f</math>和<math>g</math>是非负函数且几乎处处<math>f=g</math>，则
:<math> \int f d \mu =  \int g d \mu</math>。
*假如<math>f</math>和<math>g</math>是函数，且几乎处处<math>f=g</math>，则<math>f</math>是勒贝格可积的，当且仅当<math>g</math>是勒贝格可积的，且<math>f</math>和<math>g</math>的积分是相等的。

勒贝格积分拥有以下特征：

[[线性映射|线性]]：设<math>f</math>和<math>g</math>为勒贝格可积的函数，<math>a</math>和<math>b</math>是实数，则<math>af+bg</math>是勒贝格可积的，且
:<math> \int (a f + bg) d \mu = a \int f d\mu + b \int g d\mu </math>

[[单调函数|单调性]]：设<math>f\leq g</math>则
:<math> \int f d \mu \leq  \int g d \mu</math>。

[[单调收敛定理]]：设<math>\{f_k\}_{k\in\mathbb{N}}</math>是一个实数值、非负可测函数的序列，且
:<math>  f_k(x) \leq f_{k+1}(x) \quad \forall k\in \mathbb{N}, \forall x \in E. </math>
则
:<math> \lim_k \int f_k d \mu = \int \sup_k f_k d \mu</math>。

注意：任何积分的值均可以是无穷大。

[[法图引理]]：设<math>\{f_k\}_{k\in\mathbb{N}}</math>是一个实数值、非负可测函数的序列，则
:<math> \int \liminf_k f_k d \mu  \leq  \liminf_k \int f_k d \mu</math>。

在这里所有积分的值也均可以是无穷大。

[[勒贝格控制收敛定理]]：设<math>\{f_k\}_{k\in\mathbb{N}}</math>是一个复可测函数的序列，并拥有逐点极限<math>f</math>，且如果有一个勒贝格可积的函数<math>g</math>（即<math>g\in\mathbb{L}_1</math>），对所有<math>k</math>满足<math>|f_k|\leq g</math>，则<math>f</math>是勒贝格可积的，且
:<math> \lim_k \int f_k d \mu = \int f d \mu</math>。

==证明技巧==
在这里我们通过证明上面已经提到过的勒贝格单调收敛定理，来说明勒贝格积分理论的证明技巧。

设<math>\{f_k\}_{k\in\mathbb{N}}</math>是一个非负可测函数的非递减序列，令
:<math> f = \sup_{k \in \mathbb{N}} f_k </math>

由积分的单调性可以立刻得出：
: <math> \int f d \mu \geq \lim_k \int f_k d \mu </math>
由于该系列是单调的，因此可以推出右侧的极限存在。

我们现在来证明另一个方向的不等式（它也可以通过法图引理证明），即
:<math> \int f d \mu \leq \lim_k \int f_k d \mu</math>。

由积分的定义可以推出，有一个非负简单函数的非递减序列<math>g_n</math>，几乎处处逐点收敛于<math>f</math>，使得
:<math> \lim_k \int g_k d \mu = \int f d \mu</math>。

因此只需证明对于任何<math>k\in\mathbb{N}</math>
:<math>  \int g_k d \mu \leq \lim_j \int f_j d \mu</math>

我们来证明假如<math>g</math>是一个简单函数而且几乎处处
:<math> \lim_j f_j(x) \geq g(x) </math> 
则
:<math> \lim_j \int f_j d \mu \geq \int g d \mu</math>。

将函数<math>g</math>分解为其常数部分，可以化为<math>g</math>是一个集合的指示函数的情况。这样的话我们只要证明
:设<math>A</math>是一个可测集合，<math>\{f_k\}_{k\in\mathbb{N}}</math>是一个<math>E</math>上可测函数的非递减序列，则几乎对所有<math>x\in A</math>
::<math> \lim_n f_n (x) \geq 1 </math>
则
::<math> \lim_n \int f_n d\mu \geq \mu(A). </math>

要证明这个结果，令<math>\epsilon>0</math>并定义可测集合的序列为
:<math> B_n = \{x \in A: f_n(x) \geq 1 - \epsilon \}</math>。

由积分的单调性可以得出对于任何<math>n\in\mathbb{N}</math>，
:<math> \mu(B_n) (1 - \epsilon) = \int (1 - \epsilon) 1_{B_n} d \mu \leq \int f_n d \mu </math>

由于对于足够大的<math>n</math>，几乎所有的<math>x</math>都位于<math>B_n</math>内，我们便有
:<math> \bigcup_i B_i = A</math>
对于一个测度为0的系列成立。因此根据<math>\mu</math>的可数可加性
:<math> \mu(A) = \lim_n \mu(B_n) \leq \lim_n (1 - \epsilon)^{-1} \int f_n d\mu</math>。

由于这个结果对于任何正的<math>\varepsilon</math>成立，因此定理得证。

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

使用[[泛函分析]]的方法也可以发展出积分的理论。任何定义在<math>\mathbb{R}_n</math>（或一个固定的开子集）上的[[支撑集|紧支撑]]连续函数<math>f</math>都有黎曼积分。从这些积分开始，我们可以建立更一般的函数的积分。设<math>C_c</math>为<math>\mathbb{R}</math>上所有实数值紧支撑连续函数所构成的空间。定义<math>C_c</math>的范数为
: <math> \|f\| = \int |f(x)| dx </math>

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

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

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

==书籍==
*《勒贝格-斯蒂尔吉斯积分》，1965年，E·卡姆克，吴莲溪译，高等教育出版社，无ISBN
*《度量空间与勒贝格积分》，1994年，方欣华等编，河南大学出版社，ISBN 7-81041-061-X
*《勒贝格积分与泛函分析基础》，1992年，熊宏允等编，高等教育出版社，ISBN 7040033909

==注释==
{{notefoot}}
==参见==
* [[积分]]
* [[测度]]
* [[σ-代数]]
* [[Henstock–Kurzweil积分]]

==参考资料==
{{reflist}}

==外部链接==
*[http://www.cnki.com.cn/Article/CJFDTotal-XXXY200502032.htm 勒贝格积分与黎曼积分的区别与联系] {{Wayback|url=http://www.cnki.com.cn/Article/CJFDTotal-XXXY200502032.htm |date=20160304064239 }}

{{DEFAULTSORT:Lebesgue}}
[[Category:测度论]]
[[Category:积分的定义]]