超穷数理论
《一般集合论基础》(以下简称《基础》)在数学上的主要成果是引进超穷数,在具体展开这一理论的过程中,康托尔应用了以下几条原则:
第一生成原则:从任一给点的数出发,通过相继加1(个单位)可得到它的后继数。
第二生成原则:任给一个其中无最大数的序列,可产生一个作为该序列极限的新数,它定义为大于此序列中所有数的后继数。
第三(限制)原则:保证在上述超穷序列中产生一种自然中断,使第二数类有一个确定极限,从而形成更大数类。
反复应用三个原则,得到超穷数的序列
ω,ω1,ω2,…
利用先前引入的集合的势的概念,康托尔指出,第一数类(Ⅰ)和第二数类(Ⅱ)的重要区别在于(Ⅱ)的势大于(Ⅰ)的势。在《基础》的第十三章,康托尔第一次指出,数类(Ⅱ)的势是紧跟在数类(Ⅰ)的势之后的势。
在《基础》中,康托尔还给出了良序集和无穷良序集编号的概念,指出整个超穷数的集合是良序的,而且任何无穷良序集,都存在唯一的一个第二数类中的数作为表示它的顺序特性的编号。康托尔还借助良序集定义了超穷数的加法、乘法及其逆运算。
《对超穷数论基础的献文》是康托尔最后一部重要的数学著作,经历了20年之久的艰苦探索,康托尓希望系统地总结一下超穷数理论严格的数学基础。《献文》分两部分,第一部分是“全序集合的研究”,于1895年5月在《数学年鉴》上发表。第二部分于1897年5月在《数学年鉴》上发表,是关于“良序集的研究”。《献文》的发表标志集合论已从点集论过渡到抽象集合论。但是,由于它还不是公理化的,而且它的某些逻辑前提和某些证明方法如不给予适当的限制便会导出悖论,所以康托尔的集合论通常成为古典集合论或朴素集合论。