勵志

勵志人生知識庫

戴德金原理

戴德金原理(Dedekind principle),也被稱為戴德金分割,是保證直線連續性的基礎。其內容可以描述為:如果把直線的所有點分成兩類,需要滿足以下條件:

每個點恰好屬於一個類,且每個類都不為空。

第一類的每個點都在第二類的每個點的前面,或者在第一類里存在著這樣的點,使第一類中所有其餘的點都在它的前面;或者在第二類里存在著這樣的點,它在第二類的所有其餘的點的前面。

這個點決定直線的戴德金割切,被稱為戴德金點(或界點)。戴德金原理是由數學家理察·戴德金(Richard Dedekind)於1872年提出的。在構造歐氏幾何的公理系統時,可以選擇它作為連續公理。在希爾伯特公理組Ⅰ、Ⅱ、Ⅲ的基礎上,阿基米德公理康托爾公理合在一起與戴德金原理等價。