数系的扩张第一讲.pptVIP

代数数 超越数 刘维尔（法国） Joseph Liouville (1809~1882) 1873年: e是超越数 戴德金: 《连续性与无理数》(1872) The End * 2003年4月30日 数学危机 第 1 讲 数系的扩张 2003年4月30日 数学危机 数系为什么要扩张? 数系如何进行扩张? 数系扩张后的变化？ 主要问题： 2003年4月30日 数学危机 自然数的出现是由于人类数东西而自然地出现的。 有些动物对物体的个数也有模糊的认识。 自然数—不可避免的数 克罗内克（德国）Leopold Kronecker（1823~1891） God made the natural numbers, all else is the work of man. 表示所有自然数集合 2003年4月30日 数学危机 自然数的重要性质不仅仅体现在它可以用来数个数，最重要的是有加法和乘法运算。 具有顺序性，一个接一个，1，2，3…（数学归纳法） 具有可数性，1，2，3，… 自然数的性质 2003年4月30日 数学危机 减法在自然数中不能永远进行。即方程 从自然数到整数 不能保证在自然数中总有解 把0和负整数添到自然数中，得到整数集 一是保证原方程总有解，二是保证加法减法总能进行。 2003年4月30日 数学危机 添加数0 整数的构造 添加负数 从自然数到整数的扩张是用加法进行的 0就是这样一个数，它满足性质： 对任意自然数 a，定义一个数 -a，它满足性质： 2003年4月30日 数学危机 除法在整数中不能永远进行。即方程 从整数到有理数— 第一个完美的数系 不能保证在整数中总有解 把分数添到自然数中，得到有理数集 一是保证原方程总有解，二是保证乘法除法总能进行。 2003年4月30日 数学危机 添加分数 q/p 有理数的构造 从整数到有理数的扩张是用乘法进行的 q/p就是这样一个数，它满足性质： 2003年4月30日 数学危机 自然数 扩张的本质 整数 有理数 加法封闭，减法不封闭 乘法封闭，除法不封闭 半群 群，环 加法，减法封闭 乘法封闭，除法不封闭 加法，减法封闭 乘法，除法封闭 域 总之，这些扩张是由于原有的数系对于运算不完善所致。 2003年4月30日 数学危机 类似的扩张 整环：和整数类似有两个运算，加法和乘法， 加法构成群，乘法是半群。比如： 整系数多项式环： 有理函数域： 2003年4月30日 数学危机 有理数对于加减乘除都封闭了，都已完善，不可能通过这些运算再进行扩张。 从有理数到实数— 大的进步 考虑方程： 用方程的方法可以把一部分无理数添加进来，不能添加所有的无理数，比如 e 可以用某些方程添进来的数称为代数数，否则称为超越数，超越数要比代数数多得多。 代数数 所有有理系数多项式方程的根 勒让德（法国, A.-M. Legendre, 1752~1833） π可能不是代数数 实数 无理数 有理数 超越数？ 代数数 欧拉(瑞士，Leonhard Euler, 1707~1783) 超越数: 超越了代数的能力 有理数 初等无理数 复合无理数 1844年 超越数的存在 埃尔米特（法国） Charles Hermite (1822~1901) 林德曼（德国） Ferdinand Lindermann (1852~1939) 1883年: π是超越数 康托尔（德国）Georg Cantor (1845~1918) 戴德金 （德国）Julius Dedekind (1831~1916) 定义实数: 在有理数域上 建立实数的运算法则 康托尔: 实数=有理数+无理数(1883) 康托尔 实数: 良序、无界、封闭、稠密 有理数: 不完备（充满空隙） 实数: “单调有界数列必收敛” 实数: 有理数的一个（柯西）序列(a1 , a2 ,…, an,…) an→ a 2003年4月30日 数学危机 几何的描述 实数的构造 实数形成了连续的对象，不再是离散的。 所有的实数和数轴上的点一一对应。 所有的小数和实数一一对应 实数是有理数的完备化 所有收敛的有理数列的极限和实数一一对应。 2003年4月30日 数学危机 实数对加减乘除运算封闭，构成一个域。 实数能够比较大小。 实数具有连续性。这是微积分的基础。 实数集是不可数的 从有理数到实数的扩张主要是从分析的角度，而不是代数运算的角度得到的。 实数的性质 连续性，完备性 2003年4月30日 数学危机 从实数到复数 考虑方程： 只要把上述方程的根 i 添加进来，再要求对加减乘除封闭，就得到了复数。 1637年，