百科问答小站 logo
百科问答小站 font logo



如何估计交集测度大小? 第1页

  

user avatar   zhai-sen-8 网友的相关建议: 
      

我还是来详细写写这个题吧,就是用评论区说的vitali covering(虽然原定理是关于球的,但立方体的同理,询问过题主立方体不能是倾斜的了。证明见本文最后),并且把系数 加强到 。

首先注意到 是可测集,因为 是开立方体的并集,即开集。

先讨论 是有限集 的情形。根据vitali covering,存在其中无交的立方体 ( )使得 。因此

再讨论一般的 的情形。因为 有界,所以测度有限,因此对任何 ,存在紧集 使得 [1]。因为 ,所以存在有限子覆盖 使得 。令 。根据刚才有限情形已证的,

这是对任何 都成立的,因此


附:立方体版本的vitali covering的证明:

引理 如果 是一系列开立方体,则存在其中无交的立方体 使得 ,其中 。

证明:(来自Stein[2])一个非常关键的观察是,如果立方体 (下图黑色,设边长为 )与立方体 (下图绿色)相交,且 比 稍小一点,那么 一定落在以 的中心为中心,边长为 的立方体 (下图蓝色)内。

因此,

所以我们可以这样选无交的 :先从 选最大的(记为 ),然后删掉与 相交的。那么删掉的恰好都在 内。此时选出的 占(选出+删掉)的测度比例就至少是 。依次这样操作。每一轮选出的占(选出+删掉)的测度比例都至少是 ,因此命题得证。

参考

  1. ^ Stein, Real Analysis, Chapter 1, Theorem 3.4(iii)
  2. ^ Stein, Real Analysis, Chapter 3, Lemma 1.2



  

相关话题

  勒贝格积分、数学分析、实分析 、泛函分析、 测度论 之间的关联以及先后学习次序是怎样的? 
  如何评价Stein的实分析以及复分析翻译版本? 
  设点集B满足,对任给ε>0,都存在可测集A,使得m*(AΔB)<ε,证明B是可测集,还有什么解法? 
  怎么证明这个积分不等式? 
  勒贝格积分、数学分析、实分析 、泛函分析、 测度论 之间的关联以及先后学习次序是怎样的? 
  无穷个集合的交(或者并)运算总是成立的吗?为什么? 
  无穷个集合的交(或者并)运算总是成立的吗?为什么? 
  定义域为空集的空函数该怎么理解? 
  赋范空间和度量空间都可以定义极限,为什么要引入两个能定义极限的空间呢,区别是什么,各自有哪些应用范围? 
  为什么我们可以用平面取一点来证明概率为零事件能发生? 

前一个讨论
拓扑学(点集拓扑和代数拓扑基础)和范畴论有什么双语教材?
下一个讨论
如何阅读Hatcher的代数拓扑?





© 2025-04-05 - tinynew.org. All Rights Reserved.
© 2025-04-05 - tinynew.org. 保留所有权利