勒贝格外侧度为0的集合勒贝格可测.

1. 这里，我们使用Carathéodory’s criterion来证明这个结论。

2. 首相，令 $m^{\ast }(A)=0$.

3. 接下来我们就需要证明 $A$ 是勒贝格可测的。

4. 为了证明 $A$勒贝格可测， 我们需要证明下面的等式对所有的
   $S\subset {\mathbb{R}}^n$ 成立。

   $$m^{\ast }(S)=m^{\ast }(S\cap A)+m^{\ast }(S\cap A^c)$$

5. 又因为

   $$S=(S\cap A)\cup (A\cap A^C)$$

   我们可以得到

   $$m^{\ast }(S)⩽m^{\ast }(S\cap A)+m^{\ast }(S\cap A^C)$$

6. 接下来只需要证明

   $$m^{\ast }(S\cap A)+m^{\ast }(S\cap A^C)⩽m^{\ast }(S)$$

   即可

7. 因为 $S\cap A\subset A$, 所以

   $$m^{\ast }(S\cap A)⩽m^{\ast }(A)=0$$

8. 因为 $S\cap A^C\subset S$, 所以

   $$m^{\ast }(S\cap A^C)⩽m^{\ast }(S)$$

9. 由7,8得6成立。故而结论得证.