设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？ 第1页
1
zhai-sen-8 网友的相关建议:
很好的观察！我同意你说这个证明有问题的理由。
这个命题中，如果把条件换成 是有限个有界闭区间的并，那么这个命题就是所谓的Littlewood第一原则，也是baby rudin对于勒贝格测度的定义。当然题主这个命题还是要强一些，不过没有本质的区别。下面我来提供这种证明。
（你这个符号上面用 ，下面用 ，我就统一用 了）
这里使用可测的一个等价条件： 可测，等价于对任何 ，存在开集 使得 。现在对任何 ，看看能不能找到这样的开集 。
首先由条件，会存在可测集 使得 。由 可测，存在开集 使得 ，此时
故
同时由外测度的定义，存在开集 使得 。令 ，则 是开集，并且有
故 。
这样，我们就证明了 是可测集。
1
相关话题
如何让一个 5 岁小孩听懂什么是选择公理？正整数和正整数中的偶数哪个多（如何证明）？
如何让一个 5 岁小孩听懂什么是选择公理？
如何证明不存在集合T使对任意集合F有T中的元素与F等势?
是否存在不可数个实数，其中任意有限多个在有理数上线性无关？
黎曼函数的积分是零，但是就其大致图像看来并不等于零，这是为什么？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
共轭函数的意义？
若 a=0.248163264128256...，请问 a 是否为有理数？理由是什么？
正整数和正整数中的偶数哪个多（如何证明）？
相关的话题
几乎处处收敛和依测度收敛的区别是什么呢？如何证明这个收敛性问题？
概率论和实变函数（测度论）有什么联系？
是否任一无穷集合都能分成两个等势的不交集合之并？
什么是「测度论」？
如何显式构造出包含于[0, 1]Q的正测度闭集F？
上帝悖论是否有解？
这个实变函数题怎么分析）？
为什么矩形面积等于长乘宽？
如何证明不存在集合T使对任意集合F有T中的元素与F等势?
极限为0的函数为什么要单独命名为无穷小？有哪里特殊了？
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
σ-代数为什么叫代数？它有代数结构吗？
下面这个集合可数吗？
实变函数证明第八题？
为什么我们可以用平面取一点来证明概率为零事件能发生？
如何证明这个收敛性问题？
如何证明R^2上的不可数集至少在一点附近局部不可数啊？
关于这个函数项级数，有没有一些研究成果？
实变函数证明第八题？
通过将圆环“切开”并“展开”，圆环面积是否可以转化为梯形面积？
什么是「测度论」？
有界可测集测度一定有限吗，无界可测集合测度一定无限吗？反之如何？
与1相邻的实数存在吗？
已知一个函数在实数域内连续，并且为周期函数，如何证明它在实数域内一致连续？
如何证明不存在集合T使对任意集合F有T中的元素与F等势?
为什么集合这个数学术语在麻将中没有被说明？
是否存在这样一个非常数函数，定义域是实数集或其子集，值域仅为有理数集子集？是否有这样的函数是连续的呢？
概率论和实变函数（测度论）有什么联系？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？