冷知识典藏馆 · The Cold Almanac
科学原理 · 约 1 分钟

无穷也分大小

数学家康托尔证明,实数的“无穷”比整数的“无穷”更大,也就是说,存在不止一种、且可以比较的无穷。

相关科学主题图片

到底是怎么回事

我们通常觉得“无穷”就是“没完没了”,所有无穷大应该都一样大。但数学家康托尔在19世纪末发现,无穷也有不同的大小。他提出一个关键概念:判断两个无穷集合谁更大,要看它们的元素能否一一对应。如果能把一个集合的每个元素都配对上另一个集合的一个元素,且不重复、不遗漏,它们就一样大。 整数的无穷(1, 2, 3, …)和有理数的无穷(所有分数)是同一个级别,因为可以把它们排成一条无限长的队列,让每个整数对应一个有理数。但实数就不一样了——康托尔用著名的“对角线论证”证明,无论你怎么尝试,都无法让整数与0到1之间的所有实数一一对应。总会有一些实数被遗漏,这说明实数的“数量”比整数多了一个层级。

多知道一点

康托尔的这个发现当时震惊了数学界,甚至遭到一些同行的激烈反对。因为“无穷有大小”听起来像悖论:无穷既然无限大,怎么可能还分大小?但康托尔用严格的逻辑证明了,实数的无穷是“不可数无穷”,而整数的无穷是“可数无穷”。他还进一步指出,无穷的等级可以无限延伸——每个无穷集合的“所有子集”构成的集合,会产生一个更大的无穷。

没想到吧

这个结论也纠正了一个常见误解:很多人以

返回全部馆藏