目录

  • 2025版
    • ● 简明课件
    • ● 上课视频
  • 作业
    • ● 2020-2021-1作业及讲解
  • 0课程简介
    • ● 0.1自我介绍 Introduction
    • ● 0.2回忆 Riemann 积分-数学分析
    • ● 0.3构造 Lebesgue 积分-实变函数
    • ● 0.4学习实变函数与泛函分析的重要意义
    • ● 0.5实变函数与泛函分析的考核标准与学习方法
    • ● Lebesgue传记
  • 1集合
    • ● 1.1集合的表示
    • ● 1.2集合的运算
      • ● 1.2.1集族
      • ● 1.2.2并集 (union)
      • ● 1.2.3交集 (intersection)
      • ● 1.2.4交并运算律、De Morgan 律及其他
      • ● 1.2.5数学语言的集合表示
      • ● 1.2.6上、下极限集
      • ● 1.2.7单调集列
      • ● 1.2.8集合的直积 (Cartesian product)
    • ● 1.3对等与基数
      • ● 1.3.1对等的定义
      • ● 1.3.2对等的例子
      • ● 1.3.3对等的性质
      • ● 1.3.4基数的比较
    • ● 1.4可数集合
      • ● 1.4.1定义与初步例子
      • ● 1.4.2可数集的性质
      • ● 1.4.3进一步的例子
    • ● 1.5不可数集合 (uncountable set)
      • ● 1.5.1定义与例子
      • ● 1.5.2连续基数的性质
      • ● 1.5.3无最大基数定理
    • ● 本章小结
  • 2点集
    • ● 2.1度量空间, n 维欧氏空间
      • ● 2.1.1度量空间的定义与例子
      • ● 2.1.2邻域、极限及其它
    • ● 2.2聚点, 内点, 界点
      • ● 2.2.1点与集的第一类关系: 内点, 外点, 聚点
      • ● 2.2.2点与集的第二类关系: 聚点, 孤立点和外点
      • ● 2.2.3边界点要么是聚点, 要么是孤立点
      • ● 2.2.4聚点的等价刻画
      • ● 2.2.5闭包的等价刻画
      • ● 2.2.6边界与闭包的关系
      • ● 2.2.7闭包、开核的对偶关系
      • ● 2.2.8开核, 导集, 闭包保持集合的包含关系
      • ● 2.2.9导集与并运算可交换
      • ● 2.2.10导集, 边界不空的充分条件
    • ● 2.3开集, 闭集, 完备集
      • ● 2.3.1开集及其性质
      • ● 2.3.2闭集及其性质
      • ● 2.3.3开集、闭集的对偶性
      • ● 2.3.4紧集、自密集、完备集
    • ● 2.4直线上的开集, 闭集及完备集的构造
      • ● 2.4.1直线上的开集、闭集的构造
      • ● 2.4.2直线上完备集的构造
    • ● 2.5康托尔三分集
      • ● 2.5.1Cantor 三分集的构造
      • ● 2.5.2Cantor 三分集的性质
      • ● 2.5.3维数观点看 Cantor 集
    • ● 本章小结
  • 3测度论
    • ● 引言
    • ● 外测度 (outer measure)
    • ● 3.2可测集 (measurable set)
      • ● 3.2.1可测集的等价定义
      • ● 3.2.2可测集的性质1: 可测集的补, 可测集列的交与并
      • ● 3.2.3可测集的性质2: 可测集列的极限
    • ● 3.3可测集类
      • ● 3.3.1可测集的例子
      • ● 3.3.2可测集的构造
      • ● 3.3.3测度的内、外正规性
    • ● 本章小结
  • 4可测函数
    • ● 引言
    • ● 4.1可测函数及其性质
      • ● 4.1.1记号 (notations)
      • ● 4.1.2可测函数的定义及等价刻画
      • ● 4.1.3重要的可测函数类 I---连续函数类
      • ● 4.1.4重要的可测函数类 II---简单函数类
      • ● 4.1.5可测函数的四则运算
      • ● 4.1.6可测函数的极限运算
      • ● 4.1.7可测函数与简单函数的关系
      • ● 4.1.8几乎处处成立的内涵
    • ● 4.2叶戈罗夫定理
      • ● 4.2.1引言
      • ● 4.2.1Egrov 定理
      • ● 4.2.3Egrov 定理的推广
    • ● 4.3可测函数的构造
      • ● 4.3.1Lusin 定理
      • ● 4.3.2Lusin 定理的另一形式
      • ● 4.3.3可测集与可测函数的总结
    • ● 4.4依测度收敛
      • ● 4.4.1依测度收敛的定义
      • ● 4.4.2依测度收敛不能蕴含几乎处处收敛
      • ● 4.4.3几乎处处收敛不能蕴含依测度收敛
      • ● 4.4.4Riesz 定理 (依测度收敛函数列有一个子列几乎处处收敛)
      • ● 4.4.5Lebesgue 定理 (测度有限时, 几乎处处收敛蕴含依测度收敛)
      • ● 4.4.6依测度收敛的极限的唯一性 (在几乎处处意义下)
      • ● 4.4.7各种收敛态的关系总结
      • ● 4.4.8Riesz 定理的强化版本
    • ● 本章小结
  • 5积分论
    • ● 5.1黎曼积分的局限性, 勒贝格积分简介
      • ● 5.1.1Riemann 积分的局限性
      • ● 5.1.2Lebesgue 积分简介
    • ● 5.2非负简单函数的勒贝格积分
      • ● 5.2.1非负简单函数 Lebesgue 积分的定义与例子
      • ● 5.2.2非负简单函数 Lebesgue 积分的性质
    • ● 5.3非负可测函数的勒贝格积分
      • ● 5.3.1非负可测函数的 Lebesgue 积分的定义
      • ● 5.3.2非负可测函数 Lebesgue 积分的基本性质
      • ● 5.3.3非负可测函数 Lebesgue 积分的重要性质1: Levi 引理
      • ● 5.3.4非负可测函数 Lebesgue 积分的重要性质2: 逐项积分
      • ● 5.3.5非负可测函数 Lebesgue 积分的重要性质3: Fatou 引理
    • ● 5.4一般可测函数的勒贝格积分
      • ● 5.4.1一般可测函数 Lebesgue 积分的定义
      • ● 5.4.2一般可测函数 Lebesgue 积分的基本性质
      • ● 5.4.3一般可测函数 Lebesgue 积分的重要性质1:函数可积等价于其绝对值可积
      • ● 5.4.4一般可测函数 Lebesgue 积分的重要性质2:绝对连续性
      • ● 5.4.5一般可测函数 Lebesgue 积分的重要性质3:Lebesgue控制收敛及其推论
      • ● 5.4.6应用: Lebesgue 可积函数的连续函数逼近
    • ● 5.5黎曼积分和勒贝格积分
      • ● 5.5.1回忆 Riemann 积分
      • ● 5.5.2连续函数的振幅刻画
      • ● 5.5.3Riemann 可积函数的刻画
      • ● 5..5.4Lebesgue 积分是 Riemann 积分的推广
      • ● 5.5.5Lebesgue 积分是非负 Riemann 反常积分的推广
      • ● 5.5.6Lebesgue 积分不是 Riemann 反常积分的推广
    • ● 5.6勒贝格积分的几何意义, 富比尼定理
      • ● 5.6.1直积与截面
      • ● 5.6.2降维法求测度: Fubini 定理的前奏
      • ● 5.6.3非负可测函数积分的几何意义
      • ● 5.6.4Fubini 定理与累次积分
    • ● 本章小结
  • 6微分与不定积分
    • ● 6.0引言
    • ● 6.1Vitali 定理
    • ● 6.2单调函数的可微性
    • ● 6.3有界变差函数
    • ● 6.4不定积分
      • ● 6.4.1不定积分及其性质
      • ● 6.4.2绝对连续函数及其性质
      • ● 6.4.3积分与微分为互逆运算 (Lebesgue 意义下)
      • ● 6.4.4AC 函数的进一步刻画
    • ● 6.5斯蒂尔切斯积分
    • ● 6.6L-S 测度与积分
    • ● 本章小结
  • 7度量空间和赋范线性空间
    • ● 泛函分析 (functional analysis) 绪论
    • ● 7.1度量空间的进一步例子
      • ● 7.1.1度量空间, 离散度量空间
      • ● 7.1.2更多的度量空间
    • ● 7.2度量空间中的极限, 稠密集, 可分空间
      • ● 7.2.1度量空间中的极限
      • ● 7.2.2度量空间中点列收敛的等价刻画
      • ● 7.2..3度量空间中的稠密子集, 可分空间
    • ● 7.3连续映射
      • ● 7.3.1连续映射的定义
      • ● 7.3.2连续映射的三个等价刻画
    • ● 7.4柯西点列和完备度量空间
      • ● 7.4.1Cauchy 点列
      • ● 7.4.2完备度量空间
      • ● 7.4.3完备度量空间的例子
      • ● 7.4.4不是完备度量空间的例子
    • ● 7.5度量空间的完备化
      • ● 7.5.1序言, 保距映射, 等距同构
      • ● 7.5.2度量空间的完备化
    • ● 7.6压缩映射原理及其应用
      • ● 7.6.1压缩映射原理
      • ● 7.6.2压缩映射原理的应用
    • ● 7.7线性空间
      • ● 7.7.1线性空间
      • ● 7.7.2线性空间的例子
      • ● 7.7.3线性空间的相关概念
    • ● 7.8赋范线性空间和巴拿赫空间
      • ● 7.8.1赋范线性空间和巴拿赫 (Banach) 空间
      • ● 7.8.2Banach 空间的例子
      • ● 7.8.3有限维赋范线性空间
  • 8有界线性算子和连续线性泛函
    • ● 8.1有界线性算子和连续线性泛函
      • ● 8.1.1线性算子和线性泛函的定义
      • ● 8.1.2线性算子和线性泛函的例子
      • ● 8.1.3有界线性算子和连续线性泛函
      • ● 8.1.4有界线性算子和连续线性泛函的例子
    • ● 8.2有界线性算子空间和共轭空间
      • ● 8.2.1有界线性算子全体所成空间
      • ● 8.2.2共轭空间
    • ● 8.3有限秩算子
      • ● 8.3.1有限秩算子
      • ● 8.3.2有限秩算子全体是 Banach 代数的一个理想
      • ● 8.3.3商空间
      • ● 8.3.4商空间的例子
      • ● 8.3.5通过商空间将映射化为单射来处理
      • ● 8.3.6闭值域的一个充分条件
      • ● 8.3.7恒等算子的有限秩扰动不改变值域的闭性
  • 9内积空间和希尔伯特空间
    • ● 9.0引论
    • ● 9.1内积空间的基本概念
      • ● 9.1.1内积空间的定义
      • ● 9.1.2内积空间与赋范线性空间的联系
      • ● 9.1.3内积空间的例子
    • ● 9.2投影定理
      • ● 9.2.1引言
      • ● 9.2.2极小化向量定理
      • ● 9.2.3内积空间中的正交, 极小化向量的性质
      • ● 9.2.4线性空间中的代数补子空间 (直和)
      • ● 9.2.5内积空间中的正交补子空间
      • ● 9.2.6Hilbert 空间中的正交分解
    • ● 9.3希尔伯特空间中的规范正交基
      • ● 9.3.1引论
      • ● 9.3.2正交系
      • ● 9.3.3内积空间中的 Fourier 系数
      • ● 9.3.4内积空间中的 Bessel 不等式、Parseval 等式、Riemann-Lebesgue 引理
      • ● 9.3.5抽象空间中的级数论
      • ● 9.3.6内积空间中的规范正交系的完全性
      • ● 9.3.7Hilbert 空间中完全规范正交系的存在性、Hilbert 维数
    • ● 9.4希尔伯特空间上的连续线性泛函
      • ● 9.4.1Riesz 表示定理
      • ● 9.4.2Hilbert 空间中的共轭算子
    • ● 9.5自伴算子、酉算子和正规算子
      • ● 9.5.1引论
      • ● 9.5.2Hilbert 空间的自伴算子, 正规算子和酉算子
      • ● 9.5.3各算子间的关系
      • ● 9.5.4复内积空间中有界线性算子为零的充要条件
      • ● 9.5.5自伴算子的性质
      • ● 9.5.6酉算子的性质
      • ● 9.5.7正规算子的性质
  • Banach 空间中的基本定理
    • ● 本章主要讨论泛函分析的四大基本定理
    • ● 泛函延拓定理
    • ● $C[a,b]$ 的共轭空间
    • ● 共轭算子
    • ● 纲定理和一致有界性定理
    • ● 强收敛, 弱收敛和一致收敛
    • ● 逆算子定理
    • ● 闭图像定理
  • 作业及视频讲解
    • ● 1.1 集合的表示
    • ● 1.2 集合的运算
    • ● 1.3 对等与基数
    • ● 1.4 可数集合
    • ● 1.5 不可数集合
    • ● 2.1 度量空间,   n 维欧氏空间
    • ● 2.2 聚点, 内点, 完备集
    • ● 2.3 开集, 闭集, 完备集
    • ● 2.4 直线上的开集, 闭集及完备集的构造
    • ● 2.5 Cantor 三分集
    • ● 3.1 外测度
    • ● 3.2 可测集
    • ● 3.3 可测集类
    • ● 3.4 总复习题
    • ● 4.1 可测函数及其性质
    • ● 4.2 Egrov 定理
    • ● 4.3 可测函数的构造
    • ● 4.4 依测度收敛
    • ● 5.3 非负可测函数的 Lebesgue 积分
    • ● 5.4 一般可测函数的 Lebesgue 积分
    • ● 5.5 Riemann 积分和 Lebesgue 积分
    • ● 5.6 Lebesgue 积分的几何意义, Fubini 定理
    • ● 6.1 Vitali 定理 6.2 单调函数的可微性 6.3 有界变差函数 6.4 不定积分
    • ● 7.1 度量空间的进一步例子
    • ● 7.2 度量空间中的极限, 稠密集, 可分空间
    • ● 7.3 连续映射
    • ● 7.4 柯西 (Cauchy) 点列和完备度量空间
    • ● 7.5 度量空间的完备化
    • ● 7.6 压缩映射原理及其应用
    • ● 7.7 线性空间
    • ● 7.8 赋范线性空间和巴拿赫 (Banach) 空间
    • ● 8.1 有界线性算子和连续线性泛函
    • ● 8.2 有界线性算子空间和共轭空间
    • ● 8.3 有限秩算子
    • ● 9.1 内积空间的基本概念
    • ● 9.2 投影定理
    • ● 9.3 希尔伯特空间中的规范正交基
    • ● 9.4 希尔伯特空间上的连续线性泛函
    • ● 9.5 自伴算子、酉算子和正常算子
Lebesgue传记

勒贝格, H.L.(Henri L'eon Lebesgue) 1875 年 6 月 28 日生于法国的博韦, 1941 年 7 月 26 日卒于巴黎.

勒贝格的父亲是一名印刷厂职工, 酷爱读书, 颇有教养. 在父亲的影响下, 勒贝格从小勤奋好学, 成绩优秀, 特别善长计算. 不幸, 父亲去世过早, 家境衰落. 在学校老师的帮助下进入中学, 后又转学巴黎. 1894 年考入高等师范学校.

1897 年大学毕业后, 勒贝格在该校图书馆工作了两年. 在这期间, 出版了 E. 波莱尔关于点集测度的新方法的《函数论讲义》, 特别是研究生 R. 贝尔发表了关于不连续实变函数理论的第一篇论文. 这些成功的研究工作说明在上述崭新的领域中进行开拓将会获得何等重要的成就, 从而激发了勒贝格的热情. 从 1899 年到 1902 年勒贝格在南锡的一所中学任教, 虽工作繁忙, 但仍孜孜不倦地研究实变函数理论, 并于 1902 年发表了博士论文 积分、长度与面积. 在这篇文章中, 勒贝格创立了后来以他的名字命名的积分理论. 此后, 他开始在大学任教 (1902--1906 在雷恩; 1906--1910 在普瓦蒂埃) , 并出版了一些重要著作: 《积分法和原函数分析的讲义》 (1904) ; 《三角级数讲义》 (1906) . 接着, 勒贝格又于 1910--1919 年在巴黎 (韶邦) 大学担任讲师, 1920 年转聘为教授, 这时他又陆续发表了许多关于函数的微分、积分理论的研究成果. 勒贝格于 1921 年获得法兰西学院教授称号, 翌年作为 C. 若尔当的后继人被选为巴黎科学院院士.

勒贝格对数学的主要贡献属于积分论领域, 这是实变函数理论的中心课题. 19 世纪以来, 微积分开始进入严密化的阶段. 1854 年 B.黎曼引入了以他的名字命名的积分, 这一理论的应用范围主要是连续函数. 随着 K.外尔斯特拉斯和 G. 康托尔工作的问世, 在数学中出现了许多奇怪的函数与现象, 致使黎曼积分理论暴露出较大的局限性. 几乎与这一理论发展的同时 (1870--1880), 人们就已广泛地开展了对积分理论的改造工作. 当时, 关于积分论的工作主要集中于无穷集合的性质的探讨, 而无处稠密的集合具有正的外容度性质的发现, 使集合的测度概念在积分论的研究中占有重要地位. 积分的几何意义是曲线围成的面积, 黎曼积分的定义是建立在对区间长度的分割的基础上的. 因此, 人们自然会考虑到如何把长度、面积等概念扩充到更广泛的集合类上, 从而把积分概念置于集合测度理论的框架之中. 这一思想的重要性在于使人们认识到: 集合的测度与可测性的推广将意味着函数的积分与可积性的推广. 勒贝格积分正是建立在勒贝格集合测度理论的基础上的, 它是黎曼积分的扩充.

为勒贝格积分理论的创立作出重要贡献的首先应推若尔当, 他在《分析教程》一书中阐述了后人称谓的若尔当测度论, 并讨论了定义在有界若尔当可测集上的函数, 采用把区域分割为有限个若尔当可测集的办法来定义积分. 虽然若尔当的测度论存在着严重的缺陷 (例如存在着不可测的开集, 有理数集不可测等) , 而且积分理论也并没有作出实质性的推广, 但这一工作极大地影响着勒贝格研究的视野. 在这一方向上迈出第二步的杰出人物是波莱尔, 1898 年在他的《函数论讲义》中向人们展示了波莱尔集的理论. 他从 中开集是构成区间的长度总和出发, 允许对可列个开集作并与补的运算, 构成了所谓以波莱尔可测集为元素的 代数类, 并在其上定义了测度. 这一成果的要点是使测度具备完全可加性 (若尔当测度只具备有限可加性) , 即对一列互不相交的波莱尔集 , 若其并集是有界的, 则其并集的测度等于每个 的测度的和. 此外, 他还指出, 集合的测度和可测性是两个不同的概念. 但在波莱尔的测度思想中, 却存在着不是波莱尔集的若当可测集 (这一点很可能是使他没有进一步开创积分理论的原因之一) . 特别是其中存在着零测度的稠密集, 引起了一些数学家的反感. 然而勒贝格却洞察了这一思想的深刻意义并接受了它. 他突破了若尔当对集合测度的定义中所作的有限覆盖的限制, 以更加一般的形式发展和完善了波莱尔的测度观念, 给予了集合测度的分析定义: 设 , 考虑可数多个区间 作覆盖. 定义数值 为勒贝格外测度, 且若则称 为可测集 (即 是勒贝格可测的) . 在此基础上, 勒贝格引入了新的积分定义: 对于一个定义在 上的有界实值函数 , 作 的分划并假定这些集合是可测的 (即 是勒贝格可测函数) ,并用 表示 的 Lebesgue 测度. 考虑和式

如果当 时, 趋于同一极限值, 则称此值为 上的积分. 勒贝格曾对他的这一积分思想作过一个生动有趣的描述: 我必须偿还一笔钱. 如果我从口袋中随意地摸出来各种不同面值的钞票, 逐一的还给债主直到全部还清, 这就是黎曼积分; 不过, 我有另外一种作法, 就是把钱全部拿出来并把相同面值的钞票放在一起, 然后再一起付给应还的数目, 这就是我的积分. 在他的这一新思想中, 凡若尔当可测集, 波莱尔可测集都是勒贝格可测集. 勒贝格积分的范围包括了由贝尔引入的一切不连续函数.

从数学发展的历史角度看, 新的积分理论的建立是水到渠成的事情. 但是可贵的是, 与同时代的一些数学家不同, 在勒贝格看来, 积分定义的推广只是他对积分理论研究的出发点, 他深刻地认识到, 在这一理论中蕴含着一种新的分析工具, 使人们能在相当大范围内克服黎曼积分中产生的许多理论困难. 而正是这些困难所引起的问题是促使勒贝格获得这一巨大成就的动力.

这方面的第一个问题是早在 19 世纪初期由 J.傅里叶在关于三角级数的工作中不自觉地引发的: 当一个有界函数可以表示为一个三角级数时, 该级数是它的傅里叶级数吗?这一问题与一个无穷级数是否可以逐项积分有着密切的关系. 傅里叶当时曾认为在其和为有界函数时这一运算是正确的, 从而给上述问题以肯定的回答. 然而到了 19 世纪末期, 人们认识到逐项积分并不总是可行的, 甚至对于黎曼可积函数的一致有界的级数也是这样, 因为由该级数所表示的函数不一定是黎曼可积的. 这个问题的讨论促使勒贝格在新的积分理论中获得了一个十分重要的结果: 控制收敛定理. 作为一个特殊情形他指出, 勒贝格可积的一致有界级数都可以逐项进行积分, 从而支持了傅里叶的结论. 逐项积分在本质上就是积分号下取极限的问题, 它是积分论中经常遇到的最重要的运算之一. 从而这一定理的创立显示出勒贝格积分理论的极大优越性.

微积分基本定理:

是微积分学的核心. 然而这一公式的运用在黎曼积分意义下却有较大的局限性. 在 1878--1881 年间, U. 迪尼和 V. 沃尔泰拉曾构造了这样的函数, 它们具有有界的导函数, 但是导函数不是黎曼可积的, 从而基本定理对此是不适用的. 此后, 联系到黎曼积分对无界函数的推广也发现了类似的困难. 然而, 在新的积分理论中, 勒贝格指出, 对有界函数来说, 这一困难是不存在的. 在 是有限值但无界的情形, 只要是可积的, 基本定理仍是成立的, 而且这正是相当于 是有界变差函数. 同时, 逆向问题也被人们提出来了: 何时一个连续函数是某个函数的积分? 为此,

A. 哈纳克曾导入了后来叫做绝对连续的函数. 约在 1890 年期间, 绝对连续函数就被当作绝对收敛积分的特征性质来研究, 虽然还没有人能真正证明任何绝对连续函数都是一个积分. 然而, 勒贝格通过对于导数几乎处处为零但函数本身并非常数的函数的考察, 认识到在他的积分意义下, 上述结论是正确的. 从而得出了积分与原函数之间的一个完整结果: 公式 (NL) 成立的充分且必要条件是, 上的绝对连续函数.

另一个与积分论有关的问题是曲线的长度问题. 19 世纪前期, 很少有人注意到一条曲线长度的定义和可求长问题. 一般都认为以 所描述的曲线段总是有长度的, 且长度可用 表示. 杜 布瓦-雷蒙在研究关于两点间长度最短的曲线的变分问题时, 从 P.G.L. 狄利克雷关于函数的一般观点出发探讨了曲线长度的概念. 由于用到了极限过程这一分析手段, 他认为 (1879) 积分理论对曲线长度的概念和可求长性质的陈述是必不可少的. 而到了 19 世纪末期, 这一见解由于L.舍费尔举出了反例而更为尖锐, 这一反例致使定积分 在黎曼积分的定义下没有意义. 勒贝格对这一问题很感兴趣, 并应用他的积分论中的方法和结果, 证明了曲线长度与积分概念是密切相关的, 从而恢复了杜 布瓦-雷蒙断言的可信性.

勒贝格关于微积分基本定理和曲线可求长理论的研究, 促使他发现有界变差函数是几乎处处可微的这一事实 (注: 若尔当曾指出不定积分是有界变差函数). 这一定理的重要性在于: 人们对于连续函数的可微性已经讨论了一个多世纪, 在19世纪的几乎前半个世纪, 人们还一直认为连续函数在其定义区域中的绝大多数点上都是可微的. 虽然连续函数总被误认为是逐段单调的, 但这使单调性与可微性联系起来了, 尽管是脆弱的. 到 19 世纪末期, 这一看法逐渐被人怀疑, 甚至有些其地位不低于外尔斯特拉斯的数学家都觉得存在着无处可微的连续的单调函数. 于是, 在这一意义下, 勒贝格的定理支持了老一代数学家的直觉印象.

在传统的关于二重积分与累次积分的恒等性定理上, 黎曼积分也反映出它的不足之处, 人们发现了使该定理不成立的例子. 从而作为一个结论, 这一定理的传统说法必须修改, 然而在把积分推广于无界函数的情形时, 这一修改变得更加严峻. 对此, 勒贝格的重积分理论, 使得用累次积分来计算二重积分的函数范围扩大了. 他在 1902 年给出的一个结果奠定了 1907 年 G. 富比尼创立的著名定理的基础.

勒贝格积分理论作为分析学中的一个有效工具的出现, 尤其是他在三角级数中应用的高度成功, 吸引了许多数学家的兴趣. 例如 P.法图, F.里斯他和 E. 菲舍尔等都来探讨有关的问题, 使这一领域开始迅速发展, 其中特别是里斯关于 空间的工作 (注: 勒贝格可积的函数全体构成的距离空间是完备的), 使得勒贝格积分在积分方程和函数空间的理论中持久地占有重要的位置.

虽然勒贝格在最初阶段专注于他自己的积分理论, 然而在激励抽象测度和积分论研究的开展上, 他的工作仍是先导性的. 1910 年, 勒贝格发表题为关于不连续函数的积分的重要专题报告. 在这里他不仅把积分、微分理论推广于 维空间, 而且引入了可数可加集合函数的概念 (定义于勒贝格可测集类上) , 指出这些函数是定义在集合类上的有界变差函数. 正是因为对于有界变差与可加性概念之间联系的考察, 使得 J.拉东作出了更广的积分定义, 其中把 T.-J.斯蒂尔杰斯积分和勒贝格积分作为它的特殊情形. 他还在 1913 年的文章中指出, 勒贝格的思想在更一般的背景上也是有效的.

勒贝格的一生都献给了数学事业. 在 1922 年被推举为院士时, 他的著作和论文已达 90 种之多, 内容除积分理论外, 还涉及集合与函数的构造 (后来由俄国数学家H.鲁津及其他学者进一步作出发展) 、变分学、曲面面积以及维数理论等重要课题. 在勒贝格生前最后 20 多年中, 研究工作仍然十分活跃并反映出广泛的兴趣, 不过作品内容大都涉及教育、历史及初等几何. 勒贝格的工作是对本世纪科学领域的一个重大贡献, 但和科学史上每种新思想的出现一样, 并不是没有遇到阻力的. 原因是: 在勒贝格的研究中扮演了重要角色的那些不连续函数和不可微函数被认为是违反了所谓的完美性法则, 是数学中的变态和不健康部分. 因此, 他的工作受到了某些数学家的冷淡, 甚至有人曾企图阻止他关于一篇讨论不可微曲面的论文的发表. 勒贝格曾感叹地说: **我被称为是一个没有导数的函数的那种人了. 然而, 不论人们的主观愿望如何, 这些具有种种奇异性质的对象都自动地进入了研究者曾企图避开它们的问题之中. 勒贝格充满信心地指出: ** 使得自己在这种研究中变得迟钝了的那些人, 是在浪费他们的时间, 而不是在从事有用的工作.

由于在实变函数理论方面的杰出成就, 勒贝格相继获得胡勒维格奖 (1912年); 彭赛列奖 (1914年) 和赛恩吐奖 (1917 年). 许多国家和地区 (如伦敦、丹麦、罗马、比利时、罗马尼亚和波兰) 的科学院都聘他为院士, 许多大学授予他名誉学位, 以表彰他的贡献.

引自周民强《实变函数》