可测函数的基本性质

定理1： 若$f(x),g(x)$是$E$上的可测函数，则$cf(x)(c\in \mathbb{R})$，$f(x)g(x)$是$E$上的可测函数；$f(x)+g(x)$与$f(x)/g(x)$是其有定义的集合上的可测函数。

推论1： 设$E\subset {\mathbb{R}}^n$是可测集，则$E$上连续函数均为可测函数，即$C(E)\subset \mathcal{M}(E)$。

定理2： 设 { f k ( x ) } \{f_k(x)\} {fk​(x)}是可测集$E\subset {\mathbb{R}}^n$上的可测函数列，则下列函数：
（1） sup ⁡ k ≥ 1 { f k ( x ) } \sup\limits_{k \ge 1}\{f_k(x)\} k≥1sup​{fk​(x)}；
（2） inf ⁡ k ≥ 1 { f k ( x ) } \inf\limits_{k \ge 1}\{f_k(x)\} k≥1inf​{fk​(x)}；
（3）${\overline{\lim }}_{k\to \infty }{f}_k(x)$；
（4）${\underline{\lim }}_{k\to \infty }{f}_k(x)$
都是$E$上的可测函数。

推论2： 设 { f k ( x ) } \{f_k(x)\} {fk​(x)}是可测函数$E$上的可测函数列，且有$$\underset{k\to \infty }{\lim }{f}_k(x)=f(x)$$则$f(x)$是$E$上的可测函数。

定理3： 若$E\subset {\mathbb{R}}^n$是可测集，则$E$上实值函数$f(x)$是可测的充分必要条件是，$f^{+}(x),f^{-}(x)$都是$E$上可测函数，当$f(x)$在$E$上可测时，$|f(x)|$在集合$E$上也是可测的。

定理4： 设$f(x)$是$\mathbb{R}$上连续函数，$g(x)$是${\mathbb{R}}^n$中可测集$E$上的可测函数，则复合函数$$h(x)=f(g(x))$$是$E$上的可测函数。

定理5： 设$E\subset {\mathbb{R}}^n$是可测集，$f(x)$，$g(x)$是$E$上两个函数。如果$f(x)$与$g(x)$在$E$上几乎处处相等，即存在一个集合$E_0\subset E$，满足$m(E_0)=0$，使得函数$f$与$g$在集合$E\backslash E_0$上处处相等，则当其中一个在$E$上可测时，另一个在$E$上也可测。