设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？ 第1页
1
zhai-sen-8 网友的相关建议:
很好的观察！我同意你说这个证明有问题的理由。
这个命题中，如果把条件换成 是有限个有界闭区间的并，那么这个命题就是所谓的Littlewood第一原则，也是baby rudin对于勒贝格测度的定义。当然题主这个命题还是要强一些，不过没有本质的区别。下面我来提供这种证明。
（你这个符号上面用 ，下面用 ，我就统一用 了）
这里使用可测的一个等价条件： 可测，等价于对任何 ，存在开集 使得 。现在对任何 ，看看能不能找到这样的开集 。
首先由条件，会存在可测集 使得 。由 可测，存在开集 使得 ，此时
故
同时由外测度的定义，存在开集 使得 。令 ，则 是开集，并且有
故 。
这样，我们就证明了 是可测集。
1
相关话题
如何证明Osgood定理？如何证明这个实分析有关问题？
如何证明R1可测函数覆盖的区域是可测的？
为什么函数的连续点构成可测集？
如何评价Stein的实分析以及复分析翻译版本？
请问这个集合不是零测集有什么具体例子吗？
选择公理有哪些反直觉的应用？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
为什么集合的本身还可以是一个集合的元素？
为什么矩形面积等于长乘宽？
相关的话题
如何理解区间 [0, 1] 内有理数集合的长度为 0？面积与体积的精确定义究竟是什么？
通过将圆环“切开”并“展开”，圆环面积是否可以转化为梯形面积？
复变函数、实分析、复分析、数学分析是什么关系？
如何证明R1可测函数覆盖的区域是可测的？
赋范空间和度量空间都可以定义极限，为什么要引入两个能定义极限的空间呢，区别是什么，各自有哪些应用范围？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
如何证明不存在集合T使对任意集合F有T中的元素与F等势?
为什么在计算机科学领域及编程中不使用现代数学建立的符号体系进行操作？
既然点没有长度，为什么线段就有长度？
请问该如何证明？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
赋范空间和度量空间都可以定义极限，为什么要引入两个能定义极限的空间呢，区别是什么，各自有哪些应用范围？
测度论中，环为什么不一定是σ环？
变分法与泛函分析这门课知识框架的思维导图是什么？
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
整数和偶数真的是「一样多」的吗？（我知道康托尔那套，但这个表述真的正确吗？）？
整数和偶数真的是「一样多」的吗？（我知道康托尔那套，但这个表述真的正确吗？）？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
如何证明紧致的度量空间都是第二可数空间？
所有正方形的数量与所有长方形的数量相等吗？
有理数集和无理数集哪个大，为什么？
这个猜实数的游戏有没有必胜策略?
如何让一个 5 岁小孩听懂什么是选择公理？
如何证明R^2上的不可数集至少在一点附近局部不可数啊？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
为什么，概率论与测度论的分水岭是引入条件概率与独立性这两个概念？
是否存在这样一个非常数函数，定义域是实数集或其子集，值域仅为有理数集子集？是否有这样的函数是连续的呢？
如何让一个 5 岁小孩听懂什么是选择公理？
测度论中，环为什么不一定是σ环？