设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？ 第1页
1
zhai-sen-8 网友的相关建议:
很好的观察！我同意你说这个证明有问题的理由。
这个命题中，如果把条件换成 是有限个有界闭区间的并，那么这个命题就是所谓的Littlewood第一原则，也是baby rudin对于勒贝格测度的定义。当然题主这个命题还是要强一些，不过没有本质的区别。下面我来提供这种证明。
（你这个符号上面用 ，下面用 ，我就统一用 了）
这里使用可测的一个等价条件： 可测，等价于对任何 ，存在开集 使得 。现在对任何 ，看看能不能找到这样的开集 。
首先由条件，会存在可测集 使得 。由 可测，存在开集 使得 ，此时
故
同时由外测度的定义，存在开集 使得 。令 ，则 是开集，并且有
故 。
这样，我们就证明了 是可测集。
1
相关话题
如何证明Osgood定理？以数学史的观点来看，集合论是如何成为数学基础的？
平面有界凸集上的点到其重心的最大距离是其直径的比例的上界是多少呢？
Lp空间上的分析学在其他数学分支有哪些应用？
如何证明随机变量的中数一阶矩最小？
如何证明随机变量的中数一阶矩最小？
可以认为0到2之间的实数，是0到1之间的实数个数的两倍吗？
如何证明R1可测函数覆盖的区域是可测的？
通过将圆环“切开”并“展开”，圆环面积是否可以转化为梯形面积？
如何证明Osgood定理？
相关的话题
为什么函数的连续点构成可测集？为什么规定 0 的阶乘为 1？
陶哲轩为什么用一个新公理代替了旧的幂集公理？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
A是不可列集合，B是将A分割成两个不可列集合的实数的集合，证明B非空且为开集？
请问如何证明呢？
如何证明下面的集合论问题？
若 a=0.248163264128256...，请问 a 是否为有理数？理由是什么？
你们会觉得测度论反直觉吗？
既然一条直线的面积是零，那么一个由无数条线组成的几何图形为什么会有面积？
不学高等代数能学实变函数和泛函分析吗？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
数学专业的实变函数为什么这么难？
如何证明这个收敛性问题？
测度论（measure theory）和实变函数是什么关系？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
如何估计交集测度大小？
为什么测度论要建立在σ-代数上？
小学数学为什么不从集合论学起？
上帝悖论是否有解？
有哪些不易察觉的错误证明？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
为什么在计算机科学领域及编程中不使用现代数学建立的符号体系进行操作？
有哪些不易察觉的错误证明？
如何证明这个"推广的Riemann重排定理"？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
定义域为空集的空函数该怎么理解？
为什么数学教材里，学生首先学习的就是算术，却不学习作为基础的集合与逻辑？
收敛的有理系数幂级数个数可数么？
学随机分析需要把实分析和泛函学的很深吗?