设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？ 第1页
1
zhai-sen-8 网友的相关建议:
很好的观察！我同意你说这个证明有问题的理由。
这个命题中，如果把条件换成 是有限个有界闭区间的并，那么这个命题就是所谓的Littlewood第一原则，也是baby rudin对于勒贝格测度的定义。当然题主这个命题还是要强一些，不过没有本质的区别。下面我来提供这种证明。
（你这个符号上面用 ，下面用 ，我就统一用 了）
这里使用可测的一个等价条件： 可测，等价于对任何 ，存在开集 使得 。现在对任何 ，看看能不能找到这样的开集 。
首先由条件，会存在可测集 使得 。由 可测，存在开集 使得 ，此时
故
同时由外测度的定义，存在开集 使得 。令 ，则 是开集，并且有
故 。
这样，我们就证明了 是可测集。
1
相关话题
陶哲轩为什么用一个新公理代替了旧的幂集公理？有理数集和无理数集哪个大，为什么？
几乎处处收敛和依测度收敛的区别是什么呢？
既然勒贝格积分是黎曼积分的改进，那为什么还要学黎曼积分？淘汰黎曼积分，直接学勒贝格积分不好吗？
关于这个函数项级数，有没有一些研究成果？
如何证明Osgood定理？
为什么矩形面积等于长乘宽？
为什么测度论要建立在σ-代数上？
可测集多还是不可测集多？ 即一维，直到n维的欧氏空间中，可测集类和不可测集类是否等势？
极限为0的函数为什么要单独命名为无穷小？有哪里特殊了？
相关的话题
测度论（measure theory）和实变函数是什么关系？为什么函数的连续点构成可测集？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
请问如何证明呢？
选择公理有哪些反直觉的应用？
可测集多还是不可测集多？ 即一维，直到n维的欧氏空间中，可测集类和不可测集类是否等势？
｛mr+n！ | m∈Z，n∈N｝是否在R上稠密？
黎曼函数的积分是零，但是就其大致图像看来并不等于零，这是为什么？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
如何证明R1可测函数覆盖的区域是可测的？
是否存在f: [0,1]→R+, 使得f在[0,1]的黎曼积分为0?
如何证明实数集的不可数子集含有它自己的不可数个聚点？
如何证明下面的集合论问题？
实变函数鲁津定理的疑问？
如何理解（证明）不存在与自己的真子集等势的自然数?
如何证明空集不是任意集合的子集？
如何证明R1可测函数覆盖的区域是可测的？
这个极限怎么凑成积分?
怎么得到这个不等式?
什么是「测度论」？
如何证明一个实数的所有代表元（有理数Cauchy列）组成的集合不可数？
概率论和实变函数（测度论）有什么联系？
怎样理解任何有限集都是紧集？
实数完备性的基本定理为什么是 6 个？
集合论与微积分？
为什么函数的连续点构成可测集？
如何证明R1可测函数覆盖的区域是可测的？
不学高等代数能学实变函数和泛函分析吗？
如何证明不存在集合T使对任意集合F有T中的元素与F等势?
康托尔著名的对角线证明？