数学精神与方法第六讲.pptVIP

数学精神与方法 第六讲 运算与迭代的威力（二） §3.2 经典数学的统一 ——“数形合一”（续） 上一节我们已看到怎样从ZFC系统制定出自然数系，整数系，直至有理数系。 本节将带领大家看一看： 怎样由有理数系制定出实数系？ 怎样理解实数系与直线的统一？ 怎样理解数与形的统一？ 无理量的存在性 思考题：证明上述命题。 “ 完备化” 观念 无理数的存在说明有理数系并不像毕达哥拉斯想象的那么“完备”，有理数系还有必要作进一步的扩充。可是，“完备”究竟意味什么意思呢？简单地说，这里的“完备”是数学家渴望达到的一种境界——“数与形统一” 。让我们自然地设想一下： 在一条连绵不断的直线上，选定一个原点和一个序向，并选定单位长度，那么可以将有理数0对应于直线上的原点，将数目1对应于直线上沿序向离原点有一个单位长度的点，将数目2对应于沿序向离原点有二个单位长度的点，等等——凡是有理数都唯一地对应于直线上 一点，这一点离开原点的距离与单位长度是可公度的，并且不同的有理数对应于直线上不同的点——这样就实现了从有理数系Q到直线上某个稠密子集间的一个保序双射。可是，这条连绵不断的直线上终归本性地存在着不能被任何有理数对应的点，这一现象正是有理数系Q“不完备” 的表象。透过Q的这种“不完备” 表象，可以体会“完备” 的意味——“完备”是“数与直线（形）统一”的想法。 分析数学的基本问题 怎样将有理数系扩充成一个完备的有序数系，从而达成“数与直线的统一”呢？ 这事实上是事关“分析数学”基础的一个大问题。 牛顿和莱布尼兹在17世纪发明的微积分理论，被誉为“人类精神的最高胜利”，开启了“分析”这样一个在观念和方法上都具有鲜明特点的数学领域。然而，牛顿和莱布尼兹的微积分是不严格的，特别在使用无穷小概念上是随意和混乱的。这种状况长期困扰着数学家们，长达200年之久。 数学家们经过几代人的不懈努力才搞清楚，彻底消除微积分理论的漏洞，靠的是有理数系的“完备化”思想，即将有理数系扩充成一个完备的有序数系——实数系——的理论。 牛顿与莱布尼茨 牛顿和莱布尼茨都是他们所处时代的科学巨人，他们在相互独立的情况下各自创立了微积分。就发明时间而言，牛顿早于莱布尼茨；就发表时间而言，莱布尼茨先于牛顿。 微积分发明权的争论被认为是“科学史上最不幸的一章”。由此产生的严重影响是，整个18世纪英国与欧陆国家在数学发展上分道扬镳。虽然牛顿在微积分应用方面的辉煌成就极大地促进了科学的进步，但由于英国数学家固守牛顿的传统而使自己逐渐远离了分析的主流。分析的进步，在18世纪，主要是由欧陆国家的数学家在发展莱布尼茨微积分方法的基础上而取得的。 英雄世纪 微积分诞生之后，数学迎来一次空前繁荣的时期。18世纪被称为数学史上的英雄世纪。这个时期的数学家们在几乎没有逻辑支持的前提下，勇于开拓并征服了广泛的科学领域。 18世纪的数学家知道他们的微积分概念是不清楚的，证明也不充分，但他们却自信他们的结果是正确的。 在微积分的发展过程中，一方面是成果丰硕，另一方面是基础的不稳固；这使得在微积分的研究和应用中出现了越来越多的谬论和悖论。数学的发展又遇到了深刻的令人不安的危机。由微积分的基础所引发的危机在数学史上称为第二次数学危机。 因此在18世纪结束时，微积分和建立在其上的其他分析分支，在逻辑上，处于一种混乱的状态之中。 历史要求给微积分以严格的基础。 微积分的严格基础 微积分理论和应用经过整个18世纪的空前展开和长期发展，在说明这一理论极其有效的同时，也使得它的逻辑基础备受数学家们的关注，数学界再也不能无视微积分建立在一个“随意的和混乱的”无穷小概念之上。进入19世纪，分析基础严格化的时代到来了。 法国数学家柯西首先向分析的全面严格化迈出了关键的一步，他的许多定义和论述已经相当接近微积分的现代形式。柯西的工作在一定程度上澄清了微积分基础问题上长期存在的混乱，但他的理论还只能说是“比较严格”，人们不久就发现他的理论也存在漏洞。例如，他用了许多“无限趋近” 、“想要多小就多小”等直观描述的语言。 事实上，要真正为微积分奠定牢固的基础是必须充分理解实数系的完备性才能办得到的。可是，直到19世纪中叶，对于什么是实数竟没有严格的定义，数学家对实数系的理解仅停留在数轴这种直观的感觉上，他们相当随便地使用无理数而没有考察它们的确切意义和性质。 柯西（Augustin Louis Cauchy, 1789---1857），法国数学家。他对数学的最大贡献是在微积分中引进了清晰和严格的表述与证明方法，使微积分摆脱了对于几何与运动的直观理解和物理解释，从而形成微积分的现代体系