第二章lebesgue测度.pdfVIP

第2 章 Lebesgue 测度 为了建立一种新的积分理论, 我们必须对直线, 平面或空间上的相当广泛的 一类集, 给出一种类似于长度, 面积面积或体积的度量. 这种新的度量应该满足 1 什么条件呢? 以一维情形为例. 我们希望对任意A ÌR , 给予A 一种度量, 我们 称之为测度, 记为m(A). 既然m(A) 是长度的推广, 它应满足如下的性质: (1) 非负性: m(A) ³0 . (2) 有限可加性: 若A , , A 是互不相交的集, 则 1 k æk ö k m çç A ÷÷= m(A ).  å ç i ÷÷ i èi=1 ø i=1 (3) 可列可加性: 若{Ak }是R1 中的一列互不相交的集, 则 æ¥ ö ¥ ç ÷ m ç A ÷= m(A ). (2.1)  å ç k ÷÷ k èk =1 ø k =1 (4) m([a, b]) =b -a. 在上述的性质中, 性质(3) 是最重要的. 测度的可列可加性 Lebesgue 积分理论成 功的关键. 注 (2.1)式的两端的值允许为+¥. (2.1) 式表示当等式的一端取有限值时, 另一端也有取有限值, 并且两端相等. 当一端取值为+¥时, 另一端也为+¥. 以后遇到类似的等式, 都应这样理解. 我们当然希望能够对Rn 的所有子集都能定义测度, 并且满足上述的性质 (1) ~ (4). 但已经证明这是不可能的. 我们只能对Rn 中的一部分集即所谓“可测 集”定义测度. 这种可测集是相当广泛的一类集, 包含了所有常见的集, 例如有 限集或可列集, 各种方体, 开集和闭集等, 以及这些集经过有限或可列并, 交和 余运算所得的集. 因此在应用上是足够了. § 2.1 外测度 本节要点 本节给出了外测度的定义,讨论出外测度的基本性 质,并且计算了可数集和方体的测度. 外测度具有次可列可加性,平移不变性,方体的外测度等于方体 的体积,这些说明外测度具有一些与长度,面积和体积等类似的性 质.外测度是建立可测集和测度理论的第一步. 定义外测度的想法来源于面积的计算. 在计算平面上一个曲边梯形的面积 的时候, 我们用该曲边梯形的外接阶梯形或内接阶梯形的面积逼近曲边梯形的 面积. 实际上就是用很多小的矩形的面积之和逼近曲边梯形的面积. 自然地我们 应该将这种方法用于直线, 平面或一般n 维空间Rn