ky8第五讲实数的完备性.pdfVIP

第五讲 实数的完备性 I 基本概念与主要结果 一 实数空间 1 无理数的定义 人类最先只知道自然数，由于减法使人类认识了负整数，又由除法认识了有理数，最后 由于开方与不可公度问题①发现了无理数，可惜的是无理数不能用有理数的开方形式主义来定 义．事实上，有理数开方所得到的无理数只占无理数中很小的一部分．为了让实数与数轴上 的点一一对应起来，充满全数轴，必须用别的方法． 方法之一是用无限小数，我们知道任何有理数都可表为无限循环小数，这样可以把无限 不循环小数定义为无理数． x n 一个无限不循环小数 ，取其 位小数的不足近似值α 与过剩近似值β ，α 与β 均为 n n n n 1 有理数，且 →n ∞ =− β α → 0 （ ），x ∈[α , β ]．可见以无限不循环小数定义无 n n 10n n n n 理数等价于承认：以有理数为端点的闭区间套，必有且仅有唯一的公共点，此乃区间套定理， 即承认它是正确的． 历史上引进无理数的传统方法有两种：戴德金（Dedekind ）分割法和康托（Cantor ）的有 理数列的基本序列法． 戴德金分割法具有很强的直观性，其思想是：每个有理数在数轴上已有一个确定的位置， 假如在数轴上任意一点处将数轴截成两段，那么全体有理数被分为左、右两个子集 ．如 A B, 果折断处是有理点，那么它不在左子集，就在右子集，这样分割就确定了一个有理数，即A 的 最大数或B 的最小数．如果A 中没有最大数，B 中也没有最小数，这个分割就确定了直线上 的一个“空隙”，称之为无理数，显然它是有序的，可定义其四则运算（可参见北京大学数学 系沈燮昌编写的《数学分析》，高等教育出版社，1986 年）． 康托用有理数基本序列的等价类来定义实数，其方法虽没有分割法直观，但其思想在近 ① 毕达哥拉斯（公元前约 580~约 500 ）：古希腊数学家、唯心主义哲学家，其招收 300 门徒组织了一个“联 盟”，后称之为“毕达哥拉斯学派”，宣扬神秘宗教和唯心主义．在西方首次提出勾股定理，并把数的概念神 秘化，认为“万物皆数”，即数是万物的原型，也构成宇宙的“秩序”，这里的数指的是自然然及自然数之比， 即“有理数”，而且这种思想一直占统治地位，然而勾股定理的提出，导致这种理想的破灭，即以 1 为直角 边的等腰直角三角形的斜边长是多少？这一问题后来称之为“不可公度”问题，引起整个世界（哲学界和数 学界）的恐慌，称之为第一次数学危机，此问题直到十九世纪末才被解决． 190 ② 代数学中是十分有用的，影响深远 ． 定义 1 有理数列 { } ∀ε 0 ∃N 0 x 称为是基本列，若 ， ，当 时，有 n m n N , x −x ε （1） m n 定义 2 两个有理数基本序列 { } { }′ x 和 x 称为是等价的，若 n n (