设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？ 第1页
1
zhai-sen-8 网友的相关建议:
很好的观察！我同意你说这个证明有问题的理由。
这个命题中，如果把条件换成 是有限个有界闭区间的并，那么这个命题就是所谓的Littlewood第一原则，也是baby rudin对于勒贝格测度的定义。当然题主这个命题还是要强一些，不过没有本质的区别。下面我来提供这种证明。
（你这个符号上面用 ，下面用 ，我就统一用 了）
这里使用可测的一个等价条件： 可测，等价于对任何 ，存在开集 使得 。现在对任何 ，看看能不能找到这样的开集 。
首先由条件，会存在可测集 使得 。由 可测，存在开集 使得 ，此时
故
同时由外测度的定义，存在开集 使得 。令 ，则 是开集，并且有
故 。
这样，我们就证明了 是可测集。
1
相关话题
如何证明这个收敛性问题？与1相邻的实数存在吗？
有没有目前不知道是否收敛的级数?
有限覆盖定理和实数连续性有什么关系？
你们会觉得测度论反直觉吗？
复变函数、实分析、复分析、数学分析是什么关系？
实变、泛函、抽代、拓扑，哪几门对于非纯数专业更加有用？
这个极限怎么凑成积分?
环中任何一个非空子集都可以生成理想吗？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
相关的话题
零测集的子集是否可测？数学大牛是怎么看待悖论和无穷的？
数学大牛是怎么看待悖论和无穷的？
集合论与微积分？
如何证明这个"推广的Riemann重排定理"？
为什么会有数学家反对对无穷集合使用排中律？
等词是否可以用属于来定义？
如何让一个 5 岁小孩听懂什么是选择公理？
你们会觉得测度论反直觉吗？
请问该如何证明？
数学大牛是怎么看待悖论和无穷的？
如何证明一个实数的所有代表元（有理数Cauchy列）组成的集合不可数？
如何证明空集不是任意集合的子集？
为什么我们可以用平面取一点来证明概率为零事件能发生？
通过将圆环“切开”并“展开”，圆环面积是否可以转化为梯形面积？
若 A={x, x∉A}，那么 A 是 ∅ 吗？
测度论（measure theory）和实变函数是什么关系？
如何证明（0，1）不是可数集？
既然勒贝格积分是黎曼积分的改进，那为什么还要学黎曼积分？淘汰黎曼积分，直接学勒贝格积分不好吗？
所有集合的势都可比较大小吗？为什么？
零测集的子集是否可测？
如何证明R1可测函数覆盖的区域是可测的？
如何证明函数上下极限相等，则极限存在？
为什么函数的连续点构成可测集？
为什么国产数分教材在定义函数f在x处极限的时候都要求函数f在x的去心邻域内有定义？
数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？
勒贝格积分、数学分析、实分析 、泛函分析、 测度论 之间的关联以及先后学习次序是怎样的?
数学中为什么要定义各种空间？
为什么在计算机科学领域及编程中不使用现代数学建立的符号体系进行操作？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？