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

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

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

有上确界,设sup S =ξ.现在,我们证明ζ属于每个闭区间[an,bn],(n=1,2,?)显然

an ≤ξ,(n =1,2,?)所以,我们只需证明对一切自然数n,都有ξ≤bn. 事实上,因为对一切自然数n,bn都是S 的上界,而上确界是上界中最小者,因此必有 ξ≤bn

,故我们证明了存在一实数ξ,使得ξ∈[an,bn],(n =1,2,?) 唯一性: 假设还有另外一点R ∈'ξ且],[n n b a ∈'ξ,则||||n n b a -≤'-ξξ,0→

即ξξ'=。从而唯一性得证。

3.确界原理证明有限覆盖定理

即闭区间[a,b]的任一开覆盖H 都有有限的子覆盖

证① 令S ={x|a<x ≤b,[a,x]能被H 中有限个开区间覆盖};

②显然S有上界因H 覆盖闭区间[a,b],所以,存在一个开区间(α,β)∈H 使a ∈(α,β)取x ∈(α,β),则[a,x]能被H中有限个开区间覆盖从而,x ∈S,故S 非空;

③ 由确界原理存在ζ=supS;

④ 现证ζ=b用反证法若ζ≠b,则a<ζ<b由H 覆盖闭区间[a,b],一定存在(α1,β1)∈H,使ζ∈(α1,β1)取x1,x2使α<x1<ζ<x2<β1 ,且x1∈S则[a,x1]能被H 中有限个开区间覆盖,把(α1,β1)加进去,就

推得x2∈S这与ζ =sup S 矛盾,故ζ=b,即定理结论成立

4.确界原理证明聚点定理

证 设S 是直线上的有界无限点集,则由确界原理有S S inf ,sup ==ξη。若ξη,中有一点不是S 的孤立点,则显然就是S 的一个聚点。

否则,令S R x E ∈={:中仅有有限个数小于}x 。显然E 非空且有上界。令E sup ='η,则由E 的构造方法可知,0>?ε必有?+'εηE ,即S 中有无限个数小于εη+'大于η'。所以),(εηεη+'-'中含有S 的无限个数,故η'是S 的聚点。

5.确界原理证明Cauchy 收敛准则

即数列{xn}收敛 ?ε>0,?N,当n,m >N 时有|xn-xm|<ε 必要性:略 充分性:

① 构造非空有界数集S,因为欲证明数列{xn}收敛,故数集S 必须含有数列{xn 中的无限多个数,为此,令S = x|{(-∞,x)∩{xn}是空集或有限点集}; ②由于满足Cauchy 收敛准则充分条件的数列是有界的,故知数列{xn}的下界a∈S,上界b也是S 的上界,所以S 是非空有上界的数集由确界原理数集S 有上确界ζ=sup S;

③ 对ε>0,(-∞,ζ)∩{xn}是无限点集,否则,就与ζ=sup S矛盾

因(-∞,ζ-ε)∩{xn}至多含有{xn}的有限多个点故(ζ-ε,ζ+ε)含有

{xn}的无限多个点设xnk∈(ζ-ε,ζ+ε),k=1,2,?,且n1<n2<?取N1=max{N,n1},则当n>N1时,总存在nk>N1使

xn-ζ≤|xn-xnk|+|xnk-ζ|<2ε,

因此xn=ζ.

二.单调有界定理

6.单调有界定理证明确界定理

证:我们不妨证明非空有上界的数集S必有上确界

(1).欲求一实数使它是非空数集S的上确界利用非空有上界的数集S,构造一数列使

其极限为我们所要求的实数

选取性质p:不小于数集S中的任一数的有理数

将具有性质p的所有有理数排成一个数列{rn},并令{xn}=max{r1,r2,?,rn},则得单调递增有上界的数列{xn};

(2) 由单调有界定理得,ζ=xn,且对任意的自然数n有rn≤xn≤ζ;

(3) ζ是数集S的上确界. 用反证法,若有数x0∈S使x0>ζ,取ε=(x0-ζ)/2,则存在一个有理数rN,使ζ≤rN<ζ+ε=(x0+ζ)/2<(x0+x0)/2=x0,从而rN<x0,这与rN是数集S的上界矛盾所以对一切x∈S,都有

x≤ζ,即ζ是数集S的上界.

任给ε>0,若?x∈S,都有x≤ζ-ε,则存在有理数r′,使ζ-ε<r′<ζ,即x≤ζ-ε<r′<ζ,我们就找到r′∈S这与(若?x∈S,都有x≤ζ-ε)矛盾,所以存在x′∈S,使x′>ζ-ε,即ζ是数集S的最小上界

于是,我们证明了所需结论.

7.单调有界定理证明区间套定理

若{[ a n, b n]}是一个区间套,则在实数系中存在唯一的一点ξ,使得ξ∈[ a n, b n], n = 1,2,?,即

a n ≤ξ≤

b n, n = 1,2,?. (1)

证:{ a n}为递增有界数列,依单调有界定理,{ a n}有极限ξ,且有

a n ≤ξ, n = 1,2,?. (2)

同理,递减有界数列{ b n}也有极限,并按区间套的条件有

b n = a n = ξ, (3)

且b n ≥ξ, n = 1,2,?. (4)

联合(2)、(4)即得(1)式.

最后证明满足(2)的ξ是唯一的.设数ξ′也满足

a n ≤ξ′≤

b n, n = 1,2,?,

则由(1)式有

| ξ- ξ′|≤ b n - a n, n = 1,2,?.

由区间套的条件得

| ξ- ξ′|≤(bn-an)=0

故有ξ′= ξ.

8.单调有界定理证明有限覆盖定理,

即闭区间[a,b]的任一开覆盖H都有有限的子覆盖

证: (1)设有理数r∈(a,b],使闭区间[a,r]能被H中有限个开区间覆盖把[a,b]上的这种有理数的全体排成一个数列{rn},因为存在一个开区间(α,β)∈H使rn∈(α,β),在(α,β)∩[a,b]内含有无穷多个有理数,所以{rn}是存在的;

(2)将数列{rn}单调化,取xn=max{r1,r2,?,rn},则数列{xn}单调递增有上界;

(3) 由单调有界定理得,ζ=xn且rn≤xn≤ζ,n=1,2,?;

(4) 因xn∈[a,b],n=1,2,?,由(3)得ζ∈[a,b],故ζ必在H中的某个开区间(α1,β1)中再由(3),一定有rN∈{rn},使α1<rN≤ζ又由①[a,rn]能被H中有限个开区间覆盖故只需把(α1,β1)加进去[a,ζ]

能被H中有限个开区间覆盖

若ζ=b,则说明[a,b]能被H中有限个开区间覆盖用反证法若ζ<b,由于[a,b]内的有理数在[a,b]上处处稠密,故一定存在有理数r′,使得ζ<r′<min{β,b},这样一来,[a,r′]能被H中有限个开区间覆盖,故r′∈{rn},与(3)矛盾所以,ζ=b。

9.单调有界定理证明聚点定理

证明:设S是一有界无限点集,则在S中选取一个由可数多个互不相同的点组成的数

列{an},显然数列{an}是有界的

下面我们从{an}中抽取一个单调子列,从而由单调有界定理该子列收敛,最后

我们证明该子列的极限值,就是有界无限点集S的聚点分两种情况来讨论

1)如果在{an}的任意一项之后,总存在最大的项(因S是有界的且{an}S,这是可能的),设a1后的最大项是an1;an1后的最大项是an2,且显然an2≤an

1;

一般地,ank后的最大项记为ank+1≤ank,(k=1,2,?)

这样,就得到了{an}的一个单调递减的子数列{ank},因为{an}有界,根据

单调有界定理知,{ank}收敛

2)如果1)不成立即从某一项以后,任何一项都不是最大的(为证明书写简单起见,不妨设从第一项起,每一项都不是最大项)于是,取an1=a1,因an1不是最大项,所以必存在另一项an2>an1(n2>n1),又因为an2也不是最大项,所以又有

an3>an2(n3>n2),??这样一直作下去,就得到{an}的一个单调递增

的子列{an},且有上界,根据单调有界定理知,{an}收敛,

总之不论{an}属于情形1)还是情形2),都可作出{an}的一个单调收敛的子列设ank=a,今证a是S的聚点。对ε>0,存在自然数K,使得k>K

时,a-ε<ank<a+ε,

若这时{ank}单调递减,ank+1<a+ε(k>K)且ank+1≠a,ank+1∈S,即a的ε邻域内含有S中异于a的点,故a是S的聚点。

{ank}单调递增时,类似可证。

10.单调有界定理证明Cauchy收敛准则

必要性:略

充分性:先证明柯西数列{}是有界的。取ε=1,因{}是柯西数列,所以存在某个正整数No,当n>No

时有||,亦即当n>No时||≤||+1即{}有界。

不妨设,我们可用如下方法取得{}的一个单调子列{}

(1)取{}∈{}使[a,]或[,b]中含有无穷多的{}的项

(2)在[a,]或[,b]中取得∈{}且满足条件(1)并使,然后就有

不断地进行(1),(2)得到一单调递增的子列

因为∈{},而{}是一个单调有界数列,由单调有界定理知收敛,

设| | (1)

下证{}收敛于a

因为=a 则对?ε 0?正整数K,当k>K时,| |另一方面由于{}是柯西列,所以

ε存在正整数N,当,>时有| |<由(1)就可得当有| |

所以当n>max()时||≤| |+| |<ε

故{}收敛于a

三.区间套定理

11.区间套定理证明确界原理

即非空有上界的数集S必有上确界,非空有下界的数集S必有下确界

证:仅证明非空有上界的数集S必有上确界

(1) 要找一数ζ,使其是数集S的上确界ζ是S的上确界就要满足上确界定义中的两个条件:大于ζ的数不在S中,ζ的任何邻域内有S中的点这两条即为性质p.如果ζ在闭区间[a,b]中,则闭区间[a,b]应有性质:任何小于a的数不在S中,[a,b]中至少含有S中的一个点,该性质即为

取S的上界为b,且b∈/S,取a∈S,a<b,则闭区间[a,b]

有性质;

(2) 将闭区间[a,b]等分为两个闭区间,则至少有一个闭区间[a1,b1]也有性质p,如此继续得一闭区间列,满足

[a,b]?[a1,b1]?…?[an,bn]?…;

bn-an =

(bn-an)

(3)由区间套定理的得ζ属于所有的闭区间[an,bn],n=1,2,…,并且每个闭区间[an,bn]都有性质

(4)因为an≤ζ≤bn ,n=1,2,…,且

(bn-an)

bn

an

由于对?x S,有x ≤bn ,从而x ≤

b=ζ;又对?ε 0,总存在N,使得ζ-ε aN 故存在

S ?[aN ,bN ],于是 ζ-ε. 因而ζ=sups

12. 区间套定理证明单调有界定理

2设{xn}是单调有界数列,不妨设其为单调递增且有上界b1现在我们来构造一个

闭区间套

在{xn}中任取一项记作a1,这时a1<b1,于是,以a1和b1为端点的闭区间[a1,b1]内一定含有数列{xn}中的无限多项将区间[a1,b1]二等分,得闭区间 [a1,a1+b1 ],[a1+b1

,b1],

由于{xn}单调递增,故[a1,a1+b1 ]和[a1+b1

,b1]中只有一个包含{xn}

的无限多项,我们记该区间为[a2,b2]再将[a2,b2]二等分,在所得区间中只有一个包含{xn}的无限多项,记该区间为[a3,b3]如此继续,得一闭区间列:[a1,b1],[a2,b2],?,[an,bn],?,

满足[an+1,bn+1]?[an,bn],(n =1,2,?);

(bn-an)

故 [an,bn] 是一个闭区间套,由闭区间套定理,存在唯一实数ζ,使得 ζ∈[an,bn],(n =1,2,?) 现在证明

xn =ζ

(bn-an)

,故对ε>0,存在自然数N′,当n >N′时,|bn-an|<ε

另外,由于[an,bn]包含递增数列{xn}的无限多项,所以必存在N″,当n >N″时,有an ≤ζ≤bn,

取N =max{N′,N″},当n >N 时有|xn-ζ|<bn-an|<ε, 此即

xn =ζ

13. 区间套定理证明有限覆盖定理

即闭区间[a,b]的任一开覆盖H 都有有限的子覆盖

证1用反证法

(1)要证明的整体性质p是:闭区间[a,b]能用H 中的有限个开区间覆盖.与p相反的性质 是:闭区间[a,b]不能用H中的有限个开区间覆盖;

(2) 假设闭区间[a,b]有性质 将闭区间[a,b]等分为两个闭区间,则至少有一个闭区间[a1,b1]也有性质 否则,[a,b]有性质p如此继续得一闭区间列,使每个闭区间都有性质

,且[a,b]?[a1,b1]?…?[an,bn]?…;

(bn-an)=

(bn-an)

(2)由闭区间套定理得数ξ属于所有的闭区间[an,bn],n=1, 2,?,并且每个闭区间[an,bn]有性质 ;

④ 由ζ∈[a,b]和H 是[a,b]的开覆盖,有ζ属于H 中的某个开区间

ζ ?[an,bn] ?( ), 和

(bn-an)

可知,存在自然数m,使[am,bm]?(α1,β1)这与[am,bm]具有性质

矛盾

14. 区间套定理证明聚点定理 证明(反证法):已知b a ,?,使b x

a n

≤≤。设[b a ,]没有E 的有限子覆盖,记

[b a ,]=[a1,b1],二等分[a1,b1],其中必有一区间含}{n x 的无穷多项,记其为[a2,b2],二等分[a2,b2],……如此继续下去,便得区间套

[an,bn],满足n ?,[an,bn]含}{n x 的无穷多项。由区间套定理可得,?唯

一的 ∞

=∈1

],[n n n b a r ,使 =

= r 。

因此1n ?,使1-r 11n n b r a ≤≤1+r 。

这时存在 ,归纳地,?k >1,? ,使k r 1-

< ≤r ≤ k

r 1+ 由[ , ]含}{n x 的无穷多项,知 [ , ],由 ≤ ≤ , 令∞→k ,∞

→n lim

r x k n =,所以}{n x 存在收敛子数列。定理证完

15. 区间套定理证明Cauchy 收敛准则

证 设}{n x 为Cauchy 基本列,即0,0,N n N ε

?>?>?>有

||n N x x ε-≤,即[,]n N N x x x εε∈-+。

定义性质:P 0,0,N n N ε?>?>?>有[,]x x x εε∈-+。则

(1) 令12ε=,则1N ?使得1

111

[,]22

N N x x -+具有性质P ,不妨记此区间为

11[,]αβ。

(2) 令212

ε

=

, 则21()N N ?>使得2222

11

[,]22N N x x -+具有P ,不妨记此区间为22[,]αβ。 。。。 (k): 令1

2k

ε

=

,则]

1()k k N N -?>使得11[,]22

k k N N k k x x -

+具有P ,不妨记此区间为[,]k k αβ。

由此可得一闭区间套{[,]}n n αβ满足

(i)

11[,][,]n n n n αβαβ++?;

(ii) n

n n 21

)(=

-αβ; (iii)

[,]n n αβ具有性质P ,即含有某个0N >后的所有项。

由闭区间套定理可知存在唯一的[,]n n ξαβ∈。从而)(,∞→→n x n ξ。

四.有限覆盖定理

16.有限覆盖定理证明确界原理

证明:设S 为非空有上界的数集,我们证明S

有上确界

不妨设S没有最大值设b为S的一个上界,下面用反证法来证明sup S =ζ存在假设sup S 不存在,取a ∈S对任一x ∈[a,b],依下述方法确定一个相应的邻域

Ux =(x-δ,x+δ)

1)若x∈S,因S中没有最大值,所以至少存在一点x′∈S,使x′<x,这时取

δ=x′-x; 2)若x∈/S且x不是S的上界,同样存在x′∈S,使x<x′,这时取δ=x-x′; 3)若x∈S,且x是S的上界,因sup S存在,故有δ>0,使得Ux =(x-δ,x+δ)中的点都是S 的上界.

于是我们得到了[a,b]的一个开覆盖:

H ={Ux =(x-δ,x+δ)|x

∈[a,b]} 根据有限覆盖定理,H 有有限子覆盖:

?={Unk =(xk-δxk,xk+δxk)|k=1,2,?,n} 将Ux分成两类,若Ux是3)中所确定的开区间,我们把Ux称为是第二类的,否则称为是

第一类的,显然a所属的邻域Uxi是第一类的,b所属的邻域Uxi是第二类的,所以至少有

一个第一类邻域与某个第二类邻域相交,这是不可能的.

17.有限覆盖定理证明单调有界定理

即单调有界数列必有极限

证:不妨设数列{xn}单调递增有上界M, 且若{xn}中有最大值,则易知{xn}收敛于某常数,从而定理得证,一下假设{xn}中没有最大值,我们用反证法来证明

(1)设 {xn}没有极限。对任意取定自然数有

1)若x=(是自然数)。因为{xn}中没有最大值,说以至少存在某个自然数,使得≤,这时取δ=得x的领域(x-δ,x+δ)

2)若x?{xn}且x不是{xn}的上界,同样存在{xn},使x<,取δ=得x的领域(x-δ,x+δ)

3)若x={xn}且是{xn}的上界。因为不存在,故必存在x的邻域

(x-δ,x+δ),使得它不含有{xn}中的任何项,于是我们得到了闭区间[]

的一个开覆盖

②由有限覆盖定理,选出有限个开区间:

(x1-δ1,x1+δ1),?,(xn-δn,xn+δn)

也能覆盖闭区间[,M]

③将这有限个开区间分成两类:若(xi-δi,xi+δi)是第3)

中情形,则称之为第1类;否则称为第2类

显然所属的邻域是第1类M所属的邻域是第2类但因

(x1-δ1,x1+δ1),?,(xn-δn,xn+δn)覆盖了[xn0,M],所以至少有一个第1类开区间与某个第2类开区间相交,这是不可能的,矛盾。

18. 有限覆盖定理证明区间套定理

即若[an,bn]是一闭区间套,则存在唯一ζ属于所有的闭区间[an,bn],n=1,2,?

证:用反证法证明①假设[an,bn],n=1,2,?,没有公共点,

则[a1,b1]上的任何一点都不是{[an,bn]}的公共点,从而,总存在一个开区间(x-δx,x+δx),使得(x-δx,x+δx)不与所有的[an,bn]相交即存在[anx,bnx],使[anx,bnx]∩(x-δx,x+δx)=?,

现让x取遍[a1,b1]上的所有点,就得到一个开区间集:

H={(x-δx,x+δx):x取遍[a1,b1]上的所有点}

②由有限覆盖定理,选出有限个开区间:

?={(x

k-δxk,xk+δxk):k=1,2,?m},

覆盖闭区间[a,b],其中(xk-δxk,xk+δxk)∩[anxk,bnxk]=?;

③因为[anxk,bnxk]只有有限个,由闭区间套定理的条件,它们是一个包含着一个,因此其中一定有一个最小区间,设为[an0bn0],这时,

[an0,bn0]∩(xk-δxk,xk+δxk)=?,k=1,2,?m

从而,[an0,bn]∩?(xk-δxk,xk+δxk) =?

这就与[an0,bn0]?[a1,b1]矛盾

所以,[an,bn],n =1,2,?,应有公共点

19. 有限覆盖定理证明聚点定理

20. 有限覆盖定理证明Cauchy 收敛准则

证(反证法) 假设柯西列}{n x 不收敛,

易证}{n x 为有界无穷数列,取ε=1,因{ }是柯西数列,所以存在某个正整数No ,当n>No 时有| | ,亦即当n>No 时| |≤ | |+1即{ }有界。

即存在闭区间],[b a 使得],[}{b a x n ?。则[,],(,)x ab Ux δ?∈?使得),(δx U 中只含有

}{n x 中的有限多项(否则,若),(,0δδx U >?都有}{n x 中的无限多项,则易证}{n x 收敛,

这与假设矛盾)。

从而得],[b a 的一个开覆盖H ]},[),({:b a x x U ∈=δ 由Heine –Borel 有限覆盖定理知,存在H 的一个有限子覆盖

1H },,2,1],,[),({:k i b a x x U i i i =∈=δ。

所以1H ?只含有}{n x 中的有限多个点,这显然与?H ?)(1],[b a }{n x ?是矛盾的, 假设错误, 因此}{n x 必收敛。

五.聚点定理

21.聚点定理证明确界原理

证 设S 是一个有上界数集,则b R ?∈使得x S ?∈有x b <,取a S ∈构造区间],[b a 。定义性质:P 区间中至少有一个数属于S 且区间的右端点为S 的一个上界。

利用二等分法容易构造出满足性质P 的区间套]},{[n n b a

定义性质P : 不能用H 中有限个开区间覆盖。

(1) 将[,]a b 等分为两个子区间,则至少有一个具有性质P ,不妨记该区间为

11[,]a b ,则 11[,][,]a b a b ?;

(2) 将11[,]a b 等分为两个子区间,则至少有一个具有性质P ,不妨记该区间为22[,]a b ,则 2211[,][,]a b a b ?;

n) 将11[,]n n a b --等分为两个子区间,则至少有一个具有性质P ,不妨记该区间为

[,]n n a b ,则 11[,][,]n n n n a b a b --?;

由此可得一个区间套{[,]}n n a b 且满足02

n n n b a

b a --=→ (1) 显然],[}{b a b n ?且单调递减有下界。我们证明)(,,∞→→?∈?n b R n ξξ。事实上,不妨设}{n b 有无穷个数,由聚点原理知}{n b 有聚点ξ。

因此,0>?ε0>?N ,使得),(εξU b N ∈且ξ>N b 。由于}{n b 单调递减,则易证

n N ?> 有 ),(εξU b n ∈。

由于n b 都为S 的上界,((,)U ξξε∈)所以ξ也为S 的上界。由(1) 易证)(,∞→→n a n ξ。故,0>?ε11,0N n N >?>?有),(εξU a n ∈。从而可知,1,,n N N x S ?>+?∈ ),(],[εξU b a x n n ?∈。即ξεξ≤<-x

故ξ为S 的上确界。

22.聚点定理证明单调有界定理

证 不妨设}{n x 是单调有上界无穷数列,即,a b R ?∈,使得],[}{b a x n ?。故由聚点原理可知?∈?,R ξξ为}{n x 的聚点,即),(,0εξεU >?含有}{n x 中的无限多项。由单调性易得知),(εξU 外最多有}{n x 中的有限项,因此又极限的一种等价定义得:

x ξ

23.聚点定理证明区间套定理

即若{[an,bn]}是一闭区间套,则存在唯一ζ属于所有的闭区间[an,bn],

n=1,2,?

证:设S={an}∪{bn}则S是有界无限点集由聚点定

理得数集S聚点ζ若存在一个aN,使bn>aN >ζ(n=1,2,?)

再取ε=

(aN-ζ),由{an}的单调性,当n>N 时,an>aN >ζ+ε这样,(ζ

-ε,ζ+ε)内至多有S中的有限多个点这与ζ是聚点矛盾,于是得到ζ≥an(n=1,2,?)

同理可证,ζ≤bn(n=1,2,?)因此,有ζ∈?[an,bn]

唯一性

最后证明满足ξ是唯一的.设数ξ′也满足

a n ≤ξ′≤

b n, n = 1,2,?, (1)

因为 a n ≤ξ≤ b n, n = 1,2,?, (2)

则由(1)(2)式有

| ξ- ξ′|≤ b n - a n, n = 1,2,?.

由区间套的条件得

| ξξ′|≤(bn-an)

故有ξ′= ξ.唯一性即证。

24.聚点定理证明有限覆盖定理

即闭区间[a,b]的任一开覆盖H都有有限的子覆盖

证①找一个使它具有与性质p相反的性质的数集S;

为此我们先证明δ>0,x∈[a,b]有开区间(α0,β0)∈H,使

(x-δ,x+δ)?(α0,β0).否则,?x1∈[a,b]对任意的(α,β)

∈H,都有(x1-1,x1+1)?(α,β),?x2∈[a,b]-{x1},对任

意的(α,β)∈H,都有(x2-,x2+)?(α,β),如此继续得一数列{xn},xn∈[a,b]-{x1,x2,?,xn-1},对任意的(α,β)∈H,都有

(xn-,xn+)?(α,β)

②显然数集{xn}是有界无限点集;

③由聚点定理,数列{xn}有聚点ζ;

④由{xn}?[a,b],得ζ∈[a,b],故存在一个开区间(α1,β1)∈H,使ζ∈(α1,β1)令δ1=min{ζ-α1,β1-ζ},则存在自然数N,使N>

,xN∈(ζ-,ζ+)从而,(ζ-,ζ+)?(α1,β1)矛盾

现在,我们取n=[]+1 , xi=a+2i+1

(b-a),i=0,1,2,?

2n

设(xi-δ,xi+δ)?(ai,bi)∈H,i=0,1,2,?则

?(ai,bi)??(xi-δ,xi+δ)?[a,b],

因此所需结论成立

25.聚点定理证明Cauchy收敛准则

证明:设{xn}是一Cauchy列,则知{xn}是有界的若{xn}中只有有限多个项不相

同,那么必有一项譬如xn0出现无限多次,这时就得到{xn}的一个收敛子列{xnk}。又因为{xn}是Cauchy列,故对ε>0,存在自然数N,当n >m >N 时 |xn-xm|<ε

特别地,当n >N,k>N 时由于nk >k>N,从而 |xn-xnk|<ε,

令k→ ∞,得|xn-xn0|≤ε即

xn =

若{xn}中有无限多项互不相同,则数集S ={xn}是一有界无限点集,根据聚点定理,

S 至少有一聚点ζ,由聚点的定义,对任意的自然数k,在U(ζ,

)中,必含有{xn

}的无限多项,从而在U(ζ,

)中可选出一项xnk且xnk ≠ζ,由于k 的任意性,所

xnk =ζ

同上可知,

xn =ζ

六.Cauchy 收敛准则

26. Cauchy 收敛准则证明确界原理

证: 设S 为非空有上界数集.由实数的阿基米德性,对任何正数α,存在整

数K α,使得λα = k αα为S 的上界,而λα - α= ( k α - 1)α不是S 的上界, 即存在 α′∈ S,使得α′> ( k α - 1)α.

分别取α=

, n = 1,2,?,则对每一个正整数n,存在相应的λn ,使得λn 为S 的上界,而

λn

不是S 的上界,故存在a ′∈ S,使得a ′> λn 又对正整数m ,λm 是S 的上界,故有λm ≥ a ′.结合(6)式得λn - λm <

; 同理有λm - λn <

.从而得

| λm - λn |

),

于是,对任给的ε> 0,存在N > 0,使得当m , n > N 时有 | λm - λn | <ε.

由柯西收敛准则,数列{λn }收敛.记

λn = λ. (1)

现在证明λ就是S 的上确界.首先,对任何a ∈ S 和正整数n 有a ≤λn ,由 (1)式得a ≤λ,即λ是S 的一个上界.其次,对任何δ> 0,由

→0 ( n →∞)及

(1)式,对充分大的n 同时有

<

δ

,λn >λ - δ

.

又因λn -

不是S 的上界,故存在a ′∈ S,使得a ′> λn -

.结合上式得a ′> λ -δ>λ δ δ

=λ- δ.

这说明λ为S 的上确界. 同理可证:若S 为非空有下界数集,则必存在下确界.

27. Cauchy 收敛准则证明单调有界定理

证 不妨设}{n x 为单增有上界数列。假设}{n x 无极限,Cauchy 收敛准则可知,

,,0,00N n m N >>?>?>?ε 但是 0ε+>m n x x 。由N 的任意性,不难得到}{n x 的一

个严格单增的子列{}k

n x ,满足 1110002k k k n n n n x x x x k εεε+->+>+>

>+。

由于0

0,0k ε>>, 所以当k →∞时,有1

k n

x +→+∞。 这与}{n x 为有界数列

矛盾, 故}{n x 收敛

28. Cauchy 收敛准则证明区间套定理

证 设]},{[n n b a 是Cantor 区间套。则由∞→→-n a b n n (,0 可知,,

0>?εN n N >?>?,0 时,有| - |<ε。

由于}{n a 单调递增,}{n b 中的每一个元素都为}{n a 的上界。

故N n m >>?,则有。 ≤ ≤ ≤

所以| - |= - ≤ - | - |<ε

| - |= - ≤ - | - |<ε

故由Cauchy 收敛准则可知{ },{ }收敛, 下证 r [ , ],用反证法

若? ,使r< ,由{ }单调递增知n > 时 > >r

所以| r |= r 0, 两边取极限有0≤

( r )<0,矛盾

同理 若? ,使r> ,由{ }单调递减知n > 时r b 所以| r |= r 0, 两边取极限有0≤

(r )<0,矛盾

故r [ , ],

最后证明满足r 是唯一的.设数r ′也满足

a n ≤ r ′≤

b n , n = 1,2,?, (1)

因为 a n ≤ r ≤ b n , n = 1,2,?, (2)

则由(1)(2)式有

| r- r ′|≤ b n - a n , n = 1,2,?. 由区间套的条件得

| ′|≤ (bn-an)

故有r ′= r.唯一性即证。

29. Cauchy 收敛准则证明有限覆盖定理

即闭区间[a,b]的任一开覆盖H 都有有限的子覆盖

证① 在[a,b]上选取一数列{xn},使得(xn- ,xn+

)∩[a,b]具有与

性质p:闭区间[a,b]能被H中有限个开区间覆盖,

相反的性质 :闭区间[a,b]不能被H 中有限个开区间覆盖;

若[a,b]具有性质 ,则x1∈[a,b],使(x1-1,x1+1)∩[a,b]具有性质 否则,[a,b]具有性质p,如此继续,得一数列{xn},使

?(x -

,x +

) [a,b]

具有性质

② 因为|xn-xm|≤max{1n 1

}

所以,数列{xn}满足Cauchy收敛准则的条件;

③ 由Cauchy收敛准则得,ζ=

xn;

④显然,ζ∈[a,b]存在开区间(α,β)∈H,使ζ∈(α,β)

又由 xn=ζ,存在xN,使(x - ,x +

)?(α,β)这与

x - ,x +

具有性质 矛盾。

30. Cauchy 收敛准则证明聚点定理

即任一非空有界无限点集S 必有聚点

证:① 取a为S的下界,对任意固定的自然数n,存在自然数kn,使xn =a+

满足

1)S ∩(xn,+∞)至多为有限点集;2)S ∩(xn-1

,+∞)为无限点集

② 由①对任意自然数n、m,xn-1n<xm,这是因为,若存在n、m 使xn-1

≥xm,

则 S ∩(xn-1

,+∞)? S ∩(xm,+∞),

这与1)、2)矛盾从而

|xn-xm|≤max{1n 1

}因此{xn}满足Cauchy收敛准则;

③ 由Cauchy收敛准则得,ζ= xn;

④对ε>0,由于xn-1=ζ,所以存在n0使得

,-∈(ζ-ε,ζ+ε),

从而

S∩(-,+∞)?S∩(ζ-ε,+∞),

由2)得S∩(ζ-ε,+∞)是无限点集

又S∩(ζ+ε,+∞)?S∩(,+∞),

由1)得S∩(ζ+ε,+∞)至多是有限点集因此

S∩(ζ-ε,ζ+ε),

是无限点集,即ζ是S的聚点

到此,实数完备性基本定理的相互证明完毕

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

目录 摘要 (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确界存在定理的证明

赵晓玉哥德尔不完全性定理的推广形式及其哲学影响2018

赵晓玉:哥德尔不完全性定理的推广形式及其哲学影响(2018) 1930年,哥德尔证明了关于递归可枚举理论的哥德尔不完全性定理,而本文的第一项工作便是将哥德尔不完全性定理推广到非递归可枚举理论上,得到推广的哥德尔不完全性定理。为此,首先详细回顾哥德尔不完全性定理的整个证明,并证明一些相关的推论。 为便于将哥德尔不完全性定理推广到非递归可枚举理论上,首先将哥德尔不完全性定理涉及的一致性、语法完全性、ω-一致性、相对于N的可靠性、相对于N的完全性、可定义性等元理论性质,分别推广成Γ-一致性、Γ-决定性、n-一致性、相对于N的Γ-可靠性、相对于N的Γ-完全性、Γ-可定义性等更一般的形式,并对其基本性质进行深入研究,然后利用推广的元理论性质对哥德尔不完全性定理进行重述。 关于推广的哥德尔第一不完全性定理,首先回顾萨利希和萨拉杰证明的4簇结果:任给n>0,如果T是包含罗宾森算术的、Σn+1-可定义的(Πn-可定义的)、Σn-可靠的(n-一致的)算术理论,那么T 不是Πn+1-决定的;并证明其中的Σn-可靠性或n-一致性不能被相应地强化为Σn?1-可靠性或(n?1)-一致性;期间会就关键定理给出一种更简洁易读的证明。然后额外证明2簇结果:任给n>0,如果T是包含罗宾森算术的、Σn+1-可定义的(Πn-可定义的)、Πn+1-可靠的算术理论,那么T不是Πn+1-决定的;并证明其中的Πn+1-可靠性不能被强化为Πn-可靠性。 关于推广的哥德尔第二不完全性定理,首先将Γ-可靠性形式化,然后证明4簇结果:任给n>0,如果T是包含皮亚诺算术的、Σn+1-可定义的(Πn-可定义的)、Σn-可靠的(Πn+1-可靠的)算术理论,那么T不能证明自身Σn-可靠性(Πn+1-可靠性);并且证明其中的Σn+1-可靠性或Πn+1-可靠性不能被相应地强化为Σn-可靠性或Πn-可靠性;最后通过引入强可证性关系给出这4簇结果的第二种证明方法。 本文的第二项工作是深入讨论非递归可枚举理论与形式化的一致性之间的关系。首先分析非递归可枚举理论与可证性条件的关系,然后据此证明满足一定条件的非递归可枚举理论不能证明自身一致性,即结论涉及一致性的4簇推广的哥德尔第二不完全性定理:任给n>0,如果T是包含皮亚诺算术的、一致的、Σn+1-可定义的(Πn-可定义的)、Σn+1-完全的(Πn-完全的)算术理论,那么T不能证明自身一致性;并且将这些结果作为第一项工作中推广的哥德尔第二不完全性定理的推论从而给出第二种证明方法;最后还会给出2簇能证明自身一致性的理论从而证明其中的Σn+1-完全性或Πn-完全性不能被相应地强化为Σn-完全性或Πn?1-完全性。 本文的第三项工作是基于推广的哥德尔不完全性定理,从对形式化方法局限的反驳、对反机械主义的支持、对数学家地位的辩护等三个方面重新审视哥德尔不完全性定理的哲学影响。 关键词:不完全性,非递归可枚举理论,Γ-可靠性,Γ-可定义性,哲学影响

重要定理的证明

考研数学重要定理、性质及公式证明总结 ()()()()()()()()000000001,211112y f x x y f x x y f x x dy f x x f x dx y f x x y f x x f x x x ==''==?====()函数在点处可微的充分必要条件是函数在点处可导且当函数在点处可微时,有; ()如果函数在点处可导,则函数函数在点处必连续,反之不一定.证明:()参看同济教材七版上册页; ()参看同济教材七版上册82页.设函数在处可导且取极值1.证明一元函数可微、可导及连续的关系: 2.证明费马定理: ()()[]()()()()()()()[]()()()()()()()() () ()0=0.125,,,,,,=0. 126,,,,0,,.130,f x f x a b a b f a f b a b f f b f a f f x g x a b a b g x a b g b g a g f x ξξξξξ''=∈'-'≠?∈= '-,则证明:参看同济教材七版上册页.设在上连续在内可导,且则至少存在一点使得证明:参看同济教材七版上册页.设、在上连续内可导且则,使得证明:参看同济教材七版上册页.设3.证明罗尔定理: 4.证明柯西中值定理: 5.证明洛必达法则: ()()()()() () ()()()()()[]()()()()[]0 0000,:1lim lim 0,2lim ;lim lim .133,,,00,,144x x x x x x x x x x g x x g x f x f x f x f x g x g x g x g x f x a b a b f x f x a b →→→→→'≠''==∞='''><在点的某去心邻域内可导,且又满足() ()极限存在或为则证明:参看同济教材七版上册页. 设在上连续在内可导,且则在上单调增加(单调减少).证明:参看同济教材七版上册6.证明函数单调性的充分判别法: ()[]()()()()[]()()0000,,,00,,148(),0,00155f x a b a b f x f x a b f x x x f x f x x x ''><'''==><=页. 设在上连续在内二阶可导,且则在上的图形是凹的(凸的). 证明:参看同济教材七版上册页.设在处二阶可导若(),则是极小(大)值点.证明:参看同济教材七版上册页. 7.证明曲线凹凸性的充分判别法: 8.证明极值点的充分条件: @ 考 研 数学 高老 师

实数完备性证明

一.七大定理循环证明: 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 ∈?,

六大定理互相证明总结讲课讲稿

六大定理互相证明总 结

六大定理的相互证明总结 XXX 学号 数学科学学院 数学与应用数学专业 班级 指导老师 XXX 摘要 在《数学分析》中第二部分极限续论中提到的实数的基本定理一共提到六大定理,其中包括确界定理,单调有界原理,区间套定理,致密性定理,柯西收敛定理,有限覆盖定理.该六大定理在闭区间上连续函数性质的证明起着同等重要的作用.本文总结了六大定理的相互证明. 关键词 确界定理、单调有界原理、区间套定理、致密性定理、柯西收敛定理、有限覆盖定理 1 确界定理 1.1 确界定理 有上界的非空数集必有上确界,有下界的非空数集必有下确界. 1.2 确界定理证明区间套定理 证明:设一无穷闭区间列{[,n a ] n b }适合下面两个条件:(1)后一个区间在 前一个区间之内,即对任一正整数n ,有1+≤n n a a <n n b b ≤+1,(2)当n ∞→时,区间列的长度{(-n b ) n a }所成的数列收敛于零,即()0lim =-∞ →n n n a b . 显然数列{}n a 中每一个元素均是数列{}n b 的下界,而数列{}n b 中每一个元素均是数列{}n a 的上界.由确界定理,数列{}n a 有上确界,数列{}n b 有下确界. 设{}{}.sup ,inf n n a b ==βα显然n n n n b a b a ≤≤≤≤βα,. 又Θ()0lim =-∞ →n n n a b ∴βα= 即{}n a 及{}n b 收敛于同一极限ξ,并且ξ是所有区间的唯一公共点. 1.3 确界定理证明单调有界原理[1]

证明:我们只就单调增加的有界数列予以证明.因{}n y 有界,则必有上确界 {}n y sup =β.现在证明β恰好是{}n y 的极限,即β→n y . 由上确界的定义有:⑴β≤n y (3,2,1=n …),⑵对任意给定的ε>0,在{}n y 中至少有一个数N y ,有N y >εβ-.但由于{}n y 是单调增加数列,因此当n > N 时,有N n y y ≥,从而n y >εβ-.也就是说:当n >N 时,有 n y -≤β0<ε 所以 β→n y 2 单调有界原理 2.1 单调有界原理 单调有界数列有极限. 2.2 单调有界原理证明致密性定理 在证明定理之前,我们要先证明一个引理:任意一个数列{}n x 必存在单调子数列. 证明:⑴若{}n x 中存在递增子序列{}k n x ,则引理已证明; ⑵若{}n x 中无递增子序列,那么?1n >0,使n >1n ,恒有1n x >n x .同样在{}n x (n >1n )中也无递增子序列. 于是又存在2n >0,使2n >n ,恒有2n x <n x <1n x .如此无限进行下去便可得到一严格递减子序列{}k n x . 引理得证. 下面证明定理:由引理知,有界数列必有有界单调子数列.又由单调有界原理知,该有界单调子数列必有极限,即该子数列是收敛的.故有界数列必有收敛子列. 2.3 单调有界原理证明区间套定理[1] 由定理的条件立即知道{}n a 是单调增加有上界的数列,{}n b 是单调递减有下界的数列.根据定理,则n n a ∞ →lim 存在,且极限等于{}n a 的上确界.同样,n n b ∞ →lim 也存 在,且极限等于{}n b 的下确界.亦即对任何正整数k ,有

实数的完备性

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

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

哥德尔不完备定理

哥德尔不完备定理 哥德尔不完备定理有两条: 一、任何相容的形式系统,只要蕴涵皮亚诺算术公理,就可以在其中构造在体系中不能被证明的真命题,因此通过推演不能得到所有真命题 二、任何相容的形式系统,只要蕴涵皮亚诺算术公理,它就不能用于证明它本身的相容性 我们只论述第一条定理。 证明思路: ①要证明蕴含皮亚诺算术公理的形式系统不完备,只需要证明皮亚诺算术公理不 完备。 ②要证明皮亚诺算术公理不完备,我们可以选择皮亚诺算数公理的一个模型(也 就是实际意义),最简单的,选择自然数?作为一个模型。那么之后,这个公理系统都是描述自然数的了,公式的变元是自然数,项是自然数等等。 ③将皮亚诺公理系统的所有有效的句子(逻辑学称为公式),映射到自然数的一个 子集。 ④根据皮亚诺算术公理的性质,构造一个命题,使得它可证或不可证都会产生矛 盾。 皮亚诺算术公理如下 1.?x(Sx≠0) 0不是任何数的后继数 2.?x?y(Sx=Sy→x=y) x与y的后继数相等,则x与y相等

3.(φ(0)∧?x(φ(x)→φ(Sx)))→?xφ(x),φ(x)为算术公理的任一公式 这个就是数学归纳法 4.?x(x+0=x∧x?1=x) 存在零元和幺元 5.?x?y(S(x+y)=x+Sy) 加法的定义 6.?x?y(x?Sy=(x?y)+x) 乘法的定义 递归函数 我们可以根据这个公理系统定义“递归函数”,也就是编程一般都会用到的那种函数,其函数值f(a n)依赖于f(f(a n?1))(其中a n=f(a n?1))……在这里我们一般指的是定义域和值域都是自然数的子集的递归函数。 我们可以给出定义: 定义1:原始递归函数为: ①零函数:0(x)=0 ②后继函数:S(x)=Sx ③射影函数:I mn(x1,x2…,x n,…,x m)=x n 原始递归函数为递归函数 定义2:递归函数的复合仍然是递归函数。 也就是f(x),g(x)为递归函数,则f(g(x))也是递归函数。 ?,n!等都是递归函数。 例子:?√n?,?x y 事实上,只要是定义域和值域都是自然数的子集的函数,都是递归函数。

定理与证明(一)

定理与证明(一) 本文从网络收集而来,上传到平台为了帮到更多的人,如果您需要使用本文档,请点击下载按钮下载本文档(有偿下载),另外祝您生活愉快,工作顺利,万事如意! 教学建议 (一)教材分析 1、知识结构 2、重点、难点分析 重点:真命题的证明步骤与格式.命题的证明步骤与格式是本节的主要内容,是学习数学必具备的能力,在今后的学习中将会有大量的证明问题;另一方面它还体现了数学的逻辑性和严谨性. 难点:推论证明的思路和方法.因为它体现了学生的抽象思维能力,由于学生对逻辑的理解不深刻,往往找不出最优的思维切入点,证明的盲目性很大,因此对学生证明的思路和方法的训练是教学的难点.(二)教学建议 1、四个注意 (1)注意:①公理是通过长期实践反复验证过的,不需要再进行推理论证而都承认的真命题;②公理可以作为判定其他命题真假的根据.

(2)注意:定理都是真命题,但真命题不一定都是定理.一般选择一些最基本最常用的真命题作为定理,可以以它们为根据推证其他命题.这些被选作定理的真命题,在教科书中是用黑体字排印的.(3)注意:在几何问题的研究上,必须经过证明,才能作出真实可靠的判断.如“两直线平行,同位角相等”这个命题,如果只采用测量的方法.只能测量有限个两平行直线的同位角是相等的.但采用推理方法证明两平行直线的同位角相等,那么就可以确信任意两平行直线的同位角相等. (4)注意:证明中的每一步推理都要有根据,不能“想当然”.①论据必须是真命题,如:定义、公理、已经学过的定理和巳知条件;②论据的真实性不能依赖于论证的真实性;③论据应是论题的充足理由. 2、逐步渗透数学证明的思想: (1)加强数学推理(证明)的语言训练使学生做到,能用准确的语言表述学过的概念和命题,即进行语言准确性训练;能学会一些基本的推理论证语言,如“因为……,所以……”句式,“如果……,那么……”句式等等;提高符号语言的识别和表达能力,例如,把要证明的命题结合图形,用已知,求证的形式写出来.(2)提高学生的“图形”能力,包括利用大纲允许

第七章 实数完备性

第七章实数的完备性 §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)x 轴将坐标平面分为两部分,x 轴上方的纵坐标为正数;x 轴下方的点纵坐标为负数。即第一、二象限及y 轴正方向(也称y 轴正半轴)上的点的纵坐标为正数;第三、四象限及y 轴负方向(也称y 轴负半轴)上的点的纵坐标为负数。 反之,如果点P (a ,b )在x 轴上方,则b >0;如果P (a ,b )在x 轴下方,则b <0。 (2)y 轴将坐标平面分成两部分,y 轴左侧的点的横坐标为负数;y 轴右侧的点的横坐标为正数。即第二、三象限和x 轴的负半轴上的点的横坐标为负数;第一、四象限和x 轴正半轴上的点的横坐标为正数。 (3)规定坐标原点的坐标为(0 ,0) (4 (5) 对称点的坐标特征: (1)关于x 轴对称的两点:横坐标相同,纵坐标互为相反数。如点P (x 1 ,y 1)与Q (x 2 ,y 2)关于x 轴对称,则12 12 x x y 0y ??+=?=反之也成立。如P (2 ,-3)与Q (2 ,3)关于x 轴对称。 (2)关于y 轴对称的两点:纵坐标相同,横坐标互为相反数。如点P (x 1 ,y 1)与Q (x 2 ,y 2)关于y 轴对称,则12 120 y x x ??+=?=y 反之也成立。如P (2 ,-3)与Q (-2 ,-3)关于y 轴对称。 (3)关于原点对称的两点:纵坐标、横坐标都互为相反数。如点P (x 1 ,y 1)与Q (x 2 ,y 2)关于原点对称,则1212 x + x 0 y 0y =??+=?反之也成立。如P (2 ,-3)与Q (-2 ,3)关于原点对称。

第七章 实数的完备性

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

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

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

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

为什么歌德尔的不完全性定理与理解人的心智相关

为什么歌德尔的不完全性定理与理解人的心智相关 哥德尔第一不完全性定理:任意一个包含算术系统在内的形式系统中,都存在一个命题,它在这个系统中既不能被证明也不能被否定。 哥德尔第二不完全性定理:任意一个包含算术系统的形式系统自身不能证明它本身的无矛盾性。 心智这个概念,不同的人有不同的理解,因此对其定义也各有千秋,通过对各种概念的剖析和总结,我觉得心智可以如下定义:指人们对已知事物的沉淀和储存,通过生物反应而实现动因的一种能力总和。它涵盖了“哲学”对已知事物的积累和储存,结合了“生物学”的大脑信息处理,即“生物反应”,运用了为实现某种欲需(动因)而从事的“心理”活动,从而达到为实现动因结果而必须产生的智能力和“潜能”力。 歌德尔定理研究的对象是“形式系统”,理解其与心智的相关性,就要把心智和形式系统联系起来,而在心智中最重要的环节是上述中的“生物反应”,即大脑信息处理。人脑在“运算”时与电脑的基本原理是一样的,只不过电脑使用电子元件的“开.闭”和电信号的传递体现,人脑则是表现为神经原的“冲动.拟制”和化学信号(当然也包括电信号)的传递。这与歌德尔定理的条件没有本质上的差别。而认识过程中的“思维是客观实在的近似反映,语言是思维的近似表达”这点,正是受哥德尔定理限制的结果。就拿语言(指形式上的)来说,完全可以转化为有限

公理和一定规则下的符号逻辑系统,也就是一种符合定理条件的形式公理系统。该定理恰恰说明,这样的系统中不完备,存在不能用该系统证实的命题,对于这个系统来说,就是语言对思维的表达不完全,也就是我们常说的“只可意会,不可言传”。这也与我们经常感觉到的“辞不达意”是相吻合的,任何形式上的语言都不能完全准确的表达我们的思想。还有另一个事实也说明这点,就是翻译。文对文的形式语言翻译虽然不难,可是如实地表达原来语言中的准确蕴义就非常难了,甚至可以说是不可能的事情。上面已经说了人类的思维也可以近似转化为这样的形式公理系统,那人脑也一定受哥德尔定理的限制,即歌德尔定理与理解人的心智有关。 《GEB》这本书中的一些例子也可以说明这一问题。例如它里面讲到“我们自己怎样弄清楚自己是否精神失常”的问题:“一旦你开始探究自己精神的正常性,你可能就会陷入一个极其讨厌的“信之则有”的漩涡之中,尽管这种情况绝非不可避免。每个人都知道,精神失常的人会用他们自己古怪的内部一致性逻辑去解释世界,但如果你只能用自己的逻辑去检查它本身,那你怎样才能弄清你的“逻辑”是否古怪呢?”由这个例子再结合哥德尔第二定理,它说明那种断定自身一致性的形式系统是不一致的。而这也说明了歌德尔定理与理解人的心智有关系。

六大定理互相证明总结

六大定理的相互证明总结 XXX 学号 数学科学学院 数学与应用数学专业 班级 指导老师 XXX 摘要 在《数学分析》中第二部分极限续论中提到的实数的基本定理一共提到六大定理,其中包括确界定理,单调有界原理,区间套定理,致密性定理,柯西收敛定理,有限覆盖定理.该六大定理在闭区间上连续函数性质的证明起着同等重要的作用.本文总结了六大定理的相互证明. 关键词 确界定理、单调有界原理、区间套定理、致密性定理、柯西收敛定理、有限覆盖定理 1 确界定理 1.1 确界定理 有上界的非空数集必有上确界,有下界的非空数集必有下确界. 1.2 确界定理证明区间套定理 证明:设一无穷闭区间列{[,n a ] n b }适合下面两个条件: (1)后一个区间在前一个区间之内,即对任一正整数n ,有1+≤n n a a <n n b b ≤+1,(2)当n ∞→时,区间列的长度{(-n b ) n a }所成的数列收敛于零,即()0lim =-∞ →n n n a b . 显然数列{}n a 中每一个元素均是数列{}n b 的下界,而数列{}n b 中每一个元素均是数列{}n a 的上界.由确界定理,数列{}n a 有上确界,数列{}n b 有下确界. 设{}{}.sup ,inf n n a b ==βα显然n n n n b a b a ≤≤≤≤βα,. 又 ()0lim =-∞ →n n n a b ∴βα= 即{}n a 及{}n b 收敛于同一极限ξ,并且ξ是所有区间的唯一公共点. 1.3 确界定理证明单调有界原理[1] 证明:我们只就单调增加的有界数列予以证明.因{}n y 有界,则必有上确界 {}n y sup =β.现在证明β恰好是{}n y 的极限,即β→n y . 由上确界的定义有:⑴β≤n y (3,2,1=n …),⑵对任意给定的ε>0,在{}n y 中至少有一个数N y ,有N y >εβ-.但由于{}n y 是单调增加数列,因此当n >N 时,

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

实数完备性定理的证明及应用 学生姓名: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]

哥德尔不完备性定理

哥德尔不完备性定理 2010-10-28 23:09:32来自: 苏仁(履霜冰至。一心难二用。) 一、哥德尔不完备性定理的基本内容 一个普遍公认的事实是,哥德尔不完备性定理在数理逻辑中占有极其重要的地位,是数学与逻辑发展史中的一个里程碑。 哥德尔关于形式系统的不完备性定理,首次发表在他的论文《论数学原理及有关系统中不可判定命题》中。不完备性定理是关于不可判定命题存在的一般结果,如果仅就算术系统而言,这个定理可以简单地表述为: 定理:如果形式算术系统是ω无矛盾的,则存在着这样一个命题,该命题及其否定在该系统中都不能证明,即它是不完备的。 罗塞尔(Rosser)对上面的定理进行了如下改进: 定理:如果形式算术系统是无矛盾的,则它是不完备的。具体说就是—— 定理:如果一个含有自然数论的形式系统S是无矛盾的,则S中存在一个逻辑公式A,使得在S中A是不能证明的,同时 ̄|A( ̄| 为否定连接词——笔者注)也是不能证明的。 作为不完备性定理证明思想的一个关键之处在于映射原理的应用,哥德尔是通过一种十分新颖的映射形式来构造他的命题的。映射是数学研究中极为重要的一种研究方法,其基本思想就是借助一一对应使得某一领域内的对象之间的某种关系得以在另一领域内的对象之间的关系得到表现。哥德尔的方法是:把算术系统(记为N)中的符号、表达式和表达式的序列都映射为数——通过引进“哥德尔数”而实现了对象的数化手续。这样处理的结果,对于数理逻辑和其他有关分支来说,在研究方法上就提供了一种数字化工具,能够方便地把一些讨论对象(如符号、公式)转换为自然数或自然数的函数,能够用自然数的理论来讨论有关问题。其次,哥德尔又通过“递归函数”的引进证明了所有元理论中关于表达式的结构性质命题,都可以在算术系统中得到表达。映射原理的应用和递归函数的引进,使元理论中的命题都映射为了算术系统中的命题,算术系统也因此获得了元数学的意义。 哥德尔在阐述自己的证明思想时说过:“我们可以注意到一个形式系统的公式在形式上都表现为基本符号(变量、逻辑常项、括号或中断号)的一个有限序列,而且人们容易精确地去指明基本符号的那些有限序列是有意义的公式和那些不是有意义的公式。类似地,从形式的观点看,所谓证明实际上就是公式的一个有限序列。对于元数学来说,究竟用什么东西来作为基本符号当然是没有关系的。我们不妨就用自然数来作为基本符号,如此,一个公式就是一个自然数的有限序列,而证明便是一个有限的自然数序列的有限序列。据此,元数学的概念(命题)也就变成了关于自然数或他们的序列的基本概念(命题),从而就可以(至少是部分地)在(对象)系统本身的符号中得到表示,特别是人们可以证明…公式?、…证明?、…可证公式?等都可在对象系统中加以定义。” 哥德尔按照上述的证明思想,为不完备性定理的证明在对象系统内构造了这样一个命题G,使

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

. .. . 实数完备性定理的证明及应用 学生: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 引言 在数学分析学习中,我们知道,实数完备性定理是极限的理论基础,是数学分析理论的基石,对实数完备性表达通常有六个定理.在此,我们以实数连续性为公理,顺序证明其余六个基本定理,最后达到循环,从而证明等价性,并用实

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

第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)).定理

数学边界:被证明无法证明定理

今天我在这里看到了一个神奇地数列以及关于它地两个惊人地结论.这是由Goodstein发现地,这个名字让我不禁想到了1984里那个恰好同名地人. Goodstein数列是这样地:首先选取一个正整数m1, 比如设m1= 18 . 然后对它进行这样一个操作:把它写成2地次幂之和地形式( 18 = 2^4+ 2^1) , 再把幂数也写成2地次幂地形式: 我们把这种写法叫以2为底地遗传记法.这个词是我翻译地,可能不准确,原文叫hereditar y base 2 notation.文档来源网络及个人整理,勿用作商业用途 m2是这样生成地:把m1地这种写法中所有地2都换成3,再减1.对于我们地例子, 注意到这是个非常大地数,约等于7.63×1012. 现在把m2写成以3为底地遗传记法,再把所有地3都换成4,再减1,就成为了m3.以此类推,m n+1就是把m n写成以n+1为底地遗传记法,再把所有地(n+1)换成(n+2),再减1.对于m1= 18 ,前几项是这样:文档来源网络及个人整理,勿用作商业用途 看到了前5个数,我们一定会认为这个数列以极快地速度发散到无穷,甚至比指数级或阶乘级还快得多.那么植根于这个数列地Goodstein定理想必就是论证数列地发散速度地.但是,真相大出我地意料:文档来源网络及个人整理,勿用作商业用途 Goodstein定理:对于任何一个初始数,数列总会在有限步内变为0. 虽然我们都知道仅看一个数列地前几项就猜测它地收敛性是不可取地,虽然我们也知道像调和级数(1+1/2+1/3+1/4+……)这种增加超级慢地级数也发散,虽然我们知道数学中一个又一个地大反例(比如欧拉方阵),但这还是太过出人意料了.文档来源网络及个人整理,勿用作商业用途 这个定理有没有证明?当然有,要不怎么叫定理呢.它地证明其实也不难,用到了序数地知识.大概意思是这样: 构造另一个数列称为平行数列(不妨设为P n),使它地每一项都不小于给定Goodstein数列地对应项,然后再证明这个平行数列最后等于0.具体地方法是对于一个Goodstein数列{m n} , 把它地第n项写成以n+1为底地遗传记法,再把每个n+1替换成最小地无限序数ω.注意到有这两个事实: 第一,P n肯定不小于m n,比如 .

相关文档
最新文档