学年论文-数学分析七大定理的相互证明.doc

云南大学 课题名称：　　数学分析七大定理的相互证明　　　　　　　　 学院： 数学与统计 专　　业： 　　　信息与计算科学　　　　　　　 指导教师：　　何清海　　　　　　　　 学生姓名：　　段飞龙　　　　　　　　　 学生学号 ：　20101910050　　　　　　　 目录 摘要……………………………………………………………………………………… 关键词…………………………………………………………………………………… 前言……………………………………………………………………………………… 结论……………………………………………………………………………………… 参考文献………………………………………………………………………………… 摘要： 数学分析中的单调有界性定理、闭区间套定理、确界存在性定理、有限覆盖定理、Weierstrass聚点定理、致密性定理以及柯西收敛准则，虽然他们的数学形式不同，但他们都描述了实数集的连续性，在数学分析中有着举足轻重的作用。 关键词： 单调有界性定理 闭区间套定理 确界存在性定理 有限覆盖定理 Weierstrass聚点定理 致密性定理 柯西收敛准则 前言： 一、七大定理 定理 1 单调有界性定理 （1）、上确界 上确界定义 “上确界”的概念是中最基本的概念。 考虑一个集合M. 如果有一个实数S，使得M中任何数都不超过S,那么就称S是M的一个。 在所有那些上界中如果有一个最小的上界，就称为M的上确界。 一个有界数集有无数个上界和下界，但是上确界却只有一个。上确界的数学定义有界集合S，如果β满足以下条件 ①对一切，有，即是S的上界； ②对任意，存在，使得，即又是S的， 则称为集合S的上确界，记作（同理可知的定义） 在实数理论中最基本的一条就是所谓的：“任何有上界(下界）的非空数集必存在上确界（下确界）”。上确界的证明(1)每一个 满足不等式 ; (2) 对于任何的 , 存在有, 使 则数 称为集合X的上确界。　“下确界”的概念是中最基本的概念。 考虑一个实数集合M. 如果有一个实数S，使得M中任何数都大于等于S,那么就称S是M的一个下界。 在所有那些下界中如果有一个最大的下界，就称为M的下确界。 一个有界数集有无数个上界和下界，但是下确界却只有一个。下确界的数学定义有界集合S，如果满足以下条件 （1）对一切，有，即是S的下界； （2）对任意，存在，使得，则为集合S的下确界，记作在实数理论中最基本的一条公理就是所谓的下：“任何有下界的非空数集必有下确界”。 若数列递增（递减）有上界（下界），则数列收敛，即单调有界数列必有极限。运用范围（1）单调有界定理只能用于证明数列极限的存在性，如何求极限需用其他方法； （2）数列从某一项开始单调有界的结论依然成立，这是因为改变数列有限项不改变数列的极限。区间套定义：设闭区间列具有如下性质： (i) 包含于(ii) ；则称为闭区间套，或简称区间套。 闭区间套定理的推论区间套定理:适合下面两个条件： （i）后一区间在前一区间之内，即对任一正整数n，有； （ii）当时，区间列的长度所成的数列收敛于零，即， 则区间的两个端点所成的两个数列及收敛于同一极限，并且是所有区间的唯一公共点。 证明： 由定理的条件(i)立即知道是单调增加且有上界的数列，是单调减少且有下界的数列。 因为单调有界数列必有极限，则存在，且极限等于的上确界；同理，存在，且极限等于的下确界。亦即对任何正整数看，有： ， （*） 由定理另一条件，并且由于一直及的极限都存在，则有： . 从而证明了两个极限相等，且设是他们的同一极限。于是定理前一部分的结果已经得证。 余下要证的是是所有区间的唯一公共点。由（*）的两个不等式，即有： （k=1，2，3…）, 也就是是所有期间的一个公共点。 现在要证明是唯一公共点。设除外，所设区间列还有另一公共点，且。由于 ，， （n=1,2,3…） 故有 （n=1,2,3…）。 由数列极限的性质知道 ， 由于，故有 ， 从而。 到此，定理的全部结果都已经证明。 （2）闭区间套定理的推论 推论 1 若开区间列满足 (1)，且端点所成数列， 是严格单调的，即。 (2) （n=1,2，…）则存在唯一数 L属于所有开区问(即。且 证明，构造一个闭区间列（n=1,2，…） 设，，n=1,2,…有且有由闭区间套定理，存在唯一数L属于所有闭区间（n=1,2,3，…）且有 但 所以也有 。 推论2，设有半开半闭