《实变函数简明教程》，P60，定义3.2中的简单函数的四则运算封闭性

一、简单函数的定义：P60，定义3.2

  若函数$\phi$定义在$E\subset {\mathbb{R}}^n$上，只取有限个不同的值$a_1,a_2,\cdots ,a_k$，并对每一个$i$，取值$a_i$的点集 E i ( = { x ∈ E :   φ ( x ) = a i } ) { {E}_{i}}\left( =\left\{ x\in E:\text{ }\varphi \left( x \right)={ {a}_{i}} \right\} \right) Ei​(={ x∈E: φ(x)=ai​})都是可测集，则称$\phi$为$E$上的简单函数。
注：由$E=\bigcup _{i=1}^k{E}_i$和课本P49的定理2.2，定义域$E$这时一定也是可测集。

二、简单函数的标准表示式：P60

  一方面，简单函数$\phi$都可表示为如下的可测集的特征函数的线性组合：
$$\phi \left(x\right)=\sum _{i=1}^k{a}_i{\chi }_{E_i}\left(x\right)，其中{\chi }_{E_i}\left(x\right)=\{\begin{array}{rl}& 1,x\in E_i,\\ & 0,x\in {E_i}^c,\end{array}，a_i\in \mathbb{R}，k<\infty \text{\hspace{1em}(*)}$$
式$\left(\ast \right)$中要求

1. 各个$E_i$可测；
2. $i\ne j$时$E_i\cap E_j=\varnothing$；
3. $E=\bigcup _{i=1}^k{E}_i$；
4. $i\ne j$时$a_i\ne a_j$。

此时式$\left(\ast \right)$称为简单函数$\phi$的标准分解式。若还要求
$$a_1<a_2<\cdots ,$$
则此时式（*）的写法是唯一的。

  另一方面，显然地，根据简单函数的定义，凡是能表示成式$\left(\ast \right)$的函数$\phi$都是$E$上的简单函数。

三、四则运算封闭性的具体内容

  若$\phi ,\psi$都是集合$E$上的简单函数，则
$$a\phi \pm b\psi （其中a,b是实常数），\phi \cdot \psi ，\phi /\psi （假定在E上每一点都有意义）$$
均为$E$上的简单函数。

四、四则运算封闭性的证明（已知$\phi$，$\psi$是简单函数）

设$E$上的简单函数$\phi$，$\psi$的标准表示式分别为
$$\begin{array}{rl}& \phi \left(x\right)=\sum _{i=1}^m{c}_i{\chi }_{M_i}\left(x\right);x\in E=\bigcup _{i=1}^m{M}_i;0\le c_1<c_2<\cdots ;\forall i_1\ne i_2,M_{i_1}\cap M_{i_2}=\varnothing ;各M_i可测.\\ & \psi \left(x\right)=\sum _{j=1}^n{d}_j{\chi }_{N_j}\left(x\right);x\in E=\bigcup _{j=1}^n{N}_j\end{array}$$