数学精神与方法(第五讲).docVIP

2006年 公共选修课·通识教育 数学精神与方法 第五讲 运算与迭代的威力（一） 杜乃林 副教授 （武汉大学数学与统计学院） EMAIL：hanlin066@ §3.1 经典数学的统一——“数形合一” 我们已在ZFC形式集合论的框架下定义了抽象的自然数系N，并知道最小归纳集ω就是一个具体的自然数系，而所有的自然数系在结构上是统一的。本讲我们将阐明：正是自然数系的结构，最终为分析数学，乃至整个经典数学，奠定了稳固而可靠的基础，在数学史上，第一次实现了真正意义上的“数形合一”。 自然数的运算 定义1的合理性 自然数的运算性质 自然数的大小顺序 考虑由加法运算引出的最简方程式 就会发现方程（Eq.1）并非总有解。围绕方程（Eq.1）的求解，产生了自然数的序的概念。 自然序的性质 偏序与全序的定义 注：良序性与数学归纳原理等价。 有了上面的定理1、定理2和定理3，我们所熟悉的自然数系统就从逻辑上严格地确立起来了。值得注意的是，上面三条定理的建立是基于自然数系的抽象结构的，即基于皮亚诺的五条公理，与自然数系的具体实现无关。 从自然数系到整数系 自然数系的数学结构尚不能保证方程（Eq.1）总是有解，这在实际应用中极不方便。人的实践活动要求把自然数系扩充成一个使方程（Eq.1）总有解的新数系。怎样实现这样的扩充呢？ 注：按符号b－a 的定义，b－0＝b。于是，上述映射是满射。 注：此引理使我们看清了Z含有些什么元素以及它与N的关系。 整数系的定义 注：易验证Z上的加法和乘法都是合理定义的。 整数系上的运算的性质 Z因定理4所展示的性质而被称作是一个环；故Z又称作整数环。 整数系上的序 有理数系的构造 有理数系的定义 有理数的运算性质 注：Q因上述定理所展示的性质而被称作是一个域；故Q又称作有理数域。 有理数的分数表示 有理数系上的序 有了自然数系及其上的加法和乘法运算，自然就有了方程（Eq.1）和（Eq.2）。它们的形式是如此简单，以致使人们觉得它们必须有解且解唯一。然而，自然数系的结构不足以满足人们的这种愿望，这才有了扩充自然数系的强烈愿望和动机。事实上，人类从自然数向有理数的跨越早在青铜器文化崛起的时代就初见端倪（公元前2500年左右），到了毕达哥拉斯学派宣称“万物皆是数”的时代，这种跨越才趋于完成（公元前500年左右）。毕达哥拉斯相信世界上的任何量都可以表示成两个整数之比，即某个有理数。在几何上这相当于说：对于任何两条线段，总能找到第三条线段，以它为单位能将两条给定的线段分为整数段。古希腊人称这样的两条线段为“可公度量”，意即有公共的度量单位的一对量。然而，毕达哥拉斯学派后来发现：并不是任意两条线段都是可共度的，例如，正方形的对角线与其一边就构成了不可公度的一对线段。这在当时人们的心理上引起了极大的震撼，引发了数学史上所谓的“第一次数学危机”。这其实是数学学科的一次巨大进步，它表明数学已经发展到这样的阶段：1）发现无理量；2）把证明引入数学；3）数学已由经验科学变成为演绎科学。 思考题 1.你知道数学归纳法原理与良序原理等价吗？试证之。 2.谈谈你对算术运算的看法（将同一运算在不同数系中的功能作一比较）。你觉得算术运算的威力表现在哪里？ 3.从自然数到整数，再到有理数，这样，数系被扩充得与直线几近一样。这在毕达哥拉斯看来，数与形达成了统一。你认为有理数系与直线达成统一了吗？为什么？