第三章 实数理论必须改革.doc

PAGE PAGE 25 第三章 实数理论必须改革 PAGE PAGE 25 第三章 实数理论必须改革 摘要 “无穷”二字的本来意义是无有穷尽，无尽小数的真实意义是无穷数列的简写；它们都是定义在自然数集合上的变数而不是常数。需要提出理想、近似、全能近似三个技术术语，应用相互依赖的对立统一法则去阐述实数理论。形式主义的方法不仅无法为实数建立一个无矛盾的形式体系，更重要的是没有把实数与生产实践的关系说清楚。非标准分析中的“含有实无穷小的超实数域”是没有现实依据的不需要的数域。唯物辩证法是建立数学理论的根本方法。 关键词 无穷，无尽小数，全能近似实数，实数公理，柯西收敛原理 中图分类号： O12, O14, O17 §3.1分数、整数与无尽循环小数关系的改革 3.1.1分数与无尽循环小数关系 为具体起见，我们讨论无尽循环小数与的关系。现行教科书中说的是相等（即）。作者不同意这个相等的意见，因为：在确定两者之间的关系之前，首先需要知道这两者各是什么东西。第一，代表绝对准意义下的三分之一，根据绝对准的三等分无法进行的事实，应当把它叫做理想实数。第二，应当知道，中的无穷多个3是写不出来的；1被3除是“除不尽”的，这个除法只能一步一步进行。在误差界为的要求下，得到的近似值0.3 ; 在误差界为的要求下，得到的近似值0.33 ；……，无限制地一步一步进行下去，可以得到任意小误差界下的近似值，但始终得不到的绝对准十进小数表达式。所以的真正的、实用上的意义应当是是无穷数列： 的简写。这个数列的通项是定义在自然数集合上的函数 括号内是公比为的等比级数的前n项和的表达式，它的极限是，于是这个无穷数列的极限是，但它本身不能等于。 所以我们应当将现行教科书中的等式改写为任意小误差界下的近似等式。即改为。我们称这种意义下的表达式为“全能近似等式”。同时称：无尽循环小数的真实意义是上述无穷数列的简写，它是一个定义在自然数集合上的无限变化着的变数而不是有确定大小的常数。在这个关系中，我们称：为理想实数；是它的全能近似实数。这就是作者的实数理论必须改革的第一个具体例子。一般的，所有无尽循环小数都应当被看作无穷数列，而且使用等比级数的极限性质，我们可以证明如下的定理。 定理1 所有无尽循环小数的极限都是一个分数或整数。反过来每一个分数或整数都有一个被看作无穷数列时的无尽循环小数为其极限。 作为这个定理的特例可以证明：无尽循环小数的极限是。 上述讨论与这个定理都说明：无尽循环小数的真实意义应当是无穷数列的简写；它们都是变数而不是常数（或称定数）；它们的极限才是常数。在上述意义下，与现行教科书不同：我们不称无尽循环小数为有理数；有理数只包含分数和整数。 3.1.2 新事物的出现，总是有阻力的。下边叙述一下为现行数学教科书辩护者的几个论点。有些人说：是一个符号，它代表无穷级数的和。使用他们这种说法，现行教科书中的那个错误等式确实是成立的。但是，我们应当知道无穷级数和的定义与计算方法。无穷项相加本来是无法进行的事情；数学家把无穷级数和定义为前n项和的极限。这就是说：把无尽小数0.33……解释为无穷级数和的做法实质上是应用了我们前述的数列极限的做法。他们的这个解说是：掩盖了“无限循环小数不能达到分数值”的、必须使用违反实践的实无穷观点的不恰当的解说。而我们的“把无尽小数0.33……解释为无穷数列的简写”的做法具有更直接、更现实的，不使用违反实践的实无穷观点的优点。更重要的是：我们的解说，可以改善实数理论。此外，对于“级数和”，我们也必须提出理想、近似、全能近似三种和的概念，现行数学理论中定义的“级数和”是理想的不能达到的“级数和”。 我们还应当知道：上述级数和的解说不是根本的解说，要想从根本解决问题，还需从现行实数理论上看一看这个问题如何解说。从康托尔实数理论出发，首先需要知道康托尔实数理论中的下述三个定义。 定义1： 若数列的每一项都是有理数，且对任意小误差界ε都有自然数N存在，使得：当n、mN时，总成立，则称数列为康托尔基本数列。[1] 华东师范大学数学系 《数学分析》 上册 [M], 高等教育出版社 1980, 66~68, 328~330. [1] 华东师范大学数学系 《数学分析》 上册 [M], 高等教育出版社 1980, 66~68, 328~330. 例如，上述表示无尽循环小数0..333……的数列就是一个康托尔基本数列。 定义2; 对任意小误差界ε都有自然数N存在，使得：当nN时，总成立的两个康托尔基本数列叫做相互等价（或称全能近似相等）的康托尔基本数列。[1] 例如：每一项都取的数列，与上述0..333……表示的数列是相互等价的康托尔基本数列；若进行1被3除法运算时每次都取过剩近似值，得到的无穷数列0.4，0.34，0.334，