待分析命题
设 E ⊂ R n E\subset {
{\mathbb{R}}^{n}} E⊂Rn是一个零测集, φ \varphi φ是 E E E上的一个非负简单函数,则
φ ∈ L ( E ) 且 ∫ E φ ( x ) d x = 0. \varphi \in L\left( E \right) 且 \int_{E}{\varphi \left( x \right)dx}=0. φ∈L(E)且∫Eφ(x)dx=0.
证明过程
根据课本P60的定义3.2,我们设非负简单函数 φ \varphi φ的标准表示式为
φ ( x ) = ∑ i = 1 k c i χ E i ( x ) , x ∈ E = ⋃ i = 1 k E i , (*) \varphi \left( x \right)=\sum\limits_{i=1}^{k}{
{
{c}_{i}}{
{\chi }_{
{
{E}_{i}}}}\left( x \right)},\text{ }x\in E=\bigcup\limits_{i=1}^{k}{
{
{E}_{i}}}, \tag{*} φ(x)=i=1