漫谈构造性方法与非构造性方法.pdfVIP

维普资讯 奴 ◆ 广州暨南大学华文学院 赖章荣 感．”美 国当代数学家里查兹称赞非构造性方法说 ： 1 方法概述 “这种方法体现了数学家的创造力，也是他们与墨守 在数学中，要证 明某类对象的存在性一般有两种 成规 的实践者 的区别所在．” 方法 ：一种是构造 出这类对象的具体例子，这种方法 但另一方面，一些人却怀疑或否认非构造性方 叫做构造性方法 ；另一种是应用反证法 ，即假定这类 法．有的人想在有限范围内找出非构造性方法 的错误 对象不存在 ，然后通过推理得 出矛盾 ，从而 由排 中律 来，更多的人否认非构造性方法在无 限意义上 的可靠 就可证明这类对象的存在性 ，这种方法叫做非构造性 性，因为这种可靠性是无法彻底验证 的．例如，针对高 方法 (或纯粹存在性证明方法)． 斯在 1796年给出的“以费马素数 (即形如 2“+1的素 例如，古希腊毕达哥拉斯学派的成员发现了不可 数)为边数的正多边形都可用尺规作图”的非构造性 公度 的量 ，证 明了无理数 的存在性 ；利用辗转相除法 证明，德 国人黎西罗在 1832年作 出了正 257(一2 可经有限步计算后得到两个整数的最大公因数；魏尔 +1)边形，而赫姆斯更是不辞辛劳地用 10年时间作 斯特拉斯给出函数 (z)一∑b”COS(nnx)，其 中a为 出了65537(一2 +‘1)边形 ，仅手稿就有一大箱 ，至今 n= 0 0 仍保存在德国哥廷根大学．又如 ，1888年 ，当希尔伯特 奇整数 ，061，ab) 1+ ，证 明了 “处处连续但处 厶 用非构造性方法推广了不变量理论 中著名的 “果尔丹 处不可微函数”的存在性 ，等等，这些都是属于用构造 定理”时，就 曾引起一场风波 ，不变量之王果尔丹说 ： 性方法证 明数学对象的存在性．中国古代数学多采用 “这不是数学，这是神学．”林德曼也说 ：“令人不快 ，有 构造性方法． 害，古怪．”但克莱因、凯莱却意识到了希尔伯特工作 非构造性方法也是古 已有之 ，两干多年前古希腊 的价值 ，克莱 因赞美说 ：“非常简单 ，在逻辑上是不可 欧几里得的名著 《几何原本》中就大量使用了这种方 抗拒的．”他还把希尔伯特的文章带到 国际数学会议 法．近现代数学中许多著名的定理也都是用非构造性 上去介绍．后来果尔丹也逐渐接受 了这种证 明方法 ， 方法证 明的，例如，闭区间上连续函数的最大值最小 他说 ：“我终于相信神学也有其优点．” 值定理 ，波尔查诺——魏尔斯特拉斯定理 (有界无穷 从 19世纪末到 20世纪初 ，对非构造性方法的争 数列必有聚点)，代数基本定理等．20世纪初，波兰数 议逐渐达到高潮．19世纪 70年代 ，康托尔用非构造性 学大师史坦 因豪斯用非构造性方法证 明了 78位数 方法证 明了实数有无数多个，进而给 出了超穷数理 2盯一1是一个合数，直到 20世纪 80年代 ，人们用 电 论 ，创立 了集合论．超穷数理论被希尔伯特称作是 “数 子计算机才找到了该数的真因数。 学精神最令人惊喜的花朵 ，人类智慧活动最漂亮的成 果”，罗素也称康托尔的工作 “可能是这个时代所能夸 2 历史上的争议