戴德金原理(Dedekind principle)亦称戴德金分割,是保证直线连续性的基础,其内容为:如果把直线的所有点分成两类,使得:1.每个点恰属于一个类,每个类都不空。2.第一类的每个点都在第二类的每个点的前面,或者在第一类里存在着这样的点,使第一类中所有其余的点都在它的前面;或者在第二类里存在着这样的点,它在第二类的所有其余的点的前面。这个点决定直线的戴德金割切,此点称为戴德金点(或界点),戴德金原理是戴德金((J.W.)R.Dedekind)于1872年提出来的,在构造欧氏几何的公理系统时,可以选取它作为连续公理,在希尔伯特公理组Ⅰ,Ⅱ,Ⅲ的基础上,阿基米德公理和康托尔公理合在一起与戴...