变更数学基础的两个构造.pdfVIP

变更 数学基础的两个构造 Changing the Structure of Mathematics 刘宇晖 (liuyuhui30000@) 摘要：作者通过构造两种随机数列，否定了无穷集论和微积分的两个 基础定理，并指出康托对角线证明的逻辑错误。 关键词：任取 无穷数列 势 确界 极限 一．实数可能和自然数一样多 我们构造这样一个无穷实数列，称之为“任取数列”，该数列构 造如下：任取一个实数，记为 a1,作为数列的首项，再任取一个不是 a1 的实数 a2,作为数列的第 2 项，再任取一个不是 a1 和 a2 的实数 a3 ,作为数列第 3 项……一般的，任取一个不是 a1至 an-1 的实数 an, 作为数列第 n 项，等等，因此，我们构造出这个无穷任取数列： a1,a2,a3……,an,…… 由“任取一数”的意义，可知，每一实数都可能被取到，所以， “任取数列”可能包含了所有实数，这样，就证明了：实数可能和自 然数列 1，2，3，…… ,n, …….作成一一对应，即数目可能一样多。 由这一定理，可以得到结论：不存在实数多于自然数的有效证明。 二.康托证明的错误 “实数集的势（实数的数目）大于自然数集的势”，这是康托无 穷集理论的基本定理，因此而有可数集和不可数集的基本划分。康托 的证明即著名的对角线证明。下面作一概括叙述：因为康托已证明全 体实数可以与（0，1）区间的实数一一对应，因此，只要证明（0，1） 区间实数不能与自然数一一对应即可，为简便起见，（0，1）区间的 实数用二进制表示，因此每一位小数非 0 即 1，康托用反证法：假定， （0，1）区间小数可以与自然数一一对应，并已制成对应表，我们称 之为“完备对应表”， 针对此表，康托构造了一个小数 A,A 的每一 位小数构造方式为：令 A的第一位小数不同于表中自然数 1 所对应的 实数的第一位小数，令 A的第二位不同于表中 自然数2 所对应的实数 的第二位，…… ,一般的，构造 A 的第 n 位不同于表中 n所对应的实 数的第 n 位，等等，因此，按此法构造的小数 A 一定与表中的任一实 数都不同，因此，A 不在表中，就是说，“完备表”不完备。所以， （0，1）中的小数不能与自然数构成一一对应。 这一经典论证的错误在于违反了逻辑同一律。因为，一旦假定了 对应表是完备的，那么，就假定了，（0，1）中的任一小数，包括 A， 都在表中。设 A对应表中的自然数 m，那么，按康托的构造，则是令 A 的第 m项不同于 A 的第 m 项，这是不允许的。也就是说，完备性假 定已在逻辑上否定了康托构造的合法性。因此这证明是无效的。如果 是这样，无穷集合论的大部分内容将荡然无存。 三. “单调有界数列必有确界”定理的反例 这是微积分的基础定理。我们用“任取数列”的构造方法给出反 例。数列首项为 1，任取（0 ，1）区间的一个实数做第2 项，记为 a2, 任取（0,a2 ）中的一个实数作为第3 项,记为 a3 ，再任取（0 ，a3)中的 一个实数作为 a4，因此我们构造出一个单调递降的无穷数列，它 有下界 0 ，但是，它有下确界吗？ 设数 M 和数 N 是（0 ，1）之间的两数,M 小于 N ，因为是任取， 因此，我们构造的数列的每一项可能都在（1，N) 中，也可能都落在 (1,M ）中并且有无穷项落在（M,N) 中，如果该数列有下确界R ，则 R 在前种可能下必大于或等于 N ，在后种可能中必小于 N 且大于或等 于 M ，矛盾。由于是任取，又存在其他可能，如该数列有无穷项落在 (M,0)中，这样下确界小于 M 而大于或等于 0 。因此，该数列没有确 界。对于单调递增有界无穷数列可给出完全类似的构造。 四．“单调有界无穷数列必有极限”的另一类反例 “单调有界无穷数列必有极限”的定理也是微积分的基础定理。 事实上在微积分中确界即其极限。这定理包含两个内容：单调递增有 界数列必有极限，以及，单调递降有界数列必有极限。以下，作者构 造一个数列否定这定理。 设数列 A 是一个单调递增有极限的无穷数列，A 的每一项写出来 是：a1,a2,…… ,an, ……;