第2章 ,第三节 开集的可测性精选.pdfVIP

第二章 测度理论 第三节 开集的可测性 定理2.4 矩体 I 是可测集，且 mI | I | 证明： 只需证明对任意的开矩体J, | J |≥m∗(J ∩I ) +m* (J ∩I c ). J ∩I 仍为矩体，记为 J 0 。 而J ∩I c 可分解为 有限个互不相交的矩体 J , , J 的并。 1 N N 所以 J ∪J k ， 因此 k 0 N N ∗ * c * m (J ∩I ) +m (J ∩I ) ≤ m J | J | | J | ∑ k ∑ k k 0 k 0 因此I可测。 注：零测集、矩体、开集、闭集、 Gδ 型集（可数个开集的交）、 Fσ 型集（可数个闭集的并）、Borel型集（粗略说：从开集出发 通过取余，取交或并（有限个或可列个）运算得到）都是可测集。 注：开集、闭集既是Gδ 型集也是 Fσ 型集； 有理数集是Fσ 型集，但不是 Gδ 型集； 无理数集是G 型集，但不是 F 型集。 δ σ 有理数集可看成可数个单点集的并，而单点集是闭集； 通过取余Gδ 型集与Fσ 型集相互转化（并与交，开集与闭集互 换） 2. 可测集与开集、闭集的关系 (1) 若 E 可测，则 ∀ε 0 , ∃开集 G ， 使得 E ⊂ G 且 m ( G − E ) ε ( 2 ) 若 E 可测，则 ∀ε 0 , ∃闭集 F ， 使得 F ⊂ E 且 m ( E − F ) ε 即：可测集与开集、闭集只相差一小测度集 （可测集“差不多”就是开集或闭集）。 (1)若E 可测，则 ∀ε 0 , ∃开集 G ， 使得 E ⊂ G 且m (G −E ) ε (2)若E 可测，则 ∀ε 0, ∃闭集F ， 使得 F ⊂ E 且m (E −F ) ε c 证明：若(1) 已证明，由E 可测可知 ∀ε 0, ∃开集G，使得E c ⊂G且m(G −E c ) ε 取F=G c ，则F为闭集 F ⊂E 且m(E −F ) m(E ∩F c ) m((E c )c ∩F c ) m(F c −E c ) m(G −E c ) ε (1).若E可测，则 ∀ε 0, ∃开集G，使得E ⊂G且m(G −E ) ε 证明:(1)当mE+ ∞时，由外测度定义知 ∞ ∞ * * ∀ε 0, ∃开矩体列{I }, 使得E ⊂∪I 且m E ≤ | I | ≤m E +ε i i ∑ i