实变函数论3-测度论2-可测集2：定理1【集合E可测的充要条件是对于任意A⊂E，B⊂Eᶜ，总有m*(A∪B)=m*A+m*B】

定义

设 $E$ 为 ${\mathbf{R}}^n$ 中的点集，如果对任一点集 $T$ 都有

$$m^{\ast }T=m^{\ast }(T\cap E)+m^{\ast }\left(T\cap E^c\right),$$

则称 $E$ 是 L可测的。这时 $E$ 的 L外测度 $m^{\ast }E$ 即称为 E E