关于有限测度集上有界可测函数的Lebesgue可积性正向推导的证明问询

嘿，这个问题是Lebesgue积分体系里的核心基础结论之一，我来一步步帮你梳理正向推导的证明逻辑：

首先明确已知条件：

• $f$是定义在有限测度可测集$E$上的有界可测函数，即存在常数$M > 0$，使得对所有$x \in E$，都有$|f(x)| \leq M$；同时$m(E) < \infty$（$m$表示Lebesgue测度）。

我们需要证明$f$是Lebesgue可积的，也就是$\int_E f , dm$是有限值。

步骤1：从非负可测函数的情况入手 #

先考虑$f$是非负可测函数的子情况：
根据Lebesgue积分的定义，非负可测函数的积分是所有满足$0 \leq \varphi \leq f$的简单函数$\varphi$的积分的上确界，即：
$$\int_E f , dm = \sup\left{ \int_E \varphi , dm \mid \varphi \text{ 是简单函数，且 } 0 \leq \varphi \leq f \right}$$
因为$f$有界（$f \leq M$），所以每个这样的简单函数$\varphi$都满足$\varphi \leq M$。而简单函数的积分计算方式是$\int_E \varphi , dm = \sum_{i=1}^k c_i m(E_i)$（其中$\varphi = \sum_{i=1}^k c_i \chi_{E_i}$是简单函数的标准分解），显然这个和式$\leq M \sum_{i=1}^k m(E_i) = M m(E)$。
由于$m(E)$是有限的，$M m(E)$是一个有限常数，因此上述上确界必然小于等于这个有限值，即$\int_E f , dm < \infty$，说明非负的$f$是可积的。

步骤2：推广到一般可测函数 #

对于任意可测函数$f$，我们可以将其分解为正部和负部的差：
$$f = f^+ - f^-$$
其中$f^+ = \max(f, 0)$（$f$的正部），$f^- = \max(-f, 0)$（$f$的负部）。
因为$f$是可测函数，所以$f^+$和$f-$都是非负可测函数，同时它们也继承了$f$的有界性：$f^+ \leq |f| \leq M$，$f^- \leq |f| \leq M$。
根据步骤1的结论，$\int_E f^+ , dm$和$\int_E f^- , dm$都是有限值。而Lebesgue积分对一般可测函数的定义是：
$$\int_E f , dm = \int_E f^+ , dm - \int_E f^- , dm$$
两个有限值的差仍然是有限值，因此$\int_E f , dm$是有限的，即$f$是Lebesgue可积的。

额外补充：两个条件缺一不可 #

这里要特别强调，有界性和有限测度这两个条件必须同时满足，否则结论不成立：

• 如果$E$的测度无限（比如$E = \mathbb{R}$），即使$f$是有界可测函数（比如$f(x) = 1$），其积分$\int_{\mathbb{R}} 1 , dm = \infty$，不可积；
• 如果$E$测度有限但$f$无界（比如$E = (0,1)$，$f(x) = \frac{1}{\sqrt{x}}$），虽然$f$可测，但积分$\int_0^1 \frac{1}{\sqrt{x}} dx = \infty$，同样不可积。

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