贡献者: JierPeter
为了引入新的积分思想,我们首先要讨论可测函数的相关概念。
1. 广义实数
为了方便将来的讨论,我们将实数扩充为 “广义实数”(有的地方也称之为 “扩充实数”),即在实数集合中再添加 这两个元素。
的运算规则简述如下:
设 都是实数,且 ,则还有:
要注意的是,由于广义实数不是微积分中的 “任意大”、“极限” 等概念,而是两个具有上述运算性质的新元素,因此 是不允许的运算,多数情况下 也是不允许的。另外,这两个新元素也不是拓扑意义上 “一点紧化” 的那 “一点”,请注意区别。
最后,还要再补充一个关系:对于任意实数 ,都有
这样一来,我们就可以不再局限于实数集,而是在广义实数集上定义函数。
2. 可测函数
可测函数是构造 Lebesgue 积分思想的砖块,就像 “柱子的面积” 是 Riemann 积分思想的砖块一样。
定义 1 可测函数
设 是 上的函数(值域为广义实数集),其定义域 为一个可测集。如果对于任意实数 ,都有 是可测集,那么称 是 上的可测函数(measurable function),也可以说 在 上是可测的。
例 1 可测函数的例子
黎曼函数 的定义如下:
由于有理数只有可数个,故根据定理 1 ,黎曼函数中函数值不为零的点总是零测集,也即可测。因此黎曼函数是可测函数。
可测函数要保持的性质是,在对值域进行分划的时候,各分划区间通过逆映射对应的 “底面” 是可测集,这样才能满足可加性。定义 1 中的限制看起来没有 “任意分划得到的底面都是可测集”,但实际上定义到这个程度已经够了,这可以从下面的定理 1 看出:
定理 1
设 是 上的可测集, 是 上的一个函数,则以下命题等价:
- 是可测函数;
- 对于任意实数 , 是可测集;
- 对于任意实数 , 是可测集;
- 对于任意实数 , 是可测集。
证明:
为方便讨论,记 。
于是 ,因此它也是可测集。
而 ,故它也是可测集。
最后,,因此也是可测集。
类似地,用这四句话中任意一个作为可测集的定义,都可以通过上述方式证明其它几句话所描述的也是可测集。
证毕。
推论 1
设 为 上的可测函数,则 和 都是可测集。
定义 2 几乎处处
“几乎处处(almost everywhere)”,指 “除了一个零测集以外都”。比如说,如果说两个函数几乎处处相等,那就是说它们不相等的地方是一个零测集。有的时候也用 “a. e. ” 来简称。
注意,空集也是零测集,所以 “几乎处处” 也包含了 “处处” 的情况。
根据可测集的性质,我们容易得到以下定理 2 和定理 3 ,证明留作习题。
定理 2
设 是可测集, 和 是在 上定义的函数。如果两个函数几乎处处相等,那么 可测当且仅当 可测。
定理 3
如果各 都是可测集,且 是每个 上的可测函数,那么 也是 上的可测函数。
根据定理 1 ,我们只需要关注函数几乎处处的性质即可。
定理 4
设 和 都是可测集 上的可测函数,且都几乎处处有意义,那么 和 也都是可测函数,其中 都是常数。
证明:
任取实数 ,则集合 是全体 的集合之并,其中 是常数,求并时 遍历全体广义实数。
各 是两个可测集的交,因此都是可测集,因此它们的并 是可测的。由 的任意性,即得证 是可测函数。
的证明思路也是类似的,讨论 和 分别满足什么条件才能使得 满足 “大于等于特定常数”,故在此省略证明过程,留作习题。
证毕。
3. 可测函数与可测集的关系
定义 3 正部和负部
给定 上的可测函数 ,记 ,。分别称 和 为 的正部(positive part)和负部(negative part)。
函数的正部可以看成是把所有为负的函数值都提升到零,像是把函数图像的下半部分 “削平” 了;同理,函数的负部就是把上半部分削平了,再把整个函数翻转为非负的。这样定义后,我们只需要讨论非负函数的性质,便可以利用正部与负部的概念把讨论结果应用到任意函数上。
根据可测函数的定义容易得到, 可测的充要条件是 和 都可测;另外, 可测还有一个必要但不充分1条件为, 可测。
定义 4 下方图形
给定可测集 上的非负函数 ,其图像可以在 中表示,即 具有 个分量。
在 中,将集合 称为 的下方图形,可记为 。
下方图形的定义只针对了非负函数,但实际上由于对称性,非正函数的性质和非负函数也无本质不同,同样可以定义上方图形;加之我们可以通过把 分为正部和负部来讨论,所以对非负函数的下方图形的讨论已经可以展现任何实变函数的性质了。
下面这个定理揭示了可测函数与可测集之间的联系:
定理 5
给定可测集 上的非负函数 ,则 是可测函数当且仅当 的下方图形是 上的可测集。
证明:
为方便计,我们考虑 上的函数,即一元实函数,并令自变量为 轴,因变量为 轴。多元的情况是类似的。
首先证明必要性。已知 是可测函数,那么各 都应该是可测集。又因为 ,故 也是可测集。
接着证明充分性。已知 是可测集,且对任意实数 , 都是可测集。那么任意 也是可测集,从而任意 是可测集,即 是可测函数。
证毕。
1. ^ 不充分性很显然:取 的定义为,在一个不可测集上取值为 ,其它地方取值为 ,那么这个函数本身是不可测的,但 可测。
致读者: 小时百科一直以来坚持所有内容免费无广告,这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此,我们请求广大读者
热心打赏 ,使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元,我们一周就能脱离亏损, 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款, 他们的付出帮助了 99% 的读者免费获取知识, 我们在此表示感谢。