资源描述：
《实数连续性等价命题的证明与应用》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。
1、实数连续性等价命题的证明与应用摘要实数连续性理论是高等数学屮的主要内容，实数连续性的叙述是多种多样的，它们分别不同的侧面刻划了实数的连续性，但这些命题是彼此等价的.本文主要研究实数连续性等价命题的证明问题，对于实数连续性的7个等价性命题:确界定理、单调有界定理、区间套定理、有限覆盖定理、聚点定理、致密性定理、柯西收敛准则，采用循环论证的方法，先证明确界定理成立，再从确界定理出发,依次证明下一命题,直至致密性定理证明柯西收敛准则，最后柯西收敛准则证明确界定理，从而组成一个环路，证明了它们的等价性.在实数连续性等价命题的证明过程的同时，本文还给岀了实数连续
2、性的应用.关键词：实数的连续性;等价证明;应用TheproofandapplicationforequivalentpropositionsoftherealcontinuityABSTRACTThepaperdiscussesdemonstrationandapplicationoftheequalpropositionsonrealnumbercontinuity.Equivaleneeoftheseseventheoremscanbedemonstratedbyacircular.Fromthecase1on,thispaperdemonstra
3、tethenextoneinturndown,atthelast,thepropositionthatextendsfrom7to1toformaroadthattheirequivalence.Keywords:Thecontinuityofrealnumber;equivalencedemonstration;application目录一、实数连续性1二、确界定理1三、单调有界定理3四、区间套定理4五、有限覆盖定理6六、聚点定理7七、致密性定理8八、柯西收敛定理8参考文献11一、实数的连续性实数连续性反映了实数集/?的一种特性，也称作实数的完备性.
4、实数连续性理论在高等数学中占有重要地位，广泛应用于极限理论方面，连续函数理论方面乃至整个数学分析，因此，实数连续性等价命题的内容，证明方法及应用是大学生应该掌握的重要学习内容.实数连续性的叙述是多种多样的，它们分别不同的侧面刻划了实数的连续性,但这些命题是彼此等价的.实数连续性的基本定理有七个，这七个定理在实数理论的研究乃至整个数学分析的学习中都至关重要，它们是:确界定理,数列的单调有界定理，区间套定理，有限覆盖定理，聚点定理，致密性定理，柯西收敛定理.在下面的几节中，采用循环论证的方法，先证明确界定理成立，再从确界定理出发，利用确界定理证明数列的单调
5、有界定理成立，再利用单调有界定理证明区间套定理成立，接下来利用区间套定理证明有限覆盖定理成立，再接下来利用有限覆盖定理证明聚点定理成立，然后利用聚点沱理证明致密性定理成立，再然后利用致密性定理证明柯西收敛准则成立，最后由柯西收敛准则证明确界定理成立，从而组成一个环路，证明了它们的等价性.二'确界定理定义2.1.1设E是非空数集.若/?€R满足1）VxeE^x<0;2）V^>O,3xog则称0是数集E的上确界，记作0=supE.定义2.1.2设E是非空数集.若0W/?满足1）VxgE^x>0;2）V^>O,3xog则称0是数集£的上（下）确界，记作0=i
6、nfE.定理2.1（确界定理）若非空数集S有上界（下界），则数集S—定存在唯一的上确界（下确界）；若非空数集S有下界，则数集S—定存在唯一的下确界.证明只证明关于上确界的结论，下确界的结论可以类似地证明.不妨设S含有非负数.由于S有上界，故可找到非负整数n，使得1）对于任何xgS有xvn+1;2）存在a。gS，使q>n.对半开区间肚刃+1）作10等分，分点为h.1,h.2,•••,/!.9,则存在0,1,2,…,9中的一个数®，使得1）对于任何xwS有xvzq+—;2）对于a】gS,使％>n.n}.1A在随半开区间"冲厲+韵作等分,则存在0,12,9中
7、的-个g使得1)对■于任何'兀丘S有xvn.n}n2+_j^_；2)对于為gS,使a】>n.nxn2.继续不断地10等分在前一个步骤中所得到的半开区间，可知对任何k=l,2,…,存在0,1,2,…,9中的-个数®，使得1)对于任何xwS有xn.nin2--nk.将上述步骤无限地进行下去，得到实数〃=n.nAn2…®…•以下证明“=sup5•为此只需证明:(%)对任何av〃,存在化S使a倘若结论(i)不成立，即存在"S使兀>“，则可找到兀的R位近似不足忑，使—1电>久=加皿2…你+讦,从而得1x>n.n
8、xn^•••/?.+—,-k1OA但这与不等式(*)相矛盾.于是(i)得证.现设av则存在£使
