设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？ 第1页
1
zhai-sen-8 网友的相关建议:
很好的观察！我同意你说这个证明有问题的理由。
这个命题中，如果把条件换成 是有限个有界闭区间的并，那么这个命题就是所谓的Littlewood第一原则，也是baby rudin对于勒贝格测度的定义。当然题主这个命题还是要强一些，不过没有本质的区别。下面我来提供这种证明。
（你这个符号上面用 ，下面用 ，我就统一用 了）
这里使用可测的一个等价条件： 可测，等价于对任何 ，存在开集 使得 。现在对任何 ，看看能不能找到这样的开集 。
首先由条件，会存在可测集 使得 。由 可测，存在开集 使得 ，此时
故
同时由外测度的定义，存在开集 使得 。令 ，则 是开集，并且有
故 。
这样，我们就证明了 是可测集。
1
相关话题
你们会觉得测度论反直觉吗？关于这个函数项级数，有没有一些研究成果？
如何反对同学这样解释无理数和有理数一样多？
请问该如何证明？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
面积与体积的精确定义究竟是什么？
实数轴上还存在人类未知的数吗？
σ-代数为什么叫代数？它有代数结构吗？
上帝悖论是否有解？
相关的话题
还是实变函数的，友友们帮帮忙?勒贝格积分、数学分析、实分析 、泛函分析、 测度论 之间的关联以及先后学习次序是怎样的?
如何估计如下的无穷积分不等式？
有界可测集测度一定有限吗，无界可测集合测度一定无限吗？反之如何？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
请问该如何证明？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
可测集多还是不可测集多？ 即一维，直到n维的欧氏空间中，可测集类和不可测集类是否等势？
复数是否包含实数？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
学随机分析需要把实分析和泛函学的很深吗?
如何证明紧致的度量空间都是第二可数空间？
为什么有理数是不完备的？
为什么规定 0 的阶乘为 1？
σ-代数为什么叫代数？它有代数结构吗？
有理数集和无理数集哪个大，为什么？
如何反对同学这样解释无理数和有理数一样多？
实变函数证明第八题？
可测集多还是不可测集多？ 即一维，直到n维的欧氏空间中，可测集类和不可测集类是否等势？
环中任何一个非空子集都可以生成理想吗？
是否任一无穷集合都能分成两个等势的不交集合之并？
如何证明这个实分析有关问题？
如何证明R1可测函数覆盖的区域是可测的？
你们会觉得测度论反直觉吗？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
｛mr+n！ | m∈Z，n∈N｝是否在R上稠密？
零测集的子集是否可测？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
如何反对同学这样解释无理数和有理数一样多？