测度论是研究一般集合上的测度与积分的数学分支，又称抽象测度论或抽象积分论，是实变函数论的基础，也是现代分析数学的重要工具之一[1]。它把长度、面积、体积和概率这类直观的“大小”概念加以抽象，用定义在集合族上的可数可加集函数来刻画[2][3]。20 世纪初由波莱尔、勒贝格等人建立；1933 年柯尔莫哥洛夫把它用于概率论的公理化，此后测度论成为概率论、统计学与泛函分析共同的基础语言[4]。
定义
设 X 是一个集合。若 X 的一族子集包含空集，并且对取补集、取可数并的运算都封闭，则称这族子集为 X 上的 σ-代数，其中的集合称为可测集，二元组 (X, F) 称为可测空间[2][3]。
可测空间上的测度是定义在 σ-代数上、取值于 $[0,+\infty]$ 的集函数 $\mu$，它满足 $\mu(\varnothing)=0$，并且对任意一列两两不相交的可测集 $A_1,A_2,\dots$ 都成立 $\mu(\bigcup_{i=1}^{\infty}A_i)=\sum_{i=1}^{\infty}\mu(A_i)$，这一性质称为可数可加性[5][6]。三元组 (X, F, μ) 称为测度空间[6]。
若测度满足 μ(X)=1，就称它为概率测度，相应的三元组称为概率空间[4]。设 f 是测度空间上的函数，如果每个可测集在 f 下的原像都是可测集，则称 f 为可测函数[2][3]。对非负可测函数，可以用取值有限的简单函数从下方逼近，由此定义它关于测度 μ 的积分 $\int f\,d\mu$[6]。
背景
测度论最初的动机是把长度、面积和体积的概念推广到更一般、更复杂的点集，并在此基础上建立适用范围更广的积分理论[3][7]。按黎曼的方式，积分是对函数的定义域作分割再求和，这要求被积函数比较规则，遇到间断点很多的函数就会失效[8]。
伏尔泰拉给出过一个有界导数不可积的例子，说明按黎曼积分无法普遍解决“已知导数求原函数”这一积分学基本问题[9]。要推广积分，首先必须回答复杂点集的“长度”如何定义[7]。
1893 年，若尔当在《分析教程》中提出约当容度并用它讨论积分；1898 年，法国数学家 埃米尔·波莱尔 对容度概念加以改进，并称之为测度[10]。1901 年 亨利·勒贝格 定义了范围更广的勒贝格测度，1902 年他在博士论文《积分、长度与面积》中给出完整的测度与积分理论，被视为现代测度论的奠基石[4][9]。
内容
在欧几里得空间上，通常取包含所有开集的最小 σ-代数，称为波莱尔 σ-代数，其中的集合称为波莱尔集[2][11]。区间 [a,b] 的勒贝格测度等于它的长度 b−a，矩形区域的勒贝格测度等于其面积[6][11]。
构造测度的通用方法由卡拉泰奥多里给出：先在全体子集上定义满足单调性与次可加性的外测度，再从中挑出能对任意集合作可加分割的集合作为可测集；这些可测集构成 σ-代数，外测度限制在其上就是测度[5]。用这一方式得到的勒贝格测度具有平移不变性，并且是包含所有区间、完备且满足规范条件的测度[12]。
勒贝格积分的特点是分割函数的值域而不是定义域：把值域划成若干小区间，考察函数值落入每个小区间的点集，用这些点集的测度乘以相应的近似函数值，再求和并取极限[8][13]。黎曼可积的函数也勒贝格可积，且两者积分值相同；此外勒贝格积分还能处理许多间断函数，例如狄利克雷函数在黎曼意义下不可积，但它几乎处处为零，勒贝格积分为 0[14][15]。
测度论的基本定理包括保证极限与积分可以交换次序的单调收敛定理、法图引理和控制收敛定理，以及关于乘积测度与累次积分的富比尼定理和托内利定理[6][14]。拉东-尼科迪姆定理则给出一个测度关于另一个测度绝对连续时的密度函数[5][14]。
在测度论中，p 次方可积的函数全体构成 $L^p$ 空间，它在相应范数下是巴拿赫空间，其中 $L^2$ 空间还是希尔伯特空间，这些空间是泛函分析的基本对象[6][16]。
影响与争议
1933 年，柯尔莫哥洛夫 在《概率论基础》中把测度论用于概率论的公理化：概率空间是总测度为 1 的测度空间，随机事件是可测集，随机变量 是可测函数，数学期望是勒贝格积分[17]。这一处理使概率论成为现代数学的一个分支，并为随机过程、数理统计与随机分析提供了基础[4][16]。
测度论的方法随后扩展到泛函分析、调和分析、微分方程与遍历论等领域，$L^p$ 空间、Riesz 表示定理以及测度与连续线性泛函之间的对偶关系都在它的框架下建立[16][6]。抽象空间上的积分理论，如 Daniell 积分，也由测度论发展而来[16]。
关于概率的频率解释与测度论公理化之间的关系存在讨论：有文献指出，频率解释与勒贝格测度论的普遍性并不完全相容，测度为零的集合所对应的“概率”难以通过频率加以验证；柯尔莫哥洛夫本人后来也重新研究了随机性的数学刻画[18]。
并非所有集合都能被赋予勒贝格测度。非可测集的存在性需要借助选择公理才能证明，若采用不含选择公理的集合论体系，这类集合的存在性无法得到证明[15]。
参见
参考资料
- 测度论_百度百科 . baidu.com [引用日期2026-09-27]
- linear_analysis(PDF) . cambridge.org [引用日期2026-09-27]
- Appendix D . ljll.fr [引用日期2026-09-27]
- 测度论是数学的一个重要分支，它在现代数学中有着广泛而深刻的应用，尤其是近代概率的数学理论，就是建立在测度论基础之上的 . ecsponline.com [引用日期2026-09-27]
- gives \(F(v) = \mathfrak{b}(v,w)\) and preserves the norm . arxiv.org [引用日期2026-09-27]
- Riemann integrals are not enough . leidenuniv.nl [引用日期2026-09-27]
- 显然,对任意的 \(x\in [0,1]\) . 211.146 [引用日期2026-09-27]
- integralteori – Lex . lex.dk [引用日期2026-09-27]
- **Lebesgue, H . zbmath.org [引用日期2026-09-27]
- 实变函数论 - 19世纪末20世纪初形成的数学分支 . baidu.com [引用日期2026-09-27]
- Mathematical Probability Theory in a Nutshell 2 . infn.it [引用日期2026-09-27]
- 测度（数学术语）_百度百科 . baidu.com [引用日期2026-09-27]
- Further Reading . degruyterbrill.com [引用日期2026-09-27]
- 测度论 | Bohrium SciencePedia . bohrium.com [引用日期2026-09-27]
- m3f33chIII . ic.ac.uk [引用日期2026-09-27]
- paper(PDF) . zenodo.org [引用日期2026-09-27]
- taraldsen26smakebiterf1_27(PDF) . ntnu.no [引用日期2026-09-27]
- view . virginia.edu [引用日期2026-09-27]
浏览次数：0 次
阅读量：0 次 · 阅读完成量：0 次
最近更新：2026-09-27T15:03:58Z
完成率 = 阅读完成量 ÷ 阅读量，分母是阅读量不是浏览次数 —— 关了 JS 的、秒退的都在浏览次数里、不在阅读量里。 详细口径在后台的「数据统计」页。