关于Sheldon Axler《Measure, Integration & Real Analysis》（测度、积分与实分析）中3.22节积分保序性无穷值情形的证明验证请求

嗨，我正在读Sheldon Axler的《Measure, Integration & Real Analysis》，书中3.22节提到了实值函数的积分保序性，其中无穷值的情形（也就是$\int fd\mu=\pm\infty$或$\int gd\mu=\pm\infty$的情况）留给读者自行证明。我尝试完成了这部分的证明，想请大家帮忙看看是否正确～

先梳理下书中用到的基础定理：

• 3.8 积分保序性（非负函数情形）：设$(X,\mathcal{S},\mu)$是测度空间，$f,g:X\to [0,\infty]$是$\mathcal{S}$-可测函数，且对所有$x\in X$有$f(x)\leq g(x)$，则$\int fd\mu\leq\int gd\mu.$
• 3.20 积分齐次性：设$(X,\mathcal{S},\mu)$是测度空间，$f:X\to [-\infty,\infty]$是使得$\int fd\mu$有定义的函数，若$c\in\mathbb{R}$，则$$\int cfd\mu=c\int fd\mu.$$
• 3.21 积分可加性：设$(X,\mathcal{S},\mu)$是测度空间，$f,g:X\to\mathbb{R}$是$\mathcal{S}$-可测函数，且$\int |f|d\mu<\infty$，$\int |g|d\mu<\infty$，则$$\int (f+g)d\mu=\int f d\mu+\int g d\mu.$$
• 3.22 积分保序性（实值函数情形）：设$(X,\mathcal{S},\mu)$是测度空间，$f,g:X\to\mathbb{R}$是$\mathcal{S}$-可测函数，且$\int fd\mu$和$\int gd\mu$都有定义，若对所有$x\in X$有$f(x)\leq g(x)$，则$\int fd\mu\leq\int gd\mu.$ 其中无穷值情形需读者自行证明。

待验证的命题与我的证明 #

命题 #

设$(X,\mathcal{S},\mu)$是测度空间，$f,g:X\to\mathbb{R}$是$\mathcal{S}$-可测函数，且$\int fd\mu$和$\int gd\mu$都有定义，若对所有$x\in X$有$f(x)\leq g(x)$，且$\int fd\mu=\pm\infty$或$\int gd\mu=\pm\infty$，则$\int fd\mu\leq\int gd\mu.$

我的证明 #

1. 若$\int fd\mu=-\infty$，显然$\int fd\mu\leq\int gd\mu.$
2. 若$\int gd\mu=+\infty$，显然$\int fd\mu\leq\int gd\mu.$
3. 当$\int fd\mu=+\infty$时：
   • 由积分定义，$+\infty=\int fd\mu=\int f^+d\mu-\int f^-d\mu$，因此$\int f^+d\mu=+\infty$且$\int f^-d\mu\in\mathbb{R}.$
   • 由$f(x)\leq g(x)$，即$f^+(x)-f-(x)\leq g(x)$，移项得$f^+(x)\leq g(x)+f^-(x).$
   • 根据3.8 积分保序性，可得$\int f^+d\mu\leq \int \left(g+f^-\right)d\mu.$
   • 再由3.21 积分可加性（因$\int f^-d\mu<\infty$，$\int gd\mu$有定义，故$g+f^-$的积分可拆分），得$\int f^+d\mu\leq \int gd\mu+\int f^-d\mu.$
   • 因为$\int f^-d\mu$是实数，两边同时减去它可得：$\int fd\mu=\int f^+d\mu-\int f^-d\mu\leq \int gd\mu.$
4. 当$\int gd\mu=-\infty$时：
   • 由积分定义，$-\infty=\int gd\mu=\int g^+d\mu-\int g^-d\mu$，因此$\int g^+d\mu\in\mathbb{R}$且$\int g^-d\mu=+\infty.$
   • 由$f(x)\leq g(x)=g^+(x)-g-(x)$，移项得$g^-(x)\leq g^+(x)-f(x).$
   • 根据3.8 积分保序性，可得$\int g^-d\mu\leq \int (g^+-f)d\mu.$
   • 由3.20 积分齐次性和3.21 积分可加性，得$\int g^-d\mu\leq \int g^+d\mu-\int fd\mu.$
   • 因为$\int g^-d\mu=+\infty$，所以$\int g^+d\mu-\int fd\mu=+\infty.$ 又因$\int g^+d\mu$是实数，故$\int fd\mu=-\infty$，从而$\int fd\mu=\int gd\mu.$

证明正确性验证 #

你的证明逻辑非常严谨，每一步都紧扣书中的定理体系，完全没有问题：

• 对于$\int fd\mu=-\infty$和$\int gd\mu=+\infty$的简单情形处理简洁到位；
• 当$\int fd\mu=+\infty$时，通过分解$f$的正负部，利用非负函数的保序性和积分可加性推导，尤其注意到$\int f^-d\mu$是实数这一关键条件，避免了无穷运算的逻辑谬误；
• 当$\int gd\mu=-\infty$时，反向通过$g$的正负部分解推导，最终得出$\int fd\mu=-\infty$，自然满足保序关系，这部分的移项和定理应用也毫无漏洞。

可以说这个证明是完全正确的～

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