实数完备理论简史开题报告.docVIP

开题报告 实数完备理论简史　　　　 一、选题的背景、意义（所选课题的历史背景、国内外研究现状和发展趋势） 17世纪，微积分被牛顿和莱布尼茨各自独立发明，推动了科学技术的前进。然而，它在开创之初自身就存在着逻辑矛盾。直至19世纪，才由法国著名数学家柯西在分析基础严密化的工作上迈出了第一大步。他给出了分析学一系列基本概念的严格定义。1823年，柯西给出了“柯西收敛定理”。而早在1817年，波尔察诺就确切地陈述了有界实数集的最小上界(即上确界)的定义。利用他的思想，魏尔斯特拉斯在19世纪60年代证明了“致密性定理”。海涅于1872年提出，波莱尔于1895年完善并证明了“有限覆盖定理”。1872年，戴德金、康托(Cantor)、梅雷(Meray)和海涅几乎同时发表了他们的实数构造法。在这以前，魏尔斯特拉斯在柏林大学的演讲中已经给出了一种构造法。戴德金和康托的构造法是现在通常采用的方法。1892年，巴赫曼提出了建立实数理论的一个重要原理—— 区间套定理。可以说，实数系的构造是19世纪后30年间分析学算术化的重要一步[1]。 实数集的完备性是实数集的一个基本特征，它是微积分学坚实的理论基础。人们可以从不同的角度来描述和刻画实数集的完备性，所以实数完备性有多个基本定理。 定理1（确界定理)：有上(下)界的非空数集必有属于R的最小上界(最大下界)。即有有限的上(下)确界。 定理2(单调有界定理)：单调增(减)有上(下)界的数列必收敛。 定理3(闭区间套定理)：设递降闭区间序列其长度，则存在唯一的 。 定理4(有限覆盖定理)：的任何开覆盖必有有限子覆盖。 定理5(聚点定理)：有界无限数集必有聚点。 定理6(致密性定理)：有界数列必有收敛子列。 定理7(数列的Cauchy收敛准则)：数列收敛的充要条件是 ，总有。 确界定理，单调有界定理，闭区间套定理，有限覆盖定理，聚点定理，致密性定理，数列的Cauchy收敛准则（仅指充分性)等七个命题都是从不同的角度来刻划实数完备性。 定理l定理2：设数列单调增有上界，由定理l知，它有有限的上确界下面利用上确界及数列收敛的定义证明。 定理2定理3：由已知得到两个单调有界数列， 由定理2知，数列与都收敛，且收敛与同一个数，下面证明就是所要求的公共点。 定理3定理4：(反证)设区间不能被中有限个开集所覆盖(以下想办法找出矛盾)，第一步，从开始用二分法构造一个闭区问套，由定理3知确定唯一公共点，第二步．由于，因此，使，再结合知，取充分大的，有，一方面没有有限覆盖，另一方面只需一个就覆盖了就覆盖了，矛盾。 定理4定理5：(反证)设为有界集，即，设无聚点，则，不为的聚点，故必有开区间(当然是开集)使且中最多只含有的一个点，这样开区间族覆盖了，由定理4知存在使 ，当然也覆盖，再由 的构造知至多只含有的有限个点，因此为有限集，这与是无限集矛盾。 定理5定理6：设数列有界，即，。若为有限集，则数列必有无限项相同，这些相同项依下标从小到大排列得到的一个收敛子列；若为无限集．由定理5，这个无限集必有一个聚点，通过聚点的定义可构造的一个子列，它收敛于。 定理6定理7：设为Cauchy列，第一步，先证有界，这样由定理6知有一个收敛子列，设，第二步，用数列收敛的定义证明。 定理7定理1：设非空数集有上界。若，则显然；若，则在中任取一个数，这时有中之数，以下用二分法可得到闭区间列满足：(1) 都为的上界，（2) 都有中之数，由(3) ， (4) 。可证均为Cauchy列，由定理7的充分性知均收敛，由(3)知它们收敛于同一个数，设为 ，再利用上确界定义证明即为的上确界[5]。 三、研究的方法与技术路线、研究难点，预期达到的目标 归纳整理实数完备性的七个命题的证明方法，各个命题的循环证明，有限覆盖定理证明其他命题，用戴德金分划定理证明实数完备性的几个定理等。研究的方法主要有类比法、归纳法、举例法。技术路线：通过图书馆以及因特网查找相关领域的最新理论、收集资料老师的指导同学之间的交流和沟通第七学期第七学期第七学期第七学期第八学期第八学期第八学期第八学期 Edwards C H Jr.The historical development ofthe calculus[M].New Y0rk:Springer,2007. [2] 杨芳.实数连续性定理的互推[J].内蒙古科技与经济,2009,(3):256-258. [3] 盖盈.关于实数完备性基本定理的统一处理方法[J].天津师大学报,1999,19(2):23-28. [4] 邹斌.实数连续性等价性命题的证明[J].安徽广播电视大学学报,2009,(2):125-127. [5] 刘永建,唐国吉.实数完备性定理的循环证明及其教学注记[J].时代教育,2009:196-197.