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

第38卷第24期 数学的实践与认识 V01．38No．24 Decem．。2008 2008年12月 INPRACTICEANDTHEORY MATHEMATICS ，’’·’’’’、 i教学园地i ～tttt《tttll‘t， 实数系基本定理等价性的完全互证 刘利刚 (激江大学数学系，濒江抗姨310027) 摧萋： 综合给出了实数系六个纂本定理的等价性的完全曩诞努浃，并薅纳了各种涯嚷方法的娩律。餮在把 抽象的证明转化为容易掌掇的蒸率方法． 关键词： 实数系；连续饿；等价；极限 实数系基本定理是数学分析中重要组成部分，是分析引论中极限理论的基础，也称为实 数系的连续挂定理。能够反浃实数连续性的定理很多，它们是彼此等价的．现有的教书|都是 按照禁一蹶彦蒋这些定瑾进行～次循环证明就验涯?宅靛静等餐挂[i43．虽然不溺的教毒| 对于循环证明的颓廖有辫不阏，但每一次循环证绢羲起来都叛乎没有关联，并没菘综合l胃纳 其中的方法技巧．这么多相踅独立的证明使得不少学生都感到数学分析中这部分内容太抽 象，难以理解．因而当遇到一个教材中没有给出的2个定理之间的等价性证明时就无从下 乎．为此，在讲述这些定理的时候，我们把这些定理的相互证明详细地整理出来，并且归纳给 出了这些定理的完全互证方法与规律，使学生在学习这部分内容时不再感到无所适从． 我艴使用的教材[1]巾绘出的实数系的六个基本定理及其描述失： l确赛存在定理(PP．12)：上(下)有赛静菲空数集必存在唯一上(下)确界． 2)递增(减)有界数列必有极限(PP。34)． o…3以3 3)闭区间套定理(PP．41)：设，。，j：，…，j。，．．·罴一串有界闭区间。j。3，2 ∞ …，且J。的长度IJ。I一0，称{J。)为闭区间套．则闭区间套{，。)的交n，。必不室且为单点 EIl 集． 4)Bolzano—Weierstrass定理(PP．44)：有界数列必肖收敛子列． S)Cauchy牧敛准则(PP．299)：数列{矗}数敛蝴{以}是基本数裂。 必可挑出有限个开区间馥，，瓯．．．·。吼同样覆盖了豳，胡：[口，6]c晓。Uo％U…U％． 在证明之前，我们首先必须要理解这六个定理的每～个在说些什么，只簧概念清楚了， 并且理解其方法，证明并不难． 定理1)-5)属于同一类型，它们都指出，在某一条件下，便有某种“点”存在，这种点分别 牧疆暑期：2005—06一10 万方数据 24期 刘利剐：实数系基本定理等价性的完全互证 247 6))是属于另一种类型，它是前5个定理的逆否形式． 1教材中的证明 教材Ill中完成的证明如图1所示．另外，教材中给出练习的有： 4)净2)PP．45 PP．34 PP．41 PP．44 PP．299 3)净1)PP·47 (1) 1)=》6)pp．309 6)净1)pp．309 驴瑚8 5)净1)pp．309 (6) 我们首先回顾一下教材中给 图1 教材[1]中完成的基本定理之间的证明 出的证明过程[1]． 分析：单调有界数列必收敛，事实上就是收敛到其确界．有了这个理解后，就很容易利