关于勒贝格积分反射性质中有限测度支撑假设的必要性及相关证明正确性的疑问

嘿，咱们来一步步拆解你的问题：首先搞懂陶哲轩那套结论里为啥要加“有限测度支撑”的假设，再看看你尝试的无假设证明到底对不对。

一、原结论中有限测度支撑假设的必要性 #

先回忆下简单函数的积分定义：对于简单函数 $s = \sum_{i=1}^n c_i \chi_{E_i}$（$c_i \geq 0$，$E_i$ 可测），它的积分是 $\operatorname{Simp}\int s = \sum_{i=1}^n c_i m(E_i)$。如果某个 $E_i$ 测度无限且 $c_i > 0$，那积分直接就是无穷大。

原结论里假设 $f+g$ 是支撑集测度有限的有界简单函数，本质上是为了先把积分限定在有限值的场景里——毕竟如果支撑集测度无限，再加上 $f+g$ 有界，那积分必然是无穷大，这种情况单独讨论就行。而且反过来，要是 $f+g$ 是有界简单函数且积分有限，那它的支撑集测度肯定有限（不然积分就是界乘以无穷大，不可能有限）。所以这个假设其实和“$\operatorname{Simp}\int (f+g)$ 有限”是等价的，原结论只是把这个条件换了个更直观的表述而已。

二、你给出的证明的正确性分析 #

你的证明思路（分情况+逆否命题推导）非常靠谱，只是有几个细节需要修正和补充：

1. 第一步的逻辑补充 #

你说“如果 $\operatorname{Simp}\int (f+g)$ 有限，那么 $f+g$ 有有限测度支撑”——这个结论是对的，但得补上理由：因为 $f+g$ 是有界简单函数，设它的上界是 $M > 0$，要是支撑集测度无限，积分至少是 $M \times m(\text{supp}(f+g)) = +\infty$，和积分有限矛盾，所以支撑集必然测度有限，此时带有限支撑假设的原结论直接适用。

2. 逆否命题的符号修正与逻辑补全 #

你写“存在一个简单函数 $g \leq \psi \leq f+g$”这里符号混了——原问题里的 $g$ 是给定的函数，你这里又用 $g$ 表示逼近用的简单函数，容易搞晕，建议换成：“存在一个简单函数 $\psi \geq g$（满足 $\overline{\int} g = \inf_{\psi \geq g, \text{simple}} \operatorname{Simp}\int \psi$），且 $\operatorname{Simp}\int \psi$ 有限”。

另外，你推导里的 $\phi := f + g - \psi$，这里要注意：因为 $\psi \geq g$，所以 $f+g - \psi \leq f$ 是对的，而且 $\phi$ 是简单函数（两个简单函数的差）。虽然 $\phi$ 可能有负的部分，但简单函数的积分是线性的，不管正负只要积分有定义就行。因为 $\underline{\int} f < \infty$，所以 $\operatorname{Simp}\int \phi \leq \underline{\int} f < \infty$，再加上 $\operatorname{Simp}\int \psi < \infty$，根据线性性，$\operatorname{Simp}\int (f+g) = \operatorname{Simp}\int (\phi + \psi) = \operatorname{Simp}\int \phi + \operatorname{Simp}\int \psi$ 必然有限，逆否命题得证。

3. 整体结论 #

你的证明核心逻辑是对的，只要修正符号混淆的问题，再补上“有界简单函数积分有限等价于支撑集测度有限”这个关键等价性，就能严谨地证明：去掉有限测度支撑的假设后，原结论仍然成立。

备注：内容来源于stack exchange，提问作者Nick A.