嚴(yán)興杰 樊靜 李帥锜

【摘要】DedeKind分割學(xué)說在分析學(xué)中占有重要地位，它揭示了實數(shù)的完備性.本文考查DedeKind原理與實數(shù)基本定理之間的關(guān)系，從而加深對數(shù)學(xué)分析的理解.

【關(guān)鍵詞】DedeKind原理;聚點定理;區(qū)間套定理;單調(diào)有界定理

【基金項目】中國礦業(yè)大學(xué)教育教學(xué)改革與課程建設(shè)項目資助（2017YB29）.

一、引 言

德國數(shù)學(xué)家Richard DedeKind所創(chuàng)立的分割學(xué)說是將有理數(shù)擴(kuò)充到實數(shù)的一種非常有效的方法[1]，證明了無理數(shù)存在以及實數(shù)的完備性.很自然地，我們認(rèn)為DedeKind分割與實數(shù)基本定理之間存在著某種聯(lián)系.但大部分?jǐn)?shù)學(xué)分析書中都沒有給出這種關(guān)系或者只有簡單的介紹.在本文中，我們將揭示這種關(guān)系，從而加深對數(shù)學(xué)分析的理解，激發(fā)學(xué)習(xí)興趣.

定義1[2] DedeKind原理：設(shè)A，B是實數(shù)域R的兩個子集，它們滿足以下三個條件：

（a）不空：A≠且B≠;

（b）不漏：A∪B=R;

（c）不亂：對x∈A，y∈B都成立x

則稱（A|B）為實數(shù)域的一個DedeKind分割，A為分割的下類，B為分割的上類.

定理1[3] 設(shè)（A，B）是實數(shù)域的一個DedeKind分割，則或者下類A中有最大數(shù)，或者上類B中有最小數(shù).

上述定理也可等價地表述為：

設(shè)（A，B）是實數(shù)域的一個DedeKind分割，則存在實數(shù)c使x≤c≤y，x∈A，y∈B成立.

實數(shù)c稱為分劃（A|B）的分點，且c是唯一的.

二、DedeKind原理證明聚點定理

設(shè)S是一個非空有上界的實數(shù)集，定義兩個集合A和B分別如下：

B={b R：S，x

即B由所有比S中的數(shù)都大的實數(shù)組成，A則為B的余集.下證（A，B）是實數(shù)域的一個DedeKind分割.

（1）不空：由于S有上界，可設(shè)實數(shù)M是S的一個上界，令a=M+1，則a大于S中的所有數(shù)，從而a∈B，所以B≠.又由于S中的所有數(shù)都不在B中，因而，都在A中，說明A≠;

（2）不漏：根據(jù)A與B的定義有A∪B=R;

（3）不亂：設(shè)x∈A，y∈B，由x∈A可知xB，從而存在z∈S，使x≤z.而由y∈B和z∈S可知必有z

因此，（A，B）是實數(shù)域的一個DedeKind分割.

這樣，根據(jù)DedeKind原理可知，存在實數(shù)c使x≤c≤y.由于x≤c，這表明c是S的一個上界.另外，對任意ε>0，有c-εc-ε成立，這意味著c是S的上界，從而存在聚點.

三、DedeKind原理證明區(qū)間套定理

設(shè)[an，bn]為一列閉區(qū)間套.令{an}全體上界為上類B，令A(yù)=R＼＼B，由已知[a1，b1] [a2，b2]…[an-1，bn-1][an，bn]可知a1≤a2≤…≤bn≤…≤b2≤b1，所以有結(jié)論：

（1）不空：由于b1∈B，a1∈A，則A，B兩類不空;

（2）不漏：由于A=R＼＼B，則A，B兩類不漏;

（3）不亂：a∈A，b∈B，可知a不是{an}的上界，因此，存在x∈{an}，使a

因此，（A，B）是實數(shù)域的一個DedeKind分割.此時我們運用DedeKind原理知，存在唯一的c，a∈A，b∈B，有a

四、總 結(jié)

實數(shù)的DedeKind構(gòu)造立論嚴(yán)謹(jǐn)、敘述簡明，直觀而又深刻地揭示了實數(shù)的完備性，因此，必然與實數(shù)基本定理有著密不可分的聯(lián)系.本文運用DedeKind原理對聚點定理、區(qū)間套定理進(jìn)行了詳細(xì)證明.我們也可運用同樣的想法，證明其他的實數(shù)基本定理.本文的結(jié)果對加深數(shù)學(xué)分析內(nèi)容的理解、激發(fā)數(shù)學(xué)分析的學(xué)習(xí)興趣有促進(jìn)作用.

【參考文獻(xiàn)】

[1]王建午.實數(shù)的構(gòu)造理論[M].北京：人民教育出版社，1981.

[2]陳廣榮.現(xiàn)代數(shù)學(xué)的重要方法集合論淺說[M].內(nèi)蒙古：內(nèi)蒙古人民出版社，1979.

[3]崔尚斌.數(shù)學(xué)分析教程（第一版）[M].北京：科學(xué)出版社，2013.

[4]華東師范大學(xué)數(shù)學(xué)系編.數(shù)學(xué)分析（第四版）[M].北京：高等教育出版社，2010.

[5]單墫.數(shù)列與極限[M].合肥：中國科學(xué)技術(shù)大學(xué)出版社，2017.

[6]常庚哲，史濟(jì)懷.數(shù)學(xué)分析教程[M].北京：高等教育出版社，2003.