|

楼主 |
发表于 2023-2-3 11:00
|
显示全部楼层
对于现行教科书称N={0,1,2,3,……}为自然数无穷集合的论述,也需要根据实践讨论它的来源于有穷集合的本质及其性质。首先,根据自然数的十进计数法可以提出如下的三个以有穷集合为项的无穷序列 :
{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)
然后使用广义极限的方法,得到这三个无穷序列的趋向性极限都是想象性的元素个数为+∞的无穷集合。式中符号+∞是华东师大《数学分析》上册1980年版80 页中讲的“非正常(或称广义)极限[3]”性质的“非正常实数”。序列(1)中各个集合的元素个数为无穷数列{n+1},序列(2)中各个集合的元素个数为无穷数列{10n},序列(3)中各个集合的元素个数为无穷数列 ,虽然这三元素个数列的广义极限都是+∞,但根据菲赫金哥尔茨《微积分学教程》第一卷一分册整序变量的计算不定式,定值法, 与 型不定式定值法计算中都可以使用∞与0的取极限之前变数计算不定式的值。上述三个+∞ 表示的多少是不相同的:(2)式表示的比(1)式表示的元素个数多,(3)式表示的元素个数比(1)(2)式都多。康托尔把无穷集合元素看做定数,提出的无穷序数、无穷基数的做法违背事实;造成了正整数集合1,2,3,……与其平方得到的它的真子集1,4,9,……元素个数相等的做法是错误的,事实上,这两个集合的元素个数分别为: 。使用《微积分学教程》一卷第一分册中,整序变量中的不定式定值法,可以得到两者的比为: 这说明正整数集合1,2,3,……比其真子集1,4,9,……的元素个数多得多;由于对无穷集合一一对应法则进行不到底,不能使用“一一对应法则,得到无穷集合元素个数可以相等”的的集合论,应当提出无穷自然数集合如下定义。
定义3:元素个数为有限理想自然数的正常集合叫做有穷自然数集合;以有穷自然数集合为项的无穷序列的元素个数序列的趋向为包含所有自然数的元素个数为非正常实数+∞的自然数集合叫做:元素个数为非正常实数+∞的含有所有自然数的,不可构造完毕的想象性质的、无穷性质的、非正常自然数集合;记作N={0,1,2,3,……}。
对于文献[4]叙述的罗素悖伦来看,由于罗素没有提出无穷集合是无法构成的非正常集合的概念,所以,文献[4]中对概括性表达式 提出了“所有正常集合组成的集合是不是正常集合”是无法判断的罗素悖伦[4]。现在,根据上述定义3与自然数集合的构造过程就说明:“正常集合有无穷多;以所有正常集合为元素组成的集合是元素个数为+∞的非正常集合”,因此,罗素悖论就不存在了。此外,根据无穷集合不能构造完毕的事实,康托尔无穷基数的术语不能提出,文献[4]48页中康托尔定理对无穷集合不成立,文献[4]59页说的“康托尔悖论”也是不存在的。我们不需要为消除这两个悖论去建立ZFC形式语言集合论。此外,由于ZFC形式公理体系中选择公理存在着文献[14]中介绍的使用选择公理的“分球奇论”与不用选择公理的许多"怪"定理,而且依赖于这个公理的《非标准分析》中提出那种大于N中所有自然数的无穷大自然数,不仅违背了自然数集合N包含了所有自然数的性质,而且它们不能用十进计数法标出,无有实用价值;有穷集合是正常集合,无穷集合都不是正常集合;《非标准分析》与ZFC 形式语言公理体系都不需要;康托尔的“数学必须肯定实无穷”、“实无穷论者认为:无穷(在数学中表现为无穷集)是一个现实的、完成的、存在着的整体”的观点是违背实践事实的。
|
|