《实变函数简明教程》，第四章：Lebesgue积分，在可测集E上Lebesgue可积的函数f在E的可测子集F上仍Lebesgue可积

待分析命题

  设$E\subset {\mathbb{R}}^n$是一个可测集，$f\in L\left(E\right)$。对$E$的任意一个子集$F$，若$F$可测，则$f\in L\left(F\right)$。

证明过程

1. 一方面，$f\in L\left(E\right)$蕴涵广义实值函数$f$在$E$上有Lebesgue积分。根据课本P90的定义4.3，我们有
   $${\int }_{E}f\left(x\right)dx={\int }_E{f}^{+}\left(x\right)dx-{\int }_E{f}^{-}\left(x\right)dx,$$
   其中
   f + ( x ) = max ⁡ {