勒貝格積分是現代數學中的一個積分概念，它將積分運算擴充套件到任何測度空間中。在最簡單的情況下，對一個非負值的函式的積分可以看作是函式影像與 x 軸之間的面積。勒貝格積分則將積分運算擴充套件到更廣的函式（可測函式），並且也擴充套件了可以進行積分運算的集合（可測空間）。 最早的積分運算對於非負值的函式來說，其積分相當於使用求極限的手段來計算一個多邊形的面積，但這過程需要函式足夠規則。但是隨著對更加不規則的函式的積分運算的需要不斷產生，很快就產生了對更加廣義的求極限手段的要求來定義相應的積分運算。 在實分析和在其它許多數學領域中勒貝格積分擁有一席重要的地位。勒貝格積分是以昂利勒貝格命名的，他於 1904 年引入了這個積分定義。 今天勒貝格積分有狹義和廣義兩種意義。廣義地說是對於一個在一般測度空間（的子集合）上的函式積分，在這情況下其測度不必然是勒貝格測度。狹義則是指對於勒貝格測度在實數線或者更高維數的歐幾裡得空間的一個子集合上函式的積分。 引入 在閉區間 a 和 b 之間對函式 f 的積分可以被看作是求 f 的函式影像下的面積。對於多項式這樣比較常見的函式來說這個定義簡而易懂。但是對於更加稀奇古怪的函式來說它是什麼意思呢？廣義地來說，對於什麼樣的函式 函式影像下的面積 這個概念有意義？這個問題的答案具有很大的理論性和實際性意義。 19 世紀裡在數學中有把整個數學理論放到一個更加堅固的基礎上的趨勢。在這個過程中數學家也試圖給積分計算提供一個穩固的定義。波恩哈德黎曼提出的黎曼積分成功地為積分運算提供了一個這樣的基礎。黎曼積分的出發點是構造一系列容易計算的面積，這些面積最後收斂於給定的函式的積分。這個定義很成功，為許多其它問題提供了有用的答案。 但是在求函式序列的極限的時候黎曼積分的效果不良，這使得這些極限過程難以分析。而這個分析比如在研究傅立葉級數、傅立葉變換和其它問題時卻是極其重要的。勒貝格積分能夠更好地描述在什麼情況下積分有極限。勒貝格積分所構造出的容易計算的面積與黎曼積分所構造的不同，這是勒貝格積分更加成功的主要原因。勒貝格的定義也使得數學家能夠計算更多種類的函式的積分。比如輸入值為無理數時函式值為 0，輸入值為有理數時函式值為 1 的狄利克雷函式沒有黎曼積分，但是有勒貝格積分。 推導 以下的介紹是遵循最常見的勒貝格積分的介紹進行的。在這個介紹中積分理論分兩部分： 可測集和在這些集合上可以進行的測量的理論 可測函式和對這些函式積分的理論 測度理論 最初測度理論是用來對歐幾里得空間中直線的長度，以及更廣義地，歐幾里得空間的子集的面積和體積進行仔細分析發展出來的。它尤其可以為 R 的哪些子集擁有長度這個問題提供一個系統性的回答。後來發展的集合論證明，實際上不可能為 R 的所有子集都分配一個長度，且保持天然的可加性和平移不變的性質。因此給出一個合適的，可測量的子集類是一個關鍵的前提。 當然，黎曼積分隱含了長度的概念。事實上計算黎曼積分的元素是 a b c d 所組成的長方形，它的面積為 badc。ba 是這個長方形的寬度，而 dc 則是其高度。黎曼只能用平面的長方形來估算曲線下的面積，因為當時還沒有其它適當的理論來測量更一般的集合。 在大多數現代的教科書中測度和積分都是公理性的。也就是說測度是一個定義在集合 E 的某些子集組成的集合 X 上的函式 μ，這些子集必須擁有一定的特徵。在許多不同的情況下這些特徵成立。 關於測度理論詳見測度。 積分 從一個測度空間 EXmu 出發，E 是一個集合，X 是由 E 的子集構成的 σ 代數，mu 是定義在 X 上的測度。 比如 E 可以是一個 n 維歐幾里得空間 Rn 或者它的一個勒貝格可測子集。則 X 是所有 E 的勒貝格可測子集構成的 sigma 代數，mu 則是勒貝格測度。在討論機率論時，μ 是機率空間 E 中的機率測度，滿足 mu E1。 在勒貝格理論中只有對所謂的可測函式才能夠進行積分。一個函式 f 被稱為是可測的，假如每個區間 t infty 的原像是 E 中的可測集合，也就是： f1tinfty in Xquad mbox for all tinmathbb R。 可以證明，這與要求 R 中每個博雷爾子集的原像屬於 X 的條件是等價的。我們從現在起直接使用第二個條件。可測函式的集合在函式的代數運算下是封閉的，更重要的是在多種逐點序列極限下它們是封閉的： liminf_k in mathbb N f_k quad limsup_k in mathbb N f_k 是可測的，假如原序列 f_k 是由可測函式組成的，其中 kin 。 我們對 E 上的可測實數值函式 f 積分 int_E f d mu int_E fleft xrightmuleft dxright， 分步進行構造： 指示函式：與給定的測度 mu 一致的可測集合 S 的指示函式的積分唯一可選擇的值為： int 1_S d mu mu S 簡單函式：指示函式的有限線性組合： sum_k a_k 1_S_k 這裡係數 a_k 是實數，集合 S_k 是可測集。這樣的函式稱為可測簡單函式。我們現在用線性性質將積分延拓到非負的可測簡單函式上。當 a_k 非負時，令 int bigg sum_k a_k 1_S_kbigg d mu sum_k a_k int 1_S_k d mu sum_k a_k mu S_k 在這裡和可能是無限的。一個簡單函式可以透過不同方法的指示函式線性組合形成，但是其積分始終是一致的，這一點可由測度的可加性證明。 假如 E 是一個可測集合，s 是一個可測簡單函式的話則 int_E s dmu int 1_E s dmu sum_k a_k mu S_k cap E 非負函式：f 為 E 中的一個非負可測函式，其值可以取 ，即 f 的對應域是廣義實數的非負部分。我們定義 int_E fdmu supleftint_E sdmu boldsymbol 0le sle f right，其中 s 是可測簡單函式，boldsymbol 0 為零函式，這裡的大小關係是對定義域的每個點都成立 我們必須證明這個積分與上面定義在簡單函式集合上的積分相符。此外還有這個積分定義是否與黎曼積分的概念有對應關係的問題。事實上可以證明這兩個問題的答案都是肯定的。 這樣我們定義了 E 中所有非負擴充套件實值可測的函式 f 的積分。要注意的是這裡定義的函式積分可以是無限大。 帶負數值的函式：為了解決有負數值的函式，我們還需要新增幾個定義。假設可測函式 f 將可測集合 E 對映到廣義實數（既實數加上 ），則有 f f f quad 其中 fx leftbegin matrix f x mbox if quad f x 0 0 mbox otherwise end matrixright fx leftbegin matrix f x mbox if quad f x 0 0 mbox otherwise end matrixright 此外還有這性質 f f f quad f 與 f 兩者皆是非負可測函式，其勒貝格積分已經剛給出定義。 若 int f dmu 與 int f dmu 兩個積分中有一個是有限的，則可以定義一般可測函式 f 的勒貝格積分為： int f d mu int f dmu int f dmu 注意函式積分不嚴格限制一定要有限，可以是正無窮大或負無窮大。但如果積分是有限的話，也就是若 int f d mu infty 與 int f d mu infty 都成立的話， 則稱函式 f 為勒貝格可積（Lebesgue integrable）。 兩積分皆有限，這條件等價於： int f d mu infty 事實上這個定義給出了具有良好特性的積分。 複變函式也可以類似地定義積分，只要分別考慮實數部分和虛數部分就可以了。 比如對任意複變函式 hfig 其中 f 跟 g 都是實函式，則函式 h 的積分定義為 int h d mu int f d mu i int g d mu 函式是勒貝格可積的當且僅當其絕對值是勒貝格可積的。 直觀解釋 要直觀地解釋兩種積分的原理，可以假設我們要計算一座山在海平面以上的體積。 黎曼積分是相當於把山分為每塊都是一平方米大的方塊，測量每個方塊正中的山的高度。每個方塊的體積約為 1x1x 高度，因此山的總體積為所有高度的和。 勒貝格積分則是為山畫一張等高線圖，每根等高線之間的高度差為一米。每根等高線內含有的岩石土壤的體積約等於該等高線圈起來的面積乘以其厚度。因此總體積等於所有等高線內面積的和。 佛蘭德Gerald B Folland Real Analysis Modern Techniques and Their Applications 1984 p 56 描述黎曼積分跟勒貝格積分的不同，以非負函式 fabmapsto 0infty abinR 這例子來講，黎曼積分是分割 x 軸上的定義域區間 ab 為更小的子區間，並計算黎曼和，當子區間越來越小時黎曼和的極限就是黎曼積分；而勒貝格積分則是將 f 在 y 軸上的對應域分割成不相交的區間 I_j_j1n，並用定義域中的子集合 f1I_jE_j 來定義趨近 f 的簡單函式 ssum_j1n inf_xin E_j f xcdot 1_E_jquad sabmapsto R_ge 00le sle f s 為簡單函式， 而這簡單函式 s 的積分為：sum_j1n inf_xin E_j f xcdot mu E_j，當把對應域的分割越來越細時，這簡單函式積分的極限就是勒貝格積分。更簡化講的話就是：黎曼積分是分割定義域來計算積分；勒貝格積分則是用分割對應域來計算積分。 參見簡單函式的性質。 例子 有理數的指示函式 1_mathbb Qx begin cases 1 x in mathbb Q 0 x notin mathbb Q end casesquad 是一個無處連續的函式。 在區間 01 之間 1_mathbb Q 沒有黎曼積分，因為在實數中有理數和無理數都是稠密的，因此不管怎樣把 01 分成子區間，每一個子區間裡面總是至少會有一個有理數和一個無理數，因此其達布積分的上限為 1，而下限為 0。 在區間 01 內 1_mathbb Q 有勒貝格積分。事實上它等於有理數的指示函式，因為 mathbb Q 是可數集，因此 int_01 1_mathbb Q d mu mu mathbb Q cap 01 0 黎曼積分的不足 傅立葉級數出現後，許多包括積分的分析問題也隨之出現，要解決這些問題需要交換函式的無限求和和積分兩種運算。但是要找到以下兩個積分相等的條件 sum_k int f_k x dxquadint bigg sum_k f_k x bigg dx 在黎曼積分的理論中是很難解決的。除此之外黎曼積分還有一些其它的困難。這些困難主要涉及上面已經討論過的求極限的問題。 單調收歛性質不成立：如上所述，有理數的指示函式 1_mathbb Q 沒有黎曼積分。尤其是單調收斂定理在這例子不成立。要了解為什麼，設 a_kmathbb Qcap 01（為可數集合）。令 g_k x leftbegin matrix 1 text if x a_jjle k 0 text otherwise end matrix right 每個函式 g_k 除了在限點之外皆為 ，因此其黎曼積分為 。序列 g_k 也是非負的，但卻單調遞增到不是黎曼可積的函式 1_mathbb Q。 不適宜於無界區間：黎曼積分一般只用來在有界區間內對函式進行積分。雖然可以用以下方式擴充套件 int_inftyinfty f x dx lim_a rightarrow infty int_aa f x dx 。 但是這個定義打破了平移不變性：設 f 和 g 在區間 a b 外為 0，而且是可以黎曼積分的。設對於某 y f xg xy，則 int fint g。但按以上瑕積分的定義，雖然函式 f xbegin cases 1x01xle0end cases 與 g xbegin cases 1x11xle1end cases 互為平移，積分值卻不相等： int f x dx 0 quad int g x dx 2 quad 因此瑕積分不是平移不變。 基本定理 勒貝格積分不能區分僅在一個 mu 測度 0 的集合上有區別的函式。精確地說，函式 f 和 g 幾乎處處相等當且僅當 mu x in E f x neq g x 0 假如 f 和 g 是非負函式且幾乎處處 fg，則 int f d mu int g d mu。 假如 f 和 g 是函式，且幾乎處處 fg，則 f 是勒貝格可積的，當且僅當 g 是勒貝格可積的，且 f 和 g 的積分是相等的。 勒貝格積分擁有以下特徵： 線性：設 f 和 g 為勒貝格可積的函式，a 和 b 是實數，則 afbg 是勒貝格可積的，且 int a f bg d mu a int f dmu b int g dmu 單調性：設 fleq g 則 int f d mu leq int g d mu。 單調收斂定理：設 f_k_kinmathbb N 是一個實數值、非負可測函式的序列，且 f_k x leq f_k1x quad forall kin mathbb N forall x in E 則 lim_k int f_k d mu int sup_k f_k d mu。 注意：任何積分的值均可以是無窮大。 法圖引理：設 f_k_kinmathbb N 是一個實數值、非負可測函式的序列，則 int liminf_k f_k d mu leq liminf_k int f_k d mu。 在這裡所有積分的值也均可以是無窮大。 勒貝格控制收斂定理：設 f_k_kinmathbb N 是一個復可測函式的序列，並擁有逐點極限 f，且如果有一個勒貝格可積的函式 g（即 ginmathbb L_1），對所有 k 滿足 f_kleq g，則 f 是勒貝格可積的，且 lim_k int f_k d mu int f d mu。 證明技巧 在這裡我們透過證明上面已經提到過的勒貝格單調收斂定理，來說明勒貝格積分理論的證明技巧。 設 f_k_kinmathbb N 是一個非負可測函式的非遞減序列，令 f sup_k in mathbb N f_k 由積分的單調性可以立刻得出： int f d mu geq lim_k int f_k d mu 由於該系列是單調的，因此可以推出右側的極限存在。 我們現在來證明另一個方向的不等式（它也可以透過法圖引理證明），即 int f d mu leq lim_k int f_k d mu。 由積分的定義可以推出，有一個非負簡單函式的非遞減序列 g_n，幾乎處處逐點收斂於 f，使得 lim_k int g_k d mu int f d mu。 因此只需證明對於任何 kinmathbb N int g_k d mu leq lim_j int f_j d mu 我們來證明假如 g 是一個簡單函式而且幾乎處處 lim_j f_j x geq g x 則 lim_j int f_j d mu geq int g d mu。 將函式 g 分解為其常數部分，可以化為 g 是一個集合的指示函式的情況。這樣的話我們只要證明 設 A 是一個可測集合，f_k_kinmathbb N 是一個 E 上可測函式的非遞減序列，則幾乎對所有 xin A lim_n f_n x geq 1 則 lim_n int f_n dmu geq mu A 要證明這個結果，令 epsilon0 並定義可測集合的序列為 B_n x in A f_n x geq 1 epsilon 。 由積分的單調性可以得出對於任何 ninmathbb N， mu B_n 1 epsilon int 1 epsilon 1_B_n d mu leq int f_n d mu 由於對於足夠大的 n，幾乎所有的 x 都位於 B_n 內，我們便有 bigcup_i B_i A 對於一個測度為 0 的系列成立。因此根據 mu 的可數可加性 mu A lim_n mu B_n leq lim_n 1 epsilon1 int f_n dmu。 由於這個結果對於任何正的 varepsilon 成立，因此定理得證。 其它表達方式 關於勒貝格測度的積分也可以不透過使用整個測度理論引匯出來。一個這樣的方法是使用丹尼爾積分。 使用泛函分析的方法也可以發展出積分的理論。任何定義在 mathbb R_n（或一個固定的開子集）上的緊支撐連續函式 f 都有黎曼積分。從這些積分開始，我們可以建立更一般的函式的積分。設 C_c 為 mathbb R 上所有實數值緊支撐連續函式所構成的空間。定義 C_c 的範數為 f int f x dx 這樣一來 C_c 是一個賦範向量空間（特別地，它是一個度量空間）。所有的度量空間都有完備化，因此令 L_1 為其完備空間。這個空間與勒貝格可積分函式餘積分為零的子空間同構。而且黎曼積分 int 關於 C_c 上的範數是一致連續的泛函，而 C_c 在 L_1 是稠密的。因此是所有 L_1 唯一的延伸。這個積分正好就是勒貝格積分。 這個結果可以被廣泛化來建立關於區域性緊空間的拉東測度的積分理論。2004 年尼古拉布林巴基就是使用了這個方法。 應用 值得指出的是許多拓撲向量空間（比如希爾伯特空間或者巴拿赫空間）中的定理以及其中的極限運算，透過使用勒貝格積分獲得了巨大的簡化。 書籍 《勒貝格 斯蒂爾吉斯積分》，1965 年，E卡姆克，吳蓮溪譯，高等教育出版社，無 ISBN 《度量空間與勒貝格積分》，1994 年，方欣華等編，河南大學出版社，ISBN 781041061X 《勒貝格積分與泛函分析基礎》，1992 年，熊宏允等編，高等教育出版社，ISBN 7040033909 註釋 參見 積分 測度 σ 代數 HenstockKurzweil 積分 參考資料 外部連結 勒貝格積分與黎曼積分的區別與聯絡 Category 測度論 Category 積分的定義