|
在余元希的“§ 1.2 自然数的序数理论”节,使用皮亚诺(G..Peano)“任何自然数n都有继数n+1的公理,”可以得到自然数集合的元素个数是趋向于+∞的无穷集合是正确的,但还需要知道:这个继数公理的无穷次使用需要无穷长的时间,因此在任何有限时间内,这个无穷集合无法构成,这个无穷集合是无法构造完毕的想象性理想性集合。为此需要提出如下的定义2.与说明。
定义2:元素个数为有限理想自然数的正常集合叫做有穷自然数集合;以元素个数无限增多的有穷自然数集合为项的无穷序列的元素个数序列的趋向于+∞:包含所有有限自然数的元素个数为非正常实数+∞的自然数集合叫做:元素个数为非正常实数+∞的含有所有自然数的,不可构造完毕的想象性质的、无穷性质的、非正常自然数集合;依照惯例,可以记作:N={0,1,2,3,……}。与《非标准分析》不同,自然数集合中没有《非标准分析》的无限大自然数,但不缺少任何有限自然数。
说明1,敝人提出的 这个定义之前,使用恩格斯在《反杜林论》第一编“五、自然哲学、时间和空间”一节的,48页讲到:“杜林先生,永远做不到没有矛盾地思考现实的无限性。无限性是一个矛盾,而且充满着矛盾。无限纯粹是由有限组成的,这已经是矛盾,可是事情就是这样[4]”的说法,提出了自然数无限集合来源于有穷集合的如下的三个无穷序列:
{0,1},{0,1,2},……,{0,1,2,……,n},…… (1)
或{0,1,2,……,9},{0,1,2,……,19},……,{0,1,2,……,10n-1}, ……(2)
或{0,1},{0,1,2,3,4},……,{0,1,2,……, },……(3)
其中序列(1)中各个集合的元素个数为无穷数列{n+1}的变数,序列(2)中各个集合的元素个数为无穷数列{10n}的变数,序列(3)中各个集合的元素个数为无穷数列 的变数,根据菲赫金哥尔茨《微积分学教程》第一卷一分册整序变量的计算不定式, 与 的定值法则,这几个不同序列的趋向可以是元素个数不同的无穷集合。敝人还讨论了有理数集合、实数集合的构造过程及其元素编号,所有无穷集合都具有可数而又数不到底,都不是元素个数为自然数真正可数集合。康托尔的“一一对应的两个集合元素个数相等”的法则,只对有穷集合适用,但对无穷集合不适用。 事实上,现行教科书中“称有理数集合与其真子集自然数集合元素个数相等的有共同基数 ”的论述,违背了“全体大于部分”的欧几里德的公理8。
|
|