数学精神与方法(四).docxVIP

2006年 公共选修课·通识教育 数学精神与方法 第四讲 有限无限纵横谈（三） 杜乃林 副教授 （武汉大学数学与统计学院） EMAIL：hanlin066@ §2.6 自然数系 有限集与无限集 人类在进化的蒙昧时期，就已经有一种才能，这种才能姑且称作“数觉”。由于人有了这种才能，当在一个小的集合里边增减一样东西的时候，尽管他未曾知道增减已经发生，他也能觉察到其中的变化。这种原始数觉，许多权威动物学家认为，少数几种鸟类和蜂类也具有。注意，依靠数觉，普通文明人可以分辨的数目很少能超过四。 应该承认，这种比鸟类高明不了多少的原始数觉，就是产生 “数”概念的核心——“0” 、“1”和“2”三个数目的先验性区分构成为了人类理性思维的自然出发点。 数觉、计数技术、模范集合 毫无疑问，如果单凭直接的数觉，人类在计算的技术上就不会比鸟类有什么进步。事实上，经历了一连串的特殊的环境，人类在极为有限的数觉之外，学会了另一种技巧来给自己帮忙，这种技巧注定了使人类未来的生活要受到难以估量的影响，这种技巧就是“计数”。“计数”与“数觉”不同，它牵扯到一种颇为复杂的心理过程，是人类很晚以后才有的收获，也是人类独有的特性。计数技术的灵魂就是序列的观念（想一想皮亚诺公理系统），它使具体的、不同质的表达多寡的各种模式演变为统一的抽象的数概念，形成了数学学科建立和发展的前提。 数觉、计数技术、模范集合 然而，不用计数技术，也可以得出一种合乎逻辑的明晰的数概念，那就是通过建立集合间所谓的相似关系来把全体集合分为一个个的相似类。当然，原始人类不会有弗雷格和罗素的相似类概念，但他们会不自觉地在身边的环境中找一个模范集合作为相似类的代表。原始人类有了语言及表达语言的符号（特别是能够被视觉分辨或听觉分辨的符号）后，他们就越来越依赖于语言及其符号，结果他们以符号来代替所表的模范集合——这样，最初的各式各样的数字就产生了。记忆和习惯又使这些数字在人类的思维中获得了概念化的具体性，于是人类就只用数字来量度多寡，而将原来作为比较对象的模范集合渐渐忘却了??? 相似与计数——对应与序列 数学的进一步发展实在应当归功于人类感悟到，数的相似类表示与计数表示的统一性。在实用上，相似类的数字表示很有用，也较简单，但它不能直接创造出算术来。算术的运算是依据“我们总是可以由一个数目数到它的后继数目”这一默认的假定而发展起来的，而这个假定正是计数技术的本质。 相似与计数，体现了两大数学原理——对应和序列。这两条原理已经深深渗透到全部数学——不只是数学，实际是精密思想的全部领域——之中。 数的弗雷格-罗素定义 要在集合论的框架下展开全部数学，首先就必须在集合论中定义自然数。回顾数的弗雷格-罗素定义： 一个数目就是某个集合的数，而一个集合的数是所有与此集合相似的集合所成的类，称作相似类。 “相似”概念由双射概念来定义： 集合x与y是相似的，如果存在从x到y的双射。 与集合x相似的全体集合所组成的类称作x的相似类。 问题一：每个“相似类”是集合吗？ 在ZF-系统的框架下，数学对象都作为集合处理；这样，数学的基础就可以避免悖论的产生。因此，像集宇宙这样的对象就不宜作为数学对象看待。依此观点，我们会形成这样的认识：如果每个“相似类”不是ZF-集合，那么它也就不应该称作是一个“数”。 注意：“数”是一个数学术语，一个“数”，或说一个“数目”，理应是一个普通的数学对象，因而在ZF-系统的框架下理应是一个集合。 问题二：在ZF-系统中怎样定义自然数？ 在ZF-系统中，定义自然数应当满足四条要求： 1.每个自然数都应当用一个集合去定义，它应当在相似关系下是其所在相似类的代表，并且全体自然数应当组成一个集合。 2.全体自然数的集合应当适合皮亚诺的五条公理，并因此特称作自然数系。 3.在自然数之间应能定义加法和乘法运算，应能定义序关系。 4.在一定的意义上说，自然数系是唯一的。 答问题一：非空集合的相似类不是集合 证明： 不是ZF-集合 答问题二：自然数系就是最小归纳集 归纳集是存在的——数学信条之一 最小归纳集ω——第一无限集合 自然数和自然数系的定义 自然数系ω与皮亚诺的自然数公理 皮亚诺所定义的自然数系N是抽象的，其抽象性表现在：它有三个原始概念：“数”、“零”、“后继”是未加定义的，它们由皮亚诺的五条公理来界定相互之间的关系，并由此得以表现自己，仅此而已。因此，这三个原始概念有无对应的实体存在无法由这一理论自身回答。事实上，从ZF-系统这一形式集合论的角度看，皮亚诺的自然数公理化方案可以纳入到ZF-系统的框架内作为自然数系的一个抽象定义处理。这就是说，可作如下定义。 自然数系的抽象定义 递归原理——自然数系的基本定理之一 数学归纳原理——自然数系的基本定理之二 数学归纳