定义
设 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 测度的性质,包括验证它确实满足我们的要求
定理9
设 { S i } \left\{ S _ { i } \right\} { Si} 是一列递降的可测集合
S 1 ⊃ S 2 ⊃ ⋯ ⊃ S n ⊃ ⋯ , S _ { 1 } \supset S _ { 2 } \supset \cdots \supset S _ { n } \supset \cdots , S1⊃S2⊃⋯⊃Sn⊃⋯,
令 S = ⋂ i = 1 ∞ S i = lim n → ∞ S