定义
设 E ⊂ R , V = { I } E \subset \mathbf { R } , \mathscr { V } = \{ I \} E⊂R,V={ I} 是长度为正的区间族,如果对于任意 x ∈ E x \in E x∈E 及任意 ε > 0 , \varepsilon > 0 , ε>0, 存在区间 I x ∈ V , I _ { x } \in \mathscr { V } , Ix∈V, 使 x ∈ I x x \in I _ { x } x∈Ix 且 m I x < ε , m I _ { x } < \varepsilon , mIx<ε, 则称 V \mathscr { V } V 依 维塔利意义覆盖 E , E , E, 简称 E E E 的 V-覆盖。
易证其定义的等价形式为:对于任意 x ∈ E , x \in E , x∈E, 存在一列区间 { I n } ⊂ T , \left\{ I _ { n } \right\} \subset \mathscr { T } , { In}⊂T, 使 x ∈ I n , n = 1 , x \in I _ { n } , n = 1 , x∈In,n=1, 2 , ⋯ , 2 , \cdots , 2,⋯, 且 m I n → 0 ( n → ∞ ) . m I _ { n } \rightarrow 0 ( n \rightarrow \infty ) . mIn→0(n→∞).
定理(维塔利覆盖定理)
设 E ⊂ R E \subset \mathbf { R } E⊂R 且 m ∗ E < ∞ , β m ^ { * } E < \infty , \beta m∗E<∞,β 是 E E E 的 V − V - V− 覆盖,则可选出区间列 { I n } ⊂ Y , \left\{ I _ { n } \right\} \subset \mathscr { Y } , { In}⊂Y, 使各 I n I _ { n } In 互不相交且
m ( E \ ⋃ k I k ) = 0. ( 1 ) m \left( E \backslash \bigcup _ { k } I _ { k } \right) = 0 .\quad\quad(1) m(E\k⋃Ik)=0.(1)
证明
不妨设 Y \mathscr { Y } Y 是由闭区间组成的,这是因为
m ∗ ( E \ ⋃ k I k ) = m ∗ ( E \ ⋃ k I k ) . m ^ { * } \left( E \backslash \bigcup _ { k } I _ { k } \right) = m ^ { * } \left( E \backslash \bigcup _ { k } I _ { k } \right) . m∗(E\k⋃Ik)=m∗(E\k⋃Ik).
其次不妨再设 V \mathscr { V } V 中 各区间都含在一个测度有限的开集 U U U</