关于积分极限存在性与计算的推导验证问询

嘿，你的推导整体是完全正确的！咱们来一步步拆解确认下：

极限存在性的证明 #

你使用**勒贝格控制收敛定理（Dominated Convergence Theorem）**的思路完全没问题：

• 每个$f_n(x) = 1 - e^{\frac{-x2}{n}}$都是可测函数，这一点很明确；
• 逐点收敛到0：对任意$x \in [0,1]$，当$n \to \infty$时，$\frac{-x^2}{n} \to 0$，因此$e^{\frac{-x2}{n}} \to e^0 = 1$，自然$f_n(x) \to 0$；
• 控制函数$g(x)=1$是$[0,1]$上的可积函数（积分值为1），且对所有$n$和$x \in [0,1]$，都满足$|f_n(x)| \leq g(x)$，完全符合控制收敛定理的应用条件。

极限计算的思路 #

其实勒贝格控制收敛定理本身就允许你直接将极限移到积分号内部，不需要额外使用Beppo Levi定理（单调收敛定理）哦！不过你用Beppo Levi的推导也是正确的：

• $f_n(x)$是非负可测函数，且确实是单调递减的（当$n$增大时，$\frac{-x^{2}{n}$趋近于0，$e}{\frac{-x^2}{n}}$随之增大，因此$1 - e^{\frac{-x2}{n}}$单调减小），逐点收敛到0；
• 加上$I_1 = \int_{[0,1]}(1-e^{-x2})dλ(x) < \infty$，满足单调收敛定理（针对递减序列的版本）的要求，因此也能推导出$\lim_{n \rightarrow \infty}I_n = \int_{[0,1]}\lim_{n \rightarrow \infty}f_n(x)dλ(x) = 0$。

总结一下：你的两种推导思路都是成立的，但控制收敛定理已经足够直接解决这个问题，没必要再绕到Beppo Levi定理啦！

备注：内容来源于stack exchange，提问作者Marco Di Giacomo