XXFF
发表文章数: 480
武功等级: 空明拳
(第五重)
内力值: 419/419
数学无穷思想的发展历程(转)
数学无穷思想的发展历程(转)
韩雪涛
引言
无穷作为一个极富迷人魅力的词汇，长期以来就深深激动着人们的心灵。彻底弄清这一概念的实质成为维护人类智力尊严的一种需要。而数学是“研究无限的学科”，因此数学就责无旁贷地担当起征服无穷的重任。我们在本文中将简要介绍一下数学中无穷思想发展的历程
光辉的起点：数学无穷发展的萌芽时期
早在远古时代，无限的概念就比其它任何概念都激动着人们的感情，而且远在两千年以前，人们就已经产生了对数学无穷的萌芽认识。
在我国，著名的《庄子》一书中有言：“一尺之棰，日取其半，而万世不竭。”从中就可体现出我国早期对数学无穷的认识水平。而我国第一个创造性地将无穷思想运用到数学中，且运用相当自如的是魏晋时期著名数学家刘徽。他提出用增加圆内接正多边形的边数来逼近圆的“割圆术”，并阐述道：“割之弥细，所失弥少，割之又割，以至于不可割，则与圆周合体而无所失矣。”可见刘徽对数学无穷的认识已相当深刻，正是以“割圆术”为理论基础，刘徽得出徽率，而其后继者祖冲之更是得出了圆周率介于3.1415926与3.1415927之间的领先国外上千年的惊人成果。
在国外，早在毕达哥拉斯关于不可公度量的发现及关于数与无限这两个概念的定义中已孕育了微积分学的关于无穷的思想方法。德谟克利特和柏拉图学派探索过无穷小量观念。欧多克索斯、安蒂丰、数学之神阿基米德所运用的穷竭法已备近代极限理论的雏形，尤其是阿基米德对穷竭法应用之熟练，使后人感到他在当时就已接近了微积分的边缘。
由此，我们可以看到在数学无穷思想发展之初，古人就已在这个领域开创了一个光辉的起点。
首创风波：芝诺悖论
虽说，古人对无穷已有了较深刻认识，然而人们对无限的认识是缺乏严密的逻辑基础的。可以说，对于只熟知有限概念的人们来说“无限”这一概念仍然是陌生与神秘的。芝诺悖论的提出清楚地表明了这一点。
芝诺，公元前五世纪中叶古希腊哲学家。他提出的四个悖论虽是哲学命题。但却对数学无穷思想的发展产生了直接且深远影响。这里仅举其悖论之一。
阿基里斯悖论：跑得最快的阿基里斯永远追不上爬得最慢的乌龟。大意是说甲跑的速度远大于乙，但乙比甲先行一段距离，甲为了赶上乙，须超过乙开始的A点，但甲到了A点，则乙已进到A1点，而当甲再到A1点，则乙又进到A2点，依次类推，直到无穷，两者距离虽越来越近，但甲永远在乙后面而追不上乙。
这显然违背人们常识的芝诺悖论，因与无限问题密切相连，就使得古希腊人对无穷有些望之却步静而远之了。同时也导致古希腊数学家不得不把无限排斥在自己的推理之外了。
芝诺悖论就这样一直困惑着人们，问题的症结何在呢？
崭新一页：微积分学的诞生
随着时代的发展，实践中提出了越来越多的数学问题，待数学家们加以解决，如曲线切线问题、最值问题、力学中速度问题、变力做功问题……初等数学方法对此越来越无能为力，需要的是新的数学思想、新的数学工具。不少数学家为此做了不懈努力，如笛卡尔、费马、巴罗……并取得了一定成绩，正是站在这些巨人的肩膀上，牛顿、莱布尼兹以无穷思想为据，成功运用无限过程的运算，创立了微积分学。这新发现、新方法的重要性使当时的知识界深感震惊，因而出现了一门崭新的数学分支：数学分析。这一学科的创立在数学发展史上翻开了崭新一页，谱写了光辉动人的乐章。
风波再起：贝克莱悖论
通往真理的路总是坎坷不平，布满了艰辛，探求无穷之径更绝非坦途。
十七世纪后期，牛顿、莱布尼兹创立微积分学，成为解决众多问题的重要而有力的工具，并在实际应用中获得了巨大成功，然而，微积分学产生伊始，迎来的并非全是掌声，在当时它还遭到了许多人的强烈攻击和指责，原因在于当时的微积分主要建立在无穷小分析之上，而无穷小后来证明是包含逻辑矛盾的。1734年，大主教贝克莱写了本《分析学家》的小册子，在这本小册子中，他十分有效地揭示了无穷小分析方法中所包含的这种逻辑矛盾。这就是所谓的“贝克莱悖论”。笼统地说，贝克莱悖论可以表述为“无穷小量究竟是否为零的问题”就实际应用而言，它必须既是零，又不是零。而从形式逻辑角度而言，这无疑是一个矛盾。贝克莱悖论，动摇了人们对微积分正确性的信念，在当时数学界引起了一定混乱，从而导致了数学史上所谓的第二次数学危机。出路在何方？
发明的世纪：十八世纪
微积分产生后，一方面在应用中大获成功，另一方面其自身却存在着逻辑矛盾，即贝克莱悖论，也就是说，正确的（尤其是在几何应用上是惊人的）结果却是通过肯定不正确的数学途径得出的。这把数学家们推到了尴尬境地。在对微积分的取舍上到底何去何从呢？
“向前进，向前进，你就会获得信念！”达朗贝尔吹起不顾一切奋勇向前的号角，在此号角的鼓舞下，十八世纪的数学家们开始不顾基础的不严格，论证的不严密，而是更多依赖于直观去开创新的数学领地。于是一套套新方法、新结论以及新分支纷纷涌现出来。经过一个多世纪的漫漫征程，几代数学家，包括达朗贝尔、拉格朗日、贝努力家族、拉普拉斯以及集众家之大成的欧拉等人的努力，数量惊人前所未有的处女地被开垦出来，微积分理论获得了空前丰富。因而数学史家把这一时期称为发明的世纪。
光辉乐章的不和谐音
微积分产生之初，对基础不牢的指责，以及由此引发的争论，一直就是微积分学奏出的光辉乐章中的不谐和音。然而在十八世纪，它被微积分应用中惊人的成功所赢得的震耳掌声暂时掩盖了。经过数学发明的十八世纪后，数学建筑扩大了，房子盖得更高了，而基础却没有补充适当的强度。十八世纪粗糙的，不严密的工作导致谬误越来越多的局面，不谐和音的刺耳开始震动了数学家们的神经。下面仅举一无穷级数为例。
无穷级数S＝1－1＋1－1＋1………到底等于什么？
当时人们认为一方面S＝（1－1）＋（1－1）＋………＝0；另一方面，S＝1＋（1－1）＋（1－1）＋………＝1，那么岂非0＝1？这一矛盾竟使傅立叶那样的数学家困惑不解，甚至连被的后人称之为数学家之英雄的欧拉在此也犯下难以饶恕的错误。他在得到
后，令=－1，得出S＝1－1＋1－1＋1………＝1／2！
由此一例，即不难看出当时数学中出现的混乱局面了。问题的严重性在于当时分析中任何一个比较细致的问题，如级数、积分的收敛性、微分积分的换序、高阶微分的使用以及微分方程解的存在性……都几乎无人过问。尤其到十九世纪初，傅立叶理论直接导致了数学逻辑基础问题的彻底暴露。这样，消除不谐和音，把分析重新建立在逻辑基础之上就民成为数学家们迫在眉睫的任务。
重建微积分基础
十八世纪富有成果然而欠严谨的工作，导致数学中出现了暂时的混乱局面。到十九世纪，批判、系统化和严密论证的必要时期降临了。
使分析基础严密化的工作由法国著名数学家柯西迈出了第一大步。柯西于1820年研究了极限定义，并创造性地用极限理论把微积分学中的定理加以严格的系统的证明，使微积分学有了较坚实的理论基础，同时柯西也因之成为加固微积分学基础的第一位巨匠。但柯西工作中仍存在着两点主要的不足。其一，他的极限定义用了描述性语言“无限的趋近”“随意小”，不够精确。这一点由德国数学家魏尔斯特拉斯给出精确描述数列极限的“ε-δ ”方法和函数极限的“ε-δ”方法，把微积分奠基于算术概念的基础上，获得了圆满解决。其二，他对单调有界定理的证明借助了几何直觉。魏尔斯特拉斯、戴德金、康托尔各自经过自己独立深入的研究，都将分析基础归结为实数理论，并于七十年代各自建立了自己完整的实数体系，这样数学分析的无矛盾性问题归纳为实数论的无矛盾性，从而使微积分学这座人类数学史上空前雄伟的大厦建在了牢固可靠的基础之上。重建微积分学基础，这项重要而困难的工作就这样经过许多杰出学者的努力而胜利完成了。微积分学坚实牢固基础的建立，结束了数学中暂时的混乱局面，同时也宣布了第二次数学危机的彻底解决。
康托尔的不朽功绩：向无限冒险迈进
十九世纪，由于众多杰出数学家的努力，微积分工具被改进为严格的分析体系。同时由于严格追问微积分的逻辑，德国数学家康托尔把无穷集合引入词汇，从而发现了无穷集这一数学新词汇，开辟出一个广大而又从未人知的世界。
康托尔以其集合论的成就被誉为对20世纪数学发展影响最深的学者之一。他从研究“收敛的傅立叶级数所表示的函数存在不连续”这一事实，提出无穷集合的概念，并以一一对应关系为基本原则，寻求无穷集合的“多少”关系。他把两个能一一对应的集合称为同势，利用势他将无限集进行了分类，最小的无限集为可数集a，即指与自然数集等势的无穷集。进一步，康托尔证明实数集的势c>a，一切实函数的势f>c,并且对任何一个集合，均可造出一个具有更大势的集合，即是说没有最大的势。鉴于此，1896年康托尔根据无穷性有无穷多学说，制订了无限大算术，对各种无穷大建立了一个完整序列，他用希伯来字母表中第一个字母阿列夫来表示这些数。于是， 直至无穷。无穷集合自身又构成了一个无穷序列。所谓楼外有楼，天外有天了。这就是康托尔创立了超限数理论。康托尔的工作，在发表之初遭到许多人的嘲笑与攻击。克罗内克有句名言：上帝创造了自然数，其它都是人为的。他完全否认并攻击康托尔的工作，称“康托尔走进了超限数的地狱”，更有人嘲笑康托尔关于无穷的等级的超限数理论纯粹为“雾中之雾。前后经过20余年，康托的工作才最终获世界公认，并赢得极大赞誉。罗素称赞说：“Cantor的工作可能是这个时代所能夸耀的最伟大的成就。”希尔伯特称其超限理论为“数学思想的最惊人的产物，在纯粹理性的范畴中人类智力的最美的表现之一。”康托集合论的提出标志了近代数学的开端。他的观点中，无穷集合是被看作一个现实的，完成的，存在着的整体，是可认识，可抓住的东西。他的无穷集合理论令世人耳目一新。
中途的辉煌
极限理论、实数理论使微积分学建立在严格的逻辑基础之上，而实数论又可在自然数论和无穷集合论的基础上发展起来，进一步自然数论完全可在集合论中推出。这样一来，实数论的融贯性就归于集合论的融贯性，归结到集合论，看来数学绝对严格的目的要达到了。1900年在世界数学家大会上，著名数学家庞加莱郑重宣布：“现在我们可以说，数学最终的严格性基础已经确立了。”表达了数学家们欣欣自得的共同心情。尤其通过康托尔的工作，数学家们找到了营造数学大厦的基石：集合论。而他的无穷集合，也就成了数学家们的伊甸园。这样，从微积分诞生之日起，数学家们历经200多年的艰苦努力，终于迎来了辉煌的胜利。
一波三折：罗素悖论的提出及解决
正当数学家们在无穷集合的伊甸园中优哉游哉，并陶醉于数学绝对严格性的时候，一个惊人的消息迅速传遍了数学界。
“集合论是有漏洞的！”这就是，1902年，罗素得出的结论。
罗素构造了一个集合U，U由所有不属于自身的集合组成，U显然存在，但U是否属于自身呢？无论回答是否都将导致矛盾，这就是著名的罗素悖论。罗素悖论相当简明，以致几乎没有什么可以辩驳的余地，然而它却动摇了整个数学大厦的基石：集合论。
“绝对严密”“天衣无缝”的数学，又一次陷入了自相矛盾与巨大裂缝的危机之中。原本已平静的数学水面，因罗素悖论的投入，又一石激起千重浪，令数学家们震惊之余有些惊慌失措，这就导致了数学史上所谓的“第三次数学危机。”
危机是由康托尔研究的无限集合引发的。危机产生后，包括罗素本人在内的众多数学家投入到解决危机的工作中去。1908年，策梅罗提出公理化集合论，后经改进形成无矛盾的集合论公理系统，简称ZF公理系统，使原本直观的集合概念建立在严格的公理基础之上，从而避免了罗素悖论的产生，在表层上解决了第三次数学危机。
柳暗花明又一村：无穷小重返数学舞台
17世纪下半叶，牛顿、莱布尼兹创立的微积分学，用了无穷小量的概念，但因对其解释含糊不清，出现了贝克莱悖论，导致数学史上的“第二次数学危机”，19世纪，柯西、维尔斯特拉期等人引入极限论、实数论，使微积分理论严格化，从而避免了贝克莱悖论，圆满解决了第二次数学危机。然而与此同时，极限方法代替了无限小量方法。无穷小量作为“消失了量的幽魂”被排斥在数学殿堂之外了。
1960年，美国数理逻辑学家A鲁滨逊指出：现代数理逻辑的概念和方法为“无限小”、“无限大”作为“数”进入微积分提供了合适的框架，无穷小量堂而皇之地重返数坛，成为逻辑上站得住脚的数学中的一员，被认为是“复活了的无穷小”。这样微积分创立300年后，第一个严格的无穷小理论才发展起来。回顾微积分学发展的历史，无穷小分析法――极限方法――无穷小分析法，否定之否定，微积分学基础获得了进一步发展。
实无限、潜无限
认真考察无穷在数学中的发展历程，可以注意到在数学无穷思想中一直存在着两种观念：实无限思想与潜无限思想。所谓潜无限思想是指：“把无限看作永远在延伸着的，一种变化着成长着被不断产生出来的东西来解释。它永远处在构造中，永远完成不了，是潜在的，而不是实在。把无限看作为永远在延伸着的（即不断在创造着的永远完成不了的）过程。所谓实无限思想是指：把无限的整体本身作为一个现成的单位，是已经构造完成了的东西，换言之，即是把无限对象看成为可以自我完成的过程或无穷整体。数学中无限的历史实际上是两者在数学中合理性的历史。
亚里士多德只承认潜无限，使其在古希腊数学中占统治地位。文艺复兴时期后，实无限在数学中统治了三个世纪。17世纪下半叶，牛顿、莱布尼兹创立的微积分学也是以实无限小为基础的，在其理论中，无穷小量被看作一个实体,一个对象，正因此，早期微积分又被称之为“无穷小分析”。这种以实无限思想为据的理论在其产生后的一个世纪被广大数学家所使用，因而使这段时期成为实无限黄金时期。微积分被形容为一支关于“无穷的交响乐”。但由于当时人们对无穷小量概念认识模糊，导致产生了贝克莱悖论及一系列荒谬结果。在高斯时代，实无限已开始被抛弃了，尤其到了十八世纪末至十九世纪约百年时间中，随着重建微积分基础工作的完成，无穷小量被拒之于数学大厦之外，无穷小被看作实体的观念在数学分析中亦被驱除了，而代之以“无穷是一个逼近的目标，可逐步逼近却永远达不到”的潜无限观念。这种思想突出表现中现在标准分析中关于极限的定义中，并由此建立起了具有相当牢固基础的微积分理论，使得潜无限思想在这段时期深入人心。然而，到本世纪六十年代，A鲁滨逊创立的非标准分析，使无穷小量再现光辉，荣归故里，重新堂而皇之的登进数学的殿堂，而可与柯西的极限分庭抗衡了。尤其，在康托尔的无穷集合论中，体现的也是“无穷集合是一个现实的、完成的“存在着的整体”的实无限思想，这就足以使得实无限思想可与潜无限思想形成“双峰对峙”“炮马争雄”的局面了。
那么，无穷到底是实无限，抑或是潜无限呢？
两种无穷思想在数学上经历过“江山代有才人出，各领风骚数百年”的此消彼长与往复更迭后，已在现代数学中日趋合流，实际上现在数学中早已是既离不开实无限思想也离不开潜无限思想了。标准分析与非标准分析的使用表明：用两种不同的无穷思想为据，采取不同的方式却可以得出完全相同的结果。这殊路同归的结局，意味着两种无穷思想可以避开“两虎相争，必有一伤”而走向“平分秋色，辉映成趣”了。
当我们上升到哲学高度时，可能会获得对两者关系的更清楚认识。
辩证法告诉我们，要从整体，从两方面看问题。如同我们所熟悉的“金银盾”的故事那样，看到金一面的说是金盾，见到银一面的说是银盾，而实际上对盾的认识应是“一面是金，一面是银”，数学家们对无穷的认识亦相仿。看到无穷实在性一方面的说无穷是实无穷，见到无穷潜在性一面说无穷是潜无限，但对无穷的认识只能是“无穷既是实无限，又是潜无限”，无穷本身就是一个矛盾体，它既是一个需无限趋近的过程，又是一个实体，一个可研究的对象。在这一矛盾体中，矛盾的一方是实无限，另一方是潜无限而无穷正是这矛盾双方的对立统一。事物并非只是“非此即彼”而是可以“亦此亦彼”的。潜无限作为矛盾体的一面，是对有穷的直接否定，而实无限作为矛盾体的另一面则是对潜无限的否定，是否定之否定。诚如徐利亚教授提出的无穷双相性理论：实无限、潜无限只是一枚硬币的两面罢了。――这倒并非是哲学的玄奥思辩，而是辩证法为我们上的生动一课。
结语
“数学是研究无穷的学科。”数学与无穷确实有着不解之缘。认识论说，人的认识总是由具体到抽象，而这一认识过程从一定角度看也可以说是由有限到无限的迈进，而数学是最具抽象性的学科，这亦足以说明在向无限的迈进中，数学达到的层次是最深入的。并且在数学中，无穷是永远无法回避的。因为数学证明就是用有限的步骤解决涉及无穷的问题。数学与无穷间的关系是剪不断、理还乱的。从数学产生之日起，无穷就如影如随，伴着数学的发展齐步前进。尤其当微积分产生后，数学与无穷的联系就更紧密了。恩格斯说：“莱布尼兹是研究无限的数学的创始人。”诚如恩格斯所言，从唯物辩证法角度来看，数学的发展从初等数学到高等数学的质的飞跃，就是数学上从研究有限到研究无限的质的飞跃。微分和积分实质上都是一种极限，而极限过程就是无限过程。因此可以说，微积分在数学树立了一座认识无穷的不朽丰碑，另外康托尔的无穷集合论也使人们对无穷的认识上升到一个新层次。
然而“无穷既是人类最伟大的朋友，也是人类心灵宁静的最大敌人。”（希尔伯特语）因为征服无穷的路毕竟是这样地难行。在数学无穷发展历程中，我们已经看到征服无穷的路途中，悖论是一次次出现：芝诺悖论、贝克莱悖论、罗素悖论的出现即为例证。虽说，历经几百年，数代数学家的艰苦努力，建立的极限论、实数论、ZF公理系统解决了这些悖论及由此导致的危机。然而悖论的的清除，矛盾的回避也导致了数学确定性的一步步丧失。第三次数学危机只是于表面上解决了，实质上更深刻地以其它形式延续着。希尔伯特曾企图用形式主义“一劳永逸地消除任何对数学基础可靠性的怀疑。”然而其一揽子解决方案在1930年哥德尔发现不完备定理后宣告付之东流了。哥德尔的工作使人们对无穷的认识又上升了一个层次。人们开始更深刻地明白：任何想一劳永逸解决无穷问题的努力是乌托邦式工作不可能成功。认识无穷、征服无穷之途是漫漫无际的。然而数学中没有不可知！经过一代代人的努力，人们对无穷的认识必将一次次上升到新的高度！
XXFF
| 发表时间：2004-09-11, 23:23:23 |
 作者资料
|
星空浩淼
发表文章数: 1743
武功等级: 九阳神功
(第五重)
内力值: 617/617
Re: 数学无穷思想的发展历程(转)
1）无穷级数S＝1－1＋1－1＋1………的确等于1／2！
关于这个问题，人们经历了一个否定之否定过程。可和级数或渐近级数在物理学和工程计算中是有用的，这表明象S＝1－1＋1－1＋1………=1／2这样的广义和是合理的，客观实在的。
2）个人看法：潜无穷和实无穷两个看法都对，这要看处于什么角度来分析。这如同量子力学中的波粒二象性一样，是粒子又是波，两个都对。具体地讲，潜无穷对应不完备但满足一致性的情形；而实无穷对应不一致性但满足完备性的情形。一致性和完备不能兼而有之（歌德尔定理）。具体分析起来比较麻烦，略。
3）个人看法：唯一困扰人类智慧的东西就是无穷。无穷也是科学发展的动力。至少，作为科学基础的物理和数学，它们的发展就是这样。
持之以恒就是胜利
| 发表时间：2004-09-14, 10:10:26 |
作者资料
|
XXFF
发表文章数: 480
武功等级: 空明拳
(第五重)
内力值: 419/419
Re: 数学无穷思想的发展历程(转)
--1）无穷级数S＝1－1＋1－1＋1………的确等于1／2！
--关于这个问题，人们经历了一个否定之否定过程。可和级数或渐近级数在物理学和工程计算中是有用的，这表明象S＝1－1＋1－1＋1………=1／2这样的广义和是合理的，客观实在的。
该无穷级数是发散，争论它的和是多少无什么意义。阿贝尔给他原先的老师 Holmboe信中说：“发散级数是魔鬼的发明。把不管什么样的任何证明建立在发散级数的基础之上都是一种耻辱。利用发散级数人们想要什么结论就可以得到什么结论，而这也是发散级数已经产生了如此多的谬论和悖论的原因...”。
然而，发散级数在处理象微分方程等问题时太有用了。彭加莱1886年在考虑天文问题时提出了渐近级数的概念，1895年波莱尔（Borel）思考处理了发散渐近级数的方法，后人称波莱尔可和性、波莱尔变换，或者波莱尔求和法。在量子场论和弦理论里，该方法是从微扰级数（费曼图）展开中寻找非微扰效应的有效的解析手段。这里站长是否给科普一下。
渐近级数不是用来求无穷和式之值的，你可利用它的有限的部分和，来对某个函数进行近似的估计，其误差是控制的。渐近级数目前在许多领域中的应用取得了巨大的成功。
XXFF
| 发表时间：2004-09-14, 22:34:19 |
作者资料
|
星空浩淼
发表文章数: 1743
武功等级: 九阳神功
(第五重)
内力值: 617/617
Re: 数学无穷思想的发展历程(转)
下面我的回答比较长，希望站长也加入进来，因为其中就涉及到我们以前讨论过的跟无穷有关的悖论的问题。
该无穷级数是发散，争论它的和是多少无什么意义。阿贝尔给他原先的老师 Holmboe信中说：“发散级数是魔鬼的发明。把不管什么样的任何证明建立在发散级数的基础之上都是一种耻辱。利用发散级数人们想要什么结论就可以得到什么结论，而这也是发散级数已经产生了如此多的谬论和悖论的原因...”。
这个是原来的看法，后来人们觉得这个看法太极端、太严格。所以才有你下面的文字：
“然而，发散级数在处理象微分方程等问题时太有用了。彭加莱1886年在考虑天文问题时提出了渐近级数的概念，1895年波莱尔（Borel）思考处理了发散渐近级数的方法，后人称波莱尔可和性、波莱尔变换，或者波莱尔求和法。在量子场论和弦理论里，该方法是从微扰级数（费曼图）展开中寻找非微扰效应的有效的解析手段。这里站长是否给科普一下。
渐近级数不是用来求无穷和式之值的，你可利用它的有限的部分和，来对某个函数进行近似的估计，其误差是控制的。渐近级数目前在许多领域中的应用取得了巨大的成功。”
只要发散级数还有用，就表明它不是完全的谬论或“魔鬼”。有时候可以看作一些运算的逆过程。例如x=1+x，无穷叠代得到x=1+1+1+1+...，而无穷大的确可以看作是方程x=1+x的解。再如，有些方程有不同的叠代方法，按照传统观念，其中有些是“合法的”，叠代是收敛的；而有些“非法的”，叠代是发散的。但实际上，这种人为地规定“合法”与“非法”，令人感觉别扭——事实上，存在这样两种叠代的原因就在于：原来的方程的确存在两种解，一个有限，一个是无穷大。因此从数学逻辑上讲，这里没有错。有时候，无穷大并不可怕，几个无穷大的运算可以给出有意义的有限结果来。
另外，按照渐近级数的定义，渐近级数包括的范围比较广，它既包含一些发散级数，也包括可和级数和收敛级数。在这里，我没有把可和级数算在发散级数之内，因为我认为那是一种历史错误（可能现在的数学家们也是这样认为的）。可和级数应该看作是收敛级数和发散级数之间的临界点，它的“荒唐”是表观的。在广义和（Borel和是其中的一个特例）的意义上，它的和是严格并且有意义的。我们利用渐近级数近似求和，跟渐近级数本身是否有严格的和是两码事。
例如这个话题中涉及到的f=1-1+1-1+1-1+...=1/2，这个1/2应该看作这个级数的严格和（以前说这个级数发散，有赖于对“发散”的定义）。我们知道，一个函数f，左右极限存在且相等(为F），则被严格定义为f有极限，且极限为F。而我们可以证明函数f=1/(1+x)左右极限存在且相等,一方面均为1/2，另一方面，在x大于或小于1时，f可以展开成不同的收敛级数，用级数求左右极限，发现它均等于1-1+1-1+1-1+...。总之，函数f=1/(1+x)左右极限存在且相等——均等于1-1+1-1+1-1+...并且均等于1/2，因此f=1-1+1-1+1-1+...=1/2。
事实上，用添加括号的办法让1-1+1-1+1-1+...等于0或者1，这种荒唐不是级数本身带来的，不能以此来证明这个级数属于发散级数，而是添加括号的办法本身有问题——即使一些收敛级数，也不能随便添加括号。无穷跟有限不同，如果对无穷多个数定义“最后一个”或定义排列顺序，结果导致悖论（一些关于无穷的悖论中，有些就是要求对无穷多次事件追寻最后一次，这样的悖论以前我跟站长讨论过，见站长的主页），而加括号就相当于定义“最后一个”或定义排列顺序。无穷的级数一旦给出，就要保留它的形式不变的前提下讨论问题。有些级数改变排列形式结果也不变，这只是该级数特殊的性质，是特例。
事实上，在定义间断函数（分段函数）在间断点处的取值时，以及在函数的傅立叶级数展开时，本质上就用到了1-1+1-1+1-1+...=1/2。
当一个函数的渐近级数是收敛的时候，一般地，这个函数所对应的渐近级数是唯一的。
我以前在"观星楼"那里科普了一把渐近级数，可惜没有写完，因为手头上一直在干其他活儿。如果将来回过头来作需要用到渐近级数的工作(例如QCD求和规则中或非线性物理中就要用到这个），那时再接着科普:-)。如果其他人先在这里科普一把更好，我可以纠正自己的一些不准确的看法。
:-）
持之以恒就是胜利
| 发表时间：2004-09-15, 05:53:47 |
作者资料
|
星空浩淼
发表文章数: 1743
武功等级: 九阳神功
(第五重)
内力值: 617/617
Re: 数学无穷思想的发展历程(转)
对我来说，现在的确没有时间和精力专门研究这些“课外的”东西，我所讲的很业余，可能其中谬误多多。一般都是在吃过去的老本，很多年没有再钻研这些了，目前还是生计第一，不能只为思想而活了。希望我的“长篇大论”不会带来误导，大家要带着有色眼睛来看。:-)
持之以恒就是胜利
| 发表时间：2004-09-15, 08:28:44 |
作者资料
|
XXFF
发表文章数: 480
武功等级: 空明拳
(第五重)
内力值: 419/419
Re: 数学无穷思想的发展历程(转)
不知星空兄是如何定义级数收敛与发散的。
一般地，级数收敛的定义为其部分和数列有极限.
我们研究一下普通的等比无穷级数（几何级数）：1+X+X^2+X^3+...
（1）X绝对值〈1：其部分和1+X+X^2+X^3+...+X^（N-1）=（1-X^N）/（1-X），这时它收敛，和为1/1-X
（2）X绝对值〉1：N-》无穷大时，其部分和（1-X^N）/（1-X）也-》无穷大，这时它无极限，发散，不谈和
（3）X=1，其部分和为N，这时它也发散，不谈和
（4）X=-1，其部分和（1-（-1）^N）/2当N-》无穷大时，为0或1，无极限，发散，不谈和。
我们谈的1-1+1-1+...其实就是第（4）种情况。
星空兄是否也认为（-1）^N，当N-》无穷大，（-1）^N-》0 ？
XXFF
| 发表时间：2004-09-26, 02:45:00 |
作者资料
|
卢昌海
发表文章数: 1617
武功等级: 北冥神功
(第一重)
内力值: 602/602
Re: 数学无穷思想的发展历程(转)
以后有时间我也来写几篇文章讨论发散级数及其在数学物理中的应用。 现在先为这里的讨论添几根柴火。:-)
我觉得星空兄用一个函数在某点处左右极限均存在且相等，作为函数在该点处数值等于该极限的依据（并用类似的方法论证 1-1+1-1+1-1+... 的确等于 1/2）是不妥的。一个函数完全可以在某点处左右极限均存在且相等但在该点上有一个截然不同的数值甚至根本没有数值。只有在该点连续的函数才满足星空兄所说的性质。而当我们讨论与 1-1+1-1+1-1+... 相联系的函数时并不能先验地对函数的连续性做出假定。如果假定了，实质上是对级数和作了一种特殊的定义。无论哪一种情况，都不能视为是对 1-1+1-1+1-1+...=1/2 的 “证明” （不过可以视为对其 “合理性” 的 “证明” - 也许这正是星空兄的意图:-）。
1-1+1-1+1-1+... 究竟等于多少？归根到底还是取决于级数和的定义（当然这种定义要有一定的合理性，否则很难有应用价值）。这种定义所满足要求通常有这样几条：
1. 对所有传统意义上的收敛级数，它必须等于传统的级数和。
2. ∑(a_n+b_n) = ∑a_n + ∑b_n。
3. ∑(c.a_n) = c.∑a_n。
换句话说级数和 ∑ 是无穷维空间 V={(a_1, a_2, ...)} 的一个子集到 R 的线性映射。传统级数和的定义域较小。各种广义和（如 Abel sum, Borel sum, Cesaro Sum, etc）是对该定义域的延拓。
一个毫无疑问的事实是： 象 1-1+1-1+1-1+... 这样的所谓发散级数的传统和是不存在的， 也就是说传统部分和 s_n 的极限是不存在的。 XXFF 所问的 (-1)^N 当 N 趋于无穷大时的极限也不存在， 但这并不对 1-1+1-1+1-1+... 的广义和等于 1/2 构成挑战， 因为后者既不需要、 也不可能假定 (-1)^N 的极限存在， 只有传统和的存在性才有赖于该极限是否存在。
广义和的定义通常有两类： 一类是对传统和“函数化”， 然后定义广义和为函数的某种极限， 比如 Abel sum, Borel sum 等（这类定义类似于对可去奇点的处理）； 另一类是用其它无穷序列（比如部分和的平均值）取代传统的部分和， 定义广义和为前者的极限， 比如 Cesaro Sum。 XXFF 所用的 1+X+X^2+X^3+... 是 Abel sum 的思路， 但 Abel sum 是用 x→-1 来定义广义和， 这一方法不能用于 x=-1， 因为后者正是传统和本身， 它并不存在。
有一个问题我觉得很有意义， 但没有查过文献。 那就是广义和作为传统和的延拓， 是否是唯一的？ 我没见过任何两种广义和对同一个发散级数 （即在传统级数和的定义域之外的级数） 给出不同的结果， 但也没见有关唯一性的证明 （或否证）。 如果哪位朋友知道的话欢迎介绍一下。
宠辱不惊，看庭前花开花落
去留无意，望天空云卷云舒
| 发表时间：2004-09-26, 10:54:58 |
作者资料
|
星空浩淼
发表文章数: 1743
武功等级: 九阳神功
(第五重)
内力值: 617/617
Re: 数学无穷思想的发展历程(转)
XXFF说的是传统意义上的（本科教材上是这样教我们的），在广义和那里思路需要拓宽些。
我完全同意昌海兄所说的。我本人也的确不是想给出数学证明，只想给出一种理解上的“合理性”。
我看到书上的讲解，把泰勒级数展开也视为一种特殊的渐近级数展开（当然，我们知道两种不同近似：给定自变量取值或给定展开项数），此时对应的渐近级数是唯一的。我们在高数里面学习的傅立叶展开，有时不用等号而用~，就因为涉及一点广义和的味道。
广义和的唯一性好象是对广义和定义的一个要求，这会儿我也记不清了。另一个要求昌海兄提到过：必须覆盖传统的和。不同的广义和“功能强大的程度”不同，有些级数用一种广义和仍然无法求和，但另一种更复杂的广义和则能够求。
持之以恒就是胜利
| 发表时间：2004-09-26, 23:18:56 |
作者资料
|
XXFF
发表文章数: 480
武功等级: 空明拳
(第五重)
内力值: 419/419
Re: 数学无穷思想的发展历程(转)
站长添的柴火把问题照清楚了。
我上面问的问题是因为星空兄证明完了我还没了解星空兄得出1/2值时对“广义和”的定义，以及星空兄说“这个1/2应该看作这个级数的严格和。”，我理解成其广义和如不等于1/2就需更改定义，它是最合理的定义。我还是觉得弄清楚它的广义和是多少无大意义，关键在于该定义带来的应用。
我问（-1）^N，当N-》无穷大，（-1）^N是否-》0，意思是问星空兄与大家，数学历史上是否存在“广义极限”的概念，如能定义出“广义极限”，“广义和”的定义可以从传统和平滑拓展开来。
我还是认为无穷是魔鬼，要什么可去定义什么，关键是如何应用与驾御它，让无穷为我们理解与服务。
XXFF
| 发表时间：2004-09-27, 00:53:44 |
作者资料
|