设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？ 第1页
1
zhai-sen-8 网友的相关建议:
很好的观察！我同意你说这个证明有问题的理由。
这个命题中，如果把条件换成 是有限个有界闭区间的并，那么这个命题就是所谓的Littlewood第一原则，也是baby rudin对于勒贝格测度的定义。当然题主这个命题还是要强一些，不过没有本质的区别。下面我来提供这种证明。
（你这个符号上面用 ，下面用 ，我就统一用 了）
这里使用可测的一个等价条件： 可测，等价于对任何 ，存在开集 使得 。现在对任何 ，看看能不能找到这样的开集 。
首先由条件，会存在可测集 使得 。由 可测，存在开集 使得 ，此时
故
同时由外测度的定义，存在开集 使得 。令 ，则 是开集，并且有
故 。
这样，我们就证明了 是可测集。
1
相关话题
如何证明空集不是任意集合的子集？如何证明下面的集合论问题？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
数学大牛是怎么看待悖论和无穷的？
不可列个数的集合交集并集怎么定义？
如何反对同学这样解释无理数和有理数一样多？
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
测度论中，环为什么不一定是σ环？
数学中，远小于符号 ≪ 有没有明确的定义？
概率论和实变函数（测度论）有什么联系？
相关的话题
怎么得到这个不等式?为什么不可数个互不相同的集合之并集可以是可数集?
可测集多还是不可测集多？ 即一维，直到n维的欧氏空间中，可测集类和不可测集类是否等势？
σ-代数为什么叫代数？它有代数结构吗？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
有界可测集测度一定有限吗，无界可测集合测度一定无限吗？反之如何？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
所有集合的势都可比较大小吗？为什么？
有没有目前不知道是否收敛的级数?
陶哲轩为什么用一个新公理代替了旧的幂集公理？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
是否存在不可数个实数，其中任意有限多个在有理数上线性无关？
数学系本科生如何学好实变函数与泛函分析？
这个极限怎么凑成积分?
可测集多还是不可测集多？ 即一维，直到n维的欧氏空间中，可测集类和不可测集类是否等势？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
请问这个集合不是零测集有什么具体例子吗？
σ-代数为什么叫代数？它有代数结构吗？
为什么在计算机科学领域及编程中不使用现代数学建立的符号体系进行操作？
零测集的子集是否可测？
如何证明所谓 是一个闭集？
康托尔著名的对角线证明？
区间 [0, 1] 内的实数，为什么我证明可以数？
为什么概率的公理化基础选择了测度论？
如何证明一个实数的所有代表元（有理数Cauchy列）组成的集合不可数？
为什么在计算机科学领域及编程中不使用现代数学建立的符号体系进行操作？
为什么规定 0 的阶乘为 1？
几乎处处收敛和依测度收敛的区别是什么呢？
共轭函数的意义？
数学专业的实变函数为什么这么难？