测度论4之勒贝格测度 Sep 16, 2020 · 测度论 · 分享到: 勒贝格测度 Lebesgue可测 可测集的性质 常见的可测集 重要基础证明：任何区间\(I\)都是可测集，并且\(m(I)=|I|\) 常见可测集 Borel集 勒贝格可测集的结构 Lebesgue可测 定义1：可测集：在外测度的基础上，我们指出\(E\subset R^n\)只要满足以下条件，我们就称之为Lebesgue可测集或\(m^\ast\)可测集，简称可测集：对\(\forall T \subset R^n\)，有 \[m^\ast(T)=m^\ast(T\cap E)+m^\ast(T\cap E^c)\] 其中，我们称\(T\)为试验集，这一条件也被称为Caratheodory条件，简称卡氏条件。可测集的全体类称为可测集类，记为\(\mathcal{M}\)。 在这个定义下，我们下面来考虑定义在外测度上的可测集有什么性质和结构。注意到，外测度定义性质3有 \[m^\ast(A\cup B)≤m^\ast(A)+m^\ast(B)(次可列可加性)\\ \because T=(T\cap E)\cup(T\cap E^c)\\ \therefore m^\ast(T)≤m^\ast(T\cap E)+m^\ast(T\cap E^c)恒成立。\] 因此，我们证明集合可测时，只需要证明 \[m^\ast(T)≥m^\ast(T\cap E)+m^\ast(T\cap E^c)\] 即可。且对于\(m^\ast(T)=∞\)这个条件总是成立的。因此只需论证在\(m^\ast(T)<∞\)的情形，这是证明卡氏条件的关键。 需要特别指出的是，可测性不是集合本身的性质，而是依赖于外测度的定义。事实上，我们可以给出两种外测度的定义，使集合在一个外测度下可测，而另一个不可测。 外测度为0的点集为零测集。 推论1：零测集都是可测集。 证明：若\(m^\ast(E)=0\)，则\(m^\ast(T)≤m^\ast(T\cap E)+m^\ast(T\cap E^c)≤m^\ast(E)+m^\ast(T)=m^\ast(T)，即m^\ast(T)=m^\ast(T\cap E)+m^\ast(T\cap E^c)\)。 可测集的性质 对于可测集类\(\mathcal{M}\) I. \(\emptyset ∈ \mathcal{M}\) 若\(E ∈ \mathcal{M}\)，则\(E^c ∈ \mathcal{M}\) 若\(E_1 ∈ \mathcal{M}，E_2 ∈ \mathcal{M}，\)则\(E_1\cup E_2，E_1\cap E_2，E1-E2\)皆属于\(\mathcal{M}\)（可测集的任何有限次交、并所得集合仍是可测集）。 若\(E_i ∈ \mathcal{M}(i=1,2,\dots)\)，则其并集也属于\(\mathcal{M}\)。若进一步有\(E_i\cap E_j=\emptyset\)，则 \[m^\ast(\bigcup_{i=1}^∞ E_i)=\sum_{i=1}^∞ m^\ast(E_i)，\] 即\(m^\ast\)在\(\mathcal{M}\)上满足可数可加性（\(\sigma\)可加性）。 证明： （1）由推论1可知成立。 （2）注意到可测集卡氏条件对于补集的对称性可立即得出结论。 （3）我们先证有限并的封闭性。对于任一试验集\(T\subset R^n\)，根据集合分解（如下图）与外测度的次可加性，我们有： \[\begin{aligned} m^\ast(T)&≤_{外测度定义3}m^\ast(T\cap(E_1\cup E_2))+m^\ast(T\cap(E_1\cup E_2)^c)\\ &=m^\ast(T\cap(E_1\cup E_2))+m^\ast(T\cap E_1^c\cap E_2^c)_{德摩根律}\\ &≤_{单调性}m^\ast(T\cap E_1\cap E_2)+m^\ast(T\cap E_1\cap E_2^c)+m^\ast(T\cap E_1^c\cap E_2)+m^\ast(T\cap E_1^c\cap E_2^c)\\ &(由下图可知)(T\cap E_1\cap E_2) \cup(T\cap E_1\cap E_2^c)\cup(T\cap E_1^c\cap E_2)\subset E_1\cup E_2\\ &=\underline{m^\ast((T\cap E_1)\cap E_2)+m^\ast((T\cap E_1)\cap E_2^c)}+\underline{m^\ast((T\cap E_1^c)\cap E_2)+m^\ast((T\cap E_1^c)\cap E_2^c)}\\ &(由于E_2是可测集)\\ &=m^\ast(T\cap E_1)+m^\ast(T\cap E_1^c)\\ &(由于E_1是可测集)\\ &=m^\ast(T)\\ &\therefore m^\ast(T)≥m^\ast(T\cap(E_1\cup E_2))+m^\ast(T\cap(E_1\cup E_2)^c) \end{aligned}\] 因此\(E_1\cup E_2\)是可测集。接着由数学归纳法可递推，可测集的有限并可测。 其次，我们证明对于交集的封闭性。我们注意到\(E_1 \cap E_2=(E_1^c \cup E_2^c)^c\)。要证\((E_1^c \cup E_2^c)^c\)可测，根据性质2，我们只需要证明补集\(((E_1^c \cup E_2^c)^c)^c=E_1^c \cup E_2^c\)可测。因为\(E_1，E_2\)可测，所以其补集（\(E_1^c，E_2^c\)）都可测。再根据刚刚证明的可测集的有限并可测，则\(E_1^c\cup E_2^c\)可测。综上所述，\(E_1 \cap E_2\)可测。接着由数学归纳法可递推，可测集的有限交可测。 最后我们证明可测集的差集可测。由\(E_1-E_2=E_1\cap E_2^c\)，且\(E_1,E_2^c\)可测\(\Rightarrow E_1\cup E_2^c\)可测容易得出，\(E_1-E_2\)差集也可测。 （4）从有限到无穷可数。我们先证可列并的封闭性。由于\(E_i ∈ \mathcal{M}(i=1,2,\dots)\)，我们令 \[S=\bigcup_{i=1}^∞ E_i\qquad S_k=\bigcup_{i=1}^k E_i，k=1,2,3,\dots\] 由（3）可知，有限并\(S_k\)是可测的，我们可用试验集\(T\subset R^n\)，有 \[\begin{aligned} m^\ast(T)&=m^\ast(T\cap S_k)+m^\ast(T\cap S_k^c)\\ &=m^\ast(T\cap \bigcup_{i=1}^k E_i)+m^\ast(T\cap S_k^c)\\ &=_{分配律}m^\ast(\bigcup_{i=1}^k(T\cap E_i))+m^\ast(T\cap S_k^c)\\ &=_{有限并可测}\sum_{i=1}^k m^\ast(T\cap E_i)+m^\ast(T\cap S_k^c)\\ &\because T\cup S_k^c \supset T\cup S^c\\ &≥_{单调性}\sum_{i=1}^k m^\ast(T\cap E_i)+m^\ast(T\cap S^c)\\ 当k→∞时，就有\\ m^\ast(T)&≥\sum_{i=1}^∞ m^\ast(T\cap E_i)+m^\ast(T\cap S^c)\\ &≥_{外测度定义3}m^\ast(T\cap S)+m^\ast(T\cap S^c) \end{aligned}\] 由此可知，\(S ∈ \mathcal{M}\)，即可列并\(S=\bigcup_{i=1}^∞ E_i\)是可测的。 接下来，我们进一步证明如果\(E_i,E_j\)两两互不相交，则 \[m^\ast(\bigcup_{i=1}^∞ E_i)=\sum_{i=1}^∞ m^\ast(E_i)\] 在以上公式\(m^\ast(T)≥\sum_{i=1}^∞ m^\ast(T\cap E_i)+m^\ast(T\cap S^c)\)中，我们以\(T\cap S\)替换\(T\)： \[m^\ast(T\cap S)≥\sum_{i=1}^∞ m^\ast(T\cap S \cap E_i)+m^\ast(T\cap S\cap S^c)\\ =\sum_{i=1}^∞ m^\ast(T\cap (S \cap E_i))=\sum_{i=1}^∞ m^\ast(T\cap E_i)\] 因为反向不等式总是成立的，所以 \[m^\ast(T\cap S)=\sum_{i=1}^∞ m^\ast(T\cap E_i)\] 当我们取\(T=R^n\)时有 \[m^\ast(S)=m^\ast(\bigcup_{i=1}^∞ E_i)=\sum_{i=1}^∞ m^\ast(E_i)\] 我们从定理（1）（2）（4）发现，这些可测集合性质正好满足\(\sigma\)代数的定义，所以我们可知，所有可测集组成的集类\(\mathcal{M}\)是一个\(\sigma\)代数。而性质（3）中的内容，也正好是\(\sigma\)代数的性质。 推论2：可测集的可列并也是可测集。\(\bigcup\limits_{i=1}^∞ E_i∈ \mathcal{M}\)。 推论3：可测集的可列交也是可测集。\(\bigcap\limits_{i=1}^∞ E_i∈ \mathcal{M}\)。 对于这些可测集\(E∈ \mathcal{M}\)，定义在其上的外测度可以称为测度，记为\(m(E)\)，这就是通常所说的\(R^n\)上的Lebesgue测度。 下面我们在添加两个关于集合极限测度的运算性质： V. （递增可测集列的测度运算）若有递增可测集列\(E_1\subset E_2\subset\dotsb\subset E_k \dotsb\)，则 \[m(\lim_{k→∞} E_k)=\lim_{k→∞} m(E_k)\] （递减可测集列的测度运算）若有递增可测集列\(E_1\supset E_2\supset\dotsb\supset E_k \dotsb\)且\(m(E_1)<∞\)，则 \[m(\lim_{k→∞} E_k)=\lim_{k→∞} m(E_k)\] 推论4：（Fatou引理）设\(\{E_k\}\)是可测集列，则 \[m(\mathop{\underline{\lim}}\limits_{k→∞} E_k)≤\mathop{\underline{\lim}}\limits_{k→∞} m(E_k)\\ m(\overline{\lim_{k→∞}} E_k)≥\overline{\lim}_{k→∞} m(E_k)\] 常见的可测集 定义2：若\(I\)为一个区间（无论开区间还是左半开区间还是闭区间），称 \[\prod_{i=1}^n=(b_1-a_1)\times(b_2-a_2)\times\dotsb\times(b_n-a_n)\] 为区间\(I\)的体积，记为\(|I|\)，区间具有连通性。 开集vs开区间：开集可以是可数个开区间的并集，开区间是开集的一种特殊情形，按照拓扑学观点，是连通的，而开集可以不连通。 重要基础证明：任何区间\(I\)都是可测集，并且\(m(I)=|I|\) 定理1：\(R^n\)上任何区间\(I\)都是可测集，并且\(m(I)=|I|\)。 这是一个非常重要的定理，是所有\(R^n\)可测集的基础。我们分两步来证明，（1）区间的外测度等于体积\(m^\ast(I)=|I|\)；（2）定义在区间上的外测度是可测的，即\(m=m^\ast|_I\)。如果两个都成立，那么\(|I|=m^\ast(I)|_I=m(I)|_I\) （1）区间的外测度等于体积\(m^\ast(I)=|I|\)。为了简单起见，我们只证明\(R^1\)情形下。根据外测度使体积下限的定义有\(m^\ast(I)≤|I|\)。由于可列点集的测度都是零，所以取不取等号外测度不变，这里我们取闭区间\(\bar{I}\)（因为可以用有限覆盖定理）。 对于任意的\(\varepsilon>0\)，存在一列开区间\(\{I_i\}\)使 \[\bar I \subset \bigcup_{i=1}^∞ I_i且\bigcup_{i=1}^∞ |I_i|<m^\ast(\bar I)+\varepsilon(外测度加下限定义可得)\] 根据有限覆盖定理，有界闭区间可以被有限个开区间覆盖，设这些开区间为\(I_1,I_2,\dots,I_n\)，使得\(\bar{I}\subset \bigcup\limits_{i=1}^n I_i\)。因为\(\bar{I}=\bigcup\limits_{i=1}^n(\bar{I}\cap I_i)\)，所以由这些\(I_i\)的端点与\(\bar I\)的交点就把\(I\)分解城有限多个无公共内点的小区间，\(\bar I\)的长度就是这些小区间长度的和，并且每个小区间至少包含在某一个\(\bar I \cap I_i\)中，于是 \[|\bar I|≤\sum_{i=1}^n|\bar I \cap I_i|≤\sum_{i=1}^n|I_i|≤\sum_{i=1}^∞|I_i|≤m^\ast(\bar I)+\varepsilon\] 由\(\varepsilon\)的任意性可知\(m^\ast(\bar I)≥|\bar I|\). 因此\(m^\ast(I)=m^\ast(\bar I)=|I|\) 区间测度 （2）定义在区间上的外测度是可测的，即\(m=m^\ast|_I\)。先证，对任一开区间(这里不是任一集合)\(I_0\)，都有 \[|I_0|=m^\ast(I_0\cap I)+m^\ast(I_0\cap I^c)\] 事实上，如果\(I_0=I\)，上式必然成立。（如第（1）部分所证）。当\(I \neq I_0\)时，\(I_0\cap I\)是一个区间，而\(I_0\cap I^c\)可以分解成有限个互不相交的区间\(I_i，(i=1,2,\dots,k)\)并(在一维中很好理解，最多两个，在高维度中会有很多个互不相交区间)。从而由外测度此可列可加性知： \[m^\ast(I_0\cap I^c)=m^\ast(\bigcup_{i=1}^k I_i)≤\sum_{i=1}^k m^\ast(I_i)\xlongequal{证明（1）}\sum_{i=1}^k|I_i|\] 因此 \[m^\ast(I_0\cap I)+m^\ast(I_0\cap I^c)≤|I\cap I_0|+\sum_{i=1}^k|I_i|\xlongequal{体积性质}|I_0|\] 另一方面，由于外测度的次可列可加性有： \[m^\ast(I_0\cap I)+m^\ast(I_0\cap I^c)≥m^\ast((I_0\cap I)\cup(I_0\cap I^c))=m^\ast(I_0)=|I_0|\] 综上所述：\(|I_0|=m^\ast(I_0\cap I)+m^\ast(I_0\cap I^c)\). 接下来，需要证明对任一点集\(T\subset R^n\),任一区间\(I\)都满足 \[m^\ast(T)=m^\ast(T\cap I)+m^\ast(T\cap I^c)\] 由外测度定义可知，对于\(\forall \varepsilon>0\)，有一列开区间\(\{I_i\}\)，使\(T\subset \bigcup\limits_{n=1}^∞ I_i\)，且\(\sum\limits_{i=1}^∞ |I_i|≤m^\ast(T)+\varepsilon\)。由于 \[T\cap I\subset (\bigcup_{i=1}^∞ I_i)\cap I=\bigcup_{i=1}^∞ (I_i\cap I)\\ T\cap I^c\subset (\bigcup_{i=1}^∞ I_i)\cap I^c=\bigcup_{i=1}^∞ (I_i\cap I^c)\\ \Rightarrow m^\ast(T\cap I)≤\sum_{i=1}^∞ m^\ast(I_i\cap I)\\ \Rightarrow m^\ast(T\cap I^c)≤\sum_{i=1}^∞ m^\ast(I_i\cap I^c)\\ \Rightarrow m^\ast(T\cap I)+m^\ast(T\cap I^c)≤\sum_{i=1}^∞ m^\ast(I_i\cap I)+\sum_{i=1}^∞ m^\ast(I_i\cap I^c)\\ =\sum_{i=1}^∞ [m^\ast(I_i\cap I)+m^\ast(I_i\cap I^c)]\\ \xlongequal{由于每一个I_i都是区间}\sum_{i=1}^∞|I_i|≤m^\ast(T)+\varepsilon\\ 即m^\ast(T\cap I)+m^\ast(T\cap I^c)≤m^\ast(T)+\varepsilon \] 由\(\varepsilon\)的任意性可知\(m^\ast(T\cap I)+m^\ast(T\cap I^c)≤m^\ast(T)\)。而\(≥\)是外测度定义的次可列可加性，所以\(m^\ast(T\cap I)+m^\ast(T\cap I^c)=m^\ast(T)\)。 这说明区间\(I\)满足卡氏条件，即为可测集。 常见可测集 定理2：欧几里得空间的Lindelof覆盖定理：任取非空开集\(E\subset R^n\)，一族开集\(\mathcal A\)是\(E\)的覆盖，那么对于\(\mathcal A\)，存在\(S\)的可列子覆盖. 证明：令\(\mathcal M=\{N(y,r)|\quad r为正有理数，y为有理点\}\)，则\(\mathcal M\)是一个开集族，并且\(\mathcal{M}\)可列。（\(R^n\)中坐标为有理数的点为有理点）。 由假设可知，对任一点\(x ∈ E\)，存在开集\(G_x ∈ \mathcal A\)(开覆盖)，使\(x ∈ G_x\)。因为\(G_x\)为开集，所以存在以\(x\)为中心的邻域\(N(x,\delta_x)\subset G_x\). 现在任取一有理点\(a_x ∈ N(x,\frac{\delta_x}{4})\)，再取有理数\(r_a\)，使\(\frac{\delta_x}{4}<r_a<\frac{\delta_x}{2}\)，作\(a_x\)的邻域\(N(a_x,r_a)\)。如下图 Lindelof覆盖定理证明.svg 由\(a_x，r_a\)的取法，不难发现有\(x ∈ N(a_x,r_a)\subset N(x,\delta_x)\subset G_x\). 于是\(E\)中每一个点都有对应的有理点\(a_x\)为中心，有理数\(r_a\)为半径的邻域\(N(a_x,r_a)\)。这些邻域组成集合系\(\{N(a_x,r_a)\}_{x ∈ E}\)是E的一个开覆盖（因为每个点都被一个邻域覆盖了，我理解是由于实数的基数大于有理数，必然有一些点使用相同的邻域），同时\((a_x,r_a)\)都是有理数，因此\(\{N(a_x,r_a)\}_{x ∈ E}\subset\mathcal{M}\)，所以\(\{N(a_x,r_a)\}_{x ∈ E}\)是至多可列的。 又因为\(N(a_x,r_a)\subset N(x,\delta_x)\subset G_x\)，因此取每一个包含\(N(a_x,r_a)\)的\(G_x\)组成的集合系也是可列的，并且能够覆盖\(E\)。Lindelof覆盖定理得证。 引理1：\(R^n\)中任何非空开集都可表示为至多可列个开区间的并。 这可以看成是Lindelof覆盖定理的一个推广，从开集到开区间的推广。这是成立的。因为在证明是Lindelof覆盖定理中，我们使用的是邻域，这就相当于是开区间，把这些开区间取并集，这个引理可得证。 有了以上覆盖定理，在加上可测集的运算性质，我们可以得出如下定理： 定理3：任何开集、闭集都是可测集。 由引理1可知任何非空开集都可表示为至多可列个开区间的并，而定理1告诉我们开区间是可测的，再通过推论2，任一开集的并集仍然是开集。因此开集是可测的。 再根据测度的性质，可测集的补集都是可测的，而开集的补集是闭集，因此闭集也是可测的。 例：康托尔集可测且测度为0. 由康托尔集的构造可知\(P_0=[0,1]-G_0\)，其中\(G_0=(\frac{1}{3},\frac{2}{3})\cup[(\frac{1}{9},\frac{2}{9}])\cup(\frac{7}{9},\frac{8}{9}])\cup\dotsb\)为开集。 由于\(闭集[0,1]，开集G_0\)均可测，且可测集的差集可测所以\(P_0=[0,1]-G_0\)可测。由测度的可加性可知， \[\begin{aligned} m(P_0)&=m([0,1])-m(G_0)\\ &=1-(1/3+2\times1/3^2+\dotsb+2^{n-1}\times 1/3^n+\dotsb)\\ &=1-1=0 \end{aligned}\] 康托尔集给出了一个基数是\(c/\aleph_1\)，但是测度却是0的例子。 Borel集 定义3：Borel集：凡属可以从开集出发，用取补集、取有限个或可列个集合的并或交等过程而得到的集合，统称为Borel集。Borel集的集合系就是Borel（\(\sigma\)-）代数。 显然开集、闭集、\(F_\sigma、G_\delta\)都是Borel集。 定理4：任何的Borel集都是可测的。 这一点可以从可测集的运算性质得出。 勒贝格可测集的结构 引理2：\(R^n\)中任何可测集\(E\)都可表为至多可列个互不相交的有界可测集的并。 证明：\(R^n\)空间的可列化。令 \[S=\{x| x ∈ R^n，n-1≤d(x,0)<n\},n=1,2,\dotsb，\] 其中0表示\(R^n\)中原点的坐标，则\(S_n(n=1,2,\dots)\)可测。效果图如下，即一个个同心圆区间，且\(R^n=\bigcup\limits_{n=1}^∞ S_n\)。 令\(E_n=E\cap S_n\)，则\(E_n\)是可测集\(E和有界可测S_n\)的交集，也有界可测，且有两两互不相交。那么\(E=\bigcup\limits_{n=1}^∞ E_n\)。 这个引理的意义在于当我们讨论无界可测集的时候可以分解成有界可测集来讨论。下面我们来讨论各种集合与可测集之间的关系。 定理5：（开集与可测集）可测集E\(\Leftrightarrow\) 对于\(\forall \varepsilon>0\)恒有开集\(G\supset E\)，使\(m^\ast(G-E)<\varepsilon\) 定理6：（闭集与可测集）可测集E\(\Leftrightarrow\) 对于\(\forall \varepsilon>0\)恒有闭集\(F\subset E\)，使\(m^\ast(E-F)<\varepsilon\) 定理7：（\(G_\delta\)与可测集）可测集E\(\Leftrightarrow\) 恒有\(G_\delta\)型集合\(G\supset E\)，使\(m^\ast(G-E)=0\) 定理8：（\(F_\sigma\)与可测集）可测集E\(\Leftrightarrow\) 恒有\(F_\sigma\)型集合\(F\subset E\)，使\(m^\ast(E-F)=0\) 定理9：（Borel集与可测集）任何可测集必是一个Borel集（\(F_\sigma\)）与一个测度为0的可测集的并；同时也是一个Borel集（\(G_\delta\)）与一个测度为0的可测集的差集。