第一章实数理论初步.PDFVIP

M 海探 源 第一章 实数理论初步 第二节 戴德金分划 主讲人：石拥军 M 海探 一、欧多克索斯的比 源 M 海探 源 • 事实上， 19 世纪的无理数理论是欧多克 斯思想的继承和发展。不过欧多克索斯理论 是建立在几何量的基础之上的，因而回避了 把无理数作为数来处理。尽管如此欧多克 斯的这些定义无疑给不可公度比提供了逻辑 基础。为了防止在处理这些量时出错，他进 一步建立了以明确公理为依据的演绎体系， 从而大大推进了几何学的发展。从他以后， 几何学成了希腊数学的主流。 M 海探 源 二、戴德金的分划 M 海探 三、有理数和无理数 源 • 无理数比有理数多 M 海探 源 预备知识 M 海探 源 • 引理一：有理数是可数集。 M 海探 源 • 引理二：有限个可数集的并集还是可数集 . M 海探 源 • 引理三 : 实数集是不可数的。 M 海探 源 • 定理 : 无理数是不可数集。 M 海探 源 • 例 1 若直线上的集合 的任意两点间的距离 大于１ , 则集合可数 . M 海探 源 • 例 2 证明直线上以有理数为端点的区间全 体所组成的集合可数 . M 海探 源 M 海探 源 谢 谢