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

待分析命题

  设$E\subset {\mathbb{R}}^n$是一个可测集，$f$是一个广义实值函数且在$E$上有Lebesgue积分。对$E$的任意一个子集$F$，若$F$可测，则$f$在$F$上也有Lebesgue积分。

证明过程

1. 第一步，将$f$分解为其正部$f^{+}$与负部$f^{-}$的差：
   f ( x ) = f + ( x ) − f − ( x ) ， 其 中 f + ( x ) = max ⁡ { f ( x ) , 0 } ,   f − ( x ) = min ⁡ { − f ( x ) , 0 } . f\left( x \right)={ {f}^{+}}\left( x \right)-{ {f}^{-}}\left( x \right)，其中{ {f}^{+}}\left( x \right)=\max \left\{ f\left( x \right),0 \right\},\text{ }{ {f}^{-}}\left( x \right)=\min \left\{ -f\left( x \right),0 \right\}. f(x)=f+(x)−f−(x)，其中f+(x)=max{ f(x),0}, f−(x)=min{ −f(x),0}.
   由于$f$在$E$上Lebesgue积分有意义，根据课本P90的定义4.3，有
   $$f是E上的可测函数，\text{\hspace{1em}(1)}$$
   且有
   ∫ E f ( x ) d x = ∫ E f + ( x ) d x − ∫ E f − ( x ) d x ， 其 中 ∫ E f + ( x ) d x ,   ∫ E f − ( x ) d x 不 同 时 为 ∞ . (2) \int_{E}{f\left( x \right)dx}=\int_{E}{ { {f}^{+}}\left( x \right)dx}-\int_{E}{ { {f}^{-}}\left( x \right)dx}，其中\int_{E}{ { {f}^{+}}\left( x \right)dx},\text{ }\int_{E}{ { {f}^{-}}\left( x \right)dx}不同时为\infty. \tag{2} ∫E​f(x)dx=∫E​f+(x)dx−∫E​f−(x)dx，其中∫