第1章 数与数系.ppt

第一章 数与数系 数系的历史发展 自然数系和0 从自然数系到整数环 有理数系 实数系 戴德金分割与实数系的连续性 复数系 关于数系教学的建议 一些例题 第一节 数系的历史发展 数学思维对象与实体的分离 算术到代数的演进加速了数系的形成 算法的合理性是新“数”获得承认的主要原因 与实体不能直接对应的“理想数” 用结构主义方法构造数系 历史途径扩展：自然数→正有理数→简单的代数无理数→零（公元650年左右，印度）与负有理数→复数→严格的实数系。 逻辑扩展： 自然数 整数系 有理数系 实数系 复数系。 注：四元数 不满足某些数的性质，故不属于数系。 当人们还普遍怀疑负整数是一种数时，人们就已经在研究正的有理数和无理数，甚至已经开始使用复数了。 人们可以接受正有理数和正无理数，因为它们是在实体测量中产生的抽象物。 不能实际测量，正是一些数学家不愿意承认负数的理由。 二.算术到代数的演进加速了数系的形成 毕达哥拉斯学派发现无理数的故事 《几何原本》关于复杂无理数和欧多克斯利用穷解法把相似比扩展到无理数情形的记载。 字母表示数和方程求解的运算过程促进了人们对无理数的接受。 三.算法的合理性是新“数”获得承认的主要原因 大量研究表明，最早使用负数的是中国人。约公元前200年的《九章算术》有记载。 负数受到数学家的普遍承认主要是依赖于算法的无矛盾性。两个例子：解方程和比例的内项之积等于外向之积。 中国的“开方术”算法使中国人很自然地接受了无理数。 复数幂的欧拉公式的逻辑相容性促使人们承认虚数。 四.与实体不能直接对应的“理想数” 希尔伯特用“理想元”概括数学中的“虚数”和“无限”这类并不直接与实体对应的数学概念。如引入理想元，即无限远点和无限远直线之后，两条直线总在一点而且只在一点相交这条定理普遍为真。 鲁宾逊证明了通常的实数系R可以扩充为一种包括“无穷小”和“无穷大”在内的非标准实数系R*,在R*定义的各种运算和R中的运算不会发生矛盾。同时R中的极限过程可以用R*中的四则运算代替。 五.用结构主义方法构造数系 微积分中“无穷小”的不严密→希尔伯特的《几何基础》→布尔巴基学派的结构主义 我们把具有特定结构的数的全体，称为一种数系。 借助抽象代数的语言，各种数系可以浓缩为一系列代数结构和序结构的组合。 数系的扩充过程是在原有的数系上添加新的元，规定新的运算，形成新的结构，最终扩充为新的数系。 数系扩充应遵循的结构主义原则 A是B的真子集。用A中的数，按照逻辑方法构造B中的数。 在新数上建立各种运算。A的元间所定义的运算关系，在B的元间也有相应的定义，且B的元间的这些关系和运算对B中的A的元来说与原定义一致；这保证老结构和新结构彼此相容。 B的结构和A的结构可能有本质不同。某种运算在A中不是总能实施，在B中却总能实施。 在A的具有上述三个性质所有的扩展中，在同构意义下，B是唯一最小扩展。 两点说明： 数集的每次扩充都解决了原数集不能解决的一些矛盾，使其应用范围扩大，但同时也失去一些性质。如从N到Z，Z对减法具有封闭性，但失去了良序性，即N中任何非空子集都有最小元素。又如C使任何代数方程都有根，但失去了R的顺序性，即C中元素无大小可言。 复数集的扩充问题：如果满足复数集的全部性质，任何扩充都不可能。但若舍弃乘法交换律，则可将C扩展到四元数集。 第二节 自然数系和0 自然数的基数理论 自然数的序数理论 关于自然数系的几点说明 自然数和0 建立自然数理论的几种方案 康托尔以集合论为基础，建立自然数基数理论； 皮亚诺以公理法为基础，建立自然数序数理论； 罗素等人试图用纯逻辑学为基础，建立自然数理论。 一、自然数基数理论 基数理论是以原始概念“集合”为基础的。 把一切集合按对等关系分类，使所有对等的集合分为一类，这时同一类集合有一种共同特征。如： ﹛一只羊﹜、﹛一只兔﹜、﹛一个人﹜、﹛a﹜等，它们都是对等的集合，应归为一类。显然，羊、兔、人和字母不是它们的共同特征。而只有“1”才是它们共同特征的标志。 类似，﹛三棵树﹜、﹛三头牛﹜、﹛三条鱼﹜、﹛a,b,c﹜等，是对等的集合，“3”是它们共同特征的标志。 定义1：一切对等的集合的共同特征的标志，成为这些集合的基数（或势）。有限集的基数叫做自然数 。若集合A与B的基数相同，记作A~B。 不含任何元素的集合，它的基数记作0；只含一个元素的有限集，其基数记作1；含有两个元素的