在前一节中,我们定义了可测集合,并且讨论了可测集合的一些性质,但是在一般常见的集合中有哪些是可测的呢?我们现在来回答这个问题
定理2
区间 I I I (不论开、闭或半开半闭区间)都是可测集合,且 m I = ∣ I ∣ . m I = | I | . mI=∣I∣.
证明
设 I 0 I _ { 0 } I0 为异于区间 I I I 的 任一开区间,则
∣ I 0 ∣ = m ∗ ( I 0 ∩ I ) + m ∗ ( I 0 ∩ I c ) . \left| I _ { 0 } \right| = m ^ { * } \left( I _ { 0 } \cap I \right) + m ^ { * } \left( I _ { 0 } \cap I ^ { c } \right) . ∣I0∣=m∗(I0∩I)+m∗(I0∩Ic).
事实上,在