设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？ 第1页
1
zhai-sen-8 网友的相关建议:
很好的观察！我同意你说这个证明有问题的理由。
这个命题中，如果把条件换成 是有限个有界闭区间的并，那么这个命题就是所谓的Littlewood第一原则，也是baby rudin对于勒贝格测度的定义。当然题主这个命题还是要强一些，不过没有本质的区别。下面我来提供这种证明。
（你这个符号上面用 ，下面用 ，我就统一用 了）
这里使用可测的一个等价条件： 可测，等价于对任何 ，存在开集 使得 。现在对任何 ，看看能不能找到这样的开集 。
首先由条件，会存在可测集 使得 。由 可测，存在开集 使得 ，此时
故
同时由外测度的定义，存在开集 使得 。令 ，则 是开集，并且有
故 。
这样，我们就证明了 是可测集。
1
相关话题
怎么求解这个极限问题？可测集多还是不可测集多？ 即一维，直到n维的欧氏空间中，可测集类和不可测集类是否等势？
怎样理解任何有限集都是紧集？
陶哲轩为什么用一个新公理代替了旧的幂集公理？
什么是「测度论」？
既然一条直线的面积是零，那么一个由无数条线组成的几何图形为什么会有面积？
为什么概率的公理化基础选择了测度论？
Lp空间上的分析学在其他数学分支有哪些应用？
有限覆盖定理和实数连续性有什么关系？
为什么，概率论与测度论的分水岭是引入条件概率与独立性这两个概念？
相关的话题
为什么有理数是不完备的？如何证明一个实数的所有代表元（有理数Cauchy列）组成的集合不可数？
请问该如何证明？
这个猜实数的游戏有没有必胜策略?
如何证明两个有理数平方和不能为 7？
勒贝格积分、数学分析、实分析 、泛函分析、 测度论 之间的关联以及先后学习次序是怎样的?
可测集多还是不可测集多？ 即一维，直到n维的欧氏空间中，可测集类和不可测集类是否等势？
零测集的子集是否可测？
上帝悖论是否有解？
符号测度的Lebesgue分解与泛函里面的正交分解有什么关系么？
如何反对同学这样解释无理数和有理数一样多？
所有集合的势都可比较大小吗？为什么？
实变泛函都是很容易的课，为何说「实变函数学十遍，泛函分析心犯寒」？
如何证明随机变量的中数一阶矩最小？
区间 [0, 1] 内的实数，为什么我证明可以数？
什么是「测度论」？
如何估计如下的无穷积分不等式？
为什么我们可以用平面取一点来证明概率为零事件能发生？
请问该如何证明？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
如何证明所谓 是一个闭集？
Lp空间上的分析学在其他数学分支有哪些应用？
如何证明可测函数被多项式逼近？
可测集多还是不可测集多？ 即一维，直到n维的欧氏空间中，可测集类和不可测集类是否等势？
勒贝格积分、数学分析、实分析 、泛函分析、 测度论 之间的关联以及先后学习次序是怎样的?
陶哲轩为什么用一个新公理代替了旧的幂集公理？
所有正方形的数量与所有长方形的数量相等吗？
概率论和实变函数（测度论）有什么联系？
为什么测度论要建立在σ-代数上？
可测集多还是不可测集多？ 即一维，直到n维的欧氏空间中，可测集类和不可测集类是否等势？