实变函数论5-积分论2-“非负简单函数”的勒贝格积分2：勒贝格积分（L积分）【φ(x)在E上的勒贝格积分：∫ᴱφ(x)dx=∑cᵢmEᵢ】【∫ᴰD(x)dx=1×mQ+0×mQᶜ=1×0+0×∞=0】

定义（非负简单函数）

设 $E\subset {\mathbf{R}}^n$ 为可测集， $\phi (x)$ 为$E$ 上的一个非负简单函数，即 $E$ 表示为有限个互 不相交的可测集 $E_1,E_2,\cdots ,E_k$之并，而在每个 $E_i$ 上 $\phi (x)$ 取非负常数值 $c_i,$也就是说

$$\phi (x)=\sum _{i=1}^k{c}_i{\chi }_{E_i}(x).$$

这里 ${\chi }_{E_i}(x)$ 是 $E_i$ 的特征函数。

---

定义（勒贝格积分）

$\phi (x)$ 在 $E$ 上的勒贝格积分（简称 $L$积分，不产生误解时就称为积分），定义为

$${\int }_E\phi (x)\mathrm{d}x=\sum _{i=1}^k{c}_{i}m{E}_i.$$

其中：

• $c_i$ 表示 $E_i$ 的值；
• $m{E}_i$ 表示 $E_i$的测度；

设 $A\subset E$ 为可测子集， $\phi (x)$ 在 $A$ 上的勒贝格积分定义为 $\phi$ 在 $A$ 上 的限制${\phi |}_A$ 在 $A$上的勒贝格积分，于是

$${\int }_A\phi (x)\mathrm{d}x=\sum _{i=1}^k{c}_{i}m\left(A\cap E_i\right).$$

例
设全体有理数所成之集记为 $\mathbf{Q},\mathbf{R}$上的狄利克雷函数定义为

$$D(x)=\{\begin{array}{ll}1,& 若x\in \mathbf{Q},\\ 0,& 若x\in {\mathbf{Q}}^c,\end{array}$$

则

$${\int }_{\mathrm{R}}D(x)\mathrm{d}x=1\cdot m\mathrm{Q}+0\cdot m{\mathrm{Q}}^c=1\cdot 0+0\cdot \infty =0.$$