实数完备性定理的等价性证明及其应用.docVIP

实数齐备性定理的等价性证明及其应用

实数理论是数学剖析的基础理论之一，微分学、积分学理论的成立与发展都以实数理论为基础．

在实数系内，作为公义，确界原理成立．确界原理描绘了实数集的连续性，单一有界定理、区间套

定理、有限覆盖定理、聚点定理、柯西收敛准则，与确界原理之间是等价的．六个定理在数学形式

上不一样，可是它们都是描绘了实数集的连续性．它们之间的等价性称为实数齐备性定理的等价性．

本文给出实数齐备性6个定理的另一种循环证明及部分应用．为学生学习这部分内容供给帮助．

预备知识

实数齐备性其本定理

定理1(确界原理)[1](P7)设S为非空数集，若S有上界，则S必有上确界；若S有下界，则S必

有下确界．

定理2(柯西收敛准则)[1](P38)数列{an}收敛的充要条件是:对任给的0，存在正整数N，

使适当n,mN时有|anam|．

定理3(单一有界定理)[1](P35)在实数系中，有界的单一数列必有极限．

定理4(有限覆盖定理)[1](P165)设H为闭区间[a,b]的一个(无穷)开覆盖，则从H中可选出有限

个开区间来覆盖[a,b]．

定理5(聚点定理)[1](P164)实轴上的任何有界无穷点集S起码有一个聚点．

定理6(区间套定理)[1](P161)若{[an,bn]}是一个区间套，则在实数系中存在独一的一点，使

得[an,bn],n1,2,L即anbn,n1,2,L．

实数齐备性定理的等价性证明

2.1用确界定理证明柯西收敛准则

证明设{an}是柯西数列，即

0，正整数N，n,m

N，有|anam|．取mN

1，

1，所以|an|

|aN1|

|an

aN1|

1，故而|an||aN

1|

1．

设M

max{|

a1|,|a2

|,L,|aN|,|aN1|1}可见|an|

M

，即{an}必有界，由确界定理知

inf{an}存在，记为a．

1）若a

min{an}，则

0，

N，使aaNa

．

1

设

1

，存在N

nk(

nk

nk

1)使a

an

a

1

．令k

，得an

a．

2k

2k

k

k

所以关于

0，

K，当k

K时有ank

a

．

取N1

max{N,K}，当k,n

N1时an

a

anan

an

a

2

，所以liman

a．

k

n

n

２）若a

min{an}，作会合P

{x|{an}中有有限项小于x,M

x

M}，P明显为非空

有界会合，故supP存在，记为b

supP．由P的性质，

0，必定有b

P，所以{an}中

有无穷项小于b

．

,N，使b

an

b．设

1

，存在N

nk(nk

nk1)使

2

k

1

b

an

b．令k

，得ank

b．所以关于

0

，

K，当k

K

时有an

b

．

2k

k

k

取N1

max{N,K}，{an}是柯西数列，当

k,nN1时，便有

|an

b||an

ank|

|ann

b|

2

，所以liman

b．

n

2.2

用柯西收敛准则证明单一有界定理

证明设an递加且有上界

M的数列．若{an}不收敛，必为非柯西收敛数列，

即

0，

N，

n

N，所以an

aN

．

取

N1

1

，必

n1

N1

使a

n1

a

即

a

n1

a

．

1

1

取N2

n1，必n2

N2使an2

an1

即an2

an1

．

L

L

L

这样持续下去，一般地取

Nk

nk

1，必nk

Nk使ank

ank1

．

把上述不等式相加得

ank

a1

k

即ank

k

a1．当k

M

a1时，可使ankM．这与M

是{an}的上界矛盾，所以

{an}收敛．

2.3

用单一有界定理证明有限覆盖定理

证明设H是闭区间[a,b]的一个开覆盖．

若H不存在[a,b]的有限开覆盖，把[a,b]一分为二，起码有一个闭区间不可以被

H有限开覆盖

（若不然[a,b]能被H有限开覆盖，矛盾）拿出记为

[a1,b1]，知足[a1,b1]

[a,b]且

b1

a1

1(b

a)，把[a1,b1]一分为二，起码有一个闭区间不可以被

H有限开覆盖拿出记为

[a2,b2]，

2

2

知足[a2,b2][a1,b1]

[a,b]且b2

a2

1

1

(b1a1)

2

2(ba)，这样持续下去获得闭区间列

2

1

{[an,bn]}知足下边两条：（1）[an,bn]

[an1,bn1]且bnan

a)（n

1,2,L

n(b

）（2）每个

2

闭区间[an,bn]都不可以被H有限覆盖．因为

{an}递加且有上界，由单一有界定理可知，

，使

liman

，又因为bn

an0(n

)于是limbn

lim(bn

an)

liman

，即

n

n

n

n

liman

limbn

．

0，N,

n

N，使得

an

，

bn

，进而

n

n

[an,bn]

(

,

)即开区间(

,

)覆盖了闭区间[an,bn]，这