灯下 登录
数学 / 戴德金数与连续性 / Stetigkeit der geraden Linie

直线的连续性

§ 3 · Stetigkeit der geraden Linie

定义 4

直线的连续性 的读法是把直观数轴压成可检查的序、切割和运算。

A cut of the line is determined by one and only one point.

直线的切割由唯一的点决定。

这一节给出直线连续性的精确定义:若所有点分成左右两类,且左边每点都在右边每点之前,那么存在唯一分界点。这不是图像装饰,而是后面定义实数的模板。

本节与 math-meta/topic-limit-history 互为背景;哈代课程中的切割入口见 hardy-pure-math/real-number-cuts,全书位置见 dedekind-cuts/overview,基础史位置见 math-meta/topic-foundations-crisis