什么是构造法

什么是构造法
什么是构造法

什么是构造法
所谓构造性的方法就是数学中的概念和方法按固定的方式经有限个步骤能够定义的概念和能够实现的方法.从数学产生那天起,数学中的构造性的方法也就伴随着产生了.但是构造性方法这个术语的提出,以至把这个方法推向极端,并致力于这个方法的研究,是与数学基础的直觉派有关.直觉派出于对数学的“可信性”的考虑,提出一个著名的口号：“存在必须是被构造.”这就是构造主义.
　　目录
　　等比数列构造法的含义
　　构造法与构造主义 直觉数学阶段
　　算法数学阶段
　　现代构造数学阶段
　　数学构造性方法的应用
　　构造性数学与非构造性数学的差别与联系
　　数列中的构造法等比数列的构造
　　等差数列的构造
　　等比数列构造法的含义
　　构造法与构造主义 直觉数学阶段
　　算法数学阶段
　　现代构造数学阶段
　　数学构造性方法的应用
　　构造性数学与非构造性数学的差别与联系
　　数列中的构造法 等比数列的构造
　　等差数列的构造
　　展开 编辑本段等比数列构造法的含义
　　例如,求525,231的最大公约数. 525=231×2+63, 231=63×3+42, 63=42×1+21, 42=21×2. 最后的余数为21,所以,525,231的最大公约数为21. 求上述两个数的最大公约数是经过有限个步骤而得到,因此,这是构造性的方法. 再如,求一元二次方程ax2+bx+c=0的根,可用求根公式在有限步骤内求出来.这也是构造性的方法. 现在考虑连续函数的最值定理：闭区间上连续函数有最大(小)值.在数学分析中证明这个定理时,只谈这个最值的存在,并没有给出一能行的过程在有限步骤内把这个最值计算出来,这是非构造性的方法. 图是一些顶点和一些线段的组合,在图论中给出了确切的定义,这个定义是属于构造性的. 通过以上几个例子,可以明显地看出构造法具有如下两个基本特征： 1．对所讨论的对象能进行较为直观的描述； 2．实现的具体性,就是不只是判明某种解的存在性,而且要实现具体求解.
　　编辑本段构造法与构造主义
　　直觉数学阶段
　　直觉派的先驱者是19世纪末德国的克隆尼克,他明确提出并强调了能行性,主张没有能行性就不得承认它的存在性. 他认为“定义应当包括由有限步骤所定义对象的计算方法,而存在性的证明对于要确立其存在的那个量,应当许可计算到任意的精确度.”他曾计划要把数学算术化并在数学领域中清除一切非构造性的成分及其根源.第二个强有力的倡导者是彭加勒,他主张自然数是最基本的直观,无需再作进一步的分析就可以认为是可信的,“与克隆尼克一样,他坚持所有的定义和证明都必须是构造性的.”近代构造法的系统创立者是布劳威,他完整而彻底地从哲学和数学两方面贯彻和发展了“存在必须被构造”的观点.这一学派中的主要人物还有海丁和魏尔. 他们在数学工作中的基本立场是：第一,认为数学的出发点不是集合论,而是自然数论.这就是海丁所说的：“数学开始于自然数及自然数相等概念形成之后.”所以他们不允许一般集合论概念进入数学,而将全部数学都归约为自然数算术和一种利用“展形”建造起来的构造性连续统概念的假定.第二,否认传统逻辑的普遍有效性而重建直觉派逻辑.第三,批判传统数学缺乏构造性,创立具有构造性的“直觉数学”.这就开始了构造法的第一阶段——直觉数学时期.
　　算法数学阶段
　　“发现集合论悖论以后,有些数学家认定了解决这些悖论引起的问题的唯一彻底的方法就是把所有的一般集合论概念都从数学中排除掉,只限于研究那些可以能行地定义或构造的对象”这就是布劳威创立直觉数学的想法.为此,他抛弃了许多通常的数学术语,引进了各种超数学原理,从而使得直觉数学难以为人读懂.同时直觉数学绝对排斥非构造性数学和传统逻辑的错误做法,无法解释后者在一定范围内的应用上的有效性.在这一点上,遭到了绝大多数数学家的反对.所以“对数学家来说,布劳威理论一直是稀奇的古董,而主要为逻辑家们感兴趣”.因而产生了另外几种构造性倾向,不象直觉数学那么走极端,它们的方案是把可容许数学对象的范围限制到某个多少是任意选定的类,而不象直觉数学那样去向传统的证明规则挑战.其中以马尔科夫及其合作者创立的“算法数学”,尤为引人注目.算法数学是一种把数学的一切概念都归约为一个基本概念——算法的构造性方法.它以递归函数理论为基础,因此,它的概念有非常严格的定义：每个函数都用它的哥德尔数的办法来处理,每个实数是一个特定的递归函数等等.它所用的方法是标准构造性的,所采纳的逻辑是直觉派逻辑.可见,马尔科夫的理论是一种不仅限制对象的类,而且限制可容许证明方法的类的“严格有穷主义”的理论,沙宁继续了马尔科夫的工作,研究了各种古典理论在马尔科夫算法数学中的模拟物.他甚至能够展述分析中象希尔伯特空间和勒贝格积分的构造性理论.由于马尔科夫的工作,使构造性方法进入了“算法数学”阶段.但是,因为这种构造法依赖于递归函数理论的术语,所以使这种算法数学外行人读起来十分困难,加之马尔科夫的后继者们似乎对于复杂理论及其在计算机科学上的应用比对于算法数学实践本身更有兴趣,使之算法数学由于缺乏合适的框架来进行数学实践,而处于一种冬眠的状态.
　　现代构造数学阶段
　　1967年,比肖泊的书出版以后,宣告了构造法进入“现代构造数学”阶段.比肖泊通过重建现代分析的一个重要部分,重新激发了构造法的活力.他研究的课题广及测度论、对偶理论、泛函微积.尤其是他和钦基于丹尼尔积分所创立的新的构造性的测度理论,轻易地消除了对于在实直线上构造可数可加测度的可能性的种种忧虑,并且还证明了构造的连续统在一种强的意义下是不可数的.虽然比肖泊的工作植根于布劳威的工作,但是他能从直觉数学的自我禁锢的概念中解脱出来,他避免使用直觉派的超数学原理,摆脱了算法数学对递归函数——理论方法的不必要的依赖,超脱了对于形式体系的任何束缚,从而保留了进一步创新的余地.同时比肖泊采用数学上大家熟悉的习惯术语和符号,所以为一般数学家容易看懂.
　　编辑本段数学构造性方法的应用
　　大致说来,数学构造法有两类用途： 1．用于对经典数学的概念、定理寻找构造性解释.在大多数情况下,猜测经典定理所对应的构造性内容,即使构造性内容确实存在的话也绝非易事.还是让我们举例来说明. 例1 如何在可构造性意义下来定义实数概念? 直觉数学者的具体做法是：首先引进所谓“属种”的概念以取代康托尔意义下的集合概念.进而布劳威又引进了“选择序列”的概念,并以“有理数选择序列”取代古典分析中的有理数柯西序列概念,称之为“实数生成子”.相应于古典分析中把实数定义为有理数柯西序列等价类,可构造意义下的单个实数被定义为实数生成子的一个等价属种.如上所见,建立可构造性实数概念没有实质性困难,其原因就在于柯西—魏尔斯特拉斯的整个极限论建基于潜无限观念.因而在实质上,直觉数学者在此不过是在能行性的要求下重新陈述柯西序列而已. 现代构造数学者的作法是：为了构造一个实数,我们必须给出一个有限的方法,将每一个正整数n转化为一个有理数xn′,并且使得x1′,x2′,…是一个柯西序列,它收敛于所要构造的实数.我们还必须对这一序列收敛速度给出明确估计.可见,现代构造数学已经从那些似乎把直觉数学者扼杀的概念(诸如选择序列、属种概念)中超脱出来. 例2 关于代数基本定理的构造性证明. 代数基本定理的经典说法为：任何复系数的非常数多项式f至少有一个复根.(1) 对于(1)最著名的传统证明是,假定f不取零值,把刘维尔定理用于f的倒数,得出结论1／f是常数,因此f是常数,这一矛盾便完成了证明. 但是构造数学者会争议说,这样做所证明的并不是基本定理,而是如下较弱的论断： 不取零值的复数上多项式是常数.(2) 同时上述证明,也没有提示替多项式找根的方法. 代数基本定理的构造性说法是布劳威给出的： 有一个适用于任何复系数的非常数多项式f的有限方法,我们能够用以计算f的根.(3) 现在给出布劳威对于首项系数为1的多项式的代数基本定理的证明：他首先证明了f可以假定为高斯数域Q〔i〕上的正数阶多项式,然后,再选择半径R足够大,使得f(x)被它的首项所支配,接着利用f围着以O为心,R为半径的圆周所绕的圈数等于f的阶数这一事实,他构造了一个高斯数z,使f(z)极小,而f′(z)相对地大.最后利用牛顿—拉夫森迭代,构造出f的复根. 比较构造性证明与传统证明,可以看出,虽然布劳威的证明确实是比使用刘维尔定理的证明更长,但构造性证明比传统证明给出的“信息量”要多得多.比如布劳威的方法能求出复数上任何给定的正次数的首项系数为1的多项式的根.特别地,用他的证明办法,你可以为100阶多项式找到根,而传统证明根本没有涉及找根的方法. 比肖泊在书中写道：每个经典的定理都提出了一个挑战：找出一个构造性的说法,并给它以一个构造性的证明.但事实上,许多经典的定理,看来不象会有任何构造性的说法与证明,例如波尔查诺—魏尔斯特拉斯定理,zorn引理等就是这样. 2．用于开发构造性数学的新领域,组合数学、计算机科学中所涉及的数学,都是构造性数学的新领域,尤其是图论更是构造数学发展的典型领域之一.因为图的定义就是构造性的,同时图的许多应用问题,如计算机网络,程序的框图,分式的表达式等,也都是构造性很强的问题. 例3 给出树、最小树、树形图的构造性定义.