定理6(Fatou/法图引理)
设 E ⊂ R n E \subset \mathbf { R } ^ { n } E⊂Rn 为可测集, { f n } n = 1 ∞ \left\{ f _ { n } \right\} _ { n = 1 } ^ { ∞ } { fn}n=1∞ 为 E E E 上的一列非负可测函数,则
∫ E lim ‾ n → ∞ f n ( x ) d x ⩽ lim ‾ n → ∞ ∫ E f n ( x ) d x . \int _ { E } \underset{n \to\infty}{\underline{\operatorname* {l i m}}} f _ { n } ( x ) \mathrm { d } x \leqslant \underset{n \to\infty}{\underline{\operatorname* {l i m}}} \int _ { E } f _ { n } ( x ) \mathrm { d } x . ∫En→∞limfn(x)dx⩽n→∞lim∫Efn(x)dx.
证明
令
g n ( x ) = inf { f k ( x ) : k ⩾ n , x ∈ E } , g _ { n } ( x ) = \inf \left\{ f _ { k } ( x ) : k \geqslant n , x \in E \right\} , gn(x)=inf{ fk(