《实变函数简明教程》，第四章：Lebesgue积分，第4.1节-第4.3节，P82-P100，定理整理

P84，定理4.1（非负简单函数积分的性质）

提供对象：$\phi$和$\psi$都是可测集$E$上的非负简单函数。

定理内容：

1. $0\le {\int }_E\phi \left(x\right)dx\le \infty$。
2. ${\int }_{E}c\phi \left(x\right)dx=c{\int }_E\phi \left(x\right)dx$，其中$c$为非负实数。
3. ${\int }_E\left(\phi \left(x\right)+\psi \left(x\right)\right)dx={\int }_E\phi \left(x\right)dx+{\int }_E\psi \left(x\right)dx$。
4. 又若$E=A\cup B$，$A\cap B=\varnothing$，$A,B\in \mathcal{M}$，则
   $${\int }_E\phi \left(x\right)dx={\int }_A\phi \left(x\right)dx+{\int }_B\phi \left(x\right)dx.$$
5. 又若$\phi \left(x\right)\le \psi \left(x\right)\left(x\in E\right)$，则
   $${\int }_E\phi \left(x\right)dx\le {\int }_E\psi \left(x\right)dx.$$

P87，定理4.2（非负可测函数积分的性质）

提供对象：$f$和$g$都是可测集$E$上的非负可测函数。

定理内容：

1. $0\le {\int }_{E}f\left(x\right)dx\le \infty$。
2. ${\int }_{E}cf\left(x\right)dx=c{\int }_{E}f\left(x\right)dx$，其中$c$为非负实数。
3. ${\int }_E\left(f\left(x\right)+g\left(x\right)\right)dx={\int }_{E}f\left(x\right)dx+{\int }_{E}g\left(x\right)dx$。
4. 又若$E=E_1\cup E_2$，$E_1\cap E_2=\varnothing$，$E_1,E_2\in \mathcal{M}$，则
   $${\int }_E\phi \left(x\right)dx={\int }_{E_1}\phi \left(x\right)dx+{\int }_{E_2}\phi \left(x\right)dx.$$
5. 又若$f\left(x\right)\le g$