设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？ 第1页
1
zhai-sen-8 网友的相关建议:
很好的观察！我同意你说这个证明有问题的理由。
这个命题中，如果把条件换成 是有限个有界闭区间的并，那么这个命题就是所谓的Littlewood第一原则，也是baby rudin对于勒贝格测度的定义。当然题主这个命题还是要强一些，不过没有本质的区别。下面我来提供这种证明。
（你这个符号上面用 ，下面用 ，我就统一用 了）
这里使用可测的一个等价条件： 可测，等价于对任何 ，存在开集 使得 。现在对任何 ，看看能不能找到这样的开集 。
首先由条件，会存在可测集 使得 。由 可测，存在开集 使得 ，此时
故
同时由外测度的定义，存在开集 使得 。令 ，则 是开集，并且有
故 。
这样，我们就证明了 是可测集。
1
相关话题
｛mr+n！ | m∈Z，n∈N｝是否在R上稠密？如何证明紧致的度量空间都是第二可数空间？
这个极限怎么凑成积分?
如何证明这个实分析有关问题？
通过将圆环“切开”并“展开”，圆环面积是否可以转化为梯形面积？
怎么用下面的不等式刻画凸性？
为什么矩形面积等于长乘宽？
如何证明函数上下极限相等，则极限存在？
有限覆盖定理和实数连续性有什么关系？
实数完备性的基本定理为什么是 6 个？
相关的话题
集合论与微积分？有限覆盖定理和实数连续性有什么关系？
如何估计如下的无穷积分不等式？
变分法与泛函分析这门课知识框架的思维导图是什么？
如何证明可测函数被多项式逼近？
有限覆盖定理和实数连续性有什么关系？
｛mr+n！ | m∈Z，n∈N｝是否在R上稠密？
这个不可测集的外侧度是多少？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
黎曼函数的积分是零，但是就其大致图像看来并不等于零，这是为什么？
请问该如何证明？
是否存在这样一个非常数函数，定义域是实数集或其子集，值域仅为有理数集子集？是否有这样的函数是连续的呢？
请问这个实变证明题怎么做？
σ-代数为什么叫代数？它有代数结构吗？
为什么国产数分教材在定义函数f在x处极限的时候都要求函数f在x的去心邻域内有定义？
如何证明集合[0, 1] × [0, 1]与集合[0, 1]等势(即存在双射）？
如何证明可测函数被多项式逼近？
是否存在这样一个非常数函数，定义域是实数集或其子集，值域仅为有理数集子集？是否有这样的函数是连续的呢？
共轭函数的意义？
勒贝格积分、数学分析、实分析 、泛函分析、 测度论 之间的关联以及先后学习次序是怎样的?
复变函数、实分析、复分析、数学分析是什么关系？
狄利克雷函数（Dirichlet Function）有什么用处？
「初等函数在其定义域内必连续」的说法是对是错，为什么？
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
除了Weierstrass函数，还有哪些处处连续处处不可导的实变函数的具体例子？
零测集的子集是否可测？
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
为什么矩形面积等于长乘宽？
如何证明可测函数被多项式逼近？