第三次课、实数的连续性.pptVIP

江西财经大学信息管理学院 数学分析I 制作人：杨寿渊 1.2.集实数的连续性 早在初中代数学习的时候，我们便学会了用数轴上的点来表示有理数，这样可以带来几何直观与计算上的方便，但是有理数与数轴上的点具有一一对应关系吗？ 1.1.1.无理数 见多识广的同学或许早已知道答案是否定的，因为有无理数的存在。但是无理数又是如何发现的呢？ 远在公元前400年左右，古希腊数学家毕达哥拉斯便提出了“万物皆数”的思想，认为世上万物皆可以用数来表示。当然，他这里的数指的是有理数。 自毕达哥拉斯以降延续近千年的古希腊数学家都想当然地认为实数已经填满了整个数轴，没有任何空隙，但到公元500年的时候，危机发生了… 公元500年，古希腊毕达哥拉斯学派的弟子希伯索斯（Hippasus）发现了一个惊人的事实，一个正方形的对角线与其一边的长度是不可公度的（若正方形的边长为1，则对角线的长不是一个有理数），这一不可公度性与毕氏学派的“万物皆数”的哲理大相径庭。这一发现使该学派领导人惶恐，认为这将动摇他们在学术界的统治地位，于是极力封锁该真理的流传，希伯索斯被迫流亡他乡，不幸的是，在一条海船上还是遇到毕氏门徒，于是希伯索斯被残忍地扔进了大海。 可见人性有时是非常丑陋的，即使高贵如毕达哥拉斯学派也不能免俗！ 至此我们便找到了数轴上的一个“洞”，这个“洞”没有对应的有理数。 当然，数轴上还有许许多多其他的“洞”，用什么办法把所有的“洞”都找出来并加以描述呢？ 1872年戴德金（Dedekind）提出了有理数切割的思想来刻画所有的“洞”，从而严格定义了无理数。 Dedekind的无理数定义： 有理数的运算可以扩充到实数集上去，例如 有理数的大小关系也可以扩充到实数集上去，例如 那么实数是否把数轴“填满”了呢？ 所谓“填满”的意思就是数轴上不再有空隙，数轴上任何一点都有实数与之对应，或者说实数已经是“连续不断”的了。 通过刚才对有理数的切割的分析，我们知道有理数集之所以不具有连续性是因为存在这样的切割A/B，其中A没有最大数，B没有最小数。 与有理数不同，实数的任何一个切割A/B，或者A有最大数，或者B有最小数，这就是实数连续性的严格表述。 1.1.2 上界与上确界，下界与下确界 既有上界又有下界的集合称为有界集。 注：一个集合的上确界本质上是所有上界中的最小者。