Lebesgue外测度—实变函数与泛函分析

引言

 19世纪下半叶，不少分析学家进行一系列扩充长度和面积概念的探索，逐渐形成测度的概念。1898年，博雷尔（Borel）建立了以为Borel点集的测度，法国数学家勒贝格（Lebesgue）在20世纪初叶系统地建立了测度论，并成功地就建立起新的积分理论。它发表于1902年的论文《积分、长度与面积》被公认为现代测度和积分理论的奠基之作。1915年，法国数学家弗雷歇（M.Frechet）提出一般$\sigma$代数上建立测度，开始创立抽象测度理论。1918年左右希腊数学家卡拉泰奥多里（Caratheodory）关于外测度的研究，对于现代形式测度理论的形成起了关键作用。
 ${\mathbb{R}}^n$上点集的Lebesgue测度是关于点集的一种度量，它是长度、面积和体积的一种直接而自然的推广；它是Lebesgue积分理论的基石。Lebesgue积分是黎曼积分的推广，它将积分对象从黎曼可积函数类扩充到更大一类函数—可测函数类。

外测度

 考虑${\mathbb{R}}^n$中的开矩体 I = { ( x 1 , x 2 , ⋯   , x n ) ∣ a i < x i < b i , i + 1 , 2 , ⋯   } , I=\{(x_1,x_2,\cdots,x_n)|a_i<x_i<b_i,i+1,2,\cdots\}, I={(x1​,x2​,⋯,xn​)∣ai​<xi​<bi​,i+1,2,⋯},可定义其体积为$$|I|=\prod _{i=1}^n(b_i-a_i)$$

定义1： 设$E$是${\mathbb{R}}^n$的点集，若 { I k } k = 1 ∞ \{I_k\}^{\infty}_{k=1} {Ik​}k=1∞​是${\mathbb{R}}^n$中的一个开矩体，且是$E$的一个覆盖，则它确定了一个非负实数$$u=\sum _{k=1}^{\infty }|I_k|$$记$$m^{\ast }(E)=\inf \left\{u|u=\sum _{k=1}^{\infty }|I_k|,\bigcup _{k=1}^{\infty }{I}_k\supset E,I_k是开矩体\right\}$$称$m^{\ast }(E)$是集合$E$的Lebesgue外测度，简称外测度。

定理1： ${\mathbb{R}}^n$中点集外测度具有以下性质：
（1）非负性：$m^{\ast }(E)\ge 0$，$m^{\ast }(\varnothing )=0;$
（2）单调性：若$E_1\subset E_2$，则$m^{\ast }(E_1)\le m^{\ast }(E_2);$
（3）次可加性：$m^{\ast }\left(\bigcup _{k=1}^{\infty }{E}_k\right)\le \sum _{k=1}^{\infty }{m}^{\ast }(E_k);$
（4）平移不变性： m ∗ ( E + { x } ) = m ∗ ( E ) m^{*}(E+\{x\})=m^{*}(E) m∗(E+{x})=m∗(E)，$\forall x\in {\mathbb{R}}^n$，其中 E + { x } = { y + x ∣ y ∈ E } E+\{x\}=\{y+x|y\in E\} E+{x}={y+x∣y∈E}

证明：
（1）由定义直接得出。
（2）当$E_1\subset E_2$时，$E_2$的任一开矩列覆盖也是$E_1$的一个覆盖，由外测度定义显然得到性质（2）。
（3）不妨设$\sum _{k=1}^{\infty }{m}^{\ast }(E_k)<+\infty$。对于$\forall \epsilon >0,k\in \mathbb{N}$，存在$E_k$的一个开矩列覆盖 { I k , j } j = 1 ∞ \{I_{k,j}\}_{j=1}^{\infty} {Ik,j​}j=1∞​，$E_k\in \bigcup _{j=1}^{\infty }{I}_{k,j}$，且$\sum _{j=1}^{\infty }|I_{k,j}|\le m^{\ast }(E_k)+\frac{\epsilon }{2^k}$由此可见$$\bigcup _{k=1}^{\infty }{E}_k\subset \bigcup _{k,j=1}^{\infty },\sum _{k,j=1}^{\infty }|I_{k,j}|\le \sum _{k=1}^{\infty }{m}^{\ast }(E_k)+\epsilon$$由$\epsilon$的任意性，即得次可加性结论。
（4）因为矩体在平移下体积不变，故对于任意得矩体$I$，有 ∣ I + { x } ∣ = ∣ I ∣ |I+\{x\}|=|I| ∣I+{x}∣=∣I∣。于是对于$E$得任意覆盖 { I k } \{I_k\} {Ik​}，经平移后 { I k + { x } } \{I_k+\{x\}\} {Ik​+{x}}是 E + { x } E+\{x\} E+{x}的一个覆盖，从而 m ∗ ( E + { x } ) ≤ ∑ k = 1 ∞ ∣ I k + { x } ∣ = ∑ k = 1 ∞ ∣ I k ∣ m^{*}(E+\{x\})\le \sum\limits_{k=1}^{\infty}|I_k+\{x\}|=\sum\limits_{k=1}^{\infty}|I_k| m∗(E+{x})≤k=1∑∞​∣Ik​+{x}∣=k=1∑∞​∣Ik​∣由$E$的外测度定义知， m ∗ ( E + { x } ) ≤ m ∗ ( E + { x } ) m^{*}(E+\{x\})\le m^{*}(E+\{x\}) m∗(E+{x})≤m∗(E+{x})反之，考虑将集合 E + { x } E+\{x\} E+{x}作平移$-x$，可得原点集$E$。因而有 m ∗ ( E ) ≤ m ∗ ( E + { x } ) . m^{*}(E)\le m^{*}(E+\{x\}). m∗(E)≤m∗(E+{x}).