设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？ 第1页
1
zhai-sen-8 网友的相关建议:
很好的观察！我同意你说这个证明有问题的理由。
这个命题中，如果把条件换成 是有限个有界闭区间的并，那么这个命题就是所谓的Littlewood第一原则，也是baby rudin对于勒贝格测度的定义。当然题主这个命题还是要强一些，不过没有本质的区别。下面我来提供这种证明。
（你这个符号上面用 ，下面用 ，我就统一用 了）
这里使用可测的一个等价条件： 可测，等价于对任何 ，存在开集 使得 。现在对任何 ，看看能不能找到这样的开集 。
首先由条件，会存在可测集 使得 。由 可测，存在开集 使得 ，此时
故
同时由外测度的定义，存在开集 使得 。令 ，则 是开集，并且有
故 。
这样，我们就证明了 是可测集。
1
相关话题
如何证明这个实分析有关问题？实变泛函都是很容易的课，为何说「实变函数学十遍，泛函分析心犯寒」？
为什么度量空间中聚点等同于极限点？
小数点后可以有无数位，为什么两个物体仍可以相互接触？
如何估计如下的无穷积分不等式？
请问该如何证明？
请问这个集合不是零测集有什么具体例子吗？
如何证明每一个有穷的偏序都可以延拓成一个线序？
如何证明这个收敛性问题？
测度论中，环为什么不一定是σ环？
相关的话题
“可分度量空间”的名字是怎么来的？康托尔著名的对角线证明？
为什么不可数个互不相同的集合之并集可以是可数集?
若 A={x, x∉A}，那么 A 是 ∅ 吗？
这个极限怎么凑成积分?
怎么得到这个不等式?
平面有界凸集上的点到其重心的最大距离是其直径的比例的上界是多少呢？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
零测集的子集是否可测？
如何证明一个实数的所有代表元（有理数Cauchy列）组成的集合不可数？
数学中为什么要定义各种空间？
上帝悖论是否有解？
为什么会有数学家反对对无穷集合使用排中律？
不可列个数的集合交集并集怎么定义？
什么是实数？
这个不可测集的外侧度是多少？
「初等函数在其定义域内必连续」的说法是对是错，为什么？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
下面这个集合可数吗？
上帝悖论是否有解？
为什么矩形面积等于长乘宽？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
实变函数，泛函分析，拓扑学中重要的定理概念有哪些？
如何估计如下的无穷积分不等式？
几乎处处收敛和依测度收敛的区别是什么呢？
为什么不可数个互不相同的集合之并集可以是可数集?
还是实变函数的，友友们帮帮忙?
为什么在计算机科学领域及编程中不使用现代数学建立的符号体系进行操作？
康托尔著名的对角线证明？