贡献者: JierPeter
为了引入新的积分思想,我们首先要讨论可测函数的相关概念。
为了方便将来的讨论,我们将实数扩充为 “广义实数”(有的地方也称之为 “扩充实数”),即在实数集合中再添加 $\pm\infty$ 这两个元素。
$\pm\infty$ 的运算规则简述如下:
设 $a, b, c$ 都是实数,且 $b<0< c$,则还有:
要注意的是,由于广义实数不是微积分中的 “任意大”、“极限” 等概念,而是两个具有上述运算性质的新元素,因此 $(\pm\infty)+(\mp\infty)$ 是不允许的运算,多数情况下 $0\cdot(\pm\infty)$ 也是不允许的。另外,这两个新元素也不是拓扑意义上 “一点紧化” 的那 “一点”,请注意区别。
最后,还要再补充一个关系:对于任意实数 $a$,都有
这样一来,我们就可以不再局限于实数集,而是在广义实数集上定义函数。
可测函数是构造 Lebesgue 积分思想的砖块,就像 “柱子的面积” 是 Riemann 积分思想的砖块一样。
可测函数要保持的性质是,在对值域进行分划的时候,各分划区间通过逆映射对应的 “底面” 是可测集,这样才能满足可加性。定义 1 中的限制看起来没有 “任意分划得到的底面都是可测集”,但实际上定义到这个程度已经够了,这可以从下面的定理 1 看出:
证明:
为方便讨论,记 $\{x\in E|f(x)\geq a\}=E_a$。
于是 $\{x\in E|f(x)>a\}=\bigcup_{k=1}^\infty E_{a+1/k}$,因此它也是可测集。
而 $\{x\in E|f(x)< a\}=E-E_a$,故它也是可测集。
最后,$\{x\in E|f(x)\leq a\}=E-\{x\in E|f(x)>a\}$,因此也是可测集。
类似地,用这四句话中任意一个作为可测集的定义,都可以通过上述方式证明其它几句话所描述的也是可测集。
证毕。
注意,空集也是零测集,所以 “几乎处处” 也包含了 “处处” 的情况。
根据可测集的性质,我们容易得到以下定理 2 和定理 3 ,证明留作习题。
根据定理 1 ,我们只需要关注函数几乎处处的性质即可。
证明:
任取实数 $y_0$,则集合 $\{x\in\mathbb{R}^n|af(x)+bg(x)\geq y_0\}$ 是全体 $\{x\in\mathbb{R}^n|f(x)\geq \frac{s}{a}, g(x)\geq \frac{y_0-s}{b}\}$ 的集合之并,其中 $s$ 是常数,求并时 $s$ 遍历全体广义实数。
各 $\{x\in\mathbb{R}^n|f(x)\geq \frac{s}{a}, g(x)\geq \frac{y_0-s}{b}\}$ 是两个可测集的交,因此都是可测集,因此它们的并 $\{x\in\mathbb{R}^n|af(x)+bg(x)\geq y_0\}$ 是可测的。由 $y_0$ 的任意性,即得证 $af+bg$ 是可测函数。
$f\cdot g(x)=f(x)g(x)$ 的证明思路也是类似的,讨论 $f$ 和 $g$ 分别满足什么条件才能使得 $fg$ 满足 “大于等于特定常数”,故在此省略证明过程,留作习题。
证毕。
函数的正部可以看成是把所有为负的函数值都提升到零,像是把函数图像的下半部分 “削平” 了;同理,函数的负部就是把上半部分削平了,再把整个函数翻转为非负的。这样定义后,我们只需要讨论非负函数的性质,便可以利用正部与负部的概念把讨论结果应用到任意函数上。
根据可测函数的定义容易得到,$f$ 可测的充要条件是 $f^+$ 和 $f^-$ 都可测;另外,$f$ 可测还有一个必要但不充分1条件为,$ \left\lvert f \right\rvert $ 可测。
下方图形的定义只针对了非负函数,但实际上由于对称性,非正函数的性质和非负函数也无本质不同,同样可以定义上方图形;加之我们可以通过把 $f$ 分为正部和负部来讨论,所以对非负函数的下方图形的讨论已经可以展现任何实变函数的性质了。
下面这个定理揭示了可测函数与可测集之间的联系:
证明:
为方便计,我们考虑 $E\subseteq\mathbb{R}$ 上的函数,即一元实函数,并令自变量为 $x$ 轴,因变量为 $y$ 轴。多元的情况是类似的。
首先证明必要性。已知 $f$ 是可测函数,那么各 $E_k=G(E; f)\cap\{(x, y)|y\geq -k\}$ 都应该是可测集。又因为 $\bigcup^\infty_{k=1} E_k=G(E; f)$,故 $G(E; f)$ 也是可测集。
接着证明充分性。已知 $G(E; f)$ 是可测集,且对任意实数 $k$,$\{(x, y)|y\geq k\}$ 都是可测集。那么任意 $\{(x, f(x))|f(x)\geq k\}$ 也是可测集,从而任意 $\{x|f(x)\geq k\}$ 是可测集,即 $f$ 是可测函数。
证毕。
1. ^ 不充分性很显然:取 $f$ 的定义为,在一个不可测集上取值为 $1$,其它地方取值为 $-1$,那么这个函数本身是不可测的,但 $ \left\lvert f \right\rvert $ 可测。