设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？ 第1页
1
zhai-sen-8 网友的相关建议:
很好的观察！我同意你说这个证明有问题的理由。
这个命题中，如果把条件换成 是有限个有界闭区间的并，那么这个命题就是所谓的Littlewood第一原则，也是baby rudin对于勒贝格测度的定义。当然题主这个命题还是要强一些，不过没有本质的区别。下面我来提供这种证明。
（你这个符号上面用 ，下面用 ，我就统一用 了）
这里使用可测的一个等价条件： 可测，等价于对任何 ，存在开集 使得 。现在对任何 ，看看能不能找到这样的开集 。
首先由条件，会存在可测集 使得 。由 可测，存在开集 使得 ，此时
故
同时由外测度的定义，存在开集 使得 。令 ，则 是开集，并且有
故 。
这样，我们就证明了 是可测集。
1
相关话题
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？既然一条直线的面积是零，那么一个由无数条线组成的几何图形为什么会有面积？
复变函数、实分析、复分析、数学分析是什么关系？
这个猜实数的游戏有没有必胜策略?
你们会觉得测度论反直觉吗？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
如何证明下面的集合论问题？
我想证明自然数有穷可行吗？
可测集多还是不可测集多？ 即一维，直到n维的欧氏空间中，可测集类和不可测集类是否等势？
面积与体积的精确定义究竟是什么？
相关的话题
如何证明可测函数被多项式逼近？如何让一个 5 岁小孩听懂什么是选择公理？
整数和偶数真的是「一样多」的吗？（我知道康托尔那套，但这个表述真的正确吗？）？
σ-代数为什么叫代数？它有代数结构吗？
如何证明R1可测函数覆盖的区域是可测的？
狄利克雷函数（Dirichlet Function）有什么用处？
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
请问该如何证明？
什么是「测度论」？
共轭函数的意义？
定义域为空集的空函数该怎么理解？
是否任一无穷集合都能分成两个等势的不交集合之并？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
符号测度的Lebesgue分解与泛函里面的正交分解有什么关系么？
为什么矩形面积等于长乘宽？
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
数学系本科生如何学好实变函数与泛函分析？
如何证明紧致的度量空间都是第二可数空间？
HoTT为什么不比集合论弱?
如何证明集合[0, 1] × [0, 1]与集合[0, 1]等势(即存在双射）？
HoTT为什么不比集合论弱?
如何证明可测函数被多项式逼近？
如何证明每一个有穷的偏序都可以延拓成一个线序？
测度论中，环为什么不一定是σ环？
在集合的势的意义下，是否存在比实数集更大的全序集？
为什么不可数个互不相同的集合之并集可以是可数集?
有限覆盖定理和实数连续性有什么关系？
σ-代数为什么叫代数？它有代数结构吗？
共轭函数的意义？