实变函数论3-测度论3-可测集类11：设E是任一可测集，则一定存在Gᵩ型集G，使G⊃E，且m(G\E)= 0

在前一节中，我们定义了可测集合，并且讨论了可测集合的一些性质，但是在一般常见的集合中有哪些是可测的呢？我们现在来回答这个问题

---

根据博雷尔集的定义，博雷尔集全体已构成一个 $\sigma$代数. 但是可以证明，并非每个$L$ 可测集都是博雷尔集。

那么 $L$可测集合类中除了博雷尔集之外，究竟还包含一些怎样的集合呢？

定理5

设 $E$ 是任一可测集，则一定存在 $G_{\delta }$ 型集 $G,$ 使$G\supset E,$ 且 $m(G\backslash E)=0.$

证明
(1)先证：对于任意 $\epsilon >0,$ 存在开集 $G,$ 使$G\supset E,$ 且 $m(G\backslash E)<\epsilon .$

为此，先设 $mE<\infty ,$ 则由测度定义，有一列开区间 { I i } ( i = 1 , 2 , ⋯   ) , \left\{ I _ { i } \right\} ( i = 1 , 2 , \cdots ) , { Ii​}(i=1,2,⋯), 使${\bigcup }_{i=1}^{\infty }{I}_i\supset E,$ 且

$$\sum _{i=1}$$