第三百三十四章 戴德金原理和定理（微积分） (第2/2页)
]。”
狄利克雷说：“有限覆盖定理是一个有用而且重要的定理．它是数学分析处理问题的一种重要方法，在数学各领域中都有广泛的应用．有限覆盖定理的作用是从覆盖闭区间的无限个开区间中能选出有限个开区间也覆盖这个闭区间．由“无限转化为有限”是质的变化，它对证明函数的某些性质提供了新的数学方法。”
戴德金说：“致密性原理就是有界数列必有收敛子列。”
狄利克雷说：“同样可以以你的分割法来证明。”
戴德金说：“柯西收敛，这也是不可避免了，这是完备性的一个体现。”
戴德金于1872年提出来的，在构造欧氏几何的公理系统时，可以选取它作为连续公理，在希尔伯特公理组1，2，3的基础上，阿基米德公理和康托尔公理合在一起与戴德金原理等价。