我們在Ep21聊了“實數(shù)完備性”的第一個定理——“確界原理”：非空有上界的數(shù)集必有上確界；非空有下界的數(shù)集必有下確界。

我們在Ep49介紹了“實數(shù)完備性”的第二個定理——“單調(diào)有界原理”：單調(diào)有界數(shù)列必收斂。

我們在Ep61介紹了“實數(shù)完備性”的第三個定理——“閉區(qū)間套定理”：

1. 閉區(qū)間套的無限序列——In=[an，bn]，n為正整數(shù)，滿足：I1包含I2包含……包含In包含In+1包含……；

2. lim（bn-an）=0，n趨向于無窮大時——

則這些區(qū)間的公共部分為唯一的一點/一個數(shù)。

我們在Ep66介紹了“實數(shù)完備性”的第四個定理——“柯西準(zhǔn)則”：

條件：對于任意小數(shù)ε>0，存在自然數(shù)N，當(dāng)n>N且n'>N時，有|xn-xn'|<ε；

結(jié)論：數(shù)列{xn}有極限x，即對于任意小數(shù)ε'>0，存在自然數(shù)N'，當(dāng)n>N'時，有|xn-x|<ε'。

今天我們來從“確界原理”推導(dǎo)“柯西準(zhǔn)則”，其中必要性證明同Ep66，我們只證明充分性。

充要條件，必然證明分為必要性和充分性兩部分——

a.必要性：用數(shù)列極限的定義證明即可。

b.充分性——

已知：對于任意小數(shù)ε>0，存在自然數(shù)N，當(dāng)n>N且n'>N時，有|xn-xn'|<ε；

求證：數(shù)列{xn}有極限x，即對于任意小數(shù)ε'>0，存在自然數(shù)N'，當(dāng)n>N'時，有|xn-x|<ε'。

工具：確界原理（：非空有上界的數(shù)集必有上確界；非空有下界的數(shù)集必有下確界）。

分析：這里最關(guān)鍵的步驟是非空有界數(shù)集的構(gòu)造（思想類似于Ep66實數(shù)分劃的構(gòu)造）

——構(gòu)造兩個數(shù)集A和B，對于A中任意元素aj，有aj=min{xj，……，xn，……}<=max{x1，……，xn，……}，對于B中任意元素bk，有bk=max{xk，……，xn，……}>=min{x1，……，xn，……}，就此得到兩個數(shù)集，證明分三步。

證明：

step1：構(gòu)造兩個數(shù)集，證明其滿足非空有上（下）界——

1. 構(gòu)造兩個數(shù)集A和B，對于A中任意元素aj，有aj=min{xj，……，xn，……}，對于B中任意元素bk，有bk=max{xk，……，xn，……}；

2. 對于A，必然含有元素min{x1，……，xn，……}，對于B，必然含有元素max{x1，……，xn，……}；——非空

3. 由于對于任意m<n，有am=min{xm，……，xn，xn+1，……}<=an=min{xn，xn+1，……}，所以{an}是一個單增數(shù)列，同理，{bn}是一個單減數(shù)列；

4. （反證法）由3，假設(shè){an}無上界，即對于任意大數(shù)E>0，存在自然數(shù)N'，n>N'時，有an>aN'>=E，又因為{xn}是柯西列，對于任意小數(shù)ε>0，存在自然數(shù)N"，當(dāng)n>N"且n'>N"時，有|xn-xn'|<ε，取N=max{N'，N"}，n>N+1時，有an-aN+1<ε，即an<aN+1+ε，如果取E=aN+1+ε，導(dǎo)出矛盾，an>E=aN+1+ε，故而{an}即A有上界，同理{bn}即B有下界；

5. 由確界原理可知，A有上確界a，B有下確界b。

step2：證明a=b——

1. 對于任意自然數(shù)n，有an=min{xn，xn+1，…… }，bn=max{xn，xn+1，……}，所以，an<=bn；

2. 由于對于任意m<n，有am=min{xm，……，xn，xn+1，……}<=an=min{xn，xn+1，……}，所以{an}是一個單增數(shù)列，同理，{bn}是一個單減數(shù)列；

3. 由2易得，a1<=a2<=……<=an<=……<=a，b1>=b2>=……>=bn>=……>=b；

4. 由數(shù)列為柯西列，則對于任意小數(shù)ε>0，存在自然數(shù)N，當(dāng)n>N時，an=min{xn，xn+1，……}，bn=max{xn，xn+1，……}，bn-an=|max{xn，xn+1，……}-min{xn，xn+1，……}|<ε；

5. 由3，4易得，對于任意小數(shù)ε>0，存在自然數(shù)N，當(dāng)n>N時，b-a<=bn-an<ε，即a=b，這個值記為x。

step3：證明x即為所求數(shù)列極限——

1. 因為x是A的上確界，所以對于任意小數(shù)ε>0，存在自然數(shù)N，x-ε<aN<=aN+1<=……<=an<=……<=x，同理，存在自然數(shù)N'，x+ε>bN'>=bN'+1>=……>=bn>=……>=x；

2. an=min{xn，xn+1，……}<=xn，同理，bn>=xn，即an<=xn<=bn；

3. 由1，對于任意小數(shù)ε>0，存在自然數(shù)N，n>N時，0<=x-an<ε，-ε<x-bn<=0；

4. 由2,3，對于任意小數(shù)ε>0，存在自然數(shù)N，n>N時，|xn-x|<=max{|x-an|，|x-bn|}<=ε，即x為{xn}的極限，證畢。

今天就到這里！