第二节 芝诺悖论与无限.ppt

1 第二节芝诺悖论与无限 一 什么是悖论悖论 从 正确 的前提出发经过 正确 的逻辑推理 得出荒谬的结论 2 例如 甲是乙 与 甲不是乙 这两个命题中总有一个是错的 但 本句话是七个字 与 本句话不是七个字 又均是对的 这就是悖论 3 再如 万物皆数 学说认为 任何数都可表为整数的比 但以1为边的正方形的对角线之长却不能表为整数之比 这也是悖论 4 二 芝诺悖论芝诺 前490 前430 是 南意大利的 爱利亚学派创始人巴门尼德的学生 他企图证明该学派的学说 多 和 变 是虚幻的 不可分的 一 及 静止的存在 才是唯一真实的 运动只是假象 于是他设计了四个例证 人称 芝诺悖论 这些悖论是从哲学角度提出的 我们从数学角度看其中的一个悖论 5 1 四个芝诺悖论之一 阿基里斯追不上乌龟 2 症结 无限段长度的和可能是有限的 无限段时间的和也可能是有限的 3 芝诺悖论的意义 1 促进了严格 求证数学的发展2 最早的 反证法 及 无限 的思想3 尖锐地提出离散与连续的矛盾空间和时间有没有最小的单位 6 芝诺的前两个悖论是反对 空间和时间是连续的 后两个悖论则是反对 空间和时间是离散的 在芝诺看来 两种理论都有毛病 所以 运动只是假象 不动不变才是真实 芝诺的哲学观点虽然不对 但是 他如此尖锐地提出了空间和时间是连续还是离散的问题 引起人们长期的讨论和发展 不能不说是巨大的贡献 7 三 有无限个房间 的旅馆1 客满后又来1位客人1234 k 2345 k 1 空出1号房间 8 2 客满后又来了一个旅游团 旅游团中有无穷个客人1234 k 2468 2k 空下了奇数号房间 9 3 客满后又来了一万个旅游团 每个团中都有无穷个客人1234 k 10001200023000340004 10001 k 给出了一万个 又一万个的空房间 10 4 思 客满后又来了无穷个旅游团 每个团中都有无穷个客人 还能否安排 11 四 无限与有限的区别和联系1 区别1 在无限集中 部分可以等于全体 这是无限的本质 而在有限的情况下 部分总是小于全体 12 当初的伽利略悖论 就是没有看到 无限 的这一特点而形成的 1234567891011 n 149162536496481100121 n2 两集合 有一一对应 元素个数相等 部分小于全体 元素个数不相等 形成悖论 13 2 在无限集中 有限 时成立的许多命题不再成立 1 实数加法的结合律在 有限 的情况下 加法结合律成立 a b c a b c 14 在 无限 的情况下 加法结合律不再成立 如 15 有限半群若满足消去律则一定是群 无限半群若满足消去律则一定是群 16 2 有限级数一定有 和 是个确定的数无穷级数一定有 和 则不是个确定的数 称为该级数 发散 反之称为 收敛 17 2 联系在 有限 与 无限 间建立联系的手段 往往很重要 1 数学归纳法通过有限的步骤 证明了命题对无限个自然数均成立 2 极限通过有限的方法 描写无限的过程 如 自然数N 都 使时 18 3 无穷级数通过有限的步骤 求出无限次运算的结果 如4 递推公式 5 因子链条件 抽象代数中的术语 19 3 数学中的无限在生活中的反映1 大烟囱是圆的 每一块砖是直的 整体看又是圆的 2 锉刀锉一个光滑零件 每一锉锉下去是直的 许多刀合在一起的效果是光滑的 20 3 不规则图形的面积 正方形的面积 长方形的面积三角形的面积 多边形的面积 圆面积 规则图形的面积 不规则图形的面积 法 用方格套 想像成透明的 方格越小 所得面积越准 21 法 首先转化成求曲边梯形的面积 不规则图形 若干个曲边梯形 再设法求曲边梯形的面积 划分 矩形面积之和 曲边梯形面积 越小 就越精确 再取极限 就是曲边梯形的面积 22 五 潜无限与实无限1 潜无限与实无限简史潜无限是指把无限看成一个永无终止的过程 认为无限只存在于人们的思维中 只是说话的一种方式 不是一个实体 23 从古希腊到康托以前的大多数哲学家和数学家都持这种潜无限的观点 他们认为 正整数集是无限的 来自我们不能穷举所有正整数 例如 可以想象一个个正整数写在一张张小纸条上 从1 2 3 写起 每写一张 就把该纸条装进一个大袋子里 那么 这一过程将永无终止 因此 把全体正整数的袋子看作一个实体是不可能的 它只能存在于人们的思维里 24 但康托不同意这一观点 他很愿意把这个装有所有正整数的袋子看作一个完整的实体 这就是实无限的观点 康托的工作是划时代的 对现代数学产生了巨大的影响 但当时 康托的老师克罗内克尔 却激烈反对康托的观点 所以康托当时的处境和待遇都不太好 25 2 无限集合也有 大小 从 一一对应 说起实无限的观点让我们知道 同样是无限集合 也可能有不同的 大小 正整数集合是最 小 的无限集合 实数集合比正整数集 大 实数集合上全体连续函数的集合又比实数集合更大 不存在最 大 的无限集合 即无限集合 都能找到更 大 的无限集合 26 这需要 一一对应 的观点 1 一一对应 双射 单射 满射 2 集合的势 A 集合中元素的多少3 N 可数无穷势a Q a4 R 不可数无穷 称连续统势c 无理数比有理数多得多 27 5 无穷集合可能有不同的势 其中最小的是a 不存在最大的势 6 连续统假设 长期未彻底解决 连续统假设 可数无穷是无限集中最小的势 连续统势是 否 次小的势 28 康托1882年曾认为他证明了这一假设 后来发现有错 直到现在 这一问题仍吸引着一些数学家的兴趣 29 六 哲学中的无限1 哲学对 无限 的兴趣哲学是研究整个世界的科学 自从提出 无限 的概念 就引起了哲学家广泛的关注和研究 现在我们知道哲学中有下边一些命题 30 物质是无限的 时间与空间是无限的 物质的运动形式是无限的 一个人的生命是有限的 一个人对客观世界的认识是有限的 31 2 数学对 无限 的兴趣数学则更严密地研究有限与无限的关系 大大提高了人类认识无限的能力 在有限环境中生存的有限的人类 获得把握无限的能力和技巧 那是人类的智慧 在获得这些成果过程中体现出来的奋斗与热情 那是人类的情感 对无限的认识成果 则是人类智慧与热情的共同结晶 一个人 若把自己的智慧与热情融入数学学习和数学研究之中 就会产生一种特别的感受 如果这样 数学的学习不仅不是难事 而且会充满乐趣 32 思 客满后又来了无穷个旅游团 每个团中都有无穷个客人 还能否安排 33 答 能 法I 将所有旅游团的客人统一编号排成下表 按箭头进入1 2 3 4 5 各号房间顺序入住 则所有人都有房间住 一团 1 1 1 21 31 4 二团 2 12 22 32 4 三团 3 13 23 33 4 34 法II 让每个旅游团占据某固定素数的方幂由于素数有无穷多个 正整数又 唯一析因 知 能安排住下 且还有空房 一团 二团 三团 附 证明 素数有无穷多个