关于勒贝格积分极限的等式证明正确性验证

你的证明整体思路是正确的，不过有几个小细节可以调整得更严谨，我来帮你拆解下：

首先明确问题背景：

设$(X, m, \mu)$是测度空间，$f: X \to [0, \infty]$是可测函数且$\int_X f\ d\mu < \infty$。对任意$n \in \mathbb{N}$，定义$A(n) = {x \in X \mid f(x) \leq n }$，$f_n = f \chi_{A(n)}$，求证$\lim_{n\to\infty} \int_X |f-f_n|d\mu = 0$

对你的证明的分析 #

1. 关于函数列的单调性：你提到$f_n < f_{n+1}$，其实应该是$f_n \leq f_{n+1}$——当$x \in A(n)$时，$x$必然属于$A(n+1)$，此时$f_n(x)=f(x)=f_{n+1}(x)$，并非严格小于，这个小细节修正后更准确。
2. 推导步骤的严谨性：
   • 因为$f$是非负可测函数，所以$|f - f_n| = f - f_n$（毕竟$f_n$是$f$在$A(n)$上的截断，显然$f \geq f_n \geq 0$），你写成$|f|(1-\chi_{A(n)})$是对的，但直接去掉绝对值会更直观。
   • 你使用单调收敛定理（MCT）的步骤是正确的：由于${f_n}$是单调递增的非负可测函数列，且逐点收敛到$f$，根据MCT确实有$\lim_{n\to\infty} \int_X f_n d\mu = \int_X f d\mu$。
   • 后续的代数变形：$\int_X f d\mu - \lim_{n\to\infty} \int_X f_n d\mu = \int_X f d\mu - \int_X \lim_{n\to\infty} f_n d\mu$，这一步正是MCT的核心结论，完全没问题，最终得到差值为0的结果是正确的。

补充另一种证明思路（控制收敛定理） #

其实还可以用勒贝格控制收敛定理（DCT）来更直接地证明：

• 首先，$|f - f_n| \leq f$对所有$n$成立（因为$f_n \geq 0$，所以$f - f_n \leq f$，而左边是非负的）；
• 已知$\int_X f d\mu < \infty$，即$f$是可积函数；
• 逐点来看，$\lim_{n\to\infty} (f - f_n)(x) = 0$：对任意$x$，若$f(x) < \infty$，则当$n > f(x)$时，$x \in A(n)$，$f_n(x)=f(x)$，所以$f(x)-f_n(x)=0$；若$f(x)=\infty$，但因为$f$可积，这类点的测度为0，不影响积分结果。
• 根据DCT，直接可得$\lim_{n\to\infty} \int_X |f-f_n|d\mu = \int_X \lim_{n\to\infty} |f-f_n|d\mu = 0$。

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