第8讲：外测度课件.ppt

《第8讲：外测度课件.ppt》由会员分享，可在线阅读，更多相关《第8讲：外测度课件.ppt（45页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。

1、第8讲 外测度 目的：懂得如何从长方体的体积概念导出 外测度概念，了解外测度与体积概 念的异同。重点与难点：外测度的定义，不可测集的 存在性。正如引言中所说，要研究一般函数的积分，首先要建立一般集合的“长度”概念，这一工作可以追溯到19世纪人们关于容量的研究，其中具有代表性的人物是Peano（皮严诺）、Jordon（约当）以及Lebesgue的老师Borel（波雷尔）。然而，Lebesgue的工作替代了十九世纪的创造，特别是他改进了Borel的测度论。第8讲 外测度 第8讲 外测度 一外测度的定义 问题问题1 1：回忆平面内的面积、：回忆平面内的面积、3 3维空间中维空间中 长方体的体积概念，

2、如何定义长方体的体积概念，如何定义n n 维空间中长方体的体积？维空间中长方体的体积？问题问题2 2：有限个互不相交的长方体之并的：有限个互不相交的长方体之并的 体积是什么？体积是什么？问题问题3 3：回忆：回忆RiemannRiemann积分的定义及其几何积分的定义及其几何 意义，由此启发我们如何定义一般意义，由此启发我们如何定义一般 集合的集合的“面积面积”或或“体积体积”？第8讲 外测度 众所周知，在 中，开矩形的面积为 ，在 中，开长方体的体积为 。很自然地，我们也称 中的开集第8讲 外测度 为开长方体，并定义其体积为 如果 是一个一般的集合怎么办呢？熟悉RiemannRiemann积

3、分的人可能比较自然地会想到，用一些长方体去分割它，然后以长方体的体积之和近似代替 的体积。但值得注意的是，由于 是一般的集合，它可能不含任何开长方体，例如若 是有理数第8讲 外测度 集，它不可能充满任何长方体。因此，我们不能象Riemann积分那样企图采用长方体内外来挤的办法来定义一般集合的“长度”。尽管如此，Riemann积分的思想还是给了我们极大的启示，它依然是我们的出发点，只不过具体做法稍不同。第8讲 外测度 定定义义1 1 设 是 的点集，是 中的一列开长方体，则 确定一个非负的数 （或 ）。记 称 为 的LebesgueLebesgue外测度外测度。第8讲 外测度 二.外测度的性质

4、问题问题4 4：回忆：回忆RiemannRiemann积分具有什么性积分具有什么性 质，由此猜测外测度应具有什么质，由此猜测外测度应具有什么 性质？性质？第8讲 外测度 应该注意到，由于没有假定 是有界集，所 以 有可能是 ，就象 的长度 是 一样。由于在 中任意平移一个长方体并不 改变其体积，所以外测度也具有平移不变平移不变 性性，此外外测度还有如下几个基本性质：第8讲 外测度 性质1 。性质2 若 ，则 。性质3 。第8讲 外测度 问题问题5 5：RiemannRiemann积分具有有限可加性，积分具有有限可加性，两个互不相交的集合之并的外测两个互不相交的集合之并的外测 度是否为这两个集合

5、的外测度之度是否为这两个集合的外测度之 和？为什么？和？为什么？第8讲 外测度 性质1是显而易见的。如果注意到当 时，凡是能盖住 的开长方体序列一定也能盖住 ，则由外测度定义很容易得到 。事实上，盖住 的 开 长 方 体 序 列 的 全 体 比 盖 住 的 开 长 方 体 序 列 全 体 更 多。为证性质3，可采用如下办法，对任意 ，由外测度定义知，对每个 ，存在开长方体序列 ，满足第8讲 外测度 从而 ，且于是第8讲 外测度 由 的任意性知 。看起来似乎外测度概念推广了通常的体积概念，我们所期待的问题已经解决，但是，当我们完成了在某个原始概念基础上推广或建立一个新的概念后，首先必须回过头 第

6、8讲 外测度 来审查一下这一概念是否具有合理性，所谓合理性就应包括下面两个方面的问题：1、它是否的确为原始概念的自然推广？2、它是否继承了原始概念的基本特征？按 上述方式定义的外测度是不是长方体体 积概念的一种推广呢？这就要看看当 是长方体时，其体积与外测度是否相等。为方便计算，以 为例来说明这件事，一般情形可类似证明。假设 是矩形或是从某个矩形挖去有限个开矩形后剩第8讲 外测度 下的部分，是 的闭包（显然 与 有通常的体积）。下面用归纳法证明，如果 是任意有限个盖住 的开矩形。则 。如果 是某个开矩形，它将 盖住时，则显然有 。假设 是 个开矩形将 盖住时，有 。第8讲 外测度 往证盖住 的

7、 个开矩形 也满足记 ，则 仍是从矩形中挖去有限个开矩形后剩下的部分，且 将 盖住（事实上，不难证明：）。由归纳假设知第8讲 外测度 ，于是 所以对任意有限个盖住 的开矩形 ，有 。第8讲 外测度 下设 是任一列开矩形将 盖住，则由有限覆盖定理知存在有限个 ，它们也将 盖住，于是 ，进而 。由 的任意性知 。由外测度的定义，不难看到 。于是第8讲 外测度 即 。故 。特别地，当 是长方体时，。至于相反的不等式则是显然的。综上得 。这说明外测度确是“体积”（或“面积”、“长度”）概念的自然拓广。至此，集合的第8讲 外测度“体积”问题似乎已得到解决，但事情远非如此简单。既然外测度是体积概念的自然推

8、广，那么当 时，应有 。因为区间的长度或立体的体积都是具有可加性的。遣憾的是，外测度并非对所有的集合都具有可加性。事实上，如果对任意 第8讲 外测度 两个不交的集合 都有 ，则不难推知对任意有限个互不相交的点集 ，也有进而对任意一列互不相交的点集 ，有第8讲 外测度 令 便知相反的不等式由外测度的性质3立得，所以这就是说，只要外测度具有可加性，则它一定具有可数可加性。然而下面的例子说明，外测度并不具有这种性质。第8讲 外测度 例1 对任意 ，令 显然 ，故 非空，而且对任意 ，如果 ，则 。事实上，若 ，则对任意 及 ，均为有理数，也为为理数，于是 及 第8讲 外测度 都为有理数，这说明 ，由

9、 的任意性知 （实际上 是有理数）。这样，可以分解成一些互不相交的 之并，对每个 ，从中任取一点构成一个集合 ，当然 。记 为 中有理数全体，第8讲 外测度 即 是将 平移 后得到的，显然 ，而且当 时，。若不然，存在 ，则存在 ，使 ，于是 为有理数，但由 的构造，若 ，则 属于不同的 ，即 不能为有理数，因此只能有 ，然而这将导致 ，再次得到矛盾，所以 与 一定不交。第8讲 外测度 下证 ，任取 ，则 ，由 的构造，是单点集，设为 ，于是 是有理数，且 ，因此存在某个 ，使 ，这样 。即 。综上得 。如果外测度具有可加性，则第8讲 外测度 注意 是经过 平移 后得到的，故 ，于是由 的收敛

10、性知 ，然而这样导致 。这个矛盾说明外测度的确不具有可加性。第8讲 外测度 问题出在哪里呢？是不是外测度的定义有缺陷？从上面的例子可以看到，整个的证明并未用到外测度的具体构造，这就是说，只要一种关于集合的函数（常称为集函数）具备性质1、2、3及可加性，就不可避免地会碰到上述矛盾。而性质1、2、3与可加性又是必须具备的条件。由此可见，问题不在于外测度的定义方法有毛病，而是碰到了一种无法克服的困难。换句话说，总有一些集合，其测度是不具有可加性的，既然无法克服这个困难，最好的办法是把这些集合排除在外，只考虑那些具第8讲 外测度 有可加性的集合。我们把前者称为不可测集不可测集，后者称为可测集可测集。第

11、8讲 外测度 三.可测集的定义问题问题6 6：回忆：回忆RiemannRiemann积分的存在性定理，积分的存在性定理，它启发我们应如何定义一般的可测它启发我们应如何定义一般的可测 集？集？第8讲 外测度 如何判断一个集合是可测或不可测的呢？有两种方法来作出判断，其一是采用内外测度的办法，回忆微积分中求曲边梯形的面积时，通过将函数的定义区间分割成若干小区间，然后以这些小区间为边作若干小矩形包住曲边梯形，同时又让曲边梯形包住以这些小区间为边的另一些小矩形，如果当划分越来越细时，内外小矩形面积之和趋于同一个值，则曲边梯形的面积就存在。否则就不存在，内外测度方法与此很相似，集合E 的外测度是包住E

12、的一些小长方体和体积之和的下确界，如何作内测度呢？第8讲 外测度 第8讲 外测度 为叙述方便，以直线上有界点集 为例，不妨设 ，若 可测，也应可测，于是应有 。如果开区间 盖住了 ，则 ，因此一种自然的方式是定义 的内测度为：当 时，称 是可测集。直观地解释内测度就是将 挖去一些开区间后剩下部分的长度之上确界。回忆一下直线上有界闭集的构造不难发现，内测度其实就是包含在 中的闭集的测度之上确界；而闭集的测度可以定义为某个包含它的闭区间长度减去其余集的构成区间长度之和。第8讲 外测度 第8讲 外测度 但是将这一方法推广到 中会带来一些技术上的麻烦，所以下面我们采用另外一种方法。如果 是可测集（注意

13、，我们尚未定义可测集）。也应当是可测的，于是应有 。但 ，由外测度性质3 至少有一个为 ，所以上述等式恒成立。第8讲 外测度 由此并不能得到关于可测性的任何实质性信息，因此，我们将 限制在任意的开长方体 上，考虑 与 是否可加，即对任意开长方体 ，下式是否总成立：假如对一切开长方体上式总成立，则可以证明对任意集合 ，下式也成立第8讲 外测度 事实上，对任意 ，存在开长方体序列 ，使 ，且 。由于第8讲 外测度 故 第8讲 外测度 由 的任意性知 ，于是 。我们就用该式来定义可测性。第8讲 外测度 定义定义2 2 假设 ，如果对任意集合 ，都有 则称 为Lebesgue可测集，此时 称为 的Lebesgue测度，简记为 。第8讲 外测度 等式（1）称为CaratheodoryCaratheodory条条件件，它有一个等价的叙述方式，即：对任意 都有 事实上,若(1)成立,则对任意 ,取 ,则得第8讲 外测度 从而（2）成立。反之，若（2）成立，则对任意 ，取 ，则 ，从而由（2）得而第8讲 外测度 故 两个基本问题是：哪些集合是可测的？可测集具有什么性质？比如，前面定义的开集、闭集是否可测？下一讲将讨论这些问题。第8讲 外测度 作业作业：P53 1，2，3，4