设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？ 第1页
1
zhai-sen-8 网友的相关建议:
很好的观察！我同意你说这个证明有问题的理由。
这个命题中，如果把条件换成 是有限个有界闭区间的并，那么这个命题就是所谓的Littlewood第一原则，也是baby rudin对于勒贝格测度的定义。当然题主这个命题还是要强一些，不过没有本质的区别。下面我来提供这种证明。
（你这个符号上面用 ，下面用 ，我就统一用 了）
这里使用可测的一个等价条件： 可测，等价于对任何 ，存在开集 使得 。现在对任何 ，看看能不能找到这样的开集 。
首先由条件，会存在可测集 使得 。由 可测，存在开集 使得 ，此时
故
同时由外测度的定义，存在开集 使得 。令 ，则 是开集，并且有
故 。
这样，我们就证明了 是可测集。
1
相关话题
无穷个集合的交（或者并）运算总是成立的吗？为什么？若 A={x, x∉A}，那么 A 是 ∅ 吗？
为什么度量空间中聚点等同于极限点？
A是不可列集合，B是将A分割成两个不可列集合的实数的集合，证明B非空且为开集？
与1相邻的实数存在吗？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
这个猜实数的游戏有没有必胜策略?
「初等函数在其定义域内必连续」的说法是对是错，为什么？
怎么求解这个极限问题？
是否存在这样一个非常数函数，定义域是实数集或其子集，值域仅为有理数集子集？是否有这样的函数是连续的呢？
相关的话题
有哪些不易察觉的错误证明？如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
通过将圆环“切开”并“展开”，圆环面积是否可以转化为梯形面积？
如何证明实数集的不可数子集含有它自己的不可数个聚点？
为什么度量空间中聚点等同于极限点？
为什么不可数个互不相同的集合之并集可以是可数集?
可以认为0到2之间的实数，是0到1之间的实数个数的两倍吗？
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
为什么，概率论与测度论的分水岭是引入条件概率与独立性这两个概念？
陶哲轩为什么用一个新公理代替了旧的幂集公理？
勒贝格积分、数学分析、实分析 、泛函分析、 测度论 之间的关联以及先后学习次序是怎样的?
为什么函数的连续点构成可测集？
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
实数轴上还存在人类未知的数吗？
测度论中，环为什么不一定是σ环？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
内测度的缺陷是什么？
有理数集如何拓展到实数集的？
这个猜实数的游戏有没有必胜策略?
若 a=0.248163264128256...，请问 a 是否为有理数？理由是什么？
什么是实数？
如何证明实数集的不可数子集含有它自己的不可数个聚点？
请问如何证明呢？
如何证明所谓 是一个闭集？
请问开集和闭集如何理解？
概率论和实变函数（测度论）有什么联系？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
陶哲轩为什么用一个新公理代替了旧的幂集公理？
符号测度的Lebesgue分解与泛函里面的正交分解有什么关系么？
可测集多还是不可测集多？ 即一维，直到n维的欧氏空间中，可测集类和不可测集类是否等势？