![](http://k.sinaimg.cn/n/sinakd20231114s/179/w1080h699/20231114/147a-e229cf0f1f117e54a473652c7a6c7aa8.jpg/w700d1q75cms.jpg)
在19世纪,数学家们将微积分的严格性提高到一个新的水平。然而,按照我们今天的标准,这些成就并不是无可挑剔的。当你拜读那个时期的数学文献时,犹如聆听音乐大师肖邦在一架三两琴键失调的钢琴上演奏乐章,固然能够怡然自得地鉴赏音乐的神韵,不过间或也会听到些许畸变之音。
只有在微积分中消除不精确性的最后痕迹,分析论证变成对于一切实用目的都是无可置疑的时候,数学的新纪元才能到来。魏尔斯特拉斯是实现这个最后转变的最大功臣。
作者 | [美] William Dunham
译者 | 李伯民 汪军 张怀勇
魏尔斯特拉斯沿着一条非传统的道路崭露头角。他在学生时代,成绩并不优异,却热衷于狂饮啤酒和击剑。到30岁时,魏尔斯特拉斯成为德国一所偏僻的大学预科学校(高级中学)的教师,这所学校远离欧洲的学术中心。在白天,他对学生讲授算术和书法,只有在课余且批改完学生的作业之后,年轻的魏尔斯特拉斯方能致力于他的数学研究。
这位名不见经传的来自德国一个不知名小镇的中学教师,在1854年发表了一篇关于阿贝尔积分的论文。凡是读过这篇文章的数学家,无不惊讶万分。很明显,这篇论文的作者,必定是具有非凡天赋的奇才。不出两年,魏尔斯特拉斯在柏林大学谋求到一个职位,受聘为这所大学的教授,并跻身于世界杰出数学家的行列。他的事迹,算得上是一个真实灰姑娘的故事。
魏尔斯特拉斯对分析学作出的贡献是极为显著的,正如他的教学方法是举世闻名的一样。随着他的赫赫名声在德国和欧洲的传播,这位数学大师吸引着渴望师从他的年轻数学家们。在他的门下云集了一大批追随者。那时人们可以见到这样一种真实的场景,患有严重眩晕症的魏尔斯特拉斯坐在一把安乐椅上授课,而由一名指派的学生把他的话写在黑板上。(这样一种讲课方式令后来的教授们羡慕不已,然而是几乎无法重现的。)
如果说魏尔斯特拉斯的执教风格是异乎寻常的话,那么他对待发表研究成果的态度也是与众不同的。尽管他的讲课充满了新颖的观点和重要概念,但是他疏于发表文章,而是经常让别人从他们自己的著述中去传播这样的知识。因此人们发现,他的成果是笼统地属于魏尔斯特拉斯学派的。那些信仰“不发表就是毁灭”的现代学者们,很难理解这种非占有式的学术观念。魏尔斯特拉斯以创立具有重大意义的数学为己任,宁愿去冒毁灭的风险。
魏尔斯特拉斯学派通过魏尔斯特拉斯本人或者他的门生们发表的研究成果,对分析学赋予逻辑上的一种无与伦比的精确性。他矫正了许多难以捉摸的错误概念,证明了大量重要的定理,并且构造出一个令数学家们惊叹不已的处处连续而又不可微的函数的反例。他也被誉为“现代分析学之父”。
魏尔斯特拉斯不仅重新审视分析学中的各种定义,同时他还是应用它们证明重要定理的大师。而这也为他搭建起数学史上行将演绎的一个轰动事件的舞台:魏尔斯特拉斯病态函数。
数学家们早就知道,一个可微的(“光滑的”)函数必定是连续的(“不间断的”)函数,但是,反之不然。例如,一个像
这样的V字型函数是处处连续的函数,但是它在x = 0处是不可微的,它的图形在那里突然改变方向,形成一个拐角。
然而,人们曾经认为连续函数必定“多半”是光滑的。赫赫有名的安德烈·马里·安培(1775—1836)对连续函数通常是可微的命题曾经提出过一个证明,而且在19世纪整个前半期,微积分学教科书都支持这种见解。
这无疑是有吸引力的。任何人可以想象这样一幅连续的“锯齿”状图形,平滑地上升到一个齿角,然后下降到下一个齿角,接着再上升到另一个齿角,如此延续下去。当我们压缩“锯齿”时,得到越来越多不可微的点。尽管如此,似乎必定继续存在使函数图形从一个齿角平滑地上升或者下降到另一个齿角的区间。由此可见,几何图形表明,任何连续函数必定存在大量可微的点。
因此,当魏尔斯特拉斯构造出处处连续但是无处可微的函数时,引起巨大震惊,这是一个稀奇古怪的函数实体,它看起来是连续的,却是处处参差不齐的。这个函数被大多数人视为难以想象的,它不仅推翻了安培的“定理”,而且把几何直观作为微积分的可靠基础的主张逐出了历史舞台。
人们普遍认为,魏尔斯特拉斯是在19世纪60年代构造出他的例子的,并且在1872年7月18日把这个例子提交给柏林科学院。按照以往的习惯,魏尔斯特拉斯没有匆忙公布他的发现;直到1875年,这个病态函数才由保罗·杜布瓦·雷蒙(1831—1889)首次发表。
毋庸置疑,一个如此特殊的函数自然远非初等函数。就其学术上的复杂程序而言,它或许是本书中要求最苛刻的结果。但是,由于这个函数独具的违反直觉的特性,努力构造它是非常值得的,更不用说它具有的历史意义了。下面我们仿效魏尔斯特拉斯的论证,但是改变了他的记号,同时为了清晰起见,间或添加了某些细节。
我们从一个引理开始,这个引理是魏尔斯特拉斯在证明中需要使用的。他用一个三角恒等式证明这个引理,但是我们给出利用微积分的一个证明。
引理 如果B > 0,那么
![](http://k.sinaimg.cn/n/sinakd20231114s/538/w1080h258/20231114/ceba-3c5b8b72c9ba7416e5dabbb0eac2d222.png/w700d1q75cms.jpg)
证明 令
![](http://k.sinaimg.cn/n/sinakd20231114s/534/w1080h254/20231114/1a3e-10132bb0711e0aef1e9c31e76d56a54a.png/w700d1q75cms.jpg)
是区间[A, A + B]上的函数。根据中值定理,在A和A + B之间存在一点c,使得
![](http://k.sinaimg.cn/n/sinakd20231114s/581/w1080h301/20231114/f46f-444a06d5834ffb2f867aca92a2b88278.png/w700d1q75cms.jpg)
这个结果等价于
![](http://k.sinaimg.cn/n/sinakd20231114s/473/w1080h193/20231114/23c9-909894d94c737cec334e3287cb497ac4.png/w700d1q75cms.jpg)
由此推出
![](http://k.sinaimg.cn/n/sinakd20231114s/435/w1080h155/20231114/693b-89e4b25b9ce6eea6734442a62436c9fc.png/w700d1q75cms.jpg)
现在我们用魏尔斯特拉斯本人当初的表达方式介绍他的著名反例。
定理 如果 a ≥ 3 是一个奇数,b是严格介于0与1之间的一个常数且满足
![](http://k.sinaimg.cn/n/sinakd20231114s/521/w1080h241/20231114/8bce-5583b260bef4cf599cb15c80cfd9b613.png/w700d1q75cms.jpg)
,那么函数
![](http://k.sinaimg.cn/n/sinakd20231114s/609/w1080h329/20231114/f9f3-0fe3125f0d19fdf20e53c78dca36b89d.png/w700d1q75cms.jpg)
是处处连续的和无处可微的。
![](http://k.sinaimg.cn/n/sinakd20231114s/445/w947h298/20231114/5415-91344361f5fd34a7ca3e61542469fde4.png/w700d1q75cms.jpg)
证明 显然,魏尔斯特拉斯在对a和b设置这些离奇的约束条件之前,已经进行了大量收集材料的准备工作。为了简化讨论,我们将取a = 21和b = 1/3。这种选择满足定理中设定的条件,因为 a ≥ 3 是一个奇数,b位于区间(0, 1)内,并且
![](http://k.sinaimg.cn/n/sinakd20231114s/469/w1080h189/20231114/a447-576c929436daab9615805e43227c7d68.png/w700d1q75cms.jpg)
。所以,我们的特定函数将是
![](http://k.sinaimg.cn/n/sinakd20231114s/404/w1080h124/20231114/273d-738336a2c3d225144ef5c6348b185492.png/w700d1q75cms.jpg)
(3)
为了证明f的连续性,只需应用M检验法。显而易见,
![](http://k.sinaimg.cn/n/sinakd20231114s/723/w1080h443/20231114/5969-c5c3644267f279141d3e2da1500ed491.png/w700d1q75cms.jpg)
是处处连续的,所以根据前面的定理1,f也是处处连续的。
收敛于3/2。因此,这个级数一致收敛于f。由于每个直和项
,而
对于证明函数f是处处连续的和无处可微的,看起来我们已做了一半工作,然而,证明它是“无处可微的”部分却是难上加难的。为此目的,我们从固定一个实数r开始。我们的目标在于证明
是不存在的。由于r是任意的,这个结果也就证实f无论在什么点都是不可微的。
在下述魏尔斯特拉斯推理中,汇集一些看上去没有联系的问题的若干结果是有益的。毫无疑问,其中每个结果都会在他的盛大演出的某个场合扮演重要角色。
首先,魏尔斯特拉斯注意到,对于每个m = 1, 2, 3, …,实数21 mr(像任何实数一样)处于同它最接近的整数的半个单位的范围内。因此,对于每个整数m,存在这样一个整数αm,使得
![](http://k.sinaimg.cn/n/sinakd20231114s/575/w1080h295/20231114/ef4f-8188f47901c44fef883ccfd2c46b9161.png/w700d1q75cms.jpg)
![](http://k.sinaimg.cn/n/sinakd20231114s/547/w1080h267/20231114/223d-5a5e615c4bb5d935da8298a9bef33c53.png/w700d1q75cms.jpg)
同21 mr之间的间距,我们看出
为
(参见图9-7)。令
![](http://k.sinaimg.cn/n/sinakd20231114s/541/w1080h261/20231114/bb22-fddb3bff7fdbe0d8f22b5c5102eb0afe.png/w700d1q75cms.jpg)
(4)
![](http://k.sinaimg.cn/n/sinakd20231114s/141/w785h156/20231114/cfc4-2d4fc85c62537adde859c439124af9dc.png/w700d1q75cms.jpg)
由于
![](http://k.sinaimg.cn/n/sinakd20231114s/785/w1080h505/20231114/4c29-e207ef9f8efe7a9d894ac326c8608744.png/w700d1q75cms.jpg)
![](http://k.sinaimg.cn/n/sinakd20231114s/566/w1080h286/20231114/1b49-f8b41575d916cb49409650e72941077b.png/w700d1q75cms.jpg)
,并且注意
。为了便于表示,我们引入
,所以
![](http://k.sinaimg.cn/n/sinakd20231114s/560/w1080h280/20231114/453b-09a5e3334ebc6645b3c37763f770fe80.png/w700d1q75cms.jpg)
(5)
和
现在,根据挤压定理,
![](http://k.sinaimg.cn/n/sinakd20231114s/615/w1080h335/20231114/f71a-169a3ab395caa3744efef7cbfaae7dca.png/w700d1q75cms.jpg)
![](http://k.sinaimg.cn/n/sinakd20231114s/705/w1080h425/20231114/8be2-5982e5ab2fed363902e8a81890307b6e.png/w700d1q75cms.jpg)
。这个正数项序列将在证实f (x)的不可微性中起决定性作用。
足以保证
这时,我们(暂且)固定整数m。像魏尔斯特拉斯所做的那样,我们利用式(3),并且考察微商:
![](http://k.sinaimg.cn/n/sinakd20231114s/744/w1080h464/20231114/649c-58493bb0c2f9af6c9e1669bc65891fb9.png/w700d1q75cms.jpg)
(6)
在此,无穷级数已经被分成两部分。魏尔斯特拉斯将分别考察每一部分的绝对值。
对于第一个级数,我们应用引理,并取
![](http://k.sinaimg.cn/n/sinakd20231114s/633/w1080h353/20231114/fbdf-84604e1b061bfd16c9bdeffdd2fc8583.png/w700d1q75cms.jpg)
![](http://k.sinaimg.cn/n/sinakd20231114s/664/w1080h384/20231114/e3be-d042ed023e3d3cbe87670ece0d934bc5.png/w700d1q75cms.jpg)
,确定每个直和项的界如下:
和
![](http://k.sinaimg.cn/n/sinakd20231114s/641/w1080h361/20231114/6d1f-67d9864542307711e3bf21f2b919d0cf.png/w700d1q75cms.jpg)
于是,由三角不等式,我们得到第一个级数的一个上界:
![](http://k.sinaimg.cn/n/sinakd20231114s/739/w1080h459/20231114/49f9-96bcfa8d58114f0e6a1f624fc389a309.png/w700d1q75cms.jpg)
(7)
式(6)中的第二个级数提出一个更大的挑战。为了确定它的绝对值,我们进行四项相关的考察:
(A)如果k≥m,由式(4)和式(5)看出
![](http://k.sinaimg.cn/n/sinakd20231114s/566/w1080h286/20231114/c181-63bb2339c158c5110b32f81391ee181f.png/w700d1q75cms.jpg)
但是
![](http://k.sinaimg.cn/n/sinakd20231114s/550/w1080h270/20231114/d67d-7cc06d4d75862bd9d5d9705452564649.png/w700d1q75cms.jpg)
![](http://k.sinaimg.cn/n/sinakd20231114s/64/w1080h584/20231114/a24c-472b07231e842e4f0d3eca8fedc5a0cc.png/w700d1q75cms.jpg)
为偶数或者奇数。由此推出
等于 π 的偶数倍或者奇数倍,这取决于
是一个奇数,而αm也是一个整数。因此,
![](http://k.sinaimg.cn/n/sinakd20231114s/365/w1080h85/20231114/44fa-f0d32680ec523eceddad8dd83409f9b3.png/w700d1q75cms.jpg)
(B)我们再限定k≥m,并且利用式(4),得到
![](http://k.sinaimg.cn/n/sinakd20231114s/376/w1080h96/20231114/0b06-60fb362c8dbc650433f303b5c67de1ab.png/w700d1q75cms.jpg)
由一个众所周知的三角恒等式,我们得到
![](http://k.sinaimg.cn/n/sinakd20231114s/564/w1080h284/20231114/4544-343f463d7e6c15e4537819fa419a8449.png/w700d1q75cms.jpg)
此处
![](http://k.sinaimg.cn/n/sinakd20231114s/664/w1080h384/20231114/189b-026c58882c93e0428912abaf60faf0ca.png/w700d1q75cms.jpg)
为偶数或者奇数,所以
等于π的偶数倍或者奇数倍,这取决于
![](http://k.sinaimg.cn/n/sinakd20231114s/439/w1080h159/20231114/f36e-d5660cf2267abfb68360ebd6331fc3be.png/w700d1q75cms.jpg)
(C)(这是一项容易求得的结果)由于余弦的性质,
![](http://k.sinaimg.cn/n/sinakd20231114s/471/w1080h191/20231114/7216-3002130f1a7361cda86dfb07ffc91075.png/w700d1q75cms.jpg)
(D)由于
![](http://k.sinaimg.cn/n/sinakd20231114s/28/w1080h548/20231114/8eee-a01d77b589738b5c7eefd79fd250a903.png/w700d1q75cms.jpg)
![](http://k.sinaimg.cn/n/sinakd20231114s/760/w1080h480/20231114/92d6-c7617a2f26150dd72859ecdda1bef8ff.png/w700d1q75cms.jpg)
![](http://k.sinaimg.cn/n/sinakd20231114s/580/w1080h300/20231114/3538-d96704d3d898a1823b05ec8f4f856f5c.png/w700d1q75cms.jpg)
。
,所以
,可知
现在,对于式(6)中第二个级数应用(A)和(B)的结果,得到它的绝对值的一个下界:
![](http://k.sinaimg.cn/n/sinakd20231114s/400/w1016h984/20231114/7ade-a87147dad54e2178da76db6b604ce8ce.png/w700d1q75cms.jpg)
最后一个等式成立是因为根据(C),级数中的每一项取非负值。
这个非负项级数的和必定大于它的第一项(其中k = m),所以根据(D)和式(5),我们得到
![](http://k.sinaimg.cn/n/sinakd20231114s/625/w1080h345/20231114/caff-16cf99fdaf7a77ec96103aa8b2d15a11.png/w700d1q75cms.jpg)
以上全部推导,落下了正剧之前的冗长序幕。魏尔斯特拉斯此时导出了关键性的不等式,他从刚才证明的结果开始,最终确定函数f (x)的微商的界限:
![](http://k.sinaimg.cn/n/sinakd20231114s/539/w1080h259/20231114/ffbd-7a1b50f5bcdf88bac729e534df5fffae.png/w700d1q75cms.jpg)
(根据式(6))
![](http://k.sinaimg.cn/n/sinakd20231114s/563/w1080h283/20231114/e788-455f03362e682cae4ee70b6775753f8b.png/w700d1q75cms.jpg)
(根据式(7))
从这一串不等式中的第一个和最后一个,我们推出
![](http://k.sinaimg.cn/n/sinakd20231114s/457/w1080h177/20231114/acfb-b02d781e85ea4cdbcb0fca4a1b039ccf.png/w700d1q75cms.jpg)
(8)
表达式(8)具有两个主要特性:第一,数
![](http://k.sinaimg.cn/n/sinakd20231114s/676/w1080h396/20231114/4a0a-f021ad8ea2c44d773fa22f7b7ab04ec5.png/w700d1q75cms.jpg)
是一个正常数。第二,式(8)中的不等式对于我们所取的固定的自然数m成立,而m是随意取的。考虑到这一点,我们现在“不固定”m,并且取极限:
![](http://k.sinaimg.cn/n/sinakd20231114s/477/w1080h197/20231114/cbdb-e1d5ff60acb75bf34cb7226ff6bb9e16.png/w700d1q75cms.jpg)
但是我们注意到,当
![](http://k.sinaimg.cn/n/sinakd20231114s/599/w1080h319/20231114/0c68-022c0c8386ff5658c46feb65f0e7252d.png/w700d1q75cms.jpg)
![](http://k.sinaimg.cn/n/sinakd20231114s/771/w1080h491/20231114/3a98-f09ddf5b0c8e275fad33b758cfbfd327.png/w700d1q75cms.jpg)
![](http://k.sinaimg.cn/n/sinakd20231114s/650/w1080h370/20231114/8cca-e88e883364513c944bae8aba4120450c.png/w700d1q75cms.jpg)
在x = r是不可微的。同时,由于r是一个未指定的实数,这就证实魏尔斯特拉斯定义的函数是无处可微的,尽管它是处处连续的函数。
不能作为一个有限量存在。简单地说(简单吗?)
。因此,
时
当读者从魏尔斯特拉斯论证的震撼下恢复平静时,多半会产生一些反应。反应之一会是对他所表现的才能万分惊讶。他在整合这个证明中显示出的天赋是出类拔萃的。
另一个反应是可能产生某种不安的感觉,因为我们恰好证实了一个连续函数可以不存在可微性点。函数的图形无处是平滑地上升的或者下降的。在它的图形上没有一点存在一条切线。这是一个离奇的函数,它的每个点好似一个尖角,然而它又是处处连续的。
的图形是否会给我们一些启发呢?很遗憾,由于f是函数项的一个无穷级数,我们只能停留于画出部分函数和的图形。例如,我们在图9-8中仅画出第3个部分和
![](http://k.sinaimg.cn/n/sinakd20231114s/617/w556h61/20231114/b6f2-e4ff2f420fb7b987e3a48652890b0555.jpg/w700d1q75cms.jpg)
的图形。这个图形显示出大量的方向改变以及某种急剧上升和下降的特性,但是没有尖角。事实上,魏尔斯特拉斯函数的任何部分和只包含有限的余弦项,因而是处处可微的。无论画出哪个部分和的图形,我们都不能从中找到一个角点。然而,当我转向求极限产生f本身时,必定处处出现角点。魏尔斯特拉斯函数超出我们直觉所能理解的范围,是远非可以用几何图形画在黑板上的。但是从上面的证明看出,它的存在是毋庸置疑的。
![](http://k.sinaimg.cn/n/sinakd20231114s/268/w604h464/20231114/99ed-4db8d1819f5889e8acdeff64dca534e5.png/w700d1q75cms.jpg)
对于魏尔斯特拉斯这个论证的最后一个反应必然是为它的高度严格的标准喝采。犹如一位音乐大师指挥一支著名的管弦乐队,魏尔斯特拉斯把基本定义、绝对值以及大量的不等式融合成一个协调的整体。在他的证明中,看不出任何处理是随心所欲的,不存在丝毫凭直觉的痕迹。所以后代的分析学家们对他的最高赞誉是这个证明展现了“魏尔斯特拉斯的严格性”。
毫无疑问,对于一个如此病态的函数,并非人人都会感到兴奋。某些批评者毅然反对存在一个把不等式作为对付直觉的王牌的数学世界。我们在前面一章介绍过的查尔斯·埃尔米特,对于这个发现黯然神伤,哀叹道:“从这场令人惋惜的没有导数的函数灾难中,我深感震惊和恐怖”。亨利·庞加莱(1854—1912)把魏尔斯特拉斯举出的病态函数的例子称为“一种对常识的蹂躏”。 受到的触怒的埃米尔·皮卡(1856—1941)则这样表达他的愤慨:“要是牛顿和莱布尼茨曾经想到连续函数不一定存在导数,…… 他们就无需发明微分法了。”不过,这些仿佛从伊甸园走出来的数学家信以为真的建立在直觉形式和几何基础上的微积分已经永远消失了。
但是,魏尔斯特拉斯的推理是严密的。只要不抛弃极限、连续性和可微性的定义,或者不拒绝赋予分析学家们引进无限过程的权利,那些批评家就注定要失败。倘若遇到像一个连续而又无处可微的函数这种直觉上的困难,那么学者们理应修正他们的直觉,而不是抛弃他们面前的数学。分析学的严格性因为柯西而提高,又因为魏尔斯特拉斯而达一个新的顶峰。无论人们是否喜欢它,逆转终归是不可能的。
在持续不断的起伏中,数学家们建立起雄伟的理论体系,然后寻找足以揭示他们的思想界限的恰当反例。这种理论与反例的对照成为正确推理的引擎,凭借这种工具,数学得以进步。因为我们唯有知道某些特性是如何丧失的,方能了解它们是怎样发挥作用的。同样,我们唯有认清直觉是如何把人引入歧途的,方能如实地评价推理的威力。
![](http://n.sinaimg.cn/finance/pc/cj/kandian/img/article_pic05.png)
4000520066 欢迎批评指正
All Rights Reserved 新浪公司 版权所有