§3.2可测集合由定理3.1.1的4)可知外测度确为体积概念的推广.pdfVIP

§３.２ 可测集合 由定理３.１.１的4)可知：外测度确为“体积”概念的推广。非常令人遗 憾的是：外测度对一些集合而言无法满足可加性，即人们可构造这样一族互不相 N N * * i n n 交的集合S (i=1,2,...,N)满足m [U S ]＜∑ m S ，于是我们只有退而求 n 1 n 1 其次，探索可以限制在什么范围内满足可加性。 * * * 定义３.２.１ 若对任意T有m T＝m (T∩E)＋m (T∩CE)，则称E为 * Lebesgue 可测集。简称E可测。并称m E为E的测度，简记为mE。 直观地讲：可测集E是具有良好分割性能的集合，它将任意一个集合分成两 c 部分，一部分在E内即T∩E，另一部分在E外即T∩E ，两部分外测度之和恒等 于总体T的外测度。显然，这是为了满足测度可加性而作出的重要限制。 c * * * 定理３.２.１ E可测＝对任意A⊂E，B⊂E 有m (A∪B)＝m A＋m B c 证明 “＝”因为E可测，所以对任意A⊂E，B⊂E 令T＝A∪B，则 * * * T∩E＝A，T∩CE＝B，故m T＝m (T∩E)＋m (T∩CE)，即 * * * m (A∪B)＝m A＋m B c * * * ⊂ ⊂ “＝”因为对任意A E，B E 有m (A∪B)＝m A＋m B，所以对任意T， c * * * 令A＝T∩E⊂E，B＝T∩CE⊂E ，则由已知得 m (A∪B)＝m A＋m B * * * 即m T＝m (T∩E)＋m (T∩CE)。 定理３.２.２ E可测＝CE可测。 证明 因为C(CE)＝E，于是 * * * E可测＝m T＝m [T∩E]＋m [T∩(CE)] * * * ＝m T＝m [T∩C(CE)]＋m [T∩(CE)] * * * ＝m T＝m [T∩(CE)]＋m [T∩C(CE)] ＝CE可测。 证毕 1 2 1 2 1 2