关于实数理论的几点思考_第1页
关于实数理论的几点思考_第2页
关于实数理论的几点思考_第3页
关于实数理论的几点思考_第4页
关于实数理论的几点思考_第5页
全文预览已结束

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、关于实数理论的几点思考数学与应用数学专业04级郑维坚一、实数理论的引入实数理论的引入是具有其历史必然性的。尽管牛顿、莱布尼兹早在十七世纪时便建立了微积分的演算体系,但这套微积分的概念与演算,是以直观的基础的,概念并不准确,推导公式有明显的逻辑矛盾。直至19世纪,矛盾已积累到非解决不可的程度,于是在这种形势下,实数理论作为极限理论的坚实基础被引入了,并使微积分的演算体系严格化。(以上内容参考了数学分析简明教程)二、实数系各种性质的等价表述概论经过这几个月来的学习,我对实数理论有了一些自己的体会。我认为,对实数系中与实数有关的各种性质(如实数连续性、完备性、实数闭区间的紧致性,连通性等)的描述,无

2、外乎有两种方式:一种是用集合的观点来阐述,如戴德金分划,非空有上界的实数子集有上确界、有限覆盖定理、区间套定理及聚点定理,另一种是用序列的观点来描述,如有理数基本列的等价类,单调上升有上界的序列有极限,紧致性定理以及柯西收敛原理。1、实数的连续性对于数系的连续性戴德金是这样定义的:如果一个有大小顺序的稠密的数系S,它的任一个分划都有S中唯一的数存在,它不小于下类中的每一个数,也不大于上类中的每一个数,那么称数系S是连续的。请证明两者的等价性以上的定义是通过集合(即下类与上类)来表述的,不过我觉得也能按照康托的思路用序列的方式加以定义,即对于一个有大小顺序的稠密数系S,若所有(有理数)基本列的等

3、价类与S中的所有数一一对应,则称S是连续的。言归正传,实数连续性是极限理论的基础,微积分正是在实数系这样一个连续的数系中才有了大显身手的舞台。关于实数连续性的等价描述共有三种:这对实数系 来说,当然 是这样。但 前三条都与 实数系的序有关,而柯西列却 与“序”无关, 所以完备性 不叫连续性(1)对于实数系的每一个分划AIB,存在唯一的实数r,使得对任意a£A,bCB,有a<r<b(2)非空有上界的实数子集必有上确界存在。(3)单调上升有上界的实数列必有极限存在。我认为其实柯西收敛原理也反映了实数连续性,而且如果我先前补充的定义可行的话,则康托对实数的定义“每一个(有理数)

4、基本列的等价类都代表一个实数”也可视为实数连续性的一种描述,不过它是建立在另一种定义之上的下面谈谈我对这三个等价描述的理解:(1)很直观的描述了实数连续性。(2)(3)的表述则较为“含蓄”一些,其实(2)与(3)描述实数连续性的思路是一样的,即表明实数系在数轴上的任何地方都没有空隙,二者所不同的只是(2)从集合的角度来描述,而(3)从序列的角度来表述。课本中已证明了(1)u(2),(1)u(3)及(2)=(3),现在证明(3)二。设M为实数子集E的上界,来证明r=supECR。若有E最大值,则此最大值即为上确界。若E无最大值,任取x°W巳将xo,M二等分,若右半区间含有E中的点,则记

5、右半区间为a,b,否则就记左半区间为a1,b1o然后将卜再二等分,用同样的方法选出,b2,如此无限分下去,我们便得到一个闭区间的集合an,bn,同时得到两串序列an,bn,其中an单调上升有上界(如b1),bn单调下降有下界(如a1),且bn-an=(ba)/2nT0(eo<fl寸)。由单调上升有上界知有r存在,使得r=nman,又bn=an+(bi-ai)/2n知对任意ran,bn(对任意n),又由于an单调上升,r=nman>an.若存在kCN,s.t.E中有一点xiCr,bk,则按二等分法的规则,ak>r,这与r>an(对任意n)相矛盾。所以E中任何一点x&

6、;r.又由nman=r知对任意e,存在N,stlaN_rl<enaN>r-e.这也就是说存在X2CE,s.t.X2>aN>r-e.于是就证明了r是E的上确界。2、实数闭区间的紧致性紧致性是点集拓扑中的概念,它是用来描述一类集合的,在Rk中,集合E是紧致的uE是闭且有界的yE的每个无限子集在E内有极限点。实数闭区间是R中既闭且有界的集合,因此实数闭区间具有紧致性,这是实数开区间所不具备的一个性质。(以上关于紧致性的介绍参考了Rudin的数学分析原理)对于实数闭区间的紧致性,我们也可以从集合与序列的角度分别加以描述。(1)紧致性定理是从序列的角度来描述实数闭区间紧致性的,下

7、面用紧致性定理证明单调上升有上界的实数列有极限。设Xn单调上升有上界,由紧致性定理,Xn存在收敛子序列Xnk,lim设a=k"XnkXn单调上升,Xnk为其子序列对对任意n>ni,二k,s.t.Xnk<Xn<Xnk+in一oo时k一8由夹逼性定理知nmXn存在且等于a(2)区间套定理与有限覆盖定理是从集合的角度来描述实数闭区间紧致性的。我个人觉得这两个定理是作为一对矛盾而对立统一地存在的,理由如下:有限覆盖定理中描述紧致性的工具是开区间,而区间套定理描述紧致性的工具是闭区间。闭区间与开区间本身便是一对矛盾,对立而统一的。有限覆盖定理说的是有限个小的开区间覆盖住一个大

8、的闭区间,其功能在于把每一点的局部性质转化到整个闭区间上,这即是由局部到整体的思想;而区间套定理说的是一个大区间里套一个小区间,小区间里再套一个小小区间,如此下去,最后套出一个点来,其功能是由点集的整体性质得出某一点的局部性质,这即是由整体到局部的思想。从以上两点来看,有限覆盖定理与区间套定理是非常辩证地联系在一起的。尽管这两个定理归根到底都是运用集合的语言阐述闭区间的紧致性(这正是它们的“统一”之所在),但在实际应用时,我们却可通过它们相互“对立”的方面来判断对于一个命题证明用哪一个定理更方便。(i对于那些由整体到局部的命题常常适合用区间套定理来证明。如确界定理、单调有界原理、柯西收敛原理的

9、充分性、紧致性定理、聚点原理都属于这一类型,它们都指出,在某一条件下,作为整体的实数闭区间中有某种“点”存在(这种“点”包括确界点,极限点,收敛点以及聚点)下面举几个例子用区间套定理证明非空有界的实数子集必有上确界:证明过程与本文先前用单调有界原理证明确界定理的过程大致相同,只是当构造出区间套an,bn时,直接由区间套定理得出存在rCan,bn(对任意n),且nman=nmbn=r用区间套定理证明单调有界原理可用的方法构造区间套并由区间套定理得出niman=r;对任意e,存在N,s.t.I3n-rI<e=>aN>r-存在No,s.t.Xn°>an>r-e

10、nrTXNo<e.又<Xn单调上升.对任意e,存在No,当n.>No时(Xn>XN0)有r、n<enIrnI<£于是rlimXn=r(对于证明对任意n,Xn<r,可参见本文先前用单调有界原理证明确界定理的过程)(2A、对于那些由局部到整体的命题常常适合用有限覆盖定理直接证明,即构造一个与欲证结论有关的覆盖,利用覆盖的有限性来证明命题。例如:用有限覆盖定理证明一致连续性定理(证明过程见数学分析简明教程P305)一致连续性定理将每一个点的局部性质推广到函数在整个闭区间上的整体性质。因此适合用有限覆盖定理直接证明。子覆盖的有限性在证明过程中的作用在

11、于表明了法min百/2,,&/2中的n是有限的,所以集合M2,,Sn/2是有最小值的,即8是存在的。设f(x)在a,b上定义,且在每一点处函数的极限存在,求证f(x)在a,b上有界。该命题也是由函数在点的局部性质推及到其在闭区间上的整体性质,所以适宜用有限覆盖定理直接证明。证:由函数极限的局部有界性,对任意xoCa,b,存在Mxo>O,So>O,s.t.If(x)I<Mxo(xC(xo8始,xo+8o)设E=(xo8南,xo+8o)Ix°Ca,b,则E是b的一个覆盖,则此时存在a,b的一个有限覆盖:Ea=(x=“,xi+8羊)Ii=1,2,n设If(x)Iw

12、Mxi,xC(xlSk,xi+Sx)(i=1,2,n)记M=maxMxiIi=1,2,n则有If(x)I<M,xC(x-63xi+8认对任意i)。注意到E”构成a,b的一个有限覆盖,故If(x)I<M(xCa,b)B、对于那些由整体到局部白命题常常适合用(运用了有限覆盖定理的)反证法来证明,即构造一个与欲证结论有关的覆盖,然后再通过子覆盖的有限性来推出矛盾结果。(因为用反证法时,这些由整体到局部的命题又颠倒过来,变成由局部到整体以至推出矛盾,因此还是适合用有限覆盖定理)下面举两个例子,用有限覆盖定理证明聚点定理。(聚点定理是由点集的整体性质得出某一点的局部性质)证:设S为直线上的有

13、界无限点集,于是存在a,b使S=a,b用反证法,假设a,b中任何点都不是S的聚点,则对每一点xCa,b存在相应的Qo,使得U(x,&)内至多包括S的有限多个点,令H=U(x,x)xCa,b则H是a,b的一个开覆盖,由有限覆盖定理,H中存在有限个邻域U(xi,M),,U(xn,8xn),它们构成了a,b的有限覆盖,从而也证覆盖了S,由于每个邻域至多含有S的有限个点,故这n明个领域的并集也至多只含S的有限个点,于是S为有限点集,这与题设S为无限点集矛盾,故得证。)设f(x)在a,b上无界,求证存在cCa,b,s.t.对任意8>0,函数f(x)在(c8,c+领Aa,b上无界(此命题也是由点集的整体性质得出某一点的局部性质,因此用有限覆盖定理的反证法)证:用反证法,设对任意xCa,b,存在8x>0,s.t.f(x)在(xSx,x+S力上有界。设E=(x8x,x+S/Ixa,b,则E是a,b的一个覆盖,则此时存在a,b的一个有限覆盖Ea=(xSk,xi+M)Ii=1,2,n设If(x)I<Mxi,

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论