设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？ 第1页
1
zhai-sen-8 网友的相关建议:
很好的观察！我同意你说这个证明有问题的理由。
这个命题中，如果把条件换成 是有限个有界闭区间的并，那么这个命题就是所谓的Littlewood第一原则，也是baby rudin对于勒贝格测度的定义。当然题主这个命题还是要强一些，不过没有本质的区别。下面我来提供这种证明。
（你这个符号上面用 ，下面用 ，我就统一用 了）
这里使用可测的一个等价条件： 可测，等价于对任何 ，存在开集 使得 。现在对任何 ，看看能不能找到这样的开集 。
首先由条件，会存在可测集 使得 。由 可测，存在开集 使得 ，此时
故
同时由外测度的定义，存在开集 使得 。令 ，则 是开集，并且有
故 。
这样，我们就证明了 是可测集。
1
相关话题
如何证明不存在集合T使对任意集合F有T中的元素与F等势?什么是「测度论」？
既然点没有长度，为什么线段就有长度？
如何证明空集不是任意集合的子集？
上帝悖论是否有解？
如何证明每一个有穷的偏序都可以延拓成一个线序？
你们会觉得测度论反直觉吗？
为什么测度论要建立在σ-代数上？
为什么国产数分教材在定义函数f在x处极限的时候都要求函数f在x的去心邻域内有定义？
｛mr+n！ | m∈Z，n∈N｝是否在R上稠密？
相关的话题
变分法与泛函分析这门课知识框架的思维导图是什么？与1相邻的实数存在吗？
有哪些不易察觉的错误证明？
所有集合的势都可比较大小吗？为什么？
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
陶哲轩为什么用一个新公理代替了旧的幂集公理？
以数学史的观点来看，集合论是如何成为数学基础的？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
如何估计交集测度大小？
如何反对同学这样解释无理数和有理数一样多？
复变函数、实分析、复分析、数学分析是什么关系？
选择公理有哪些反直觉的应用？
什么是「测度论」？
为什么度量空间中聚点等同于极限点？
如何证明函数上下极限相等，则极限存在？
若 A={x, x∉A}，那么 A 是 ∅ 吗？
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
有界可测集测度一定有限吗，无界可测集合测度一定无限吗？反之如何？
怎么证明这个积分不等式？
选择公理有哪些反直觉的应用？
如何证明函数上下极限相等，则极限存在？
区间 [0, 1] 内的实数，为什么我证明可以数？
勒贝格积分、数学分析、实分析 、泛函分析、 测度论 之间的关联以及先后学习次序是怎样的?
实变泛函都是很容易的课，为何说「实变函数学十遍，泛函分析心犯寒」？
如何证明可测函数被多项式逼近？
如何评价Stein的实分析以及复分析翻译版本？
如何证明随机变量的中数一阶矩最小？
如何证明这个收敛性问题？
如何证明下面的集合论问题？
集合相等的定义与空集的定义的矛盾如何理解？