第七章 实数完备性

第七章  实数完备性
第七章  实数完备性

第七章实数的完备性

§1 关于实数完备性的基本定理

一、问题提出

定理1.1(确界原理)非空有上(下)界的数集必有上(下)确界.

确界存在定理(定理 1.1)揭示了实数的连续性和实数的完备性. 与之等价的还有五大命题,这就是以下的定理1.2至定理1.6.

定理1.2 (单调有界定理)任何单调有界数列必定收敛.

定理1.3 (区间套定理)设为一区间套:

则存在唯一一点

定理1.4 (有限覆盖定理)设是闭区间的一个无限开覆盖,即

中每一点都含于中至少一个开区间内.则在中必存在有限个开区间,它们构成

的一个有限开覆盖.

定理1.5 (聚点定理)直线上的任一有界无限点集至少有一个聚点,即在的任意小邻域内都含有中无限多个点(本身可以属于,也可以不属于).

定理1.6 (柯西准则)数列收敛的充要条件是:,只要恒有.(后者又称为柯西(Cauchy)条件,满足柯西条件的数列又称为柯西列,或基本列.)

这些定理构成极限理论的基础.我们不仅要正确理解这六大定理的含义,更重要的还要学会怎样用它们去证明别的命题.下面通过证明它们之间的等价性,使大家熟悉使用这些理论工具.下图中有三种不同的箭头,其含义如下:

:(1)~(3) 基本要求类

:(4)~(7) 阅读参考类

:(8)~(10) 习题作业类

二、回顾确界原理的证明

我们曾引入有界数集的确界概念,今证明它的存在性(记号a 、b 、c 表示实数) Dedekind 定理

设A/B 是R 的一个切割,则比存在实数R ε∈使得(,]A ε=-∞,(,)B ε=+∞或

(,)A ε=-∞,[,)B ε=+∞无其它可能.

1 非空有上界的数集E 必存在上确界.

证明 设}{x E =非空,有上界b : E x ∈?,b x ≤. (1) 若E 中有最大数0x ,则0x 即为上确界;

(2) 若E 中无最大数,用下述方法产生实数的一个分划;取E 的一切上界归入上类

B ,其余的实数归入下类A ,则)|(B A 是实数的一个分划.

ο

1 A 、B 不空.首先B b ∈.其次E x ∈?,由于x 不是E 的最大数,所以它不是E 的上界,即

A x ∈.这说明E 中任一元素都属于下类A ;

ο

2 A 、B 不漏性由A 、B 定义即可看出;

ο

3 A 、B 不乱.设A a ∈,B b ∈.因a 不是E 的上界,E x ∈?,使得x a <,而E 内每一元素属于

A ,所以b x a <<.

ο

4 由ο

3的证明可见A 无最大数.

所以)|(B A 是实数的一个分划.由戴德金定理,知上类B 必有最小数,记作c .

E x ∈?,由ο1知A x ∈,即得c x <.这表明c 是E 的一个上界.若b 是E 的一个上界,则B b ∈,由此得b c ≤,所以c 是上界中最小的,由上确界定义,c 为集合E 的上确界,记作 E c sup =.

推论 非空的有下界的集合必有下确界.

事实上,设集合}{x E =有下界b ,则非空集合}|{'E x x E ∈-=有上界b -,利用集合'E 上确界的存在性,即可得出集合E 的下确界存在.

定理1解决了非空有上界集合的上确界存在性问题,我们可以利用上确界的存在性,得出我们所研究的某一类量(如弧长)的存在性.

若全序集中任一非空有上界的集合必有上确界,我们称该全序集是完备的.定理1刻划了实数集是完备的.

例1 证明实数空间满足阿基米德原理.

证明 0>>?a b ,要证存在自然数n 使b na >.假设结论不成立,即

b na ≤, ),,Λ21(=n ,

则数集}{na E =有上界b ,因此有上确界c ,使c na ≤),,

Λ21(=n ,也就有c a n ≤+)1(),,Λ21(=n ,或 a c na -≤ ),,Λ21(=n .这表明a c -是集合E 的上界,与c 是上确

界矛盾.所以总存在自然数n ,使b na >. 三、等价命题证明

下面来完成(1)~(7)的证明. (一) 用确界定理证明单调有界定理

设}{n x 单调上升,即ΛΛ≤≤≤≤≤n x x x x 321,有上界,即M ?,使得M x n ≤.

考虑集合}|{N n x E n ∈=,它非空,有界,定理2推出它有上确界,记为n

N n x a ∈=sup .我们验证 n

n x a ∞

→=lim .

0>?ε,由上确界的性质,N ?,使得N x a <-ε,当N n >时,由序列单调上升得n N x x a ≤<-ε,

再由上确界定义,ε+<≤a a x n ,有 εε+<<-a x a n ,即ε<-a x n ,也就是说 n

N n n n x a x ∈∞→==sup lim . 同理可证若}{n x 单调下降,有下界,也存在极限,且n

N n n n x x ∈∞→=inf lim .

若集合E 无上界,记作+∞=E sup ;若集合E 无下界,记作+∞=E inf ,这样一来,定理2证明了

的单调上升(下降)有上界(下界)的序列}{n x ,必有极限)inf (sup n N x n N x x x ∈∈的定理现在有了严格的

理论基础了.且对单调上升(下降)序列}{n x ,总有

)

inf (sup lim n N

x n N

x n n x x x ∈∈+∞

→=.

(二) 用单调有界定理证明区间套定理

由假设(1)知,序列}{n a 单调上升,有上界1b ;序列}{n b 单调下降,有下界1a .因而有

1lim c a n n =+∞→,2

lim c b n n =+∞→. n n b c c a ≤≤≤21.

再由假设(2)知

0)(lim 12=-=-+∞→c c a b n n n ,

记c c c ==21. 从而有

n

n n n b c a +∞→+∞→==lim lim .

若还有*

c 满足n n b c a ≤≤*,令+∞→n ,得c c =*.故c 是一切],[n n b a 的唯一公共点.证毕.

这个定理称为区间套定理.关于定理的条件我们作两点说明:

(1) 要求],[n n b a 是有界闭区间的这个条件是重要的.若区间是开的,则定理不一定成立.

)1

,

0(),(n b a n n =.

显然有 )1,0()11,0(n n ?+, 但 φ=+∞=)1

,0(1n n I .

如果开区间套是严格包含: n n n n b b a a <<<++11,这时定理的结论还是成立的.

(2)若],[],[11n n n n b a b a ?++),,Λ21(=n ,但0)(lim ≠-+∞→n n n a b ,此时仍有

1lim c a n n =+∞

→,2

lim c b n n =+∞→,但21c c <,于是对任意的c ,21c c c ≤≤,都有],[1n n n b a c +∞

=∈I . 全序集中任一区间长趋于零的区间套有非空交集,则称该全序集是完备的,定理3刻划实

数集是完备的(这里完备定义与上段完备定义是等价的).定理3也给出通过逐步缩小搜索范围,找出所求点的一种方法.

推论 设为一区间套,

.则

时,恒

用区间套定理证明其他命题时,最后常会用到这个推论.

例2 序列}{n x 由下列各式

a x =1,

b x =2,

22

1--+=

n n n x x x ),,Λ43(=n

所确定(见下图).证明极限n n x

+∞→lim 存在,并求此极限.

1x 3x 5x 4x 2x x

证明 当b a =时,a x n =,故a

x n n =+∞→lim .

当b a ≠时,若取),min(1n n n x x a +=,),m ax (1n n n x x b +=,),,Λ21(=n .

则由条件,显然可得一串区间套:

],[],[11n n n n b a b a ?++ ),,Λ21(=n .

由已知条件

)(21

2111--+--=-+=

-n n n n n n n x x x x x x x ,

于是

)(0||21

||21||21

||21||112121211+∞→→-=-==-=-=

-=------+n a b x x x x x x x x a b n n n n n n n n n n Λ

由区间套定理,存在c 满足: n n n n b c a +∞→+∞→==lim lim .注意到],[n n n b a x ∈,所以 c x n n =+∞→lim . 下面来求c .由)

(21

11-+--=-n n n n x x x x ,令132-=k n ,,,Λ得一串等式: )

(21

1223x x x x --=-; )

(21

2334x x x x --=-;

Λ

ΛΛΛΛΛ

)

(21

211-----=-k k k k x x x x .

将它们相加,得 )(21112x x x x k k --=--,令+∞→k ,得)

(21

12x c x c --=-

所以

)2(31

323121b a x x c +=+=

.

(三) 用区间套定理证明确界原理

证明思想:构造一个区间套,使其公共点即为数集的上确界.

设, 有上界.取;,再令

如此无限进行下去,得一区间套.

可证:因恒为的上界,且,故,必有

,

这说明是的上界;又因,故,而都不是的上界,因此更不是的上界.所以成立.[证毕]

*(四) 用区间套定理证明有限覆盖定理

设为闭区间的一个无限开覆盖.反证法假设:

“不能用中有限个开区间来覆盖”.

对采用逐次二等分法构造区间套,的选择法则:取“不能用中有限个开区间来覆盖”的那一半.

由区间套定理,.

导出矛盾:使

记由[推论],当足够大时,

这表示用中一个开区间就能覆盖,与其选择法则相违背.所以必能用中有限个开区间来覆盖.

说明当改为时,或者不是开覆盖时,有限覆盖定理的结论不一定成立.

例如:

1) .

是开区间的一个无限开覆盖,但不能由此产生的有限覆盖.

2) .

是的一个无限覆盖,但不是开覆盖,由此也无法产生的有限覆盖.

* (五) 用有限覆盖定理证明聚点定理

设为实轴上的有界无限点集,并设.

由反证法假设来构造的一个无限开覆盖:若有聚点,则

.现反设中任一点都不是的聚点,即在内至多只有.这样,

就是的一个无限开覆盖.

用有限覆盖定理导出矛盾:据定理9,存在

为的一个有限开覆盖(同时也覆盖了).由假设,内至多只有所属个邻域内至多只有属于(即只覆盖了中有限个点).这与覆盖了全部中无限多个点相矛盾.

所以,有界无限点集必定至少有一个聚点.[证毕]

推论(致密性定理)有界数列必有收敛子列.即若为有界数列,则使有

子列的极限称为原数列的一个极限点,或称聚点

注数列的聚点与一般点集的聚点,含义稍有不同.数列的聚点定义为:

“,在内含有中无限多个项,则为的一个聚点.”在此意义下,对于数列

它有两个收敛子列:和

,

.它们的极限

就是

两个聚点.

}

{n a 有界,则存在数11,y x 使得

1

1y a x n ≤≤对n ?成立.

将],[11y x 二等分为

]2,

[111y x x +、],2[11

1y y x +,则其中必有一个含有数列}{n a 的无穷多项,

记为],[22y x ;再将],[22y x 二等分为

]2,

[222y x x +、],2[22

2y y x +,同样其中至少有一个含有数列

}

{n a 的无穷多项,把它记为

],[33y x ,……一直进行这样的步骤,得到一闭区间套]}

,{[n n y x ,其中

每一个]

,[n n y x 中都含有数列}

{n a 的无穷多项,且满足:

⑴ ],[11y x ?],[22y x ??Λ]

,[n n y x ?…

11

1

lim()lim

02n n n n n y x y x -→∞

→∞

--==

则由闭区间套定理,ξ?使得 =∞→n n a lim =∞→n n b lim ξ 下证

}

{n a 中必有一子列收敛于实数ξ

先在],[11y x 中选取

}

{n a 的某一项,记为

1

n a ,因],[22y x 中含有

}

{n a 中的无穷多项,可选取位于

1

n a 后的某一项,记为

2n a ,12n n >.继续上述步骤,选取k n a ],[k k y x ∈后,因为],[11++k k y x 中含有无

穷多项,可选取位于k

n a 后的某一项,记为

1

k n a +且

k

k n n >+1,这样我们就得到

}

{n a 的一个子列

}

{k n a 满足

k n k y a x k ≤≤,Λ,2,1=k

由两边夹定理即得 =∞→k n n a lim ξ

.

证明 设b x a n ≤≤,用中点

21b

a c +=

将[]b a ,一分为二,则两个子区间[]1,c a 和[]b c ,1中至少

有一个含有}{n x 中无穷多项,选出来记为[]11,b a ,在其中选一项

1

n x .用中点

21

12b a c +=

将[]

11,b a 一分为二,则两个子区间[]21,c a 和[]12,b c 中至少有一个含有}{n x 中无穷多项,选出来记为[]22,b a ,在其中选一项

2

n x ,使得Λ,12n n >.最后得一区间套[]k k b a ,,满足

[][]k k k k b a b a ,,11?++,

k k k a b a b 2-=

-,

[]k

k k k n n n b a x k >∈+1,,.

由区间套定理,c b a k k k k ==∞→∞→lim lim ,又由于k

n k b x a k ≤≤,有c x k n k =∞→lim .

*(六) 用聚点定理证明柯西准则

必要性: 已知

收敛,设

.由定义,

,当

时,有

从而有

充分性: 已知条件: 当时

.欲证

收敛.

.首先证

有界.对于

时,有

,则有

.由致密性定理,存在收敛子列,设

.最后证

,由条件,

时,有

于是当

(同时有

)时,就有

证 “?” }{n a 收敛,则存在极限,设a a n n =∞→lim ,则0>?ε,N ?,当N n >时有

2/||ε<-a a n ?

当N m n >,时有

ε

<-+-≤-||||||a a a a a a n m m n

“?”先证有界性,取1=ε,则N ?,N m n >,?1||<-m n a a

特别地,N n >时 1||1<-+N n a a ?1

||||1+<+N n a a

}

1|||,|,|,||,m ax {|121+=+N N a a a a M Λ,则n ?,M

a n ≤||

再由致密性定理知,

}

{n a 有收敛子列

}

{k n a ,设a

a k n k =∞

→lim

0>?ε,1N ?,1,N m n >?||/2n m a a ε-<

K ?,K k >?2

/||ε<-a a k n

取),m ax (1N K N =,当N n >时有11N n N N +≥+>

? ε

εε=+<-+-≤-++2/2/||||||11

a a a a a a N N n n n n

故a

a n k =∞

→lim .

Cauchy 列、基本列(满足Cauchy 收敛准则的数列)

*(七) 用柯西准则证明单调有界原理 设

为一递增且有上界M 的数列.用反证法( 借助柯西准则 )可以证明:倘若

极限,则可找到一个子列以

为广义极限,从而与

有上界相矛盾.现在来构造这样

对于单调数列,柯西条件可改述为:“ 当 时,满足

”.这是因为它同时保证了对一切

,恒有 .

倘若不收敛,由上述柯西条件的否定陈述:,对一切,,使

依次取

把它们相加,得到

故当时,可使,矛盾.所以单调有界数列必定有极限. [ 证毕 ] 例1 用单调有界定理证明区间套定理.

即已知:1 )单调有界定理成立;

2 )设

[]

{}

n

n

b

a,为一区间套.

欲证:

[],

,2,1

,

=

ξ

?n

b

a

n

n且惟一.

证证明思想:构造一个单调有界数列,使其极限即为所求的ξ.

为此,可就近取数列{}

n

a(或{}n b).由于

,

1

2

2

1

b

b

b

a

a

a

n

n

≤Λ

Λ

Λ

因此{}

n

a为递增数列,且有上界(例如

1

b).由单调有界定理,存在ξ

=

n

n

a

lim

,且Λ,2,1

,=

ξ

≤n

a

n.又因n

n

n

n

a

a

b

b+

-

=)

(,而0

)

(

lim=

-

n

n

n

a

b

,故

ξ

=

ξ

+

=

+

-

=

lim

)

(

lim

lim

n

n

n

n

n

n

n

a

a

b

b

且因{}

n

b递减,必使ξ

n

b.这就证得[]Λ,2,1

,

,=

ξn

b

a

n

n.

最后,用反证法证明如此的ξ惟一.事实上,倘若另有一个

[]Λ,2,1

,

,=

ξ'n

b

a

n

n,则由

)

(

)

(∞

-

ξ'

-

ξn

a

b

n

n,

导致与

>

ξ'

-

ξ相矛盾.

例 2 (10)用区间套定理证明单调有界定理.即已知:1 )区间套定理成立.

2 )设

{}n x为一递增且有上界M的数列.

欲证:{}n x存在极限n

n

x

=

ξlim

证证明思想:设法构造一个区间套

[]

{}

n

n

b

a,

,使其公共点ξ即为

{}n x的极限.

为此令[][]M

x

b

a,

,

1

1

1

=.记2

1

1

1

b

a

c+

=

,并取

[]

[]{}

[]{}

?

?

?

=

.

,

,

;

,

,

,

1

1

1

1

1

1

2

2

的上界

的上界

n

n

x

c

b

c

x

c

c

a

b

a

再记22

2 2b

a c +

=

, 同理取

[][]{}[]{}??

?=.,,;

,,,22222233的上界不为若的上界为若n n x c b c x c c a b a

如此无限进行下去,得一区间套[]{}n n b a ,.

根据区间套定理,

[]∞

→∞

→=ξ==∈ξ?n n n n n n b a n b a )

lim lim (,2,1,,Λ.下面用数列极限定义证明

ξ

=∞

→n n x lim :

0>ε?,一方面,由于)(N ∈k b k 恒为{}n x 的上界,因此

ε

+ξ<ξ=≤?≤∈?∞

→k k n k n b x b x ,k n lim ,N ;

另一方面,由

ε

-ξ>?ε<-ξ=ξ-≥∈??ξ=∞

→K k k k k a a a K k ,K a ,lim 时当N ;

而由区间套的构造,任何k a 不是{}n x 的上界,故ε-ξ>>?K N a x ;再由{}n x 为递增数列,当N n >时,必有ε-ξ>≥N n x x .这样,当 N n > 时,就有

ε+ξ<<ε-ξn x , 即 ξ

=∞→n n x lim .

例 3 (9) 用确界定理证明区间套定理.

即已知: 1 ) 确界定理成立(非空有上界的数集必有上确界);

2 ) 设{}],[n n b a 为一区间套.

欲证:存在惟一的点[]Λ,2,1,,=∈ξn b a n n .

证 证明思想:给出某一数集S ,有上界,使得S 的上确界即为所求的ξ. 为此,取{}n a S =,其上界存在(例如 1b ).由确界定理,存在 {}n a sup =ξ.

首先,由ξ为{}n a 的一个上界,故Λ,2,1,=ξ≤n a n .再由ξ是{}n a 的最小上界,倘有某个

ξ?,这与[]{}

n

n b a ,为区间套相矛盾(

j

i b a <).所

以任何ξ≥n b .这就证得

Λ,2,1,

=≤ξ≤n b a n n .

关于ξ的惟一性,与例1中的证明相同.

注 本例在这里所作的证明比习题解答中的证明更加清楚.

在以上六个等价命题中,最便于推广至中点集的,当属聚点定理与有限覆盖定理.为加深对聚点概念的认识,下例所讨论的问题是很有意义的.

例证明“是点集的聚点”的以下三个定义互相等价:

(i) 内含有中无限多个点(原始定义);

(ii) 在内含有中至少一个点;

(iii) ,时,使.

证 (i)(ii) 显然成立.

(ii)(iii) 由(ii),取,;

再取;

……

一般取;

……

由的取法,保证,,.

(iii)(i)时,必有,且因各项互不相同,故内含有中无限多个点.[证毕]

四、实数系的完备性

实数所组成的基本数列{}

n

x比存在实数极限――实数系完备性;有理数域不具有完备性,

1

(1)n

n

??

+

??

??

1

lim(1)n

n

e

n

→∞

+=(无理数).

五、压缩映射原理(不动点原理)

1、函数f(x)的不动点指什么?

设y=f(x)是定义在[a,b]上的一个函数,方程x=f(x)的解称为f(x)的不动点.

2、在什么样的条件下不动点一定存在呢?存在时唯一吗?如何求出不动点?

压缩映射:如果存在常数k,满足0≤k<1,使得对一切,[,]

x y a b

∈成立不等式

()()||f x f y k x y -≤-,

则称f 是[a,b]上的一个压缩映射. 压缩映射必连续.

压缩映射原理(不动点原理) 设()x ?是[a,b]上压缩映射,且([,])[,]a b a b ??,则()x ?在[a,b]上存在唯一的不动点.

例3 证明Kapler 方程sin x x b ε=+在||1ε<时,存在唯一实数.

§7.2 闭区间上连续函数性质的证明

教学目标:证明闭区间上的连续函数性质.

教学内容:闭区间上的连续函数有界性的证明;闭区间上的连续函数的最大(小)值定理的证明;

闭区间上的连续函数介值定理的证明;闭区间上的连续函数一致连续性的证明.

基本要求:掌握用有限覆盖定理或用致密性定理证明闭区间上连续函数的有界性;用确界原理

证明闭区间上的连续函数的最大(小)值定理;用区间套定理证明闭区间上的连续函数介值定理.

较高要求:掌握用有限覆盖定理证明闭区间上的连续函数的有界性和一致连续性. 教学建议:

(1) 本节的重点是证明闭区间上的连续函数的性质.

(2) 本节的难点是掌握用有限覆盖定理证明闭区间上的连续函数的一致连续性以及实数完备性的六大定理的等价性证明,对较好学生可布置这方面的习题. 教学过程:

在本节中,将利用关于实数完备性的基本定理来证明第四章2中给出的闭区间上连续函数的基本性质.

一、有界性定理 若函数f 在闭区间[]b a ,上连续,则f 在[]b a ,上有界

证法 一 ( 用区间套定理 ). 反证法. 参阅[3]P106—107.

证法 二 ( 用致密性定理). 反证法.

证明 如若不然,)(x f 在],[b a 上无界,∈?n N ,],[b a x n ∈?,使得n x f n >|)(|,对于序列}{n x ,

它有上下界b x a n ≤≤,致密性定理告诉我们k n x

?使得],[0b a x x k n ∈→,由)(x f 在0x 连续,及k

n n x f k >|)(|有

+∞

==∞

→|)(|lim |)(|0k n k x f x f ,

矛盾.

证法 三 ( 用有限复盖定理 ). 参阅[1]P168—169

证明 (应用有限覆盖定理) 由连续函数的局部有界性(th4.2)对每一点[]b a x ,'

∈都存

在邻域()x x '',δο?及正数'

x M

使

()()[]b a x x M x f x x ,,''

'??∈≤δ 考虑开区间集

()(){}b a x x H x ,,'''∈?=δ

虽然H 是[]b a ,的一个无限开覆盖,由有限开覆盖定理,存在H 的一个有限点集

()[]{}k i b a x x H i i i ,,2,1,,Λ=∈?=*δ

覆盖了[]b a ,,且存在正整数,,,21k M M M Λ使对一切()[]b a x x i i ,,??∈δ有()k i M x f i ,,2,1,Λ=≤,令

k

i i

M M ≤≤=1m ax

则对[]b a x ,∈?,x 必属于某()()M M x f x i i i ≤≤?δ,Y ,即证f 在[]b a ,上有上界. 二、最值性:

命题2 ] , [)(b a C x f ∈, ? )(x f 在] , [b a 上取得最大值和最小值. ( 只证取得最大值 )

证 ( 用确界原理 ) 令

)}

({sup x f M b

x a ≤≤=,+∞

M x f <)(.

考虑函数

)(1

)(x f M x -=

?,则],[)(b a C x ∈?,因而有界,即)0()(>≤μμ?x , 从而

M

M x f <-

≤μ

1

)(,这与M 是上确界矛盾,因此],[b a x ∈?,使得M x f =)(.

类似地可以证明达到下确界.

三、介值性: 证明与其等价的“零点定理 ”.

命题3 (零点存在定理或根的存在性定理)设函数)(x f 在闭区间],[b a 上连续即

]),([)(b a C x f ∈且)(a f 与)(b f 异号()(a f 0)(

)(0=x f .即方程0)(=x f 在),(b a 内至少存在一个实根.

证法 一 ( 用区间套定理 ) .设0)(b f .将],[b a 二等分为],[c a 、],[b c ,若

0)(=c f 则c x =0即为所求;若0)(≠c f ,当0)(>c f 时取],[c a 否则取],[b c 为],[11b a ,有

0)(1b f .如此继续,如某一次中点i c 有0)(=i c f 终止(i c 即为所求);否则得

]}

,{[n n b a 满足:⑴

Λ

Λ????],[],[],[11n n b a b a b a ;

⑵ 0

2lim

)(lim =-=-∞→∞

→n

n n n n a

b a b ;

)(,0)(>

由闭区间套定理知,?唯一的

]

,[1

0n n n b a x ∞

=∈I ,且=∞

→n n a lim 0

lim x b n n =∞

由)(x f 在0x

处的连续性及极限的保号性得

)()(lim 0≤=∞

→x f a f n n 、

0lim ()()0n n f b f x →∞

=≥0

)(0=?x f #

证二( 用确界原理 ) 不妨假设0)(

是使得0)(>x f 的x 的下确界),令

]},[,0)(|{b a x x f x E ∈>=,要证E x inf 0=(E inf 存在否?).

因为Φ≠?∈E E b ,],[b a E ?E ?有界,故E inf 存在.令 E

x inf 0=,下面证0)(0=x f

如若不然,

)(0≠x f 则

)(0>x f (或

)(0

1x x <使0)(1>x f ).

首先a

x ≠0,即

]

,(0b a x ∈;f 在0x

连续,由连续函数的局部保号性],[),(0b a x U ???δ使得

),(0δx U x ∈?有0)(>x f ,特别应有0)2(0>-δx f 即 E x ∈-20δ

,这与E x inf 0=矛盾,故必有0

)(0=x f .

证法 二 ( 用确界原理 ) 不妨设,0)(>a f 0)(

令} ] , [ , 0)( | {b a x x f x E ∈>=, 则E 非空有界, ? E 有上确界. 设E sup =ξ, 有∈ξ] , [b a . 现证 0)(=ξf , ( 为此证明)(ξf 0≥且)(ξf 0≤ ). 取n x >ξ 且

n x ) ( ,∞→→n ξ. 由)(x f 在点ξ连续和0)(≤n x f , ? 0)(lim )(≤=∞

→n n x f f ξ,

? ξE ?. 于是) ( , ∞→→?∈?n t E t n n ξ. 由)(x f 在点ξ连续和0)(>n t f ,

? 0)(lim )(≥=∞

→n n t f f ξ. 因此只能有0)(=ξf .

证法 三 ( 用有限复盖定理 ).

介值性定理 设f 在闭区间[]b a ,上连续,且()()()()b f a f b f a f 与为介于若μ≠之间的任何实数

()()b f a f <<μ或()()b f a f >>μ,则存在()b a x ,∈ο使()μ=οx f .

证明 (应用确界定理) 不妨设

()()()()μμ-=<

函数,()()0,0>>b g a g ,于是定理的结论转为:()()0,,=∈?οοx g b a x 使这个简化的情形称为根的存在性定理(th4.7的推论)

记()[]{}b a x x g x E ,,0∈>=显然E 为非空有界数集[]()E b b a E ∈?且,故有确界定理, E 有下确界,记()()0,0inf ><=b g a g E x 因ο有连续函数的局部保号性, 0>?δ,使在),[δ+a a 内

0)(x g .由此易见a x ≠ο,b x ≠ο,即()b a x ,∈ο.

下证()0=οx g .倘若()0≠οx g ,不妨设()0>οx g ,

则又由局部保号性,存在()()()b a x ,,?ηοY 使在其内)0(>x g ,特别有

E

x x g ∈-?>??? ??

-202ηηοο=0,

但此与E x inf =ο矛盾,则必有0)(0=x g .

几何解释 直线c y =与曲线)(x f y =相交.把x 轴平移到c y =,则问题成为零点存在问题.这启发我们想办法作一个辅助函数,把待证问题转化为零点存在问题.辅助函数如何作?

① 从几何上,c y y x x -='=',启示我们作c x f x F -=)()(; ② 从结果

c

x f =)(0着手.

利用零点定理证:令c x f x F -=)()(,则]),([)(b a C x F ∈,往下即转化为零点存在问题. # 这种先证特殊、再作辅助函数化一般为特殊,最后证明一般的方法是处理数学问题的常用方法,以后会经常用到.

推论 如f 为区间I 上的连续函数,则值域)(I f J =也是一个区间(可以退化为一点). 证 f 为常量函数,则)(I f J =退化为一点.f 非常量函数,则J 当然不是单点集.在J 中任取两点21y y <(只要证J y y ?],[21),则在I 中必有两点1x ,2x 使得11)(y x f =,22)(y x f =.于是对21y y y <

区间.

二、一致连续性:

命题4 ( Cantor 定理 ) ],[)(b a C x f ∈, 则)(x f 在],[b a 上一致连续.

证法 一 ( 用有限复盖定理 ) 参阅[1]P171[ 证法一 ]

证明 (用有限覆盖定理) 由f 在闭区间[]b a ,上连续性,0>?ε,对每一点[]b a x ,∈,都存

在0>x δ,使当()x x x δ,'

Y ∈时,有

()

()2'ε

<

-x f x f

考虑开区间集合

[]??

?

???∈??? ??=b a x x H x ,2,δY 显然H 是[]b a ,的一个开覆盖,由有限覆盖定理H ?的一个有限子集

[]0

2min ,,,2,12,>???

???=??????=??? ??=*i i i b a k i x H δδδ记覆盖了ΛY

[]

δ<-∈?"

'

"

'

,,x x b a x x ,x '必属于*H 中某开区间,设

??? ??∈2,'

i i x x δY ,即2'i

i x x δ<-,此时有

i

i

i

i

i i x x x x x x δδδδδ=+

+

<-+-≤-2

2

2

''""

故有(2)式同时有 ()

()()

()22

"'ε

ε

<

-<

-i i x f x f x f x f 和

由此得

()

()[]上一致连续

在b a f x f x f i ,'∴<-ε.

证法 二 ( 用致密性定理). 参阅[1]P171—172 [ 证法二 ]

证明 如果不然,)(x f 在],[b a 上不一致连续,00>?ε,0>?δ,],[,b a x x ∈'''?,δ<''-'||x x ,而

0|)()(|ε≥''-'x f x f .

n 1=

δ,],[,b a x x n n

∈'''?,n x x n n 1

||<''-',而0|)()(|ε≥''-'n n x f x f ,由致密性定理,存在子序列],[0b a x x k n

∈→',而由

k n n

n x x k k 1

||<''-',也有0x x k n

→''. 再由)(x f 在0x 连续,在

0|)()(|ε≥''-'k k n n x f x f 中令∞→k ,得

000|)()(|lim |)()(|0ε≥''-'=-=∞

→k k n n

k x f x f x f x f ,

矛盾.所以)(x f 在],[b a 上一致连续.

推广 ),()(b a C x f ∈,()f a +,

()f b -??)(x f 在),(b a 上一致连续. 作业 [1]P172 1,2 3,4, 5*;P176 1,2,4.

§7.3 上极限和下极限

一、上(下)极限的定义

对于数列,我们最关心的是其收敛性;如果不收敛,我们希望它有收敛的子列,这个愿望往往可以实现.例如:{}(1)n -.一般地,数列{}n x ,若{}k n x :k n x a →(k →∞),则称a 是数列{}n x 的一个极限点.如点例{}(1)n -有2个极限点.数列{}n x 的最大(最小)极限点如果存在,则称为该数列的上(下)极限,并记为lim n n x →∞

(lim n n x →∞

).如lim(1)1n n →∞

-=,lim(1)1n n →∞

-=-.

例1 求数列sin 3n π??

???

?的上、下极限.

例2 [1(1)]n n x n =+-,求上、下极限. 二、上(下)极限的存在性

下面定理指出,对任何数列{}n x ,它的上(下)极限必定存在. 定理1 每个数列{}n x 的上极限和下极限必定唯一,且

lim n n x →∞

=1sup{,,}limsup n n k n k n

x x x +→∞≥=L ,lim n n x →∞

=1inf{,,}liminf n n k n k n

x x x +→∞≥=L .

三、上下极限和极限的关系

lim n n x →∞

≥lim n n x →∞

.

定理2 {}n x 存在极限则{}n x 的上极限和下极限相等,即lim n n x →∞

=lim n n x →∞

=lim n n x →∞

.

四、上(下)极限的运算

普通的极限运算公式对上(下)极限不再成立.例如:

11

lim[(1)(1)]0lim(1)lim(1)2n n n n n n n ++→∞

→∞

→∞

-+-=<-+-=u u u r . 一般地有:lim()lim lim n n n n n n n x y x y →∞

→∞

→∞

+≤+,当{}n x 收敛时,等号成立.

实数完备性的等价命题

一、问题提出

确界存在定理(定理1.1)揭示了实数的连续性和实数的完备性. 与之等价的还有五大命题,这就是以下的定理1.2至定理1.6.

定理1.2(单调有界定理)任何单调有界数列必定收敛.

定理1.3(区间套定理)设为一区间套:

则存在唯一一点

定理1.4(有限覆盖定理)设是闭区间的一个无限开覆盖,即中每一点都含于中至少一个开区间内.则在中必存在有限个开区间,它们构成的一个有限开覆盖.

定理1.5 (聚点定理)直线上的任一有界无限点集至少有一个聚点,即在的任意小邻域内都含有中无限多个点(本身可以属于,也可以不属于).

定理1.6 (柯西准则)数列收敛的充要条件是:,只要恒有.(后者又称为柯西(Cauchy)条件,满足柯西条件的数列又称为柯西列,或基本列.)

这些定理构成极限理论的基础.我们不仅要正确理解这六大定理的含义,更重要的还要学会怎样用它们去证明别的命题.下面通过证明它们之间的等价性,使大家熟悉使用这些理论工具.

下图中有三种不同的箭头,其含义如下:

:(1)~(3) 基本要求类

:(4)~(7) 阅读参考类

:(8)~(10) 习题作业类

关于实数完备性相关定理等价性的研究

目录 摘要 (1) 关键词 (1) Abstract (1) Key words (1) 引言 (1) 1.1确界存在定理的证明 (1) 1.2 确界存在定理证明单调有界定理 (3) 1.3单调有界定理证明区间套定理 (3) 1.4 区间套定理证明有限覆盖定理 (4) 1.5有限覆盖定理证明聚点定理 (4) 1.6聚点定理证明致密性定理 (5) 1.7致密性定理证明柯西收敛准则 (5) 1.8柯西收敛准则证明确界存在定理 (6) 致谢 (7) 参考文献 (7)

关于实数完备性相关定理等价性的研究 数学与应用数学专业学生xxx 指导教师 xxx 摘要:实数集的完备性是实数集的一个基本特征,它是微积分学的坚实的理论基础。可以从不同的角度来描述和刻画实数集的完备性,因此有多个实数集的完备性基本定理。与之相关的七个基本定理(确界存在定理、单调有界定理、区间套定理、致密性定理、聚点定理、闭区间有限覆盖定理以及柯西收敛准则)是彼此等价的。本文主要是讨论证明这七个定理的等价性。在这里我们首先论证确界存在定理,然后由此出发依次论证实数系的其它六个基本定理,并最终形成一个完美的论证“环”。 关键词:实数集完备性基本定理等价性证明 Research about the equivalence theorems of completeness of real numbers Student majoring in Mathematics and Applied Mathematics .Bing Liu Tutor Shixia Luan Abstract: Completeness of the set of real numbers is its basic character, and it is stable theory background of calculus. It can be described and depicted in different angles, so there are considerable fundamental theorems about it. Fundamental Theorems of seven related about completeness of the set of real numbers,which are existence theorem of supremum, monotone defined management,interval sequence theorem,Bolzano-Weierstrass theorem, convergence point theorem,Heine-Borel theorem and Cauchy convergence rule are Equivalent. This paper is to discuss the proof of the equivalence of the seven theorems. Here we first Prove the existence theorem of supremum, then prove the other correlative theorems based of existence theorem of supremum and form a ideal proof “loop”. Key words: set of real numbers,completeness,fundamental theorem,equivalence,proof. 引言: 我们知道实数的完备性在理论上有很大的价值,与之相关的七个基本定理从不同的角度描述了实数的基本性质。并且这七个基本定理是相互等价的,在这里我们先证明出实数的确界存在定理,然后以此为基础顺次证明其他的六个定理最后再回到确界存在定理得到一个完美的“环”状结构的证明。本文的论证结构为确界存在定理证明单调有界定理证明区间套定理证明有限覆盖定理证明聚点定理证明致密性定理证明柯西收敛准则证明确界存在定理。 1实数完备性相关定理的论证 1.1确界存在定理的证明

第七章 实数的完备性

第七章 实数的完备性 §1 关于实数集完备性的基本定理 教学目的与要求: 1)进一步加深对实数集上下确界、数列的子列以及函数在一区间上一致连续等重要概念的理解,为掌握本章有关内容做好准备; 2)掌握区间套、聚点等重要概念; 3)熟练掌握确界原理、单调有界定理、柯西准则和区间套定理、聚点定理、有限覆盖定理,明确定理的条件和结论,准确地加以表述,并深刻理解其实质意 4)能应用聚点定理和有限覆盖定理证明闭区间上连续函数的基本性质和一些有关的命题,从而掌握应用聚点定理和有限覆盖定理进行分析论证的方法,显著提高学生的分析论证能力。 教学重点,难点: 熟练掌握确界原理、单调有界定理、柯西准则和区间套定理,明确定理的条件和结论,准确地加以表述,并深刻理解和掌握其证明思想;应用聚点定理和有限覆盖定理证明闭区间上连续函数的基本性质和一些有关的命题,从而掌握应用聚点定理和有限覆盖定理进行分析论证的方法, 提高学生的分析论证能力 教学内容: 一 区间套定理与柯西收敛准则 定义1 设闭区间列[]{}n n b a ,具有如下性质: (i );,2,1],,[],[11 =?++n b a b a n n n n (ii)0)(lim =-∞ →n n n a b , 则称[]{},,n n b a 为闭区间套,或简称区间套. 这里的性质(i )表明,构成区间套的闭区间列是前一个套着后一个,即各闭区间的端点满足如下不等式: 1221b b b a a a n n ≤≤≤≤≤≤≤≤ (1) 定理7.1(区间套定理) 若[]{}n n b a ,是一个区间套,则在实数系中存在唯一的一点ξ,使得.,2,1],,[ =∈n b a n n ξ即 .,2,1, =≤≤n b a n n ξ (2) 分析 即要证明闭区间列 ,2,1],,[=n b a n n 有唯一的公共点,所以首先我们要至少找到一个公共点,由(1)式和单调有界定理可以知道数列{}n a 和{}n b 都存在极限,我们只要

实数完备性证明

一.七大定理循环证明: 1.单调有界定理→区间套定理 证明:已知n a ≤1+n a (?n ), n a ≤n b ≤1b ,∴由单调有界定理知{n a }存在极限,设∞ →n lim n a = r , 同理可知{n b }存在极限,设∞ →n lim n b =r ' ,由∞ →n lim (n n a b -)=0得r r '-=0 即r r '= ?n ,有n a ≤n b ,令∞→n ,有n a ≤r r '=≤n b ,∴?n ,有n a ≤r ≤n b 。 下面证明唯一性。 用反证法。如果不然。则? 21r r ≠,同时对任意 A a ∈,1r a ≤,2r a ≤ 对任意b 有1r b ≥ 2r b ≥,不妨设21r r <, 令 2 2 1'r r r += 显然 2 '1r r r << ? A r ∈', B r ∈', 这与B A |是R 的一个分划矛盾。 唯一性得证。定理证完。 2.区间套定理→确界定理 证明:由数集A 非空,知?A a ∈,不妨设a 不是A 的上界,另外,知 ?b 是A 的上界,记[1a ,1b ]=[a , b ],用1a ,1b 的中点2 1 1b a +二等分[1 a ,1 b ],如果2 11 b a +是A 的上界, 则取[2a ,2 b ]=[1 a ,2 11 b a +];如果2 11 b a +不是A 的上界,则取[2a ,2b ]=[2 1 1b a +,1 b ];用2 a ,2 b 的中点2 22 b a +二等分[2a ,2 b ]……如此继 续下去,便得区间套[n a ,n b ]。其中n a 不是A 的上界,n b 是A 的上界。由区间套定理可得,?唯一的 ∞ =∈1],[n n n b a r , 使∞ →n l i m n a =∞ →n lim n b = r 。A x ∈?,

实数的完备性

第七章实数的完备性 教学目的: 1.使学生掌握六个基本定理,能准确地加以表述,并深刻理解其实质意义; 2.明确基本定理是数学分析的理论基础,并能应用基本定理证明闭区间上连续函数的基本性质和一些有关命题,从而掌握应用基本定理进行分析论证的能力。 教学重点难点:本章的重点是实数完备性的基本定理的证明;难点是基本定理的应用。 教学时数:12学时 § 1 关于实数集完备性的基本定理(3学时)教学目的: 1.使学生掌握六个基本定理,能准确地加以表述,并深刻理解其实质意义; 2.明确基本定理是数学分析的理论基础。 教学重点难点:实数完备性的基本定理的证明。 一.确界存在定理:回顾确界概念. Th 1 非空有上界数集必有上确界;非空有下界数集必有下确界 . 二.单调有界原理: 回顾单调和有界概念 . Th 2 单调有界数列必收敛 . 三.Cantor闭区间套定理 : 区间套: 设是一闭区间序列. 若满足条件 1.

ⅰ> 对 , 有 , 即 , 亦即后一个闭区间 包含在前一个闭区间中 ; ⅱ> . 即当 时区间长度趋于零. 则称该闭区间序列为一个递缩闭区间套,简称为区间套 . 简而言之, 所谓区间套是指一个 “闭、缩、套” 区间列. 区间套还可表达为: . 我们要提请大家注意的是, 这里涉及两个数列 和 , 其中 递增, 递减. 例如 和 都是区间套. 但 、 和 都不是. 2. Cantor 区间套定理: Th 3 设 是一闭区间套. 则存在唯一的点 ,使对 有 . 简言之, 区间套必有唯一公共点. 四. Cauchy 收敛准则 —— 数列收敛的充要条件 : 1. 基本列 : 回顾基本列概念 . 基本列的直观意义 . 基本列亦称为Cauchy 列. 例1 验证以下两数列为Cauchy 列 : ⑴ . ⑵ .

实数完备性定理的证明及应用

. .. . 实数完备性定理的证明及应用 学生:xxx 学号: 数学与信息科学学院数学与应用数学专业 指导老师:xxx 职称:副教授 摘要:实数集的完备性是实数集的一个基本特征,他是微积分学的坚实的理论基础,从不同的角度来描述和刻画实数集的完备性,六个完备性定理是对实数完备性基本定理等价性的系统论述,让我们获得对实数集完备性的基本特征的进一步的认识和理解. 并用实数完备性定理证明闭区间上连续函数的若干性质.关键词:完备性;基本定理;等价性 Testification and application about Real Number Completeness Abstract: Completeness of the set of reel numbers is its basic character, and it is stable theory background of calculus. It can be described and depicted in different angles, To prove the equivalence of the six principle theorem is systematic discussion about it and make us acquire more recognition and understanding. At the same time, the theorem of completeness of real numbers testpfyies the several qualities of the continuous function in closed interval. Key Words: sigmacompleteness; fundamental theorem; equivalence 引言 在数学分析学习中,我们知道,实数完备性定理是极限的理论基础,是数学分析理论的基石,对实数完备性表达通常有六个定理.在此,我们以实数连续性为公理,顺序证明其余六个基本定理,最后达到循环,从而证明等价性,并用实

第七章 实数完备性

第七章实数的完备性 §1 关于实数完备性的基本定理 一、问题提出 定理1.1(确界原理)非空有上(下)界的数集必有上(下)确界. 确界存在定理(定理 1.1)揭示了实数的连续性和实数的完备性. 与之等价的还有五大命题,这就是以下的定理1.2至定理1.6. 定理1.2 (单调有界定理)任何单调有界数列必定收敛. 定理1.3 (区间套定理)设为一区间套: . 则存在唯一一点 定理1.4 (有限覆盖定理)设是闭区间的一个无限开覆盖,即 中每一点都含于中至少一个开区间内.则在中必存在有限个开区间,它们构成 的一个有限开覆盖. 定理1.5 (聚点定理)直线上的任一有界无限点集至少有一个聚点,即在的任意小邻域内都含有中无限多个点(本身可以属于,也可以不属于). 定理1.6 (柯西准则)数列收敛的充要条件是:,只要恒有.(后者又称为柯西(Cauchy)条件,满足柯西条件的数列又称为柯西列,或基本列.) 这些定理构成极限理论的基础.我们不仅要正确理解这六大定理的含义,更重要的还要学会怎样用它们去证明别的命题.下面通过证明它们之间的等价性,使大家熟悉使用这些理论工具.下图中有三种不同的箭头,其含义如下: :(1)~(3) 基本要求类 :(4)~(7) 阅读参考类 :(8)~(10) 习题作业类

二、回顾确界原理的证明 我们曾引入有界数集的确界概念,今证明它的存在性(记号a 、b 、c 表示实数) Dedekind 定理 设A/B 是R 的一个切割,则比存在实数R ε∈使得(,]A ε=-∞,(,)B ε=+∞或 (,)A ε=-∞,[,)B ε=+∞无其它可能. 1 非空有上界的数集E 必存在上确界. 证明 设}{x E =非空,有上界b : E x ∈?,b x ≤. (1) 若E 中有最大数0x ,则0x 即为上确界; (2) 若E 中无最大数,用下述方法产生实数的一个分划;取E 的一切上界归入上类 B ,其余的实数归入下类A ,则)|(B A 是实数的一个分划. ο 1 A 、B 不空.首先B b ∈.其次E x ∈?,由于x 不是E 的最大数,所以它不是E 的上界,即 A x ∈.这说明E 中任一元素都属于下类A ; ο 2 A 、B 不漏性由A 、B 定义即可看出; ο 3 A 、B 不乱.设A a ∈,B b ∈.因a 不是E 的上界,E x ∈?,使得x a <,而E 内每一元素属于 A ,所以b x a <<. ο 4 由ο 3的证明可见A 无最大数. 所以)|(B A 是实数的一个分划.由戴德金定理,知上类B 必有最小数,记作c . E x ∈?,由ο1知A x ∈,即得c x <.这表明c 是E 的一个上界.若b 是E 的一个上界,则B b ∈,由此得b c ≤,所以c 是上界中最小的,由上确界定义,c 为集合E 的上确界,记作 E c sup =.

第七章 实数的完备性

第七章实数的完备性 § 1 关于实数集完备性的基本定理 一区间套定理与柯西收敛准则 定义1 区间套: 设是一闭区间序列. 若满足条件ⅰ)对, 有, 即, 亦即后一个闭区间包含在前一个闭区间中; ⅱ). 即当时区间长度趋于零. 则称该闭区间序列为闭区间套, 简称为区间套 . 区间套还可表达为: . 我们要提请大家注意的是, 这里涉及两个数列和, 其中递增,递减. 例如和都是区间套. 但、和都不是. 区间套定理 定理7.1(区间套定理) 设是一闭区间套. 则在实数系中存在唯一的点, 使对有 . 简言之, 区间套必有唯一公共点. 二聚点定理与有限覆盖定理

定义设是无穷点集. 若在点(未必属于)的任何邻域内有的无穷多个点, 则称点为的 一个聚点. 数集=有唯一聚点, 但; 开区间的全体聚点之集是闭区间; 设是中全体有理数所成之集, 易见的聚点集是闭区间. 定理 7.2 ( Weierstrass ) 任一有界数列必有收敛子列. 聚点原理 :Weierstrass 聚点原理. 定理7.3 每一个有界无穷点集必有聚点. 列紧性: 亦称为Weierstrass收敛子列定理. 四. Cauchy收敛准则——数列收敛的充要条件 : 基本列 : 回顾基本列概念 . 基本列的直观意义 . 基本列亦称为Cauchy 列. 例1 验证以下两数列为Cauchy列 : ⑴. ⑵. 解⑴ ;

对,为使,易见只要. 于是取. ⑵ . 当为偶数时 , 注意到上式绝对值符号内有偶数项和下式每个括号均为正号 , 有 , 又 . 当为奇数时,

. 综上 , 对任何自然数, 有 . …… Cauchy 列的否定: 例2 . 验证数列不是Cauchy列. 证对, 取, 有 . 因此, 取,…… 三 Cauchy收敛原理: 定理数列收敛是Cauchy列. ( 要求学生复习函数极限、函数连续的Cauchy准则,并以Cauchy收敛原理为依据,利用Heine归并原 则给出证明 )

实数完备性定理的证明及应用

实数完备性定理的证明及应用 学生姓名:xxx 学号:072 数学与信息科学学院数学与应用数学专业 指导老师:xxx 职称:副教授 摘要:实数集的完备性是实数集的一个基本特征,他是微积分学的坚实的理论基础,从不同的角度来描述和刻画实数集的完备性,六个完备性定理是对实数完备性基本定理等价性的系统论述,让我们获得对实数集完备性的基本特征的进一步的认识和理解. 并用实数完备性定理证明闭区间上连续函数的若干性质.关键词:完备性;基本定理;等价性 Testification and application about Real Number Completeness Abstract: Completeness of the set of reel numbers is its basic character, and it is stable theory background of calculus. It can be described and depicted in different angles, To prove the equivalence of the six principle theorem is systematic discussion about it and make us acquire more recognition and understanding. At the same time, the theorem of completeness of real numbers testpfyies the several qualities of the continuous function in closed interval. Key Words: sigmacompleteness; fundamental theorem; equivalence 引言 在数学分析学习中,我们知道,实数完备性定理是极限的理论基础,是数学分析理论的基石,对实数完备性表达通常有六个定理.在此,我们以实数连续性为公理,顺序证明其余六个基本定理,最后达到循环,从而证明等价性,并用实数完备性定理证明闭区间上连续函数的若干性质. 1. 基本定义[1]

实数完备性基本定理相互证明

关于实数连续性的基本定理 关键词:实数基本定理 确界定理 单调有界原理 区间套定理 有限覆盖定理 紧致性定理 柯西收敛定理 等价证明 以上的定理表述如下: 实数基本定理:对R 的每一个分划A|B ,都?唯一的实数r ,使它大于或等于下类A 中的每一个实数,小于或等于上类B 中的每一个实数。 确界定理:在实数系R 内,非空的有上(下)界的数集必有上(下)确界存在。 单调有界原理:若数列}{n x 单调上升有上界,则}{n x 必有极限。 区间套定理:设{ ,[n a ] n b }是一个区间套,则必存在唯一的实数r,使得r 包含 在所有的区间里,即 ∞ =∈1 ] ,[n n n b a r 。 有限覆盖定理:实数闭区间[a,b]的任一覆盖E,必存在有限的子覆盖。 紧致性定理:有界数列必有收敛子数列。 柯西收敛定理:在实数系中,数列}{n x 有极限存在的充分必要条件是: ε ε<->>?>?||,,,0m n x x ,N m N n N 有时当。 这些定理虽然出发的角度不同,但描写的都是实数连续性这同一件事,它们之间是相互等价的,即任取其中两个定理,它们可以相互证明。那么,它们在证明过程中有哪些联系?作为工具,它们又各具有什么特点?以下先给出它们的等价证明。 (二)实数基本定理的等价证明 一.用实数基本定理证明其它定理 1.实数基本定理→单调有界定理 证明:设数列}{n x 单调上升有上界。令B 是数列}{n x 全体上界组成的集合,即B={b|n b x n ?≤,}, 而A=R ﹨B ,则A|B 是实数的一个分划。事实上,由单调上升}{n x ,故1x -1∈A ,即A 不空,由A=R ﹨B ,知A 、B 不漏。又对任给a ∈A ,b ∈B ,则存在0 n ,使 a < 0n x ≤ b ,即A 、B 不乱。故A|B 是实数的一个分划。根据实数基本定理, A ,a R r ∈?∈?使得对,b r a B ,b ≤≤∈有。

实数系基本定理等价性的完全互证

第38卷第24期2008年12月数学的实践与认识M AT HEM A TICS IN PRACTICE AND T HEORY V o l.38 No.24  D ecem.,2008  教学园地 实数系基本定理等价性的完全互证 刘利刚(浙江大学数学系,浙江杭州 310027) 摘要: 综合给出了实数系六个基本定理的等价性的完全互证方法,并归纳了各种证明方法的规律,旨在把抽象的证明转化为容易掌握的基本方法. 关键词: 实数系;连续性;等价;极限收稿日期:2005-06-10 实数系基本定理是数学分析中重要组成部分,是分析引论中极限理论的基础,也称为实数系的连续性定理.能够反映实数连续性的定理很多,它们是彼此等价的.现有的教材都是按照某一顺序将这些定理进行一次循环证明就验证了它们的等价性[1-2].虽然不同的教材对于循环证明的顺序有所不同,但每一次循环证明看起来都似乎没有关联,并没有综合归纳其中的方法技巧.这么多相互独立的证明使得不少学生都感到数学分析中这部分内容太抽象,难以理解.因而当遇到一个教材中没有给出的2个定理之间的等价性证明时就无从下手.为此,在讲述这些定理的时候,我们把这些定理的相互证明详细地整理出来,并且归纳给出了这些定理的完全互证方法与规律,使学生在学习这部分内容时不再感到无所适从. 我们使用的教材[1]中给出的实数系的六个基本定理及其描述为: 1)确界存在定理(pp .12):上(下)有界的非空数集必存在唯一上(下)确界. 2)递增(减)有界数列必有极限(pp.34). 3)闭区间套定理(pp.41):设I 1,I 2,…,I n ,…是一串有界闭区间,I 1 I 2 … I n …,且I n 的长度 I n →0,称{I n }为闭区间套.则闭区间套{I n }的交∩∞ n =1 I n 必不空且为单点集. 4)Bo lzano -Weierstrass 定理(pp.44):有界数列必有收敛子列. 5)Cauchy 收敛准则(pp.299):数列{x n }收敛 {x n }是基本数列. 6)有限开覆盖定理(pp.308):若开区间族{O }覆盖了有界闭区间[a ,b ],则从{O }中 必可挑出有限个开区间O 1,O 2,…,O n 同样覆盖了[a ,b ]:[a ,b ] O 1∪O 2∪…∪O n . 在证明之前,我们首先必须要理解这六个定理的每一个在说些什么,只要概念清楚了,并且理解其方法,证明并不难. 定理1)~5)属于同一类型,它们都指出,在某一条件下,便有某种“点”存在,这种点分别是确界(点)(定理1)),极限点(定理2)5)),公共点(定理3)),子列的极限点(定理4)).定理

第七章实数的完备性

第七章实数的完备性 §7.1 实数完备性的基本定理 一、问题提出 定理1.1(确界原理)非空有上(下)界的数集必有上(下)确界. 确界存在定理(定理 1.1)揭示了实数的连续性和实数的完备性. 与之等价的还有五大命题,这就是以下的定理1.2至定理1.6. 定理1.2 (单调有界定理)任何单调有界数列必定收敛. 定理1.3 (区间套定理)设为一区间套: . 则存在唯一一点 定理1.4 (有限覆盖定理)设是闭区间的一个无限开覆盖,即 中每一点都含于中至少一个开区间内.则在中必存在有限个开区间,它们构成 的一个有限开覆盖. 定理1.5 (聚点定理)直线上的任一有界无限点集至少有一个聚点,即在的任意小邻域内都含有中无限多个点(本身可以属于,也可以不属于). 定理1.6 (柯西准则)数列收敛的充要条件是:,只要恒有.(后者又称为柯西(Cauchy)条件,满足柯西条件的数列又称为柯西列,或基本列.) 这些定理构成极限理论的基础.我们不仅要正确理解这六大定理的含义,更重要的还要学会怎样用它们去证明别的命题.下面通过证明它们之间的等价性,使大家熟悉使用这些理论工具.下图中有三种不同的箭头,其含义如下: :(1)~(3) 基本要求类

: (4)~(7) 阅读参考类 : (8)~(10) 习题作业类 二、回顾确界原理的证明 我们曾引入有界数集的确界概念,今证明它的存在性(记号a 、b 、c 表示实数) Dedekind 定理 设A/B 是R 的一个切割,则比存在实数R ε∈使得(,]A ε=-∞,(,)B ε=+∞或(,)A ε=-∞,[,)B ε=+∞无其它可能. 1 非空有上界的数集E 必存在上确界. 证明 设}{x E =非空,有上界b : E x ∈?,b x ≤. (1) 若E 中有最大数0x ,则0x 即为上确界; (2) 若E 中无最大数,用下述方法产生实数的一个分划;取E 的一切上界归入上类 B ,其余的实数归入下类A ,则)|(B A 是实数的一个分划. 1 A 、B 不空.首先B b ∈.其次E x ∈?,由于x 不是E 的最大数,所以它不是E 的上界,即 A x ∈.这说明E 中任一元素都属于下类A ; 2 A 、B 不漏性由A 、B 定义即可看出; 3 A 、B 不乱.设A a ∈,B b ∈.因a 不是E 的上界,E x ∈?,使得x a <,而E 内每一元素属于 A ,所以b x a <<. 4 由 3的证明可见A 无最大数. 所以)|(B A 是实数的一个分划.由戴德金定理,知上类B 必有最小数,记作c .

数学分析之实数的完备性

数学分析之实数的完备性 《数学分析》教案 第七章实数的完备性 教学目的: 1.使学生掌握六个基本定理,能准确地加以表述,并深刻理解其实质意义; 2.明确基本定理是数学分析的理论基础,并能应用基本定理证明闭区间上连续函数的基本性质和一些有关命题,从而掌握应用基本定理进行分析论证的能力。 教学重点难点:本章的重点是实数完备性的基本定理的证明;难点是基本定理的应用。 教学时数:14学时 ? 1 关于实数集完备性的基本定理(4学时) 教学目的: 1.使学生掌握六个基本定理,能准确地加以表述,并深刻理解其实质意义; 2.明确基本定理是数学分析的理论基础。 教学重点难点:实数完备性的基本定理的证明。 一(确界存在定理:回顾确界概念( Th 1 非空有上界数集必有上确界 ;非空有下界数集必有下确界 . 二. 单调有界原理: 回顾单调和有界概念 . Th 2 单调有界数列必收敛 . - 1 - 《数学分析》教案 三. Cantor闭区间套定理 : 1. 区间套: 设是一闭区间序列. 若满足条件

?> 对, 有 , 即 , 亦即后 一个闭区间包含在前一个闭区间中 ; ?> . 即当时区间长度趋于零. 则称该闭区间序列为一个递缩闭区间套,简称为区间套 . 简而言之, 所谓区间套是指一个“闭、缩、套” 区间列. 区间套还可表达为: . 我们要提请大家注意的是, 这里涉及两个数列和 , 其中递增, 递减. 例如和都是区间套. 但、 和都不是. 2. Cantor区间套定理: Th 3 设是一闭区间套. 则存在唯一的点,使对有 . 简言之, 区间套必有唯一公共点. 四( Cauchy收敛准则——数列收敛的充要条件 : - 2 - 《数学分析》教案

第七章 实数的完备性

第七章 实数的完备性 (6学时) §1 关于实数完备性的基本定理 教学目的要求: 掌握实数完备性的基本定理的内容,知道其证明方法. 教学重点、难点:重点实数完备性的基本定理. 难点是定理的证明,特别是柯西收敛准则和充分性的证明.. 学时安排: 4学时 教学方法: 讲授法. 教学过程如下: 一、区间套定理与柯西收敛准则 定义1 设闭区间列{[,]}n n a b 具有如下性质: (1)11[,][,],1,2,;n n n n a b a b n ++?=L (2)lim()0n n n b a →∞ -= 则称{[,]}n n a b 为闭区间套,或简称区间套. 定理7.1(区间套定理) 若{[,]}n n a b 是一个区间套,则在实数系中存在唯一的一点ξ使得 [,],1,2,n n a b n ξ∈=L ,即 ,1,2,.n n a b n ξ≤≤=L 证: 先证存在性 Q {[,]}n n a b 是一个区间套, 所以 1221,n n a a a b b b ≤≤≤≤≤≤≤≤L L L ∴可设 lim n n a ξ→∞ = 且由条件2有 lim lim()lim n n n n n n n n b b a b a ξ→∞ →∞ →∞ =-+== 由单调有界定理的证明过程有,1,2,.n n a b n ξ≤≤=L 再证唯一性 设ξ'也满足,1,2,.n n a b n ξ'≤≤=L 那么,,1,2,.n n b a n ξξ'-≤-=L 由区间套的条件2得 lim()0n n n b a ξξ→∞ '-≤-=故有ξξ'= 推论 若[,](1,2,)n n a b n ξ∈=L 是区间套{[,]}n n a b 所确定的点,则对任给的0ε>,存在0N >,使得当 n N >时有 [,](,)n n a b U ξε? 柯西收敛准则 数列{}n a 收敛的充要条件是: 对任给的0ε>,存在0N >,使得对,m n N >有

浅谈实数的完备性

本科毕业论文 题目浅谈实数的完备性 专业信息与计算科学 作者姓名唐星星 学号2013201334 单位数学科学学院 指导教师张冬梅 2017 年 5 月 教务处编

原创性声明 本人郑重声明:现提交的学位论文是本人在导师指导下,独立进行研究取得的成果.除文中已经注明引用的内容外,论文中不含其他人已经发表或撰写过的研究成果,也不包含为获得聊城大学或其他教育机构的学位证书而使用过的材料.对本文的研究作出重要贡献的个人和集体,均已在文中以明确方式标明.本人承担本声明的相应责任. 学位论文作者签名:日期: 指导教师签名:日期:

目录 摘要 (3) Abstract (4) 前言 (1) 1.实数完备性定理在《数学分析》中所占的地位 (2) 2. 实数集的完备性 (2) 3.实数六个基本定理的描述和证明 (2) 3.1闭区间套定 (2) 3.2.确界的叙述 (3) 3.3有限开覆盖 (5) 定理3(有限覆盖定理) (6) 聚点的定义 (7) 定理4(聚点定理) (7) 3.5致密性定理 (8) 3.6柯西收敛准则 (8) 3.7单调有界定理 (9) 4.实数循环定理的证明 (10) 4.1确界定理?闭区间套定理 (10) 4.2区间套定理?有限覆盖定理 (10) 4.3有限覆盖定理?聚点定理 (11) 4.4聚点定理?致密性定理 (11) 4.5致密性定理?柯西收敛准则 (11) 4.7单调有界?确界定理 (12) 5.实数的完备性的发展状况 (12) 6.实数完备性定理过程中的一些注示 (13) 6.1关于实数完备性定理的循环证明过程 (13) 6.2关于实数完备性定理的起点 (13) 参考文献 (16) 致谢 (17)

第5讲实数的完备性

第五讲实数的完备性 I 基本概念与主要结果 实数空间 1 无理数的定义 人类最先只知道自然数,由于减法使人类认识了负整数,又由除法认识了有理数,最后 由于开方与不可公度问题①发现了无理数,可惜的是无理数不能用有理数的开方形式主义来定 义.事实上,有理数开方所得到的无理数只占无理数中很小的一部分.为了让实数与数轴上 的点 对应起来,充满全数轴,必须用别的方法. 方法之一是用无限小数,我们知道任何有理数都可表为无限循环小数,这样可以把无限 不循环小数定义为无理数. 一个无限不循环小数 x ,取其n 位小数的不足近似值 a n 与过剩近似值 久,a n 与P n 均 为有理数,且P n -叫0 ( n T 处),x j 比,(\】.可见以无限不循环小数定义 10n 无理数等价于承认:以有理数为端点的闭区间套,必有且仅有唯一的公共点,此乃区间套定 理,即承认它是正确的. 历史上引进无理数的传统方法有两种: 理数列的基本序列法. 戴德金分割法具有很强的直观性, 假如在数轴上任意一点处将数轴截成两段, 果折断处是有理点,那么它不在左子集, 最大数或B 的最小数.如果 A 中没有最大数, 的一个“空隙”,称之为无理数,显然它是有序的, 系沈燮昌编写的《数学分析》,高等教育出版社, 康托用有理数基本序列的等价类来定义实数,其方法虽没有分割法直观,但其思想在近 毕达哥拉斯(公元前约 580~约500):古希腊数学家、唯心主义哲学家,其招收 300门徒组织了一个 “联盟”,后称之为“毕达哥拉斯学派”,宣扬神秘宗教和唯心主义.在西方首次提出勾股定理,并把数的概 念神秘化,认为“万物皆数”,即数是万物的原型,也构成宇宙的“秩序” ,这里的数指的是自然然及自然数 戴德金( Dedekind )分割法和康托(Cantor )的有 其思想是:每个有理数在数轴上已有一个确定的位置, 那么全体有理数被分为左、右两个子集 就在右子集,这样分割就确定了一个有理数, A,B .如 即A 的 B 中也没有最小数,这个分割就确定了直线上 可定义其四则运算(可参见北京大学数学 1986 年).

实数完备性的六大基本定理的相互证明 共 个

1 确界原理非空有上(下)界数集,必有上(下)确界。 2 单调有界原理 任何单调有界数列必有极限。 3 区间套定理 若]},{[n n b a 是一个区间套, 则存在唯一一点 ξ,使得 ,2,1],,[=∈n b a n n ξ。 4 Heine-Borel 有限覆盖定理 设],[b a 是一个闭区间,H 为],[b a 上的一个开覆盖,则在H 中存在有限个开区间,它构成],[b a 上的一个覆盖。 5 Weierstrass 聚点定理(Bolzano 致密性定理有界无穷数列必有收敛子列。) 直线上的有解无限点集至少有一个聚点。 6 Cauchy 收敛准则数列}{n a 收敛?对任给的正数ε ,总存在某一个自然数N ,使得 N n m >?,时,都有ε<-||n m a a 。 一.确界原理 1.确界原理证明单调有界定理 证 不妨设{ a n }为有上界的递增数列.由确界原理,数列{ a n }有上确界,记 a = sup{ a n }.下面证明a 就是{ a n } 的极限. 事实上,任给ε> 0, 按上确界的定 义,存在数列{ a n }中某一项a N ,使得a - ε> a N .又由{ a n }的递增性,当n ≥ N 时有a - ε < a N ≤ a n . 另一方面,由于a 是{ a n }的一个上界,故对一切a n 都有a n ≤ a < a + ε.所以当 n ≥ N 时有 a - ε < a n < a + ε, 这就证得 a n = a.同理可证有下界的递减数列必有极限,且其极限即为它的下确界. 2.确界原理证明区间套定理 证明:1设 [an,bn] 是一个闭区间套,即满足: 1)?n,[an+1,bn+1]?[an,bn]; 2) bn-an = 我们证明,存在唯一的实数ξ,使得ξ∈[an,bn],(n =1,2,?) 存在性:令S={an},显然,S非空且有上界(任一bn都是其上界).据确界原理,S

实数完备性定理相互论证及应用【文献综述】

毕业论文文献综述 数学与应用数学 实数完备性定理相互论证及应用 牛顿和莱布尼兹创立了微积分,但是当时分析的基础还极其不完善,这导致了第二次数学危机,直接的结果就是大量优秀的数学家投身到了研究实数基础的行列中,这其中相当重要的一部分就是实数的完备性公理。 一、国内外研究的历史发展 自从毕达哥拉斯学派在公元前5世纪发现无理数以来,人们对无理数的认识经历了难以想象的历史长河,直到19世纪中叶,人类的全部智慧仅停留在有理数与个别无理数的认识阶段.19世纪后半叶,柯西与魏尔斯特拉斯建立极限理论为微积分奠定了基础,而极限理论却又是建立在实数连续性的假设之上的.为使微积分的基础更牢固,建立系统的实数理论成为数学科学发展的关键.建立实数理论的难点是给无理数下定义. 历史有时真巧合,实数的三大派理论:戴德金的“分割”、康托尔的“基本序列”、魏尔斯特拉斯的“单调有界序列”是同一年(1872年)在德国出现的.以下分别给予简单的介绍. 戴德金借助几何直观,通过以他名字命名的分割技术对有理数进行分割,巧妙而又严密的给出无理数的定义.大意如下:把有理数集Q分成与两个子集,使其满足下列三个条件: (1); (2)中的任何一数小于中的任一数; (3)中无最大数. 称上述分解为有理数的一个戴德金分割,并记做.凡是中有最小数的分割称为第一类分割,这类分割的界数(即从有理数范围内来考虑,与之间所缺乏的数)称为无理数;有理数和无理数统称为实数.戴德金同时证明对实数作同样的分割不产生新的数.这就是实数的完备性或连续性(可用利刀切洒上金粉的细线来解释有理数的非完备性及实数的完备性).现在人们把实数轴作为实数的几何模型,即实数与实数轴上的点一一对应,这是基于实数的连续性与直线连续性的统一。

实数完备性的等价命题及证明

一、问题提出 确界存在定理(定理1.1)揭示了实数的连续性和实数的完备性. 与之等价的 还有五大命题,这就是以下的定理1.2至定理1.6. 定理1.2 (单调有界定理)任何单调有界数列必定收敛. 定理1.3 (区间套定理)设为一区间套: . 则存在唯一一点 定理1.4 (有限覆盖定理) 设是闭区间的一个无限开覆 盖,即中每一点都含于中至少一个开区间内.则在中必存在有限个开区间,它们构成的一个有限开覆盖. 定理1.5 (聚点定理) 直线上的任一有界无限点集至少有一个聚点,即在的任意小邻域内都含有中无限多个点(本身可以属于,也可以不属于).定理1.6 (柯西准则) 数列收敛的充要条件是:,只要 恒有.(后者又称为柯西(Cauchy)条件,满足柯西条件的数列又称为柯西列,或基本列.) 这些定理构成极限理论的基础.我们不仅要正确理解这六大定理的含义,更重要的还要学会怎样用它们去证明别的命题.下面通过证明它们之间的等价性,使大家熟悉使用这些理论工具. 下图中有三种不同的箭头,其含义如下: :(1)~(3) 基本要求类

:(4)~(7) 阅读参考类 :(8)~(10) 习题作业类 下面来完成(1)~(7)的证明. 二、等价命题证明 (1)(用确界定理证明单调有界定理) (2)(用单调有界定理证明区间套定理) (3)(用区间套定理证明确界原理) *(4)(用区间套定理证明有限覆盖定理) *(5)(用有限覆盖定理证明聚点定理) *(6)(用聚点定理证明柯西准则) *(7)(用柯西准则证明单调有界定理) (1)(用确界定理证明单调有界定理) 〔证毕〕 (返回) (2)(用单调有界定理证明区间套定理)设区间套.

§2 实数完备性的基本定理

§2 实数完备性的基本定理 实数基本定理以不同的形式刻划了实数的连续性和完备性。实数基本定理是 建立与发展微积分学的基础。因此掌握这部分内容是十分必要的,特别是可通过这部分内容的学习与钻研,培养严密的逻辑思维能力。本节主要介绍7个较直观并且容易理解的基本定理,同时给出它们的等价证明。我们将在附录中建立严格的实数理论和这些基本定理两两之间的等价性证明。 2.1 实数基本定理的陈述 简而言之, 所谓区间套是指一个 “闭、缩、套” 区间列。 区间套还可表达为 , 1221b b b a a a n n ≤≤≤≤<≤≤≤≤ ,0→-n n a b )(∞→n 。 我们要提请大家注意的是, 这里涉及两个数列} {n a 和 } {n b , 其中} {n a 递增, } {n b 递减。 例2.1 } ] 1 , 1 [ {n n -和} ] 1 , 0 [ {n 都是区间套. 但} ] 2 1 , ) 1 (1 [ {n n n +-+ 、 } ] 1 , 0 ( {和 } ] 1 1 , 1 [ {+-都不是。 推论 1 若∈ξ] , [n n b a 是区间套} ] , [ {n n b a 确定的公共点, 则对0>?ε,

,N ? 当N n >时, 总有] , [n n b a ( , ) U x e ì。 推论2 若∈ξ] , [n n b a 是区间套} ] , [ {n n b a 确定的公共点, 则有 n a 单增且收敛于ξ,同时n b 单减且收敛于ξ,) (∞→n 。 根据假设,对任给的0ε>,总存在自然数N ,对一切n N ≥,都有n N a a ε-≤,即在区间[],N N a a εε-+内含有{}n a 中除掉有限项外几乎所有的项。 据此,令12ε= ,则存在1N ,在区间1211,22N N a a ? ?-+??? ?上含有{}n a 中除有限项外的几乎所有的项,并记这个区间为[]11,αβ。 再令212ε= ,则存在()21N N >,在222211,22N N a a ??-+??? ?上含有{}n a 中除有限项外几乎所有项。记[]22,αβ=222211,22N N a a ? ?-+?????[]11,αβφ≠,它也含有{}n a 中 有限项外几乎所有的项,且[]22,αβ?[]11,αβ和11 221 22 βαβα--≤=。照以上的方法,依次令34111,,,,222 n ε= ,得一闭区间列[]{},n n αβ,它的每个区间都含有{}n a 中除有限项外几乎所有的项,而且这区间列满足以下条件 [][]()11,,,2,3,,n n n n n αβαβ--?= ()1 1 02 n n n n βα--≤ →→∞ 从而由区间套定理知,存在唯一一个数[](),1,2,n n a b n ?∈= ,现在证明这个?就是数列{}n a 的极限。因为对任给0ε>,由定理2.1推论知存在自然数N ,当n N >时,便有 [](),,n n a b U ?ε?。 因此在(),U ?ε内就含有{}n a 中除有限项外几乎所有的项,这就证得lim n n a ?→∞ =。 5. Weierstrass 聚点原理

相关文档
最新文档