实变函数课件2_1.pdf

第二章 测度与测度的构造 我们知道 Riemann 积分的几何意义是曲边梯形的面积. 为在欧氏空间空间R n 上推广 Riemann 积分的理论, 我们必须把象长度, 面积和体积等概念推广到R n 中的更一般的集上 去. 本章将要定义的R n 上的Lebesgue 测度就是长度, 面积和体积等概念推广. §2.1 测度与测度的性质 教学目的 给出一般空间上测度的定义,并由测度的定义推出测度的 基本性质.Lebesgue 测度和Lebesgue-Stieljes 测度是本节定义的测度最重要 的特例, 将在§2.3 中介绍. 本节要点 本节讨论的测度是一般空间上的抽象测度.应通过一些例 子,使学生理解测度的意义. 广义实数集 测度论中讨论的函数和测度将允许取正、负无穷为值.为此引进“ +∞”和 −∞ “ ”两个符号, 称之为广义实数.规定它们与实数a 之间的大小关系和四则运算如下: (1) 序关系: −∞a +∞. (2) 加法: a +(±∞) (±∞) +a (±∞) +(±∞) ±∞. ±∞ a 0  (3) 乘法: ±∞ ±∞ a ⋅( ) ( ) ⋅a 0 a 0 ∓∞ a 0. a (4) 除法: 0. ±∞ (5) 绝对值: ±∞ +∞. 记R ∗= R 1 ∪{+∞,−∞}. 称R ∗ 为广义实数集, 它的元素称为广义实数. 取值于R ∗ 的 序列和函数分别称为广义实数列和广义实值函数. 测度的定义与性质 设X 是一固定的非空集. 本节所讨论的集都是X 的子集. 我们称定 义在集类上的函数为集函数. 定义 1 设R 为一个环, µ : R →[0, +∞] 是一个非负值集函数. 如果µ满足如下条 件: (i) µ(∅) 0. (ii) 可数可加性 : 对 A 中的任意一列互不相交的集 {A }, 当 n 38 ∞ ∪An ∈R 时, 成立 n 1 ∞ ∞ µ( A ) µ(A ). ∪ ∑ n n n 1 n 1 µ R 则 称为 上的一个测度. 注1 环上的测度也具有有限可加性.事实上, 设A , , A ∈R , 则 1 n n µ( ∪A ) µ(A ∪ ∪A