测度上Lebesgue积分的确定

本文假定读者有基本的测度论知识,故仅对测度做简单介绍.

$\text{Definition 1 }$集合$X$的子集族$\tau$称为拓扑,若$\tau$满足(1)$\varnothing ,X\in \tau$;(2)可列元素的交的封闭性;(3)有限、可列、或不可列元素的并的封闭性.
这样$(X,\tau )$被称为一个拓扑空间,若$x\in \tau$,称$x$是开集.

$\text{Definition 2 }$集合$X$的子集族$\mathfrak{M}$称为$\sigma -$代数,若$\tau$满足(1)$X\in \tau$;(2)补集元素的封闭性(交集逆元);(3)可列元素的并的封闭性.
这样$(X,\mathfrak{M})$被称为一个可测空间,若$x\in \mathfrak{M}$,称$x$是可测集.

注:$\mathfrak{M}$满足除了不可列元素并的封闭性以外拓扑空间的所有性质.

$\text{Defintion 3 }$设$X$是一个拓扑空间,则$X$中存在一个最小的$\sigma -$代数$\mathcal{B}$使得$\tau \subset \mathcal{B}$.若$x\in \mathcal{B}$,称$x$是$\text{Borel}$集.

$\text{Defintion 4 }$若$X,Y$是拓扑空间,设$f:X\to Y$,若$f^{-1}({\tau }_Y)\subseteq {\tau }_X$,那么称$f$是连续的.

$\text{Defintion 5 }$若$X,Y$分别是可测空间和拓扑空间,设$f:X\to Y$,若$f^{-1}({\tau }_Y)\subseteq {\mathfrak{M}}_X$,那么称$f$是可测的.

$\text{Defintion 6 }$若$Y$是拓扑空间,$X$上有一$\mathcal{B}$,设$f:X\to Y$,若$f^{-1}({\tau }_Y)\subseteq {\mathcal{B}}_X$,那么称$f$是$\text{Borel}$可测的.

设广义实域 R ‾ = R ∪ { − ∞ , + ∞ } \overline{R}=R\cup \{-\infty,+\infty\} R=R∪{ −∞,+∞},下界符号$\inf$,上界符号$\sup$,特征函数${\mathcal{X}}_E(x)=[x\in E]$.若我们说$f:X\to Y$可测,则假定$X,Y$分别是可测空间和拓扑空间.

先给出一个引理:
$\text{Lemma 7 }$若$f:X\to Y$将$X$,$Y$的开集或可测集映射,那么在$X,Y$容许的封闭性下.
若$x,y\in P(P是{\mathfrak{M}}_X或{\tau }_X)$,那么$f(x\cup y)=f(x)\cup f(y),f(x\cap y)=f(x)\cap f(y)$,
若$x,y\in P(P是{\mathfrak{M}}_Y或{\tau }_Y)$,那么$f^{-1}(x\cup y)=f^{-1}(x)\cup f^{-1}(y),f^{-1}(x\cap$