|
笔者还提出了“所有无尽小数都是写不到底、算不到底的事物,都不是定数,而是收敛无穷数列的简写,其极限才是实数,而且极限值具有变量性数列达不到的性质,许多实数需要使用十进小数近似表示的实数理论改革意见”。例如“1被3除的运算,永远除不尽,得到的只能是理想实数1/3的针对误差界数列1/10^n 的全能不足近似值的无穷数列0.3,0.33,0.333,……,这个数列的极限才是理想分数1/3 ,虽然这个这个数列可以简写为无尽小数0.333……,但根据这个数列中的数都是十进小数,而十进小数是有理数,可知这个数列是康托尔实数定义中基本数列(春风晚霞的“是曹拓尔数列的说法是不了解康托尔基本数列定义的污蔑)”;这个数列是无穷数列性质的变数,虽然这个数列的极限是1/3,但变量性无穷数列只能趋向于它的极限值,永远达不到它的极限值。无穷数列{n}只能趋向于∞, 但不能达到∞。无穷数列0.3,0.33,0.333,……,永远小于1/3,永远不等于1/3,现行教科书 中的等式0.333……=1/3是概念混淆的等式”。
对于笔者的这个改革意见,在数学中国网站发表之后,存在着十五年的多次争论,最后春风晚霞于2022年5月29 日,发表了“康托尔基本数列与曹托尔 基本数列的区别与联系”的主贴,这个主贴中提出了“6,特别注意:任何常数数列都是康托尔基本数列,但任何常数数列都不是“曹托尔”基本数列!”的论述。 当笔者指出:他的这个特别注意中任何常数数列不是康托尔基本数列, 而且笔者没有提出曹托尔基本数列定义后, 5月30日他 又贴出了“如常数列{a,a,a,…} a∈Q,因a是常数,所以对任给的正有理数ε和自然数N。恒有不等式| a-a |=0<ε成立,所以常数列{ a }就是康托尔基本数列,而不是“曹托尔”基本数列!”的帖子,当笔者指出:他这个数列只是康托尔基本数列的一个特例,特例不代表一般时,他才于5月31日的帖子中 证明了 “无穷数列0.3,0.33,0.333,……是康托尔基本数列。”,看了他的这个证明,笔者认为这是十几年争论的一个好结果。但春风晚霞又贴出:根据夏道行著《实变函数论与泛函分析》上册第二版P62页第5—8行。介绍的“定义:设数列{An}和{Bn}是两个基本有理数列,若对任意正有理数ε,有自然数N使得n≥N时不等式∣An-Bn∣<ε 成立。则称基本有理数列{An}与{Bn}}相等,记为{An}={Bn}的定义”。对于他这个定义,笔者指出:定义中的两基本数列是;华东师大《数学分析上册》(1988年印刷)附录II中数的等价康托尔基本数列,数列不是数,等价数列不是相等数列,夏道行的这个定义是概念混淆的定义。在这个帖子中,春风晚霞还根据这个错误定义提出:有理基本数列{0.9,0.99,0.999,…}={1,1,1,…},从而有1=0.999… ’的论述,但事实上无尽小数=0.999…作为基本数列{0.9,0.99,0.999,…的简写,只能趋向于实数1,而不能等于1 。春风晚霞在5月30日的帖子中“【无尽循环小数0.333…是康托尔基本数{0.3 ,0.33,0.333,…}中的一项,这是显然的。】的论述也是错误的,事实上,这个数列中的每个有限项都是有尽位十进小数的有理数,只有把无限项看做一个整体时,才可以说这个无穷数列的整体可以简写为无尽小数0.333…。5月31日春风晚霞说到“虽然“曹托尔”数列中的【每个有限项都是有尽位十进小数的有理数】,但这并不能说明该数列的第无限项也是“有尽位十进小数的有理数”嘛!“那么第无穷项当然就是0.333…(小数点后有无穷个3)了;jzkyllcjl先生,你应该知道恩格斯的辩证无穷认为:有限个有限组成仍是有限;只有无限多个有限才组成无限!”。对此,笔者的回复是;:恩格斯的话“只有无限多个有限才组成无限"是正确的,即只有无穷数列{0.3 ,0.33,0.333,…}才可以简写为无尽小数0.333…… ,根据基本数列{0.3 ,0.33,0.333,…}无有终了的性质,这个数列中没有第无穷项。应当知道: 基本有理数列{0.3 ,0.33,0.333,…}的项数n→∞,但永远达不到∞,如果达到了,它就不是∞,∞是无穷大量研究中广义极限性质的非正常实数;∞/∞是不定式。春风晚霞的“第无穷项”不存在。在这个主贴上elim 网友6月1日 说了“康托基本列不是实数”的正确话,这句话也是一个争论的好结果,但对elim接着说的“ 其等价类才是实数”的话,需要做点修改,他的这句话,可以说是根据华东师大《数学分析上册》(1988年印刷330页)附录II中的的定义1说的,但根据这个定义之前,附录II中对等价基本数列说的: 的论述来看,应当把这句话修改为“等价基本数列类中的数列都有极限,这些极限才是实数,而且等价数列的极限是同一个实数”。elim 看了笔者的回复后,又指责笔者的论述是“极限是实数,实数是相限,进入循环定义”;但笔者在论文“马克思、恩格斯的数学论述与数学理论改革”中,是首先写了点、线、面与实数的唯物辩证法概念,然后在实数公理中才提出康托尔数列极限的,所以笔者的论述不是循环定义。elim 网友后来指责笔者“没有除法运算”,但笔者的“1被3 除的除不尽,只能得到近似值的除法预算是符合实践事实的运算,这个运算消除了无尽小数0.333……是定数与概念混淆的等式1/3=0.333……”。elim网友坚持的除法结果的等式1/3=0.333……是违背除不尽事实的概念混淆的错误等式。在无尽小数不等于实数的事实与无穷次判断进行不到底的事实下,康托尔使用对角线方法得到的“闭区间[0,1]表示的实数集合不可数定理”的证明无根据;这就消除了“连续统假设的大难题。春风晚霞称这个假设是公理的意见不成立”。
|
|