zoukankan      html  css  js  c++  java
  • 关于勒贝格外测度的一条等式

    \begin{equation}m^*(\bigcup_{j\in \mathbb{N}^+}E_j)=\lim_{N\to\infty}m^*(\bigcup_{j=1}^{N}E_j)\end{equation}


    证明:由于$\forall N\in\mathbb{N}^+$,$\bigcup_{j=1}^N E_j\subset \bigcup_{j\in\mathbb{N}^+}E_j$,根据勒贝格外测度的单调性,我们有
    $$m^*(\bigcup_{j=1}^N E_j)\leq m^*(\bigcup_{j\in\mathbb{N}^+}E_j)$$
    取极限,可得
    $$\lim_{N\to\infty}m^*(\bigcup_{j=1}^N E_j)\leq m^*(\bigcup_{j\in\mathbb{N}^+}E_j)$$
    现在我们证明,
    $$m^*(\bigcup_{j\in\mathbb{N}^+}E_j)\leq \lim_{N\to\infty}m^*(\bigcup_{j=1}^NE_j)$$
    这是因为对于每个$E_j$,我们都用一个开盒子列$H_j$将其覆盖.根据外测度的单调性,$m^*(E_j)\leq m^*(H_j)$.现在我们证明,对于任意给定的正实数$\varepsilon_j$,都存在$H_j$使得
    $$m^*(H_j)\leq m^*(E_j)+\varepsilon_j$$
    证明是很简单的.因为显然,对于任意给定的正实数$\delta$,都存在$m^*(H_i)\in(m^*(E_i),m^*(E_i)+\delta)$.(在脑袋里好好地使用一下直观是有帮助的,由于空间的连续性,“断层”是不会发生的).

    根据外测度的次可数可加性,
    $$m^*(\bigcup_{j\in\mathbb{N}^+}E_j)\leq \sum_{j\in\mathbb{N}^+}m^*(E_j)\leq \sum_{j\in\mathbb{N}^+}m^*(H_j)\leq \sum_{j\in\mathbb{N}^+}m^*(E_j)+\sum_{j\in\mathbb{N}^+}\varepsilon_j$$
    我们可以控制$\varepsilon_i$,使得$\sum_{j\in\mathbb{N}^+}\varepsilon_j$小于任意一个给定的正实数.因此
    $$m^*(\bigcup_{j\in\mathbb{N}^+}E_j)\leq \sum_{j\in\mathbb{N}^+}m^*(E_j)=\lim_{N\to\infty}\sum_{j=1}^Nm^*(E_j)$$

    综上所述,$$m^*(\bigcup_{j\in \mathbb{N}^+}E_j)=\lim_{N\to\infty}\bigcup_{j=1}^{N}E_j$$

  • 相关阅读:
    数字加密
    大道至简第四章读后感
    输出类中的对象个数
    大道至简第三章读后感
    02java语法基础问题总结
    从命令行接收多个数字并求和输出
    软件工程个人作业03
    第四周学习进度条
    软件工程概论-课后作业2(单元测试)
    第三周学习进度
  • 原文地址:https://www.cnblogs.com/yeluqing/p/3827968.html
Copyright © 2011-2022 走看看