《实变函数简明教程》,P91,定理4.8(ii)(零测集上的任意广义实值函数Lebesgue可积且积分值为0)
待分析命题
若 f f f是零测集 E E E上的任意广义实值函数,则
∫ E f ( x ) d x = 0 , 从 而 f ∈ L ( E ) 。 \int_{E}{f\left( x \right)dx}=0,从而f\in L\left( E \right)。 ∫Ef(x)dx=0,从而f∈L(E)。
证明过程
首先,由课本P60的例2:零测集上的任意广义实值函数可测,有
广 义 实 值 函 数 f 可 测 。 广义实值函数f可测。 广义实值函数f可测。
基于此,我们将 f f f拆分为正部 f + {
{f}^{+}} f+与负部 f − {
{f}^{-}} f−的差,即
f