##### 法图引理 - 法图引理 - **法图引理**是[[勒贝格积分]]中的一个不等式, 表示先取极限下确界再积分结果总是比先积分再取极限下确界小, [[函数序列极限]]与积分是半交换的, 即使不能直接交换至少不会太小. 设 $(X, \mathcal{A}, \mu)$ 是一个[[测度空间]], $\{f_n\}_{n=1}^\infty$​ 是非负可测函数序列, 则有 - $\displaystyle \int_X \liminf_{n \to \infty} f_n \text{d}\mu \leq \liminf_{n \to \infty} \int_X f_n \text{d}\mu$