实变函数论3-测度论3-可测集类2：定理2【区间I（不论开、闭或半开半闭区间）都是可测集合，且mI=∣I∣】

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

---

定理2

区间 $I$ （不论开、闭或半开半闭区间）都是可测集合，且$mI=|I|.$

证明
设 $I_0$ 为异于区间 $I$ 的 任一开区间，则

$$\left|I_0\right|=m^{\ast }\left(I_0\cap I\right)+m^{\ast }\left(I_0\cap I^c\right).$$

事实上，在