第一講实数与实函数.docVIP

第一讲实数与实函数 1 . 1 实数与实函数的基本概念 一．实数 实数包括有理数和无理数．有理数，就是能够表示成形式的数，其中 p 是整数， q是不为零的整数．如果用小数表示，有理数都可以表示成有限小数，或无限循环小数．无理数，就是不能表示成形式的数，也就是无限不循环的小数．如果将有限小数也表示成无限小数，例如：数 1 可表示为 1=1.000… ；也可以表示为 l=0.999… （注：这是实无限的观点），为唯一性起见，数学上作了一个约定，就是不以零为循环节．数 1 约定的表示为l=0.999…，因此，实数就是一个可以用无限小数表示的数． 二、实数的性质 1 ．实数集合 R 是一个阿基米德有序域 ( 1 ）在实数集合 R 上定义加法“ + ”和乘法“× ”两种运算，对两种运算分别满足交换律、结合律，以及乘法关于加法的分配律；对加法，有“零元”和“负元”；对乘法有“单位元”和“逆元” ; R 成为一个“域”. ( 2 ）在集合 R 上定义了一种序关系“ ，且满足传递性：即对 ，若 a b , b c ,则 a ＜c；三歧性：即对 ，关系 a b , a =b , a b 三者必居其一,也只居其一 R 是一个全序集． ( 3 ) R 中的元素满足阿基米德性：对 R 中的任意两个正数 a , b ，必存在自然数 n ，使得 na ＞b. 2 ．实数集合 R 是一个完备集 定义1.1（距离空间）设 X 是一个集合，定义映射，满足 ( 1 ）非负性：对 ( 2 ）对称性： ； ( 3 ）三角不等式：; 则称是点集 X 上的一个距离．如果 X 是一个线性空间，称是一个距离空间 。 在实数集 R 上定义距离（可以验证满足定义中的三条），则是一个距离空间． 定义 1 . 2 设是距离空间中的点列，若对，当 m , n N 时，恒有，则称是 X 中的柯西列． 定义 1 . 3 若距离空间 X 中的任意柯西列都在 X 中收敛，则称 X 是完备的距离空间． 由柯西收敛准则很容易知道，作为距离空间的实数集 R 是完备的．有 6 个刻划实数集 R 完备性的且彼此等价的定理，它们分别是 ( 1 ）确界原理：设 S 是非空数集．若 5 有上界．则 S 必有上确界；若 S 有下界，则 S 必有下确界． ( 2 ）单调有界原理：单调有界点列（函数）必存在极限． ( 3 ）区间套定理：若是一个区间套，则存在唯一的实数，使得 …，即 …。 ( 4 ）有限覆盖定理：设 H 是对闭区间巨，习的一个任意开覆盖，则从 H 中可选出有限个开区间来覆盖 ( 5 ）聚点定理：实轴上的任一有界无限点集 S 至少有一个聚点． 推论（致密性定理）：有界点列必有收敛子列． ( 6 ）柯西收敛准则：数列收敛的充要条件是数列是柯西列． 关于上述六个定理的等价性证明可参考文献． 三、关于实数点集的一些重要概念 1 ．有界点集 S 是一实数点集，若使对恒有，则称 S 是有界点集． 2 ．无界点集 S 是一实数点集．若对，使得，则称 S 是无界点集． 3 ．有界函数 f ( x ）是定义在点集 I 上的函数，若使对 恒有，则称f ( x ）在I上有界． 4 ．无界函数 f ( x ）是定义在点集 I 上的函数，若对 ，使得 ．则称 f ( x ）在 I 上无界、 例 1 . 1 证明函数在上无界 证明：对 ， 使得故在（ 0 , 1 ）上无界。 5 ．上确界 设 E 为一个实数点集， a为一是实常数，若满足： ① 对 ，恒有（即为 E 的上界）； ② 对，存在 ，使得。（即是 E 的最小的上界），则称为 E 的上确界，记作 6 ．下确界 设 E 为一个实数点集，为一是实常数，若满足： ① 对，恒有(即为E 的下界）； ② 对，存在两，使得（即是 E 的最大的下界），则称为 E 的下确界，记作． 注：点集 E 的上确界或下确界可以属于 E ，也可以不属于E 命题（ 1 ) ，则． ( 2 ），则. 证明显然，请读者自证． 例 1 . 2 设A、B皆为非空有界集，定义数集 证明： ( 1 ) sup ( A + B ) = supA + SupB ; ( 2 ) inf ( A + B ）= InfA + infB . 证明： ( 1 ）由已知， A 、 B 非空有界，可知 A +B 也是非空有界集．根据确界原理，它们的上、下确界都存在．对 ，由定义,存在 及使得 即实数 supA 十 supB 是数集 A +B 的上界；又对，，使得 ， 记则：．由定义可得 sup ( A + B ）= SupA + supB ( 2 ）证明与（ 1 ）类似，从略． 例 1 . 3