| 无限集 infinite set 与任何一个自然数n(我们总把n等同于所有小于n的自然数所成之集｛0，1，…，n-1｝)都不一一对应的集。它的存在是由无限公理保证的。德国数学家戴德金(Rechard Dedekind， 1831—1916)发现任一无限集都具有这样的性质：总存在一个真子集与它一一对应，而任一有限集都不具备这一性质。因此也可以把无限集定义为存在与它一一对应的真子集的集。所有自然数所成之集N;所有有理数所成之集Q;所有实数所成之集R;所有有理系数的多项式所成之集等等都是无限集的例子。 |