微积分 17、18世纪微积分的发展几乎吸引了所有数学家的注意力,恰恰是人们对微积分基础的关注,使得实数域的连续性问题再次突显出来。因为,微积分是建立在极限运算基础上的变量数学,而极限运算,需要一个封闭的数域。无理数正是实数域连续性的关键。
无理数的定义 无理数指的是无限不循环小数
三大派理论 变量数学独立建造完备数域的历史任务,终于在19世纪后半叶,由维尔斯特拉斯(Weierstrass,1815- 1897)、戴德金(R.Dedekind1831- 1916)、康托(G.Cantor,1845- 1918)等人加以完成了。
1872年,是近代数学史上最值得纪念的一年。这一年,克莱因(F.Kline,1849- 1925)提出了著名的“埃尔朗根纲领”(Erlanger Programm),维尔斯特拉斯给出了处处连续但处处不可微函数的著名例子。也正是在这一年,实数的三大派理论:戴德金“分割”理论;康托的“基本序列”理论,以及维尔斯特拉斯的“有界单调序列”理论,同时在德国出现了。
建立实数的目的 本帖隐藏的内容
努力建立实数的目的,是为了给出一个形式化的逻辑定义,它既不依赖几何的含义,又避免用极限来定义无理数的逻辑错误。有了这些定义做基础,微积分中关于极限的基本定理的推导,才不会有理论上的循环。导数和积分从而可以直接在这些定义上建立起来,免去任何与感性认识联系的性质。几何概念是不能给出充分明白和精确的,这在微积分发展的漫长岁月的过程中已经被证明。因此,必要的严格性只有通过数的概念,并且在割断数的概念与几何量观念的联系之后才能完全达到。这里,戴德金的工作受到了崇高的评价,这是因为,由“戴德金分割”定义的实数,是完全不依赖于空间与时间直观的人类智慧的创造物。
实数的三大派理论本质上是对无理数给出严格定义,从而建立了完备的实数域。实数域的构造成功,使得两千多年来存在于算术与几何之间的鸿沟得以完全填平,无理数不再是“无理的数”了,古希腊人的算术连续统一的设想,也终于在严格的科学意义下得以实现。