设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？ 第1页
1
zhai-sen-8 网友的相关建议:
很好的观察！我同意你说这个证明有问题的理由。
这个命题中，如果把条件换成 是有限个有界闭区间的并，那么这个命题就是所谓的Littlewood第一原则，也是baby rudin对于勒贝格测度的定义。当然题主这个命题还是要强一些，不过没有本质的区别。下面我来提供这种证明。
（你这个符号上面用 ，下面用 ，我就统一用 了）
这里使用可测的一个等价条件： 可测，等价于对任何 ，存在开集 使得 。现在对任何 ，看看能不能找到这样的开集 。
首先由条件，会存在可测集 使得 。由 可测，存在开集 使得 ，此时
故
同时由外测度的定义，存在开集 使得 。令 ，则 是开集，并且有
故 。
这样，我们就证明了 是可测集。
1
相关话题
共轭函数的意义？Lp空间上的分析学在其他数学分支有哪些应用？
如何证明R1可测函数覆盖的区域是可测的？
几乎处处收敛和依测度收敛的区别是什么呢？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
数学系本科生如何学好实变函数与泛函分析？
什么时候积分运算和级数求和可以调换顺序？
A是不可列集合，B是将A分割成两个不可列集合的实数的集合，证明B非空且为开集？
为什么数学教材里，学生首先学习的就是算术，却不学习作为基础的集合与逻辑？
集合相等的定义与空集的定义的矛盾如何理解？
相关的话题
是否存在这样一个非常数函数，定义域是实数集或其子集，值域仅为有理数集子集？是否有这样的函数是连续的呢？除了Weierstrass函数，还有哪些处处连续处处不可导的实变函数的具体例子？
上帝悖论是否有解？
为什么函数的连续点构成可测集？
如何证明下面的集合论问题？
这个猜实数的游戏有没有必胜策略?
内测度的缺陷是什么？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
收敛都是在某度量下而言的吗？依测度收敛是某度量下的收敛吗？
所有正方形的数量与所有长方形的数量相等吗？
关于这个函数项级数，有没有一些研究成果？
不可列个数的集合交集并集怎么定义？
测度论（measure theory）和实变函数是什么关系？
一般度量空间内的连续映射将闭集映为闭集吗？将有界闭集映为有界闭集吗？
概率论和实变函数（测度论）有什么联系？
实数轴上还存在人类未知的数吗？
如何证明这个实分析有关问题？
实数完备性的基本定理为什么是 6 个？
学随机分析需要把实分析和泛函学的很深吗?
概率论和实变函数（测度论）有什么联系？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
既然点没有长度，为什么线段就有长度？
为什么概率的公理化基础选择了测度论？
怎么用下面的不等式刻画凸性？
集合相等的定义与空集的定义的矛盾如何理解？
什么是「测度论」？
既然一条直线的面积是零，那么一个由无数条线组成的几何图形为什么会有面积？
选择公理有哪些反直觉的应用？
为什么度量空间中聚点等同于极限点？