关于Royden《Real Analysis》（第5版）中勒贝格可积两种定义的疑问

嘿，这个问题问得特别到位——其实这俩定义是针对不同场景逐步拓展的，Royden这么安排完全是为了帮你从简单到复杂，循序渐进地啃懂勒贝格积分的逻辑，我来给你唠明白：

首先得先把两个定义的适用边界拎清楚：

• 4.2节的定义，是专门给**有界可测函数（定义在可测集上）**准备的构造性定义。它从简单函数的上下确界逼近出发，本质是让你能直观看到：勒贝格积分是怎么从最基础的简单函数（可测集指示函数的线性组合）一步步“凑”出来的，有点像黎曼积分用矩形逼近，但勒贝格的思路更贴合测度的核心——按值域划分，而不是定义域。这个定义的好处是够直观，能帮你快速get到勒贝格积分和黎曼积分的本质区别。
• 4.5节的定义，是拓展到所有一般可测函数（可以无界，取值能到扩充实数集$\bar{\mathbb{R}}$）的统一化定义。它的前提是先定义了非负函数的积分（通过非负简单函数的上确界），再把任意可测函数拆成正部和负部，最后用“绝对值的积分有限”来框定可积性，这是个能覆盖所有情况的通用版本。

那为啥不直接上来就用第二个定义？核心原因有俩：

1. 教学逻辑的铺垫需求：直接甩给你第二个定义，你大概率会懵——“凭啥用绝对值积分有限来定义可积？”“非负函数的积分又是咋来的？”。从有界函数的上下确界逼近开始，相当于先给你搭好最底层的逻辑积木，让你先吃透勒贝格积分的核心思想，再一步步拓展到无界、更一般的函数，符合从特殊到一般的认知规律，学起来不会太痛苦。
2. 和黎曼积分的对比更清晰：在有界函数的场景下，勒贝格的上下确界定义和黎曼的达布上下和有很强的类比性，但勒贝格的简单函数逼近更灵活，能处理很多黎曼不可积的函数（比如狄利克雷函数）。这时候放在一起讲，你能立刻感受到勒贝格积分的优势，理解它为啥能解决黎曼积分的痛点。

最后要划个重点：这俩定义在各自的适用范围内是完全相容的！比如当你考虑的是有限测度集上的有界可测函数时，用第一个定义判断可积，和用第二个定义（|f|积分有限）判断，结果是完全一样的。你可以自己动手推一推，这个推导过程能帮你把前后的知识点串起来，理解得更透。

备注：内容来源于stack exchange，提问作者MicH