戴德金分割与实数构造

戴德金用"分割"严格构造实数，奠定连续性与完备性的分析基石。

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

背景

19 世纪分析严格化运动中，一个根本问题悬而未决：实数到底是什么？有理数稠密却有”空隙”（如 $\sqrt{2}$ 不在其中）。1872 年，德国数学家理查德·戴德金（Richard Dedekind，1831—1916）出版《连续性与无理数》，给出了革命性的回答。

详细描述

戴德金提出分割（cut）构造：把有理数集 $\mathbb{Q}$ 分成两个非空子集 $A,B$ ，使 $A$ 中每一数都小于 $B$ 中每一数。若 $A$ 无最大元、 $B$ 有最小元，则该分割定义一个有理数；若 $A$ 无最大且 $B$ 无最小，则分割本身就是一个无理数——例如把 $\mathbb{Q}$ 按”平方小于 2”与”平方大于 2”分开，便定义了 $\sqrt{2}$ 。

由此所有分割构成实数集 $\mathbb{R}$ ，并天然具备连续性（任一分割都对应一个实数，无空隙）与完备性。

同期康托尔也用基本列（柯西列）给出等价构造。

求解过程 / 影响

戴德金分割第一次在逻辑上严丝合缝地”造出”了实数，使微积分得以建立在无懈可击的基础之上。连续性、完备性成为现代分析、拓扑与度量的核心公理。戴德金的工作也深刻影响了公理化思潮（包括希尔伯特与布尔巴基学派）。