设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？ 第1页
1
zhai-sen-8 网友的相关建议:
很好的观察！我同意你说这个证明有问题的理由。
这个命题中，如果把条件换成 是有限个有界闭区间的并，那么这个命题就是所谓的Littlewood第一原则，也是baby rudin对于勒贝格测度的定义。当然题主这个命题还是要强一些，不过没有本质的区别。下面我来提供这种证明。
（你这个符号上面用 ，下面用 ，我就统一用 了）
这里使用可测的一个等价条件： 可测，等价于对任何 ，存在开集 使得 。现在对任何 ，看看能不能找到这样的开集 。
首先由条件，会存在可测集 使得 。由 可测，存在开集 使得 ，此时
故
同时由外测度的定义，存在开集 使得 。令 ，则 是开集，并且有
故 。
这样，我们就证明了 是可测集。
1
相关话题
为什么，概率论与测度论的分水岭是引入条件概率与独立性这两个概念？怎样理解任何有限集都是紧集？
数学分析中的两个反例是否有更深的背景？
所有集合的势都可比较大小吗？为什么？
为什么矩形面积等于长乘宽？
概率论和实变函数（测度论）有什么联系？
这个不可测集的外侧度是多少？
为什么函数的连续点构成可测集？
如何证明这个"推广的Riemann重排定理"？
如何证明空集不是任意集合的子集？
相关的话题
如何证明不存在集合T使对任意集合F有T中的元素与F等势?如何证明这个"推广的Riemann重排定理"？
收敛的有理系数幂级数个数可数么？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
A是不可列集合，B是将A分割成两个不可列集合的实数的集合，证明B非空且为开集？
勒贝格积分、数学分析、实分析 、泛函分析、 测度论 之间的关联以及先后学习次序是怎样的?
区间 [0, 1] 内的实数，为什么我证明可以数？
勒贝格积分、数学分析、实分析 、泛函分析、 测度论 之间的关联以及先后学习次序是怎样的?
Lp空间上的分析学在其他数学分支有哪些应用？
康托尔著名的对角线证明？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
以数学史的观点来看，集合论是如何成为数学基础的？
勒贝格积分、数学分析、实分析 、泛函分析、 测度论 之间的关联以及先后学习次序是怎样的?
不定积分∫dx/(2 + sinx)在x = π+2kπ处，为何会这样？这是不定积分的某种“特性”吗？
为什么有理数是不完备的？
可测集多还是不可测集多？ 即一维，直到n维的欧氏空间中，可测集类和不可测集类是否等势？
为什么有理数是不完备的？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
复数是否包含实数？
如何让一个 5 岁小孩听懂什么是选择公理？
如何证明R^2上的不可数集至少在一点附近局部不可数啊？
如何证明所谓 是一个闭集？
整数和偶数真的是「一样多」的吗？（我知道康托尔那套，但这个表述真的正确吗？）？
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
如何证明这个实分析有关问题？
这个实变函数题怎么分析）？
集合相等的定义与空集的定义的矛盾如何理解？
实数轴上还存在人类未知的数吗？
数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？