贡献者: JierPeter
本节为实变函数的一部分,因此讨论中涉及的集合均为实数集合
在微积分或数学分析中,介绍积分的时候通常都是指 Riemann 积分。Riemann 积分的思路是对定义域作分划,在每个分划区间里取一个代表的函数值作为 “高度”,分划区间作为 “底部”,构成许多 “柱子”,计算这些柱子的 “体积” 并求和。这种思路的好处是逻辑上容易处理,只需要有极限的概念就能讨论清楚怎么积分。但是它有很多局限性,比如严重依赖函数的连续性,导致理论不完备,无法处理很多例外情况。比较典型的例子有 Riemman 函数和 Dirichlet 函数。
Lebesgue 积分就是换了一种积分的思路,反过来对值域作分划,计算各函数值(“高度”)对应的自变量集合的 “底面积”,以此来计算 “柱子体积” 并求和。上面提到的 Riemann 积分处理不了的病态函数,就可以用 Lebesgue 积分来处理,并且对于 Riemann 积分能处理的函数,两种积分算出来的结果是一样的。
考虑 Riemann 函数,函数值为整数
集合的 “面积”,被称为 “测度(measure)”。本节我们就来讨论测度的概念。
有了开集的体积概念,我们就可以定义一种测度了。
外测度可以这样理解:要测量一个物体的体积,就用不同形状和大小的容器去容纳它,整理出所有能容纳它的容器,那这些容器的体积的下确界就是该物体的体积。要注意的是,开集都是开区间或者开方块的并集,所以每个容器开集也都可以理解为用一系列不相交的开区间或开方块来覆盖待测的集合
这就是为什么我们要先定义开集的测度,因为它最直观,最容易理解,用开集来做容器再合适不过。
可以类比,如果先定义闭集的体积,就可以定义任意点集的内测度,即反过来用给定的任意点集做容器,看它能容纳的闭集体积的上确界是什么。使用闭集建立内测度理论稍麻烦些,我们这里只用外测度。
利用开集体积的性质和外测度的定义,很容易证明该定理,故在此省略证明。用简练的数学语言,可以把定理 2 写成:
显然,外测度是体积的推广,也继承了体积的一些性质:
注意比较定理 1 和定理 2 的异同。定理 3 的第 1 和第 2 条很容易证明,留作习题。下面证明后两条。
证明:
可数次可加性:
应用开集体积的可数次可加性以及外测度的定义即可。任取开集
又因为
任何能容纳
分离条件下的可数可加性:
应用开集体积的完全可加性以及外测度的定义即可。
取开集
再结合
证毕。
最后,我们要再讨论一个引理,在下一节可测集合中会很有用。
证明:
由外测度的单调性,知
反设
但是由集合的极限可知,
因此假设不成立,引理得证。
证毕。
可加性是定义 Lebesgue 积分时极为基础的性质,它是说,任取两个不相交的集合,则它们的并集的测度等于各自测度的和。如果这个性质成立,那么 Lebesgue 积分就可以很自然地定义了。但是很可惜的是,它并不成立,我们用以下反例来说明:
我们能不能通过修改外测度的定义,来让任意不相交的集合之间都满足可加性呢?答案是不能,因为例 1 的推导中只用到了外测度的非负性、单调性、可数次可加性、平移不变性以及定理 2 ,这些都是开集的体积也拥有的性质。因此,不管怎么定义外测度,只要它是体积的推广,就不可能绕开例 1 的问题。
所以,为了能正常研究积分,我们只好对集合的性质进行限制了,详见可测集合。
1. ^ 注意,这不是正定性,即非空集合的测度也可以为零,比如只有一个点的集合。
2. ^ 注意,不是按大小顺序编号(这是不可能做到的),而是用任意的编号方式。其中一种方式可以参见康托尔的三角编号法。给有理数编号而不是直接说取有理数,是为了方便之后构造并集。
3. ^ 即
友情链接: 超理论坛 | ©小时科技 保留一切权利