外测度ppt课件

第8讲外测度 目的 懂得如何从长方体的体积概念导出外测度概念 了解外测度与体积概念的异同 重点与难点 外测度的定义 不可测集的存在性 1 正如引言中所说 要研究一般函数的积分 首先要建立一般集合的 长度 概念 这一工作可以追溯到19世纪人们关于容量的研究 其中具有代表性的人物是Peano 皮严诺 Jordon 约当 以及Lebesgue的老师Borel 波雷尔 然而 Lebesgue的工作替代了十九世纪的创造 特别是他改进了Borel的测度论 第8讲外测度 2 第8讲外测度 一 外测度的定义问题1 回忆平面内的面积 3维空间中长方体的体积概念 如何定义n维空间中长方体的体积 问题2 有限个互不相交的长方体之并的体积是什么 3 问题3 回忆Riemann积分的定义及其几何意义 由此启发我们如何定义一般集合的 面积 或 体积 第8讲外测度 4 众所周知 在中 开矩形的面积为 在中 开长方体的体积为 很自然地 我们也称中的开集 第8讲外测度 5 为开长方体 并定义其体积为如果是一个一般的集合怎么办呢 熟悉Riemann积分的人可能比较自然地会想到 用一些长方体去分割它 然后以长方体的体积之和近似代替的体积 但值得注意的是 由于是一般的集合 它可能不含任何开长方体 例如若是有理数 第8讲外测度 6 集 它不可能充满任何长方体 因此 我们不能象Riemann积分那样企图采用长方体内外来挤的办法来定义一般集合的 长度 尽管如此 Riemann积分的思想还是给了我们极大的启示 它依然是我们的出发点 只不过具体做法稍不同 第8讲外测度 7 定义1设是的点集 是中的一列开长方体 则确定一个非负的数 或 记称为的Lebesgue外测度 第8讲外测度 8 二 外测度的性质问题4 回忆Riemann积分具有什么性质 由此猜测外测度应具有什么性质 第8讲外测度 9 应该注意到 由于没有假定是有界集 所以有可能是 就象的长度是一样 由于在中任意平移一个长方体并不改变其体积 所以外测度也具有平移不变性 此外外测度还有如下几个基本性质 第8讲外测度 10 性质1 性质2若 则 性质3 第8讲外测度 11 问题5 Riemann积分具有有限可加性 两个互不相交的集合之并的外测度是否为这两个集合的外测度之和 为什么 第8讲外测度 12 性质1是显而易见的 如果注意到当时 凡是能盖住的开长方体序列一定也能盖住 则由外测度定义很容易得到 事实上 盖住的开长方体序列的全体比盖住的开长方体序列全体更多 为证性质3 可采用如下办法 对任意 由外测度定义知 对每个 存在开长方体序列 满足 第8讲外测度 13 从而 且于是 第8讲外测度 14 由的任意性知 看起来似乎外测度概念推广了通常的体积概念 我们所期待的问题已经解决 但是 当我们完成了在某个原始概念基础上推广或建立一个新的概念后 首先必须回过头 第8讲外测度 15 来审查一下这一概念是否具有合理性 所谓合理性就应包括下面两个方面的问题 1 它是否的确为原始概念的自然推广 2 它是否继承了原始概念的基本特征 按上述方式定义的外测度是不是长方体体积概念的一种推广呢 这就要看看当是长方体时 其体积与外测度是否相等 为方便计算 以为例来说明这件事 一般情形可类似证明 假设是矩形或是从某个矩形挖去有限个开矩形后剩 第8讲外测度 16 下的部分 是的闭包 显然与有通常的体积 下面用归纳法证明 如果是任意有限个盖住的开矩形 则 如果是某个开矩形 它将盖住时 则显然有 假设是个开矩形将盖住时 有 第8讲外测度 17 往证盖住的个开矩形也满足记 则仍是从矩形中挖去有限个开矩形后剩下的部分 且将盖住 事实上 不难证明 由归纳假设知 第8讲外测度 18 于是所以对任意有限个盖住的开矩形 有 第8讲外测度 19 下设是任一列开矩形将盖住 则由有限覆盖定理知存在有限个 它们也将盖住 于是 进而 由的任意性知 由外测度的定义 不难看到 于是 第8讲外测度 20 即 故 特别地 当是长方体时 至于相反的不等式则是显然的 综上得 这说明外测度确是 体积 或 面积 长度 概念的自然拓广 至此 集合的 第8讲外测度 21 体积 问题似乎已得到解决 但事情远非如此简单 既然外测度是体积概念的自然推广 那么当时 应有 因为区间的长度或立体的体积都是具有可加性的 遣憾的是 外测度并非对所有的集合都具有可加性 事实上 如果对任意 第8讲外测度 22 两个不交的集合都有 则不难推知对任意有限个互不相交的点集 也有进而对任意一列互不相交的点集 有 第8讲外测度 23 令便知相反的不等式由外测度的性质3立得 所以这就是说 只要外测度具有可加性 则它一定具有可数可加性 然而下面的例子说明 外测度并不具有这种性质 第8讲外测度 24 例1对任意 令显然 故非空 而且对任意 如果 则 事实上 若 则对任意及 均为有理数 也为为理数 于是及 第8讲外测度 25 都为有理数 这说明 由的任意性知 实际上是有理数 这样 可以分解成一些互不相交的之并 对每个 从中任取一点构成一个集合 当然 记为中有理数全体 第8讲外测度 26 即是将平移后得到的 显然 而且当时 若不然 存在 则存在 使 于是为有理数 但由的构造 若 则属于不同的 即不能为有理数 因此只能有 然而这将导致 再次得到矛盾 所以与一定不交 第8讲外测度 27 下证 任取 则 由的构造 是单点集 设为 于是是有理数 且 因此存在某个 使 这样 即 综上得 如果外测度具有可加性 则 第8讲外测度 28 注意是经过平移后得到的 故 于是由的收敛性知 然而这样导致 这个矛盾说明外测度的确不具有可加性 第8讲外测度 29 问题出在哪里呢 是不是外测度的定义有缺陷 从上面的例子可以看到 整个的证明并未用到外测度的具体构造 这就是说 只要一种关于集合的函数 常称为集函数 具备性质1 2 3及可加性 就不可避免地会碰到上述矛盾 而性质1 2 3与可加性又是必须具备的条件 由此可见 问题不在于外测度的定义方法有毛病 而是碰到了一种无法克服的困难 换句话说 总有一些集合 其测度是不具有可加性的 既然无法克服这个困难 最好的办法是把这些集合排除在外 只考虑那些具 第8讲外测度 30 有可加性的集合 我们把前者称为不可测集 后者称为可测集 第8讲外测度 31 三 可测集的定义问题6 回忆Riemann积分的存在性定理 它启发我们应如何定义一般的可测集 第8讲外测度 32 如何判断一个集合是可测或不可测的呢 有两种方法来作出判断 其一是采用内外测度的办法 回忆微积分中求曲边梯形的面积时 通过将函数的定义区间分割成若干小区间 然后以这些小区间为边作若干小矩形包住曲边梯形 同时又让曲边梯形包住以这些小区间为边的另一些小矩形 如果当划分越来越细时 内外小矩形面积之和趋于同一个值 则曲边梯形的面积就存在 否则就不存在 内外测度方法与此很相似 集合E的外测度是包住E的一些小长方体和体积之和的下确界 如何作内测度呢 第8讲外测度 33 第8讲外测度 为叙述方便 以直线上有界点集为例 不妨设 若可测 也应可测 于是应有 如果开区间盖住了 则 因此一种自然的方式是定义的内测度为 34 当时 称是可测集 直观地解释内测度就是将挖去一些开区间后剩下部分的长度之上确界 回忆一下直线上有界闭集的构造不难发现 内测度其实就是包含在中的闭集的测度之上确界 而闭集的测度可以定义为某个包含它的闭区间长度减去其余集的构成区间长度之和 第8讲外测度 35 第8讲外测度 但是将这一方法推广到中会带来一些技术上的麻烦 所以下面我们采用另外一种方法 如果是可测集 注意 我们尚未定义可测集 也应当是可测的 于是应有 但 由外测度性质3至少有一个为 所以上述等式恒成立 36 第8讲外测度 由此并不能得到关于可测性的任何实质性信息 因此 我们将限制在任意的开长方体上 考虑与是否可加 即对任意开长方体 下式是否总成立 假如对一切开长方体上式总成立 则可以证明对任意集合 下式也成立 37 第8讲外测度 事实上 对任意 存在开长方体序列 使 且 由于 38 第8讲外测度 故 39 第8讲外测度 由的任意性知 于是 我们就用该式来定义可测性 40 第8讲外测度 定义2假设 如果对任意集合 都有则称为Lebesgue可测集 此时称为的Lebesgue测度 简记为 41 第8讲外测度 等式 1 称为Caratheodory条件 它有一个等价的叙述方式 即 对任意都有事实上 若 1 成立 则对任意 取 则得 42 第8讲外测度 从而 2 成立 反之 若 2 成立 则对任意 取 则 从而由 2 得而 43 第8讲外测度 故两个基本问题是 哪些集合是可测的 可测集具有什么性质 比如 前面定义的开集 闭集是否可测 下一讲将讨论这些问题 44 第8讲外测度 作业 P531 2 3 4 45