李凤英文献综述.docVIP

毕业设计（论文）文献综述 院 系： 应用数学学院 年级专业： 09信息与计算科学 姓 名： 李凤英 学 号： 0910012137 指导老师评语： 指导教师签名： 年 月 日 实数连续性定理的等价性证明文献综述 【内容摘要】实数集是一个完备的数集，实数连续性定理包括：确界定理单调有界收敛定理区间套定理有限覆盖定理聚点定理定理、柯西准则。 这七个定理可由确界存在性定理出发依次证明，定理证明柯西准则的充分性，由柯西准则充分证明确界存在性定理，形成一个封闭的循环。同时，对这个环上的任意两个定理都可以证明其等价性它们都刻画了实数集R的连续性。确界定理 单调有界收敛定理 区间套定理 有限覆盖定理 聚点定理定理 柯西准则 使分析基础严密化的工作由法国著名数学家柯西迈出了第一大步。他给出了分析学一系列基本概念的严格定义。1823年，柯西给出了“柯西收敛定理”。而早在1817年，波尔察诺就确切地陈述了有界实数集的最小上界（即上确界）的定义。利用他的思想，魏尔斯特拉斯在19世纪60年代证明了“波尔察诺—魏尔斯特拉斯紧致性定理”。海涅于1872年提出“有限覆盖定理”，波莱尔于1895年完善并证明了“有限覆盖定理”。1872年，实数的三大派理论：戴德金 “分划”理论，康托的“基本序列”理论及魏尔斯特拉斯的“有界单调序列”理论，同时在德国出现，1892年，巴赫曼提出了建立实数理论的一个重要原理——区间套原理。由此，沿柯西开辟的道路建立起来的严谨的极限理论与实数理论，完成了分析学的逻辑奠基工作，从而使微积分学这座数学史上空前雄伟的大厦建在了牢固可靠的基础之上。 1999年,在《数学分析七大定理的互相证明》[1]一文中，作者李寒对实数连续性的7个基本定理进行了表述，其表述如下： 确界定理：在实数系R内，非空的有上（下）界的数集必有上（下）确界存在。 单调有界定理：若数列递增（递减）有上界（下界）则数列收敛即单调有函数必有极限是一个区间套,则在实数系中存在唯一的一点,使得 ,,即 , 有限覆盖定理：实数闭区间的任意一个覆盖H，必存在有限的子覆盖。 紧致性定理：有界数列必含有收敛子列实轴上的任一有界无限点集至少有一个聚点有的条件是：对任意给定的，正整数，当时，有成立 2002年，在《Pure solution mathematical analysis exercises》[3]一文中，也同样对实数连续性六个基本定理有详细的定义及描述。而后，作者用确界定理、单调有界定理、区间套定理、有限覆盖定理、紧致性定理、柯西收敛定理依次证明除了其本身以外的其他五个实数连续性基本定理。 在2003年朱永生、林立军《基于实数连续性定理等价性的新探讨》[4]一文中提到：所谓实数是连续的，从集合直观上看，即是直线上的点是连着的，其中没有“洞”。而有理数就不是连续的，比方平方小于3的有理数的集合，在有理数集中没有上确界，即有理数是有“洞”的，因为不属于有理数集。而在实数域中，平方小于3的实数的集合，在实数域中有上确界，即实数域没有“洞”，实数是连续的。综上所述，严格的数学定义可描述为：所谓实数的连续性，就是实数集关于极限的运算是封闭的。如上例实质就是： 在有理数集内不存在极限，而在实数集中存在极限。再如单调有界数列在有理数集内不存在极限，而在实数集中则存在极限，即实数集关于极限的运算封闭。 实数的连续性是极限理论的基础，而描述实数连续性的方式有很多，实数连续性定理即为其中的几种表现形式，同时又是构筑极限理论的重要基础。文章采用一种新的方式，对实数连续性七个定理的等价性加以严格的证明，真正从理论上挖掘其等价性的内涵，也另辟新径对实数连续性进行了新的探讨。 2007年，刘三阳、于力、李广民在《数学分析选讲》[5]一书第二讲中，首先简单地为我们介绍了实数系的一些基本性质，然后用不同的方式从各个角度刻画了实数系非常重要的特性——连续性，并详尽地为我们证明实数连续性六个基本定理是相互等价的。在很多数学分析教材中虽然对实数连续性做了基本的介绍，但是并不够完善。而在本书中则更完善地介绍了实数连续性的七个基本定理。 2009年，刘名生、冯伟贞、韩彦昌在《数学分析(一)》[6]一文中，首先在第一章为详细介绍了确界定理和数列收敛的判别法，从而让我们深入地了解实数与数列极限，在第六章中又详细介绍了实数集的稠密性与完备性。此书在第一章中引人确界定理作为公理，并以此为基础证明了单调有界定理、致密性定理、柯西收敛准则，从而详细地为我们介绍了实数集的连续性。实数集的连续性使极限理论有了牢固的基础，是实数集有别于有理数集的重要特征。 2009年，《Real continuity and completeness of