§2.3R上的 Lebesgue测度 教学目的本节利用§22中一般测度的构造方法,构造一个重要的测度, 即欧氏空间R"上的 Lebesgue测度, Lebesgue测度的建立,为定义 Lebesgue积 分打下基础 本节要点利用§22一般测度的构造方法可以较快的构造出Lcbe 度. Lebesgue测度不仅具有抽象测度具有的基本性质,而且还具有一些特有的 性质,如利用开集或闭集的逼近性质等. Lebesgue可测集包含了常见的一些集, 但仍存在不可测集. Lebesgue-Stieljes测度是 Lebesgue度的推广应利用较多 的例题,习题和几何直观使学生逐步加深对 Lebesgue测度的理解 在§2.1和§2.2中讨论了一般测度的性质和构造方法.本节将讨论一个十分重要的情形, 就是n维欧式空间R”上的 Lebesgue测度和 Lebesgue- Stieltjes测度.我们将重点讨论 Lebesgue测度,然后介绍直线上的 Lebesgue-Stieltjes测度 方体的体积我们将要定义的 Lebesgue测度是熟知的长度,面积和体积概念的推广,因 此我们先对R”上的方体的体积作一些规定.设是直线上的一个有界区间(开的,闭的或半 开半闭的)用川表示区间r的长度,即的右端点与左端点之差.若是无界区间,则规 定|=+∞.又规定空集也是区间并且2=0.设1,…n是直线上的n个区间称R"的 子集Ⅰ=1×…×为R中的一个方体在直线R和平面R2中,方体分别就是区间和矩 形.若l1,…,J都是开区间,则称为R中的开方体类似可定义R”中的闭方体和半开 半闭方体设=1x…×1n为R中的一个方体,称=1…n为的体积 环上的测度设C是R中有界的左开右闭方体的全体所成的集类.不难证明C是 个半环(在R的情形是显然的一般情形留作习题).对每个Ⅰ∈C,令 m()= 则显然集函数m在C上是有限可加的并且m(∞)=0.又设是由C生成的环,即 ={4=U1:其中1,…J属于C并且互不相交k21} (见313定理4)对每个A∈R,若A的一个分解式为A=Um,则令53 §2.3 n R 上的 Lebesgue 测度 教学目的 本节利用§2.2 中一般测度的构造方法, 构造一个重要的测度, 即欧氏空间 n R 上的 Lebesgue 测度. Lebesgue 测度的建立, 为定义 Lebesgue 积 分打下基础. 本节要点 利用§2.2 一般测度的构造方法,可以较快的构造出 Lebesgue 测 度. Lebesgue 测度不仅具有抽象测度具有的基本性质, 而且还具有一些特有的 性质,如利用开集或闭集的逼近性质等. Lebesgue 可测集包含了常见的一些集, 但仍存在不可测集. Lebesgue-Stieljes 测度是 Lebesgue 度的推广. 应利用较多 的例题,习题和几何直观使学生逐步加深对 Lebesgue 测度的理解. 在§2.1 和§2.2 中讨论了一般测度的性质和构造方法. 本节将讨论一个十分重要的情形, 就是 n 维欧式空间 n R 上的 Lebesgue 测度和 Lebesgue-Stieltjes 测度. 我们将重点讨论 Lebesgue 测度, 然后介绍直线上的 Lebesgue- Stieltjes 测度. 方体的体积 我们将要定义的 Lebesgue 测度是熟知的长度, 面积和体积概念的推广, 因 此我们先对 n R 上的方体的体积作一些规定. 设 I 是直线上的一个有界区间(开的, 闭的或半 开半闭的). 用 I 表示区间 I 的长度, 即 I 的右端点与左端点之差. 若 I 是无界区间, 则规 定 I = +∞. 又规定空集也是区间并且 ∅ = 0. 设 n I , ,I 1 " 是直线上的 n 个区间. 称 n R 的 子集 n I = I ×"× I 1 为 n R 中的一个方体. 在直线 1 R 和平面 2 R 中, 方体分别就是区间和矩 形. 若 n I , ,I 1 " 都是开区间, 则称 I 为 n R 中的开方体. 类似可定义 n R 中的闭方体和半开 半闭方体. 设 n I = I ×"× I 1 为 n R 中的一个方体, 称 n I = I ⋅"⋅ I 1 为 I 的体积. 环R 上的测度 设C 是 n R 中有界的左开右闭方体的全体所成的集类. 不难证明C 是 一个半环(在 1 R 的情形是显然的. 一般情形留作习题). 对每个 I ∈C , 令 m(I) = I . 则显然集函数m 在C 上是有限可加的并且 m(∅) = 0 . 又设R 是由C 生成的环, 即 { : , , , 1}. 1 1 = = ≥ = A I I I k k k i R ∪ i 其中 " 属于C 并且互不相交 (见§1.3 定理 4).对每个 A∈ R , 若 A 的一个分解式为 , ∪ 1 ∞ = = i i A I 则令