戴德金原理 (2-1)

戴德金原理

戴德金于1872年提出来的连续公理

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

中文名

戴德金原理

外文名

Dedekind principle

所属学科

数学

所属问题

高等几何(几何基础)

别名

戴德金分割

快速

导航

实数的构造

戴德金定理

戴德金分割

定义 若将实数集R分成两个子集S和T，它们满足：

(1)S ≠ ф，T ≠ ф；

(2)R＝S∪T；

(3)∀x ∈ S，∀y ∈ T总有x＜y(称S为左集，T为右集)

则称为实数集R的一个“戴德金分割”，记作(S，T)[2] 。

“戴德金分割”的第一条要求是左集S与右集T都不是空集，也就是说它们中都有实数，简称为不空。第二条要求是S和T包含了所有的实数，换句话说，对于任何一个实数或者属于左集S或者属于右集T，二者必居其一，简称为不漏。第三条要求是左集S中的实数都比右集T中的实数小，简称为不乱。由第三条可以推知左集中的实数不会在右集中出现，右集中的实数也不会在左集中出现。若x属于左集，凡小于x的实数也都属于左集，若y属于右集，凡大于y的实数也都属于右集。

例如令

S＝{x ∈ R|x ≤ 0 or x² ≤ 2}，

T＝{x ∈ R|x＞0 αnd x²＞2}，

读者可以验证(S，T)是一个戴德金分割，再如令

S={x∈R | 存在自然数n，使

n

── ≥ x}，

n＋1

T={x∈R | x≥1}。

这也确定了一个戴德金分割(S，T)。

第一个戴德金分割中，左集S有最大数，√2而右集T没有最小数；第二个戴德金分割正相反，左集S没有最大数，而右集T有最小数1。√2和1都叫做相应的戴德金分割的中介点。一般说来，实数上的戴德金分割必有中介点，下面的定理便说明这一点，而在有理数集上若类似地作一个戴德金分割就不一定有中介点了。例如若令S={x∈Q | x≤0，或x2≤2)，T={x∈Q | x＞0，且x2＞2)则(S，T)构成对有理数集Q的戴德金分割，但左集S无最大数；右集T无最小数，也就是(S，T)没有中介点[2] 。

实数的构造

19世纪戴德金利用他提出的分割理论，从对有理数集的分割精确地给出了实数的定义，并且该定义作为现代数学实数理论的基础之一可以推出实数理论中的六大基本定理：确界原理、单调有界定理、闭区间套定理、有限覆盖定理、致密性定理和柯西收敛准则。

在对有理数集Q利用戴德金分割构造实数之前，先给出一个引理：任意两个有理数之间，必然存在无数个有理数。引理非常容易证明，设a和b是两个有理数，那么它们的算术平均值

α＋b

c＝───

2

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。