设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？ 第1页
1
zhai-sen-8 网友的相关建议:
很好的观察！我同意你说这个证明有问题的理由。
这个命题中，如果把条件换成 是有限个有界闭区间的并，那么这个命题就是所谓的Littlewood第一原则，也是baby rudin对于勒贝格测度的定义。当然题主这个命题还是要强一些，不过没有本质的区别。下面我来提供这种证明。
（你这个符号上面用 ，下面用 ，我就统一用 了）
这里使用可测的一个等价条件： 可测，等价于对任何 ，存在开集 使得 。现在对任何 ，看看能不能找到这样的开集 。
首先由条件，会存在可测集 使得 。由 可测，存在开集 使得 ，此时
故
同时由外测度的定义，存在开集 使得 。令 ，则 是开集，并且有
故 。
这样，我们就证明了 是可测集。
1
相关话题
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？已知一个函数在实数域内连续，并且为周期函数，如何证明它在实数域内一致连续？
如何证明所谓 是一个闭集？
黎曼函数的积分是零，但是就其大致图像看来并不等于零，这是为什么？
σ-代数为什么叫代数？它有代数结构吗？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
如何证明这个实分析的不等式？
数学大牛是怎么看待悖论和无穷的？
是否存在这样一个非常数函数，定义域是实数集或其子集，值域仅为有理数集子集？是否有这样的函数是连续的呢？
所有集合的势都可比较大小吗？为什么？
相关的话题
如何证明空集不是任意集合的子集？怎样理解任何有限集都是紧集？
数学中为什么要定义各种空间？
不定积分∫dx/(2 + sinx)在x = π+2kπ处，为何会这样？这是不定积分的某种“特性”吗？
为什么规定 0 的阶乘为 1？
实变函数鲁津定理的疑问？
如何证明不存在集合T使对任意集合F有T中的元素与F等势?
质数集P与自然数集N等势吗?
如何证明这个关于良序集的命题？
勒贝格积分、数学分析、实分析 、泛函分析、 测度论 之间的关联以及先后学习次序是怎样的?
已知一个函数在实数域内连续，并且为周期函数，如何证明它在实数域内一致连续？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
σ-代数为什么叫代数？它有代数结构吗？
下面这个集合可数吗？
定义域为空集的空函数该怎么理解？
平面有界凸集上的点到其重心的最大距离是其直径的比例的上界是多少呢？
为什么，概率论与测度论的分水岭是引入条件概率与独立性这两个概念？
为什么，概率论与测度论的分水岭是引入条件概率与独立性这两个概念？
区间 [0, 1] 内的实数，为什么我证明可以数？
实数轴上还存在人类未知的数吗？
数学专业的实变函数为什么这么难？
与1相邻的实数存在吗？
实数轴上还存在人类未知的数吗？
有限覆盖定理和实数连续性有什么关系？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
为什么函数的连续点构成可测集？
为什么度量空间中聚点等同于极限点？
勒贝格积分、数学分析、实分析 、泛函分析、 测度论 之间的关联以及先后学习次序是怎样的?
为什么函数的连续点构成可测集？
集合相等的定义与空集的定义的矛盾如何理解？