|
史上最值得纪念的一年。这一年，克莱因（F.Kline,1849- 1925）提出了著名的“埃尔朗根纲领”（Erlanger Programm），维尔斯特拉斯给出了处处连续但处处不可微函数的著名例子。也正是在这一年，实数的三大派理论：戴德金“分割”理论；康托的“基本序列”理论，以及维尔斯特拉斯的“有界单调序列”理论，同时在德国出现了。
努力建立实数的目的，是为了给出一个形式化的逻辑定义，它既不依赖几何的含义，又避免用极限来定义无理数的逻辑错误。有了这些定义做基础，微积分中关于极限的基本定理的推导，才不会有理论上的循环。导数和积分从而可以直接在这些定义上建立起来，免去任何与感性认识联系的性质。几何概念是不能给出充分明白和精确的，这在微积分发展的漫长岁月的过程中已经被证明。因此，必要的严格性只有通过数的概念，并且在割断数的概念与几何量观念的联系之后才能完全达到。这里，戴德金的工作受到了崇高的评价，这是因为，由“戴德金分割”定义的实数，是完全不依赖于空间与时间直观的人类智慧的创造物。
实数的三大派理论本质上是对无理数给出严格定义，从而建立了完备的实数域。实数域的构造成功，使得两千多年来存在于算术与几何之间的鸿沟得以完全填平，无理数不再是“无理的数”了，古希腊人的算术连续统的设想，也终于在严格的科学意义下得以实现。
五、 复数的扩张
复数概念的进化是数学史中最奇特的一章，那就是数系的历史发展完全没有按照教科书所描述的逻辑连续性。人们没有等待实数的逻辑基础建立之后，才去尝试新的征程。在数系扩张的历史过程中，往往许多中间地带尚未得到完全认识，而天才的直觉随着勇敢者的步伐已经到达了遥远的前哨阵地。
1545年，此时的欧洲人尚未完全理解负数、无理数，然而他们智力又面临一个新的“怪物”的挑战。例如卡丹在所著《重要的艺术》（1545）中提出一个问题：把10分成两部分，使其乘积为40。这需要解方程x (10-x) = 40，他求得的根是 和 ，然后说“不管会受到多大的良心责备，”把 和 相乘，得到25—（—15）= 40。于是他说，“算术就是这样神妙地搞下去，它的目标，正如常言所说，是有精致又不中用的。”笛卡尔（Descartes,1596-1650）也抛弃复根，并造出了“虚数”（imaginary number）这个名称。对复数的模糊认识，莱布尼兹（Leibniz,1646- 1716）的说法最有代表性：“圣灵在分析的奇观中找到了超凡的显示，这就是那个理想世界的端兆，那个介于存在与不存在之间的两栖物，那个我们称之为虚的—1的平方根。”
直到18世纪，数学家们对复数才稍稍建立了一些信心。因为，不管什么地方，在数学的推理中间步骤中用了复数，结果都被证明是正确的。特别是1799年，高斯（Gauss,1777- 1855）关于“代数基本定理”的证明必须依赖对复数的承认，从而使复数的地位得到了近一步的巩固。当然，这并不是说人们对“复数”的顾虑完全消除了。甚至在1831年，棣莫甘（De Morgan,1806- 1871） 在他的著作《论数学的研究和困难》中依然认为：
已经证明了记号 是没有意义的，或者甚至是自相矛盾或荒唐可笑的。然而，通过这些记号，代数中极其有用的一部分便建立起来的，它依赖于一件必须用经验来检验的事实，即代数的一般规则可以应用于这些式子（复数）。……
我们知道，18世纪是数学史上的“英雄世纪”，人们的热情是如何发挥微积分的威力，去扩大数学的领地，没有人会对实数系和复数系的逻辑基础而操心。既然复数至少在运算法则上还是直观可靠的，那又何必去自找麻烦呢？
1797年，挪威的韦塞尔（C. Wessel,1745-1818） 写了一篇论文“关于方向的分析表示”，试图利用向量来表示复数，遗憾的是这篇文章的重大价值直到1897年译成法文后，才被人们重视。瑞士人阿甘达（J. Argand ,1768-1822） 给出复数的一个稍微不同的几何解释。他注意到负数是正数的一个扩张，它是将方向和大小结合起来得出的，他的思路是：能否利用新增添某种新的概念来扩张实数系？在使人们接受复数方面，高斯的工作更为有效。他不仅将 a+ bi 表示为复平面上的一点 ( a, b)，而且阐述了复数的几何加法和乘法。他还说，如果1, —1 和 原来不称为正、负和虚单位，而称为直、反和侧单位，那么人们对这些数就可能不会产生种种阴暗神秘的印象。他说几何表示可以使人们对虚数真正有一个新的看法，他引进术语“复数”（complex number）以与虚数相对立，并用 i 代替 。
在澄上一页 [1] [2] [3] [4] [5] [6] [7] 下一页 |
|
