第5讲 实数的完备性.docVIP

第五讲 实数的完备性 I 基本概念与主要结果 一 实数空间 1 无理数的定义 人类最先只知道自然数，由于减法使人类认识了负整数，又由除法认识了有理数，最后由于开方与不可公度问题发现了无理数，可惜的是无理数不能用有理数的开方形式主义来定义．事实上，有理数开方所得到的无理数只占无理数中很小的一部分．为了让实数与数轴上的点一一对应起来，充满全数轴，必须用别的方法． 方法之一是用无限小数，我们知道任何有理数都可表为无限循环小数，这样可以把无限不循环小数定义为无理数． 一个无限不循环小数，取其位小数的不足近似值与过剩近似值，与均为有理数，且（），．可见以无限不循环小数定义无理数等价于承认：以有理数为端点的闭区间套，必有且仅有唯一的公共点，此乃区间套定理，即承认它是正确的． 历史上引进无理数的传统方法有两种：戴德金（Dedekind）分割法和康托（Cantor）的有理数列的基本序列法． 戴德金分割法具有很强的直观性，其思想是：每个有理数在数轴上已有一个确定的位置，假如在数轴上任意一点处将数轴截成两段，那么全体有理数被分为左、右两个子集．如果折断处是有理点，那么它不在左子集，就在右子集，这样分割就确定了一个有理数，即的最大数或的最小数．如果中没有最大数，中也没有最小数，这个分割就确定了直线上的一个“空隙”，称之为无理数，显然它是有序的，可定义其四则运算（可参见北京大学数学系沈燮昌编写的《数学分析》，高等教育出版社，1986年）． 康托用有理数基本序列的等价类来定义实数，其方法虽没有分割法直观，但其思想在近代数学中是十分有用的，影响深远． 定义1 有理数列称为是基本列，若，，当时，有 （1） 定义2 两个有理数基本序列和称为是等价的，若 （2） 将相互等价的基本列作为一类，称为一等价类．有理数可表为基本列的极限，如常数列．这样可以认为：一个等价类与一个实数对应，当此序列对应的不是有理数时，称之为无理数． 此定义的实质是：让每个基本列（有理数）都有极限，这样保证了极限运算的封闭性，称这种性质为完备性． 2 实数空间的定义 公理1 （域公理），有 （1）交换律：，； （2）结合律：， ； （3）分配律：； （4）两个特殊元素0与1：，有 ，； （5）每个，关于“+”的逆元，关于“·”的逆元（此时），有 ， 公理2（全序公理）与“+”、“·”运算相容的全序公理 （1），下列三种关系 ，， 有且仅有一个成立； （2）传递性：若，，则； （3）与“+”相容性：若，则，有； （4）与“·”相容性：若，，则． 公理3（阿基米德（Archimedes）公理），，，使得． 公理4（完备性公理）有上界非空数集必有上确界． 由此可定义： 定义3 实数空间是这样的集合，在其上定义了“+”、“·”运算，以及序关系“”，满足上述四组公理，中的元素称为实数． 二 实数基本定理 1 基本定理 定理1（Dedekind确界定理）任何非空数集，若它有上界，则必有上确界；若有下界，则必有下确界． 定理2（单调有界定理）单调有界数列必收敛． 定理3（Cauchy收敛准则）数列收敛的充要条件是：，，当时，有． 定理4（Bolzano-Weierstrass致密性定理）有界数列必有收敛子列． 定理5（Weierstrass聚点定理）有界无穷点集至少有一个聚点． 定理6（Cantor区间套定理）任何闭区间套必有唯一的公共点． 定理7（Heine-Borel有限覆盖定理）闭区间上的任一开覆盖，必存在有限子覆盖． 说明：定理1~6属于同一类型，它们都指出：在一定条件下，便有某一种“点”的存在．这种点分别是：确界（点）、极限点、某子列收敛点、聚点、公共点．定理7属于另一类型，它是前六个定理的逆否形式，不论用前6个定理来分别证明定理7，还是用定理7分别证明前6个定理，都可用反证法来证明，而前6个定理都可以直接推出． 2 重要概念 定义1（确界）设，若满足： （1），，即是的上界； （2），，使得，即不是的上界． 则称是的上确界，记为． 若，满足： （1），有； （2），，有； 则称是的下确界，记作． 即：上确界是最小的上界，下确界是最大的下界． 定义2 设闭区间列具有如下性质： （1），； （2）； 则称为闭区间套，简称区间套． 定义3 设，若，使的任何邻域均含有中无穷多个点，称为的一个聚点． 定义3＇ 设，，若的任何去心领域内都含有中异于的点，即，称是的一个聚点． 定义3〃 设，若存在彼此互异的点列，使得，称为的一个聚点． 定义4 设，为开区间构成的集合．若中任何一点都含在中至少一个开区间内，即，，使，称是的一个开覆盖，或称覆盖．若中开区间的