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



零测集的子集是否可测? 第1页

  

user avatar   zhou-hao-cheng-30 网友的相关建议: 
      

如果你说的测度空间是 (这里 为Lebesgue测度, 为所有Lebesgue可测集组成的集合,即实变函数讨论的情形)的话,我们有:如果一个集合的Lebesgue外测度 ,那么 为Lebesgue可测的。

证明:

由外测度定义, ,其中 为所有包含 的开集。

则 为开集,包含 ,且 。

由外测度的单调性, 且

即总是存在一个开集 包含了 且使得 的外测度充分小。由定义, 为Lebesgue可测的。



但是对于一般的测度空间,这个命题不一定成立。

我们可以举出反例:

在 上(这里 为Lebesgue测度, 为实数域上的Borel域),考虑Borel域的大小。由于Borel集可以看成是 生成的 域,故Borel域和实数域是一样大的。但是考虑Cantor集,其为一个零测集且为不可数集。故所有Cantor集的子集为零测集从而为Lebesgue可测集,但是Cantor集共有 个子集。故必定存在一个Cantor集的子集 ,其不为Borel集。那么 就是一个非Borel可测的Lebesgue可测集,且在 上,有 成立,其外测度为 。


事实上,一个测度空间被称为是完全的当且仅当任意可测的零测集的子集都是可测集。实变函数中有上述结论的本质原因是 是个完全测度空间(Caratheodory定理)而 并非完全测度空间。事实上, 揭示了这两个集合系之间的关联。


user avatar   lljpcz 网友的相关建议: 
      

关于把一个零测集的子集可能不可测的测度函数扩张为每个零测集的子集都可测的测度函数的技术可以参考以下链接:



(真够拗口的啊,这个是实变荣誉课提到的定理,在知乎上随便找了一个联接)




  

相关话题

  熵权TOPSIS中二级指标的相对接近度怎么计算,一般计算的都是一级指标的相对接近度,困扰我好久了。? 
  全体自然数的发散级数和等于负十二分之一代表了什么?隐藏了一个天大的秘密吗? 
  想知道这个定积分怎么算?∫[0-1](arcsin√x)/√(1-x+x^2)dx? 
  如何证明任何一复系数整式p(z)都可以分解成若干个(z-c)相乘的形式? 
  除了 1 和 144,还有哪个斐波那契数是平方数? 
  中国在数学领域让你最引以为豪的成果是什么? 
  如何理解数学里的「若 A 不真,则 A→B 总是真的」这种蕴含关系? 
  X²+Y²+Z²=114514存在多少组整数解? 
  能否使用3的指数来减小二进制文件存储的体积? 
  数学家们用不等式做什么? 

前一个讨论
什么是半微分(semi-differential)?有什么几何意义吗?
下一个讨论
在集合的势的意义下,是否存在比实数集更大的全序集?





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