行进中的数学(第九课时)课件.ppt

第三章：数学三大危机 行进中的数学 * 行进中的数学：张真义、毛燕林 * 三、第三次数学危机 1．“数学基础”的曙光——集合论 到19世纪，数学从各方面走向成熟。非欧几何的出现使几何理论更加扩展和完善；实数理论（和极限理论）的出现使微积分有了牢靠的基础；群的理论、算术公理的出现使算术、代数的逻辑基础更为明晰，等等。人们水到渠成地思索：整个数学的基础在哪里？正在这时，19世纪末，集合论出现了。人们感觉到，集合论有可能成为整个数学的基础。 * 其理由是：算术以整数、分数等为对象，微积分以变数、函数为对象，几何以点、线、面及其组成的图形为对象。同时，用集合论的语言，算术的对象可说成是“以整数、分数等组成的集合”；微积分的对象可说成是“以函数等组成的集合”；几何的对象可说成是“以点、线、面等组成的集合”。这样一来，都是以集合为对象了。集合成了更基本的概念。 * 于是，集合论似乎给数学家带来了曙光：可能会一劳永逸地摆脱“数学基础”的危机。尽管集合论自身的相容性尚未证明，但许多人认为这只是时间问题。庞加莱甚至在1900年巴黎国际数学家大会上宣称：“现在 我们可以说，完全的严格性已经达到了！” * 2．算术的集合论基础 1）人们按下列逻辑顺序把全部数学的基 础归结为算术，即归结为非负整数，即自然数 集合加上0——现在我国中小学就把这一集合 称为自然数集合。 （算术）非负整数n→有理数 实数 复数 图形 * 弗雷格 《算术基础》 * 2) 弗雷格的《算术基础》 为了使算术建立在集合论的基础上，所有的非负整数，都需要用集合论的观点和语言重新定义。 首先从0说起。0是什么？ 应当先回答0是什么，然后才有表示“0”的符号。 * 为此，先定义“空集”。空集是“不含元 素的集合”。例如，“ 方程 在实 数集中的根的集合 ”就是一个空集，再例 如“由最大的正整数组成的集合”也是一个 空集。 * 所有的空集放在一起，作成一个集合的集合，（为说话简单我们把“集合的集合”称作类），这个类，就可以给它一个符号：0，中国人念“ling”，英国人念“Zero”。 空集是空的，但由所有空集组成的类，它本身却是一个元素了，即，0是一个元素了。由它再作成一个集合{0}，则不是空集了。 * 弗雷格再定义两个集合间的双射：既是满射又是单射的映射叫作双射，也称可逆映射；通俗地说，就是存在逆映射的映射。它可以在两个集合间来回地映射，所以一般称为“双射”。 弗雷格再定义两个集合的“等价”： ， 能够在其间建立双射的两个集合A、B称为“等价”。 * 下边可以定义“1”了。把与集合{0}等价的所有集合放在一起，作成一个集合的集合。这个类，就可以给它一个符号：1。 再定义“2”。把与集合{0，1}等价的所有集合放在一起，作成一个集合的集合。这个类，就叫：2。 然后，把与{0，1，2}等价的集合作成的类，叫：3。 * 一般地，在有了0，1，2，…，n的 定义后，就把所有与集合{0，1，2，…， n}等价的集合放在一起，作成集合的集 合，这样的类，定义为：n+1。 这种定义概念的方法，叫作“归纳定 义”的方法。 * 这样，弗雷格就从空集出发，而仅仅 用到集合及集合等价的概念，把全部非负 整数定义出来了。于是根据上边说的“可 以把全部数学归结为非负整数”，就可以 说，全部数学可以建立在集合论的基础上 了。 * 3． 罗素的“集合论悖论”引发危机 1） 悖论引起震憾和危机 正当弗雷格即将出版他的《算术基 础》一书的时候，罗素的集合论悖论出来 了。这也是庞加莱宣布“完全严格的数学 已经建立起来！”之后刚刚两年，即1902 年。 * 伯特兰·罗素（1872-1970）Russell, Bertrand Arthur William(Third Earl Russell)出生年月：1872-1970 国籍：英国学科成就：英国著名哲学家、数学家、逻辑学家，分析学的主要创始人，世