设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？ 第1页
1
zhai-sen-8 网友的相关建议:
很好的观察！我同意你说这个证明有问题的理由。
这个命题中，如果把条件换成 是有限个有界闭区间的并，那么这个命题就是所谓的Littlewood第一原则，也是baby rudin对于勒贝格测度的定义。当然题主这个命题还是要强一些，不过没有本质的区别。下面我来提供这种证明。
（你这个符号上面用 ，下面用 ，我就统一用 了）
这里使用可测的一个等价条件： 可测，等价于对任何 ，存在开集 使得 。现在对任何 ，看看能不能找到这样的开集 。
首先由条件，会存在可测集 使得 。由 可测，存在开集 使得 ，此时
故
同时由外测度的定义，存在开集 使得 。令 ，则 是开集，并且有
故 。
这样，我们就证明了 是可测集。
1
相关话题
收敛都是在某度量下而言的吗？依测度收敛是某度量下的收敛吗？小数点后可以有无数位，为什么两个物体仍可以相互接触？
数学中为什么要定义各种空间？
如何证明空集不是任意集合的子集？
没有基的线性空间，是否可以构造，如何构造？
如何证明R1可测函数覆盖的区域是可测的？
不定积分∫dx/(2 + sinx)在x = π+2kπ处，为何会这样？这是不定积分的某种“特性”吗？
为什么不可数个互不相同的集合之并集可以是可数集?
如何证明这个实分析有关问题？
为什么数学教材里，学生首先学习的就是算术，却不学习作为基础的集合与逻辑？
相关的话题
你们会觉得测度论反直觉吗？如何证明Osgood定理？
可以认为0到2之间的实数，是0到1之间的实数个数的两倍吗？
收敛都是在某度量下而言的吗？依测度收敛是某度量下的收敛吗？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
如何证明随机变量的中数一阶矩最小？
复变函数、实分析、复分析、数学分析是什么关系？
零测集的子集是否可测？
如何证明R1可测函数覆盖的区域是可测的？
测度论中，环为什么不一定是σ环？
关于这个函数项级数，有没有一些研究成果？
如何证明这个实分析的不等式？
不学高等代数能学实变函数和泛函分析吗？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
如何证明这个实分析有关问题？
若 a=0.248163264128256...，请问 a 是否为有理数？理由是什么？
勒贝格积分、数学分析、实分析 、泛函分析、 测度论 之间的关联以及先后学习次序是怎样的?
请问该如何证明？
在集合的势的意义下，是否存在比实数集更大的全序集？
如何证明这个收敛性问题？
环中任何一个非空子集都可以生成理想吗？
什么是实数？
数学中为什么要定义各种空间？
如何理解（证明）不存在与自己的真子集等势的自然数?
什么是「测度论」？
你见过最恶心的函数是什么？
几乎处处收敛和依测度收敛的区别是什么呢？
零测集的子集是否可测？
为什么，概率论与测度论的分水岭是引入条件概率与独立性这两个概念？
为什么国产数分教材在定义函数f在x处极限的时候都要求函数f在x的去心邻域内有定义？