区间套定理是错误的.doc

区间套定理是错误的 马 昕 东 内容提要 本文通过在区间[0,1]上的一个插值证明了区间套定理在时至少存在两个点。 关 键 词 闭区间套 区间套定理 极限 引 言 区间套定理在数学分析理论中，占有十分重要的地位，它是其它许多著名定理的理论基础。为了恰当地分析这个定理，在这里依然引用闭区间套这个概念和区间套定理。 定义 设有一闭区间列具有如下性质， , 则称这个区间列为闭区间套，或称区间套。 区间套定理 设是一区间套，则存在唯一的点ξ，使得ξ （证明过程略） 那么这个定理错在哪里，错在后面的结论。下面用一个简单的例子来说明这个问题。 证明 设，（），（在下面的证明中都是正整数），那么是一个闭区间套。由区间套定理可知：当时，存在唯一的点0。 用个点把均分，则每段的长度为，取最左侧这一段为闭区间，若闭区间套定理成立，一定存在一个数，使得闭区间只有一个点0，也就是说：存在正整数（因为在的正半轴上只能是正数），使得。否则, 若(或者说在的正半轴上是不存在一个正数的倒数为0)，则内至少存在两个点0和。这蕴涵着区间套定理是不成立的。（注意：这里的一定是自然数，否则在自然数集内不存在使闭区间套定理成立的数，即闭区间套定理不能成立。事实上如果存在自然数能够使闭区间套定理成立，那么则可得出区间是可数集合） 现在把分成,,,,，这样个区间；在这里，是使区间套定理成立的数，而且满足 =====， 如果区间套定理成立，则 ==0，那么根据勒贝格测度可知： =0， 即有 ======0。 又根据实变函数理论中的勒贝格测度的性质可知：可数个零测度集的并仍为零测度集，即有 =++++ ≥==1 得到0≥1，相矛盾。 形象地说：这段线段是由点组成的，但是构成线段[0,1]的这些点长度加起来的总长度为0。 通过上面的推导不难看出：不是区间套定理错了，就是勒贝格测度理论错了。但是，不论哪一部分错了，对于数学理论都是灾难性的。区间套定理和勒贝格测度都是数学理论的基石，许多理论都是以它们为基础建立起来的，而且在许多方面都有重要应用。 但在此我们不讨论勒贝格测度问题，只对区间套定理进行质疑。 仍取区间，用个点把等分成等份，则有 [0,1]=∪∪…∪ 令 =,,, 又取 , 显然，当时，是的真子集，即比少一个点，而且对于取任何自然数恒成立，此时取，是使区间套定理成立的数，则有收敛成一个点0。 又取一个平移变换，当,时，可得到。那么，也都收缩成一个点，是单点集。由前面的证明可知：当时，是的真子集，由真子集的定义，只能是空集，即有[0,1]=φφ=。显然相矛盾，这就是说：无论取何值时，至少存在两个点（或者两个值）。 所以，闭区间套定理是错误的。 闭区间套定理是否成立的实质在于：是否存在这样的一个自然数, 使得它的倒数为0？ 然而在华东师范大学数学系编，程其襄教授主编，众多大学参与编写的《数学分析》（书号13010.0524）第199页举出例证如下（编者的话附在后面）： 注意：定理2的结论要求区间套定理的各个区间是闭区间时，才能成立。比如开区间列，虽然前一个包含后一个，而且，但它不存在一个公共点属于所有的开区间。 还有东北师范大学刘玉琏，傅沛仁两位教授编写的《数学分析讲义》书号13010.0674)地120页也有类似的表述。 然而令人可笑的是：恰恰是这个例证说明了闭区间套定理不能成立。证明如下： 若上面的例证成立，则有 同样 我们知道： 则 这说明：当时，半开半闭区间套，只存在唯一的一个点0属于它， 同样 这说明开区间套当时，只存在唯一的一个点0属于它。（此例说明《实变函数论》所运用的数列收敛方法是正确的，见《在《实变函数论》中数列收敛运用的是开区间套而不是闭区间套》） 现在我们再分析上面的例证 若 ，那么既小于0又大于0是不能成立的。事实上在此式子中蕴涵着的极限为最小的正数，也就是说：只有小于最小的正数并且大于0时才不存在。 这个例证恰恰说明闭区间套定理是错误的。编者引用此例不但没有说明闭区间套定理的真实性，反而却选用了一个自相矛盾的例子。 参考文献 华东师范大学数学系编 数学分析 1981年6月 刘玉琏 傅沛仁 数学分析讲义 高等教育出版社 1981年7月