有理数集合划分为两个非空子集 和
,使得
的所有成员都小于
的成员,并且
没有最大成员。实数可以使用戴德金分割或柯西序列来定义。
戴德金分割
另请参阅
Cantor-Dedekind 公理, 柯西序列使用 探索
参考资料
Courant, R. and Robbins, H. "Alternative Methods of Defining Irrational Numbers. Dedekind Cuts." §2.2.6 in 什么是数学?:对思想和方法的基础性探讨,第二版。 Oxford, England: Oxford University Press, pp. 71-72, 1996.Jeffreys, H. and Jeffreys, B. S. "Nests of Intervals: Dedekind Section." §1.031 in 数学物理方法,第三版。 Cambridge, England: Cambridge University Press, pp. 6-8, 1988.在 上被引用
戴德金分割如此引用
Weisstein, Eric W. “戴德金分割。” 来自 Web 资源。 https://mathworld.net.cn/DedekindCut.html