亨利·勒贝格（Henri Léon Lebesgue）

现代分析的奠基人——他把「分割定义域」的黎曼积分改写成「分割值域」，让积分的大门向不连续函数、极限交换与概率论洞开；没有勒贝格积分，就没有现代概率论、量子力学的严格数学，也没有今天的泛函分析与调和分析。

一、生平与时代背景

亨利·莱昂·勒贝格 1875 年 6 月 28 日生于法国皮卡第大区瓦兹省的博韦（Beauvais），父亲是一名印刷工。他先在家乡的博韦公学（Collège de Beauvais）读书，后到巴黎，先后就读于圣路易中学（Lycée Saint-Louis）和路易大帝中学（Lycée Louis-le-Grand）。1894 年考入巴黎高等师范学校（École Normale Supérieure），1897 年取得数学教师资格文凭。此后两年他在师范学校图书馆自修，读到了贝尔（René-Louis Baire）关于不连续函数的论文，意识到这一领域大有可为——这也埋下了他后来与贝尔长期不和的种子。

1899—1902 年他在南锡的中央中学（Lycée Centrale de Nancy）任教。正是在南锡期间，他完成了改变数学的工作：在博雷尔（Émile Borel）和若尔当（Camille Jordan）工作的基础上，他 1901 年提出测度论，1901 年 4 月 29 日在《法国科学院报告》（Comptes Rendus）上发表《论定积分的一种推广》，给出了勒贝格积分的定义——把曲线下面积的概念推广到包含大量不连续函数。1902 年他把这一工作写成 130 页的博士论文《积分、长度与面积》（Intégrale, longueur, aire），提交巴黎理学院，同年发表于米兰的《数学年刊》（Annali di Matematica）。

博士毕业后，按法国惯例先去外省任职：1902 年任雷恩理学院（Rennes）数学讲师（maître de conférences）。1903 年 12 月 3 日与路易丝—玛格丽特·瓦莱（Louise-Marguerite Vallet）结婚，育有两个孩子，但婚姻于 1916 年以离婚告终。1903 年他受邀在法兰西学院开授佩科课程（Cours Peccot），1905 年再次受邀——两次讲课分别产生了专著《积分与原函数求法讲义》（1904）与《三角级数讲义》（1906），使其思想广泛传播。但他的工作受到法国古典分析学家的冷淡甚至敌视。1904 年贝尔也开授佩科课程，两人为「谁更有资格开这门课」起争执，此后嫌隙渐深，后来发展为更严重的对立。

1906 年他受聘普瓦捷理学院，次年被任命为力学教授。1910 年任巴黎索邦大学数学分析讲师；一战期间为法国国防服务，期间与承担类似工作的博雷尔产生不和。1918 年升为索邦「几何应用于分析」教授；1921 年任法兰西学院数学教授，直至去世。1927—1937 年他还在巴黎市立高等物理化学学院（ESPCI）和塞夫勒高等师范学校（École Normale Supérieure de Sèvres）兼课。

值得注意的是，勒贝格后来并未把主要精力放在自己开创的领域上——他本人对过度一般化抱有戒心，写道：「若化约为一般理论，数学将是一种没有内容的美丽形式，会很快消亡。」1922 年发表《勒贝格先生科学工作简介》时，他已写了近 90 种著作与论文；此后他仍活跃，但研究转向教学问题、数学史与初等几何。

他获得大量荣誉：1922 年 5 月 29 日当选法国科学院院士；英国皇家学会外籍会员；比利时皇家科学与文学学院（1931 年 6 月 6 日）、博洛尼亚科学院、林琴学院、丹麦皇家科学院、罗马尼亚科学院、克拉科夫科学与文学学院院士；多所大学荣誉博士；获乌勒维格奖（1912）、庞塞莱奖（1914）、斯图尔奖（1917）、珀蒂—多尔穆瓦奖（1919）。1941 年 7 月 26 日卒于巴黎，享年 66 岁。

二、学术生涯年表

三、核心成果（逐条技术解析）

1. 勒贝格测度（1901）

问题背景：若尔当已定义了「若尔当容度」（有限可加，对有限并），博雷尔定义了「博雷尔测度」（可数可加，但只定义在博雷尔 σ-代数上）。二者都无法给一些简单集合（如 $[0,1]$ 中的无理数集）赋予好的「长度」，也无法处理可数并与极限。

关键思想：勒贝格用「从外面用区间逼近」的方式定义任意集合 $E\subset\mathbb{R}$ 的外测度 $$m^(E)=\inf\left{\sum_{i=1}^\infty |I_i|:\ E\subset\bigcup_{i=1}^\infty I_i\right},$$ 其中 ${I_i}$ 是可数个开（或闭）区间覆盖；再用卡拉西奥多里条件筛选出「可测集」：$E$ 可测当且仅当对任意 $A$，$m^(A)=m^(A\cap E)+m^(A\setminus E)$。可测集上的外测度即为勒贝格测度 $m$。

性质：勒贝格测度是可数可加的（与若尔当容度的有限可加形成本质区别），是博雷尔测度的完备化（把所有博雷尔零测集的子集都纳入），并在平移与刚体运动下不变。

意义：这是现代测度论的起点。勒贝格测度把「长度/面积/体积」从具体图形推广到极其一般的集合，为概率论（柯尔莫哥洛夫公理化）、泛函分析、遍历理论提供了地基。

2. 勒贝格积分（1901—1902）

问题背景：黎曼积分对被积函数的连续性要求较高，无法积分狄利克雷函数（有理点取 1、无理点取 0）等高度不连续函数，也难以与极限操作交换，严重制约了傅里叶分析与偏微分方程的严格化。

关键思想：黎曼积分「分割定义域」，而勒贝格「分割值域」。他用一句名言解释动机：「我可以像从口袋里掏钱那样，一枚一枚按拿到的顺序数；也可以先按面值分类再数——后者更系统。」对非负可测函数 $f$，定义 $$\int_E f\,dm=\sup\left{\sum_{i=1}^n y_i\,m(E_i):\ E_i={x\in E:y_i\le f(x)<y_{i+1}}\right},$$ 即在值域上分层、用各层的「高度」乘「水平集的测度」再求和；一般函数取正部减负部 $\int f=\int f^+-\int f^-$（要求不出现 $\infty-\infty$）。

意义：勒贝格积分能积分包括狄利克雷函数在内的所有有界可测函数，并容许在很弱条件下与极限交换。它是现代分析的「普通话」，没有它就没有 $L^p$ 空间、现代概率论、量子力学的严格数学。

3. 极限与积分的交换——控制收敛定理等（1902—1906）

结果：勒贝格积分的威力集中体现为三条收敛定理： - 单调收敛定理（Beppo Levi）：若非负可测函数 $f_n\uparrow f$ 处处（或 a.e.），则 $\lim\int f_n=\int f$。 - 法图引理（Fatou）：$\int\liminf f_n\le\liminf\int f_n$。 - 勒贝格控制收敛定理：若 $f_n\to f$ a.e. 且 $|f_n|\le g$，$g$ 可积，则 $\lim\int f_n=\int f$。

应用——傅里叶级数的逐项积分：勒贝格证明，一致有界的勒贝格可积函数列总可以逐项积分。这弥补了傅里叶当年的一个漏洞：傅里叶曾假设有界函数的无穷级数可逐项积分，从而推出「若一个函数可表示为三角级数，则该级数必是其傅里叶级数」，但黎曼积分下该假设不成立（非黎曼可积函数可表示为一致有界的黎曼可积函数级数）。勒贝格积分使之成立，傅里叶的结论终于有了正确基础。

意义：控制收敛定理是分析学家每天都在用的工具；它使得积分与极限、级数、求导的交换几乎「自动化」，是现代分析的工作马达。

4. 微积分基本定理的严格化（1904）

背景：黎曼积分下，「连续可微函数 $F$ 的导数可积且 $\int_a^b F'=F(b)-F(a)$」成立，但对一般函数「哪些函数是某个可积函数的原函数」没有清晰答案；单调函数是否几乎处处可微也未解决。

结果：勒贝格在《积分与原函数求法讲义》（1904）中建立了： - 勒贝格微分定理：$\mathbb{R}^n$ 上局部可积函数 $f$ 几乎处处是其平均值的极限，即 $\lim_{r\to0}\frac{1}{|B(x,r)|}\int_{B(x,r)}f=f(x)$ a.e.；特别地，单调函数几乎处处可微。 - 绝对连续函数恰是其导数的勒贝格积分：若 $F$ 绝对连续，则 $F'$ 可积且 $F(b)-F(a)=\int_a^b F'$。 - 有界变差函数可分解为绝对连续部分、奇异部分与跳跃部分（勒贝格分解）。

意义：完成了牛顿—莱布尼茨微积分基本定理的现代严格版本，厘清了「可导」「可积」「原函数」三者之间的精确关系，是实分析教学的核心内容。

5. 维数理论与勒贝格覆盖引理（1911）

背景：康托尔证明 $\mathbb{R}$ 与 $\mathbb{R}^2$ 基数相同，皮亚诺曲线又使「维数」概念的拓扑不变性受到怀疑：如何用纯拓扑方式定义并证明维数不变？

结果：勒贝格 1911 年提出用「覆盖」刻画维数的思想——今天的勒贝格覆盖维数（Lebesgue covering dimension）：拓扑空间 $X$ 的维数 $\le n$，当且仅当 $X$ 的每个有限开覆盖都有一个开加细，使得没有点被加细中多于 $n+1$ 个集合覆盖。他断言一个关键引理：若 $n$ 维立方体被有限个直径充分小的闭集覆盖，则必有 $n+1$ 个集合有公共点。

争议：布劳威尔（L. E. J. Brouwer）几乎同时（1911）独立证明了维数的拓扑不变性，并指出勒贝格的证明存在漏洞/错误；两人就优先权与正确性展开激烈争执，持续数年。这是 20 世纪初拓扑学的一场著名公案，后世通常把「覆盖维数」的刻画归功于勒贝格，把「第一个严格证明维数不变性」归功于布劳威尔。

6. 曲面面积理论与其他贡献

结果：勒贝格研究了曲面面积的严格定义，给出了勒贝格面积（Lebesgue area），是几何测度论的前身；在位势论、狄利克雷问题、变分法、集合论等领域也有重要工作。他还研究了函数的「贝尔类」分层与积分的关系。

局限：他后期对抽象化持保守态度，未参与自己开创领域的后续大发展（如抽象测度论、概率公理化由后人完成）。

四、代表著作与文献

• 《积分、长度与面积》（Intégrale, longueur, aire，1902，博士论文，《数学年刊》）：测度论与勒贝格积分的奠基文献，130 页。
• 《积分与原函数求法讲义》（Leçons sur l'intégration et la recherche des fonctions primitives，1904，巴黎 Gauthier-Villars）：收敛定理、微积分基本定理的严格化。
• 《三角级数讲义》（Leçons sur les séries trigonométriques，1906）：傅里叶级数与逐项积分。
• 《论定积分的一种推广》（Sur une généralisation de l'intégrale définie，1901，《法国科学院报告》）：勒贝格积分的首次公开定义。
• 《勒贝格先生科学工作简介》（Notice sur les travaux scientifiques de M. Henri Lebesgue，1922）：92 页自传性学术总结，分析自己全部论文。
• 《测度与积分》（Measure and the Integral，英译本 1966，Kenneth May 编，Holden-Day）：含生平与代表性论文。

五、师承、学派与同时代交往

• 师承：巴黎高等师范学校出身，受教于/受影响于若尔当（《分析教程》、若尔当容度）、博雷尔（博雷尔测度，1898《函数论讲义》）、贝尔（不连续函数与贝尔类）。严格意义上他没有传统意义的博士导师（法国体制），其工作是若尔当—博雷尔—贝尔分析传统的集大成。
• 贝尔：思想上的前驱，1904 年起因佩科课程等事长期不和，发展为严重对立。
• 博雷尔：测度论的直接前驱；一战期间因国防工作分工产生不和。两人的「博雷尔测度」与「勒贝格测度」是现代测度论的两块基石。
• 弗雷歇（Maurice Fréchet）：通信对象；弗雷歇发展抽象拓扑空间，与勒贝格的函数论工作相关。
• 波兰数学学派：勒贝格的工作深刻影响了巴拿赫、萨克斯（Saks）等波兰数学家，《数学基础》（Fundamenta Mathematicae）大量刊载测度与积分论文。
• 学生与影响：在索邦与法兰西学院培养了一代法国分析学家；其积分成为全世界数学分析教学的标准。
• 学派归属：法国实变函数论学派（贝尔—博雷尔—勒贝格）的集大成者；现代分析的奠基人之一。

六、争议、公案与历史评价

• 法国古典分析学派的敌意：勒贝格的工作在法国长期受到老一辈（埃尔米特、古尔萨、阿佩尔等）的冷淡甚至敌视，他们认为研究高度不连续的函数是「病态」的，偏离了「好的」分析。他后来回忆博士答辩时气氛尴尬。这种阻力使他长期在法国体制内晋升缓慢（直到 1921 年才进法兰西学院）。
• 与贝尔的长期不和：1904 年起因佩科课程优先权等事，从学术竞争发展为个人对立；两人都是伟大的分析学家，却未能保持友谊，令人惋惜。
• 与布劳威尔的维数之争：1911—1913 年，勒贝格的覆盖引理证明被布劳威尔指出有错，两人就维数不变性的优先权激烈争论。学界对谁先给出正确证明有争议，现代共识是：勒贝格提出覆盖刻画（思想优先），布劳威尔给出第一个严格证明（正确性优先）。
• 与博雷尔的分歧：测度论的归属——博雷尔测度先于勒贝格（1898），但勒贝格的测度是其完备化且更广，两者常被并提。两人在一战期间又生龃龉。
• 「惧怕一般化」：勒贝格本人不喜欢过度抽象的一般理论（他说化约为一般理论数学会「没有内容而消亡」），因此没有继续发展自己开创的抽象测度论；但历史证明他的担心是多余的——抽象化恰恰使他的思想传播到概率论、遍历论等广阔领域。
• 历史评价：勒贝格被公认为 20 世纪最伟大的分析学家之一。他的积分是现代分析的基石，被称为「继黎曼之后积分概念最重要的推广」；哈代称他的工作是「这个时代最伟大的数学成就之一」。柯尔莫哥洛夫 1933 年的概率公理化、巴拿赫空间理论、现代调和分析都建立在他的工作之上。

七、身后影响与学术谱系

• 对分析：勒贝格积分与测度成为现代分析的基础语言；$L^p$ 空间、索伯列夫空间、泛函分析（里斯表示定理等）都建立在勒贝格积分之上。
• 对概率论：柯尔莫哥洛夫 1933 年把概率定义为「总质量为 1 的测度」，期望定义为「关于概率测度的勒贝格积分」——现代概率论由此诞生。强大数定律、中心极限定理的严格证明都依赖勒贝格工具。
• 对调和分析：傅里叶级数的逐项积分、里斯—费舍尔定理（$L^2$ 与傅里叶系数的 $\ell^2$ 同构）都以勒贝格积分为基础；现代调和分析（奇异积分、小波）的框架离不开它。
• 对几何与拓扑：勒贝格覆盖维数是拓扑维数理论的起点；勒贝格面积是几何测度论的前身。
• 对物理：量子力学中波函数的模平方是概率密度（关于勒贝格测度），希尔伯特空间 $L^2(\mathbb{R}^n)$ 是量子态空间——没有勒贝格积分就没有量子力学的严格数学。
• 命名遗存：勒贝格积分、勒贝格测度、勒贝格可测、勒贝格控制收敛定理、勒贝格单调收敛定理、勒贝格微分定理、勒贝格分解（测度/函数）、勒贝格覆盖维数、勒贝格面积、勒贝格数（Lebesgue number，覆盖的）、黎曼—勒贝格引理、月球「勒贝格环形山」。

八、延伸阅读与权威来源

• MacTutor 数学史档案：Henri Lebesgue：圣安德鲁斯大学权威传记，本档案主要史实出处。
• MacTutor: Dictionary of Scientific Biography — Lebesgue：科学传记词典条目（Thomas Hawkins 撰）。
• Thomas Hawkins, Lebesgue's Theory of Integration: Its Origins and Development (Chelsea, 1970/2001)：勒贝格积分起源与发展的经典历史研究（MacTutor 主要参考来源）。
• Wikipedia: Henri Lebesgue：生平、著作与身后影响的交叉核对。
• Wikipedia: Lebesgue integration：勒贝格积分的定义、性质与历史。
• Wikipedia: Lebesgue measure：勒贝格测度的构造与性质。
• Wikipedia: Lebesgue's dominated convergence theorem：控制收敛定理。
• Wikipedia: Lebesgue covering dimension：维数的覆盖刻画与布劳威尔之争。
• Wikipedia: Lebesgue's decomposition theorem：测度的勒贝格分解。
• Royal Society obituary: Henri Lebesgue：英国皇家学会讣告（Burkill 撰）。
• London Mathematical Society obituary: Henri Lebesgue：伦敦数学会讣告。