导读:Stein《实分析》第一章不急着定义测度,先讲清楚黎曼积分坏在哪里——这决定了整个 Lebesgue 体系的设计目标。
黎曼积分的三个病灶
病灶一:对高度振荡的函数(Dirichlet 函数)无能为力;病灶二:极限交换需要过强的一致收敛条件;病灶三:完备性缺失——黎曼可积函数列的极限随便跑出可积类。
病灶的共同根源:按「定义域切竖条」的分割方式把命运绑在函数的规则性上。Lebesgue 的翻转:按「值域切横条」,先量「取值在某个区间的 x 的总长度」——测度由此登场。
测度的设计约束
测度要满足:区间长度的相容性、平移不变性、可数可加性。代价:无法对所有子集定义(Vitali 集合,选择公理造出的不可测集)。可测集类是这三条约束下的最大妥协。
可测函数 = 「原像可测」的函数,对极限运算封闭——这直接修复病灶三:可测函数列的逐点极限仍可测。黎曼体系里这根本不成立。
收获清单
修好的积分对极限运算极其宽容(单调/控制收敛定理);L^p 完备;与傅里叶分析兼容(L² 收敛)。Stein 全书后续章节都是这份收获的展开。
常见误区
- 以为 Lebesgue 积分推翻黎曼积分——在黎曼可积处两者相等,它扩展而非推翻。
- 忽视不可测集合的存在性依赖选择公理这一逻辑细节。
吃透自检
- 能画出黎曼分割与 Lebesgue 分割的对比图
- 能构造 Vitali 集合并解释不可测性
- 能说明三类病灶分别被哪条定理修复