实变函数论3-测度论2-可测集12：定理8【设{Sᵢ}是一列递增的可测集合S₁⊂S₂⊂⋯⊂Sₙ⊂⋯，令S=⋃Sᵢ=limSₙ，则：mS=lim(mSₙ)】

定义

设 $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$ 的 L测度，记为 $mE$。 L可测集全体记 为 $\mathcal{M}.$

以下便根据该定义来推导 $L$ 测度的性质，包括验证它确实满足我们的要求

---

定理8

设