康托尔：集合论与无穷的层级

康托尔1874年起创立集合论，证明无穷有不同层级，革新数学基础。

时代: 19世纪
文明 / 地域: 欧洲

背景

19世纪分析严格化要求澄清”连续统”与无穷集合的涵义。此前无穷多被视为潜在过程而非实在对象，实数轴的”大小”缺乏精确刻画。

详细描述

格奥尔格·康托尔（Georg Cantor，1845–1918）在1874年论文《论所有实代数数集合的一个性质》中，用一一对应比较集合大小：他证明代数数全体可数（与自然数等势），而实数全体不可数，故超越数”几乎充满”实数轴。他引入基数记号，可数无穷记为 $\aleph_0$ ，连续统记为 $\mathfrak{c}$ 。此后他发展超限序数、对角论证法，并证明对任意集合 $A$ ，其幂集 $\mathcal{P}(A)$ 的基数严格大于 $A$ （康托尔定理），从而得到无穷的无穷层级。

求解过程 / 影响

集合论首次使”实无穷”成为合法数学对象，证明并非所有无穷相等，奠定了20世纪数学的统一语言。它催生点集拓扑、测度论与公理化集合论（ZFC）。但康托尔的无界概括也引出罗素悖论等基础危机，促使数学基础重整。其连续统假设（ $\aleph_1=\mathfrak{c}$ ）后由哥德尔与科恩证明在ZFC中独立。康托尔的工作彻底改变了数学家对”无穷”与”集合”的理解。