灯下 登录
数学 / 戴德金数与连续性 / Rechnungen mit reellen Zahlen

实数运算

§ 6 · Rechnungen mit reellen Zahlen

定义 7

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

Order and arithmetic must be extended from rational numbers to cuts.

序和四则运算必须从有理数延伸到切割。

一个数系不能只有存在性。戴德金还要说明新数之间怎样比较、怎样加减乘除,并且这些规则与原有有理数运算相容。

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