实变函数讲稿第12讲.pdfVIP

实变函数讲稿（第 12 讲） 教学内容：可测集的基本性质 详细教案 第 2 章 测度论 1.1 外测度 n * ⎧∞ ∞ ⎫ 定义 1 E ⊆ ，则称m E inf I I =⊃E , I 为长方体 是点集 E ⎨∑ ∪ ⎬ n n n ⎩n 1 n 1 ⎭ 的外测度. 上一次课的最后一个结果. 引理 3 外测度不是对于所有集合具有可数可加性. 问题：怎样的集合类相对于外测度具有可数可加性？ 1.2 可测集及其性质 一．可测集的概念. 定义 2 假设E ⊂n ，E 称为是 Lebesgue 可测的（简称 E 是可测的），如果 * * * n ∀T ⊂ ，恒有m T m T ∩E =+m T ∩CE 这时，称 * 是点集 E 的 ( ) ( ) m E Lebesgue 测度（简称测度）记为mE . 命题 1 E ⊆n ，E 是可测集 ∀A ⊂E ，∀B ⊂CE ，有 * * * m (A ∪B) m A =+m B . 证明 设 E 是可测集，由定义，对于 n ⇒ ∀T ⊂ ，有 ( ) * * * m T m (T ∩E )=+m (T ∩CE ). 对于∀A ⊂E ，∀B ⊂CE ， 令T A ∪B ，则 m* (A ∪B) m* ((A ∪B)∩E )=+m* ((A ∪B)∩CE ) * * * * m (A ∩E )=+m (B ∩CE ) m A =+m B . 第 12 讲 █ █ * * * n ⇐ 设∀A ⊂E ，∀B ⊂CE ，有m A ∪B m A =+m B ，则∀T ⊂ ， ( ) ( ) 有T ∩E ⊂E ，T ∩CE ⊂CE . 因此， * * * * m T m T ∩E ∪ T ∩CE m T ∩E =+m T ∩CE .