単調増加しない非負値可測関数列$\lbrace f _{n}(x) \rbrace$にも成立する性質:ファトゥの補題

ルベーグの単調収束定理は次のようなもので、非負値可測関数列$\lbrace f _{n} \rbrace$が単調増加列であることを必要としています。 $E$の上で$0 \leq f _{1} \leq f _{2} \leq \cdots \leq f _{n} \cdots, \displaystyle \lim _{n \to \infty} f _{n} = f$ならば、$\displaystyle \lim _{n \to \infty} \int _{E} f _{n}…