定义
设 E E E 为 R n \mathbf { R } ^ { n } Rn 中的点集,如果对任一点集 T T T 都有
m ∗ T = m ∗ ( T ∩ E ) + m ∗ ( T ∩ E c ) , m ^ { * } T = m ^ { * } ( T \cap E ) + m ^ { * } \left( T \cap E ^ { c } \right) , m∗T=m∗(T∩E)+m∗(T∩Ec),
则称 E E E 是 L可测的。这时 E E E 的 L外测度 m ∗ E m ^ { * } E m∗E 即称为 E E E 的 L测度,记为 m E \color{red}{mE} mE。 L可测集全体记 为 M . \mathscr { M } . M.
以下便根据该定义来推导 L L L 测度的性质,包括验证它确实满足我们的要求
定理6
设 { S i } \left\{ S _ { i } \right\} { Si} 是一列互不相交的可测集,则 ⋃ i = 1 ∞ S i \bigcup _ { i = 1 } ^ { \infty } S _ { i } ⋃i=1∞Si 也是可测集,且
m ( ⋃ i = 1 ∞ S i ) = ∑ i = 1 ∞ m S i . ( 7 ) m \left( \bigcup _ { i = 1 } ^ { \infty } S _ { i } \right) = \sum _ { i = 1 } ^ { \infty } m S _ { i } . \quad\quad(7) m(i=1⋃∞Si)=i=1∑∞mSi.(7)
证明
首先证明 ⋃ i = 1 ∞ S i \bigcup _ { i = 1 } ^ { \infty } S _ { i } ⋃i=1∞Si的可测性.因由推论1,对任何 n , ∑ i = 1 n S i n , \sum _ { i = 1 } ^ { n } S _ { i } n,∑i=1nSi 可测,故对于任意 T T