数列为什么那么重要,所有关于高中数学数列解题技巧的书几乎都会提到

897被浏览98,749分享邀请回答81 条评论分享收藏感谢收起897被浏览98,749分享邀请回答该回答已被折叠 0添加评论分享收藏感谢收起小站会根据您的关注,为您发现更多,
看到喜欢的小站就马上关注吧!
下一站,你会遇见谁的梦想?
人的一生是在经历各种博弈中不断地成长的。历史和人生一样,在博弈中不断发展。在智者的眼里,博弈无所谓输赢,因为他们已经跳出了博弈本身而直接明了事物的本质和结果,正像《大学》里所说:“物有本末,事有终始,知所先后,则近道矣”。
bbc数字之夜-趣味数学2
BBC.数学的故事.第三集.空间边界.BBC.The.Story.of.Maths.E03.The.Frontiers.of.Space.Chi_Eng.TVrip.704X396-YYeTs人人影视
站长这几天忙着看冯诺依曼的传记,短期内不会更新其他人的,所以放几个视频上来吧。这个纪录片里拍摄了很多数学家的故居和手稿,很值得一看。
非数学专业的大学数学视频课程
课 程主 讲网 址
高等数学北京航空航天大学柳重堪(117讲)
南开大学蔡高厅(189讲)
高等数学(上)西安交通大学李焕琴(125集)
高等数学(下)西安交通大学李焕琴(118集)
单变量微积分麻省理工学院David Jerison(35 讲)
微积分重点麻省理工学院Gilbert Strang(18 讲)
线性代数大连理工大学施光燕(12讲)
麻省理工学院Gilbert Strang(34 讲)
微分方程台湾交通大学徐雍鎣(15讲)
概率论与数理统计上海交通大学熊德文(34讲)
随机过程中科院研究生院孙应飞(43讲)
华中科技大学刘澍(28讲)
工程数学(一)台湾交通大学白明宪(26讲)
工程数学(二)台湾交通大学白明宪(31讲)
工程数学方法II麻省理工学院(21讲)
数学物理方法武汉大学姚端正(53讲)
北京师范大学陈黎(50集)
应用泛函分析科罗拉多大学Greg Morrow(29讲)
应用数学台湾中山大学周雄(102讲)
微分几何在相对论中的应用北京师范大学梁灿彬(169集)
化学应用群论台湾交通大学朱超然(14讲)
运筹学吉林大学李时(38讲)
清华大学蓝伯雄(40讲)
同济大学(29讲)
作业研究 ( 一 )台湾交通大学王晋元 (30 讲 )
作业研究 ( 二 )台湾交通大学王晋元 (27 讲 )
离散数学上海交大黄林鹏 (35 讲 )
北京交通大学胡俊 (20 讲 )
中科院研究生院高随祥 (27 讲 )
吉林大学 (68 讲 )
时间序列分析中科院研究生院张建方 (28 讲 )
数值分析中科院研究生院肖良 (20 讲 )
数值计算方法中国农业大学陈研 (46 集 )
李代数在物理中的应用北京师范大学周彬
最优化算法中科院研究生院刘振宏 (21 讲 )
有限元方法中科院研究生院张年梅 (25 讲 )
数学模型及其应用中科院研究生院黄钧 (17 讲 )
数学专业大学数学视频课程
主 讲网 址
数学分析中国科技大学史济怀 (203 讲 )
复旦大学陈纪修 (214 讲 )
北京师范大学郇中丹 (194 讲 )
北京师范大学王昆扬 (144&集 )
高等代数厦门大学杜妮等 (134 讲 )
首都师范大学石生明 (169 讲&)
北京师范大学张秀平 (75 讲 )
北京航天航空大学李尚志 (242 集 )
高等代数与解析几何南开大学孟道骥 (107 讲 )
线性代数上海交通大学沈灏 (166 集 )
山东大学刘建亚 (14 讲 )
中国科技大学李尚志 (25 集 )
线性代数与解析几何中国科技大学陈发来 (67 讲 )
矩阵分析台湾交通大学吴培元 (31 讲 )
中科院研究生院叶世伟 (30 讲 )
初等数论北京师范大学张秀平 (50 讲 )
东北师范大学南基洙 (14 讲 )
西南大学曹洪平 (12 讲 )
常微分方程东北师范大学潘家齐 (19 讲 )
北京师范大学袁荣 (61 讲 )
麻省理工学院 Arthur Mattuck(33 讲 )
偏微分方程 ( 一 )台湾交通交通大学林琦焜 (26 讲 )
偏微分方程 ( 二 )台湾交通交通大学林琦焜 (15 讲 )
椭圆与抛物型方程吉林大学尹景学 (28 集 )
微分几何同济大学贺群 (96 集 )
北京师范大学王幼宁 (40 讲 )
概率论北京大学何书元 (110 集 )
西南大学陈映萍 (18 讲 )
概率论与数理统计中国科技大学缪柏其 (33 讲 )
大连理工大学施光燕 (12 讲 )
武汉大学 (37 讲 )
复变函数论台湾交通大学吴培元 (29 讲 )
北京师范大学袁荣 (61 讲 )
点集拓扑学河北大学王彦英 (28 讲 )
近世 ( 抽象 ) 代数南开大学顾沛 (74 讲 )
首都师范大学石生明 (63 讲 )
实变函数上海交通大学张祥 (64 讲 )
华中师范大学李工宝 (79 集 )
台湾交通大学吴培元 (31 讲 )
实分析哈维玛德学院 Francis Su(25 讲 )
泛函分析台湾交通大学吴培元 (34 讲 )
大学数学 ( 含泛函分析 )南京大学苏维宜 (134 集 )
向量分析台湾交通大学林琦焜 (25 讲 )
变分法导论台湾交通大学林琦焜 (24 讲 )
傅里叶分析与应用台湾交通大学林琦焜 (30 讲 )
小波与傅里叶分析中科院研究生院王蕊 (15 讲 )
小波理论与时频分析方法马里兰大学 (28 讲 )
群表示论北京大学丘维声 (119 集 )
数值分析北京交通大学王兵团 (128 集 )
中国科技大学 (38 讲 )
数值逼近复旦大学吴宗敏 (42 集 )
微分方程数值解大连理工大学吴微 (22 集 )
离散数学北京师范大学崔光佐 (65 集 )
上海交通大学曹珍富 (60 集 )
组合数学北京师范大学张秀平(60 讲)
数理逻辑中科院陆钟万 (29 讲 )
最优化理论和方法上海交通大学任庆生 (17 讲 )
线性规划台湾交通大学姚铭忠 (9 讲 )
整数规划复旦大学孙小玲 (35 集 )
凸规划斯坦福大学 Stephen Boyd(16 讲 )
图论北京师范大学张秀平 (60 讲 )
财务数学导论 ( 一 )台湾交通大学吴庆堂 (37 讲 )
财务数学导论 ( 二 )台湾交通大学吴庆堂 (51 讲 )
数学建模陕西师范大学 (58 讲 )
东北师范大学李佐锋 (20 讲 )
模糊数学理论及应用西安交通大学桂小琳
金融数学与建模厦门大学谭忠 (42 集 )
数学教育西南大学梁学友等 (13 讲 )
数学教育学西南大学刘静 (20 讲 )
多变量微积分麻省理工
【根号二的爱】
9对3说,我除了你,还是你&4对2说,我除了2,还是2&1对0说,我除了你,一切都没有意义&0对1说,我除了你,就是孤独的自己&&数学是最浪漫的&它比世上任何东西都要完美&它从不说谎,也不会背叛&
An Invisible Sign of My Own 。
你是我认识的最糟糕的女孩~~
七夕特献:数学家们的爱情故事
转自果壳网:
&笛卡尔的故事笛卡尔(Ren& Descartes),17 世纪著名的法国哲学家,曾经提出&我思故我在&的哲学观点,有着&现代哲学之父&的称号。笛卡尔对数学的贡献也是功不可没,中学时大家学到的平面直角坐标系就被称为&笛卡尔坐标系&。传闻,笛卡尔曾流落到瑞典,邂逅美丽的瑞典公主克里斯蒂娜(Christina)。笛卡尔发现克里斯蒂娜公主聪明伶俐,便做起了 公主的数学老师, 于是两人完全沉浸在了数学的世界中。国王知道了这件事后,认为笛卡尔配不上自己的女儿,不但强行拆散他们,还没收了之后笛卡尔写给公主的所有信件。后来,笛卡尔染上黑死病,在临死前给公主寄去了最后一封信,信中只有一行字:r=a(1-sinθ)。自然,国王和大臣们都看不懂这是什么意思,只好交还给公主。公主在纸上建立了极坐标系,用笔在上面描下方程的点,终于解开了这行字的秘密&&这就是美丽的心形线。看来,数学家也有自己的浪漫方式啊。
a=1时的心形线事实上,笛卡尔和克里斯蒂娜的确有过交情。不过,笛卡尔是 1649 年 10 月 4 日应克里斯蒂娜邀请才来到的瑞典,并且当时克里斯蒂娜已经成为了瑞典女王。并且,笛卡尔与克里斯蒂娜谈论的主要是哲学问题。有资料记载,由于克里斯蒂娜女王时间安排很紧,笛卡尔只能在早晨五点与她探讨哲学。天气寒冷加上过度操劳让笛卡尔不幸患上肺炎,这才是笛卡尔真正的死因。心形线的故事究竟几分是真几分是假,还是留给大家自己判断吧。伽罗瓦的故事伽罗瓦(&Evariste Galois),19 世纪最伟大的法国数学家之一,唯一被我称为&天才数学家&的人。他 16 岁时就参加了巴黎综合理工学院的入学考试,结果面试时因为解题步骤跳跃太大,搞得考官们不知所云,最后没能通过考试。在数学历史上,伽罗瓦毫无疑问是最富传奇色彩与浪漫色彩的数学家,没有&之一&。18 岁时,伽罗瓦漂亮地解决了当时数学界的顶级难题:为什么五次及五次以上的多项式方程没有一般的解。他把这一研究成果提交给了法国科学院,由大数学家柯西 (Augustin-Louis Cauchy)负责审稿;然而,柯西建议他回去仔细润色一下(此前一直认为柯西把论文弄丢了或者私藏起来,最近的法国科学院档案研究才让柯西平反昭雪)。后来伽罗瓦又把论文交给了科学院秘书傅立叶(Joseph Fourier),但没过几天傅立叶就去世了,于是论文被搞丢了。1831年伽罗瓦第三次投稿,当时的审稿人是泊松,他认为伽罗瓦的论文很难理解,于是拒绝发表。
因为一些极端的政治行动,伽罗瓦被捕入狱。即使在监狱里,他也不断地发展自己的数学理论。他在狱中结识了一名医生的女儿,并很快坠入爱河;但好景不长,两人的感情很快破裂。出狱后的第二个月,伽罗瓦决定替自己心爱的女孩与女孩的一个政敌进行决斗,不幸中枪,第二天便在医院里死亡。伽罗瓦死前的最后一句话是对他的哥哥艾尔弗雷德(Alfred)说的:&不要哭,我需要足够的勇气在 20 岁死去。&仿佛是预感到了自己的死亡,在决斗的前一夜,伽罗瓦通宵达旦奋笔疾书写下了自己所有的数学思想,并把它们和三篇论文手稿一同交给 了他的好友谢瓦利埃(Chevalier)。在信的末尾,伽罗瓦留下遗嘱,希望谢瓦利埃能把论文手稿交给当时德国的两位大数学家雅可比(Carl Gustav Jacob Jacobi)和高斯(Carl Friedrich Gauss),让他们就这些数学定理公开发表意见,以便让更多的人意识到这个数学理论的重要性。谢瓦利埃遵照伽罗瓦的遗愿,将论文手稿寄给了雅可比和高斯,不过都没有收到回音。直到 1843 年,数学家刘维尔(Joseph Liouville)才肯定了伽罗瓦的研究成果,并把它们发表在了他自己主办的《纯数学与应用数学杂志》(Journal de Math&matiques Pures et Appliqu&es)上。人们把伽罗瓦的整套数学思想总结为了&伽罗瓦理论&。伽罗瓦用群论的方法对代数方程的解的结构做出了独到的分析,多项式方程的 根、尺规作图的不可能性等一系列代数方程求解问题都可以用伽罗瓦理论得到一个简洁而完美的解答。伽罗瓦理论对今后代数学的发展起到了决定性的作用。塞凯赖什夫妇的故事1933 年,匈牙利数学家乔治&塞凯赖什(George Szekeres)还只有 22 岁。那时,他常常和朋友们在匈牙利的首都布达佩斯讨论数学。这群人里面还有同样生于匈牙利的数学怪才&&保罗&埃尔德什(Paul Erd?s)大神。不过当时,埃尔德什只有 20 岁。在一次数学聚会上,一位叫做爱丝特&克莱恩(Esther Klein)的美女同学提出了这么一个结论:在平面上随便画五个点(其中任意三点不共线),那么一定有四个点,它们构成一个凸四边形。塞凯赖什和埃尔德什等人想了好一会儿,没想到该怎么证明。于是,美女同学得意地宣布了她的证明:这五个点的凸包(覆盖整个点集的最小凸多边形)只可能是五边形、四边形和三角形。前两种情况都已经不用再讨论了,而对于第三种情况,把三角形内的两个点连成一条直线,则三角形的三个顶点中一定有两个顶点在这条直线的同一侧,这四个点便构成了一个凸四边形。
平面上五个点的位置有三种情况众人大呼精彩。之后,埃尔德什和塞凯赖什仍然对这个问题念念不忘,于是尝试对其进行推广。最终,他们于 1935 年发表论文,成功地证明了一个更强的结论:对于任意一个正整数 n & 3,总存在一个正整数 m,使得只要平面上的点有 m 个(并且任意三点不共线),那么一定能从中找到一个凸 n 边形。埃尔德什把这个问题命名为了&幸福结局问题&(Happy Ending problem),因为这个问题让乔治&塞凯赖什和美女同学爱丝特&克莱恩之间迸出了火花,两人越走越近,最终在 1937 年 6 月 13 日结了婚。对于一个给定的 n ,不妨把最少需要的点数记作 f(n)。求出 f(n) 的准确值是一个不小的挑战。由于平面上任意不共线三点都能确定一个三角形,因此 f(3) = 3 。爱丝特&克莱恩的结论则可以简单地表示为 f(4) = 5 。利用一些稍显复杂的方法,我们可以证明 f(5) 等于 9 。2006 年,利用计算机的帮助,人们终于证明了 f(6) = 17。对于更大的 n,f(n) 的值分别是多少? f(n) 有没有一个准确的表达式呢?这是数学中悬而未解的难题之一。几十年过去了,幸福结局问题依旧活跃在数学界中。不管怎样,最后的结局真的很幸福。结婚后的近 70 年里,他们先后到过上海和阿德莱德,最终在悉尼定居,期间从未分开过。 2005 年 8 月 28 日,乔治和爱丝特相继离开人世,相差不到一个小时。
N体问题的30个周期性解 (from Matrix67)
然想到在网上查查三体问题进展究竟如何,于是摸到了这么一个地方:
上面这个地方提供了多体问题中颇具代表性的 47 个解的数据,用的 gnuplot 格式。我选择了其中 30 个,用 Mathematica 读出数据,生成了 30 个直观的 gif 动画。大家将会看到,在引力的作用下,多颗星体可能会形成的一些极其诡异的轨道。后面的解越来越不平凡,可见多体问题之难。图片总共 7 M,服务器表示压力很大,转载勿盗链图片。
数学的美丽
一个有趣的分式方程
&观察下面这个分式方程:
&&&&它可以化简为 x^3 - 42x + 36 = 0 ,如果分式方程存在整数解,这个解一定是 36 的约数。把 36 的约数一个一个代进去便可得到,这个分式方程的唯一整数解为:
&&&&&现在,你能快速求解出下面这个方程的整数解吗?
&&&&只需要注意到,新的分式方程是由原方程旋转 180 度得到的,因此它的解应该为:
如何用数学说I Love U
阿拉伯数字的来历(博君一笑)
斐波那契数列
  斐波纳契数列(Fibonacci Sequence),又称黄金分割数列,指的是这样一个数列:1、1、2、3、5、8、13、21、&&在数学上,斐波纳契数列以如下被以递归的方法定义:F0=0,F1=1,Fn=F(n-1)+F(n-2)(n&=2,n&N*)在现代物理、准晶体结构、化学等领域,斐波纳契数列都有直接的应用,为此,美国数学会从1960年代起出版了《斐波纳契数列》季刊,专门刊载这方面的研究成果。  随着数列项数的增加,前一项与后一项之比越来越逼近黄金分割的数值0.&&&  从第二项开始,每个奇数项的平方都比前后两项之积多1,每个偶数项的平方都比前后两项之积少1。(注:奇数项和偶数项是指项数的奇偶,而并不是指数列的数字本身的奇偶,比如第四项3是奇数,但它是偶数项,第五项5是奇数,它是奇数项,如果认为数字3和5都是奇数项,那就误解题意,怎么都说不通)  为什么会提到这个呢?还是因为这个题目:
  斐波那契数列的第n项同时也代表了集合{1,2,...,n}中所有不包含相邻正整数的子集个数。&  斐波那契数列(f(n),f(0)=0,f(1)=1,f(2)=1,f(3)=2&&)的其他性质:&  1.f(0)+f(1)+f(2)+&+f(n)=f(n+2)-1。&  2.f(1)+f(3)+f(5)+&+f(2n-1)=f(2n)。&  3.f(2)+f(4)+f(6)+&+f(2n) =f(2n+1)-1。&  4.[f(0)]^2+[f(1)]^2+&+[f(n)]^2=f(n)&f(n+1)。&  5.f(0)-f(1)+f(2)-&+(-1)^n&f(n)=(-1)^n&[f(n+1)-f(n)]+1。&  6.f(m+n-1)=f(m-1)&f(n-1)+f(m)&f(n)。&  利用这一点,可以用程序编出时间复杂度仅为O(log n)的程序。
斐波那契数列的整除性与素数生成性  每3个数有且只有一个被2整除,&  每4个数有且只有一个被3整除,&  每5个数有且只有一个被5整除,&  每6个数有且只有一个被8整除,&  每7个数有且只有一个被13整除,&  每8个数有且只有一个被21整除,&  每9个数有且只有一个被34整除,&  .......&  我们看到第5、7、11、13、17、23位分别是素数:5,13,89,233,(第19位不是)&  斐波那契数列的素数无限多吗?
斐波那契数列的个位数:一个60步的循环  ,,,&  ,,&
斐波那契数与植物花瓣  3&&&&&&&&&百合和蝴蝶花  5&&&&&&&&&蓝花耧斗菜、金凤花、飞燕草、毛茛花&  8&&&&&&&&&翠雀花&&&&&& 13&&&&&&&&&金盏和玫瑰&  21&&&&&&&&&紫宛&  34、55、89&&&&&雏菊&  斐波那契数还可以在植物的叶、枝、茎等排列中发现。例如,在树木的枝干上选一片叶子,记其为数0,然后依序点数叶子(假定没有折损),直到到达与那些叶子正对的位置,则其间的叶子数多半是斐波那契数。叶子从一个位置到达下一个正对的位置称为一个循回。叶子在一个循回中旋转的圈数也是斐波那契数。在一个循回中叶子数与叶子旋转圈数的比称为叶序(源自希腊词,意即叶子的排列)比。多数的叶序比呈现为斐波那契数的比。
二十世纪的数学 by Michael Atiyah
谢谢邀请我来这里参加这个活动.当然,如果有人想谈论一个世纪的终结以及下一个世纪的开始,那么他有两个具有相当难度的选择:一个是回顾过去百年的数学; 另一个是对未来百年数学发展的预测,我选择了前面这个比较困难的任务,任何人都可以预测未来而且我们并不能判定是对还是错.然而对过去的任何评述,每个人 都可以提出异议.&
我在这里所讲的是我个人的观点.这个报告不可能包含所有内容,特别是,有一些重要的内容我不准备涉及,一部分是因为我不是那些方面的专家,一部分也是出于 它们已经在其他地方被评述过了.例如,我不会去谈论那些发生在逻辑与计算领域内的著名事件,这些事件往往是与像Hilbert,Godel,Turing 这些伟大的名字相关的,除了数学在基础物理中的应用之外,我也不会谈论太多数学的其他应用,这是因为数学的应用太广泛了,而且这需要专门的论述.每一个方 面都需要一个专门的报告.也许大家在这次会议的其他报告中会听到很多关于这些内容的演讲.另外,试着罗列一些定理,甚至是列出在过去一百年的著名数学家的 名字也是毫无意义的,那简直是在做枯燥的练习.所以,代替它们的是,我试着选择一些我认为在很多方面都是很重要的主题来讨论并且强调围绕这些主题所发生的 事情.&
首先我有一个一般性的说明.世纪是一个大约的数字概念.我们不会真地认为在过整整一百年的时候,有些事情会突然停下来,再重新开始,所以当我描述二十世纪 的数学时,有些内容实际上可能是跨世纪的,如果某件事件发生在十九世纪九十年代,并持续到二十世纪初,我将不去计较这种时间方面的细节.我所做的就象一个 天文学家,工作在一个近似的数字环境中.实际上,许多东西始于十九世纪,只不过在二十世纪才硕果累累.&
这个报告的难点之一是很难把我们自己放回到1900年时作为一位数学家的位置上,这是因为上个世纪的数学有非常多的内容已经被我们的文化和我们自己吸收掉 了.难以想象人们不用我们的术语来思考的那个时代是什么样子的.实际上,如果现在有人在数学上有一个真正重要的发现,其后他也一定会与之一起被忽略掉了! 他会完全地被融入到背景之中,于是为了能够回顾过去,我们必须努力去想象在不同时代,人们用不同方式思考问题时的情景.&
一、从局部到整体&
作为开始,我准备列一些主题并且围绕它们来讨论.我谈论的第一个主题概括地讲,就是被大家称为从局部到整体的转变.在古典时期,人们大体上已经研究了在小 范围内,使用局部坐标等等来研究事物.在这个世纪,重点已经转移到试图了解事物整体和大范围的性质.由于整体性质更加难以研究,所以大多只能有定性的结 果,这时拓扑的思想就变得非常重要了.正是Poincar&,他不仅为拓扑学发展作出先驱性的贡献,而且也预言拓扑学将成为二十世纪数学的一个重要的组成 部分,顺便让我提一下,给出一系列著名问题的Hilbert并没有意识到这一点.拓扑学很难在他的那些问题中找到具体体现.但是对Poincar&而言, 他相当清楚地看出拓扑学将成为一个重要的内容.&
让我试着列一些领域,然后大家就能知道我在想什么了.例如,考虑一下复分析(也被称为&函数论&),这在十九世纪是数学的中心,也是象 Weierstrass这样伟大人物工作的中心.对于他们而言,一个函数就是一个复变量的函数;对于Weierstrass而言,一个函数就是一个幂级 数.它们是一些可以用于写下来,并且可以明确描绘的东西或者是一些公式.函数是一些公式:它们是明确可以用显式写下来的.然而接下来 Abe1,Riemann和其后许多人的工作使我们远离了这些,以至于函数变得可以不用明确的公式来定义,而更多地是通过它们的整体性质来定义:通过它们 的奇异点的分布,通过它们的定义域位置,通过它们取值范围.这些整体性质正是一个特定函数与众不同的特性.局部展开只是看待它们的一种方式.&
一个类似的事情发生在微分方程中,最初,解一个微分方程,人们需要寻找一个明确的局部解!是一些可以写下来的东西.随着事物的发展,解不必是一个显函数, 人们不一定必须用好的公式来描述它们.解的奇异性是真正决定其整体性质的东西.与发生在复分析中的一切相比,这种精神是多么的类似,只不过在细节上有些不 同罢了.&
在微分几何中,Gauss和其他人的经典工作描述了小片的空间,小块的曲率以及用来描述局部几何的局部方程.只要人们想要了解曲面的整体图象以及伴随它们 的拓扑时,从这些经典结果到大范围的转变就是很自然的了.当人们从小范围到大范围时,最有意义的性质就是拓扑的性质.&
数论也有一个类似的发展,尽管它并不是很明显地适用于这一框架.数论学家们是这样来区分他们称之为&局部理论&和&整体理论&的:前者是当他们讨论一个单 个的素数,一次一个素数,以及有限个素数时;后者是当他们同时讨论全部素数时.这种素数和点之间,局部和整体之间的类似性在数论发展过程中起了很重要的作 用,并且那些在拓扑学发展中产生的思想深深地影响了数论.&
当然这种情况也发生在物理学中,经典物理涉及局部理论,这时我们写下可以完全描述小范围性质的微分方程,接下来我们就必须研究一个物理系统的大范围性质. 物理学涉及的全部内容就是当我们从小范围出发时,我们可以知道在大范围内正在发生什么,可以预计将要发生什么,并且沿着这些结论前进.&
二、维数的增加&
我的第二个主题有些不同,我称之为维数的增加.我们再次从经典的复变函数理论开始:经典复变函数论主要是详细讨论一个复变量理论并加以精炼.推广到两个或 者更多个变量基本上发生在本世纪,并且是发生在有新现象出现的领域内.不是所有的现象都与一个变量的情形相同,这里有完全新的特性出现,并且n个变量的理 论的研究越来越占有统治地位,这也是本世纪主要成就之一.&
另一方面,过去的微分几何学家主要研究曲线和曲面,我们现在研究n维流形的几何,大家仔细想一想,就能意识到这是一个重要的转变.在早期,曲线和曲面是那 些人们能真正在空间里看到的东西.而高维则有一点点虚构的成分,在其中人们可以通过数学思维来想象,但当时人们也许没有认真对待它们.认真对待它们并且用 同样重视程度来研究它们的这种思想实际上是二十世纪的产物.同样地,也没有明显的证据表明我们十九世纪的先驱者们思考过函数个数的增加,研究不单单一个而 是几个函数,或者是向量值函数(vector-valued function).所以我们看到这里有一个独立和非独立变量个数增加的问题.&
线性代数总是涉及多个变量,但它的维数的增加更具有戏剧性,它的增加是从有限维到无穷维,从线性空间到有无穷个变量的Hilbert空间.当然这就涉及到 了分析,在多个变量的函数之后,我们就有函数的函数,即泛函.它们是函数空间上的函数.它们本质上有无穷多个变量,这就是我们称为变分学的理论.一个类似 的事情发生在一般(非线性)函数理论的发展中.这是一个古老的课题,但真正取得卓越的成果是在二十世纪.这就是我谈的第二个主题.&
三、从交换到非交换&
第三个主题是从交换到非交换的转变.这可能是二十世纪数学,特别是代数学的最主要的特征之一.代数的非交换方面已经极其重要,当然,它源自于十九世纪.它 有几个不同的起源.Hamilton在四元数方面的工作可能是最令人惊叹的,并且有巨大的影响,实际上这是受处理物理问题时所采用的思想所启发.还有 Grassmann在外代数方面的工作,这是另一个代数体系,现在已经被融入我们的微分形式理论中.当然,还有Cayley以线性代数为基础的矩阵方面的 工作和Galois在群论方面的工作等.&
所有这些都是以不同的方式形成了把非交换乘法引入代数理论的基石,我形象地把它们说成是二十世纪代数机器赖以生存的&面包和黄油&.我们现在可以不去思考 这些,但在十九世纪,以上所有例子都以各自不同的方式取得了重大的突破,当然,这些思想在不同的领域内得到了惊人的发展.矩阵和非交换乘法在物理中的应用 产生了量子理论.Heisenberg对易关系是非交换代数在物理中的一个最重要的应用例子,以至后来被von Neumann推广到他的算子代数理论中.&
群论也是在二十世纪占重要位量的理论,我稍后再回来谈它.&
四、从线性到非线性&
我的下一个主题是从线性到非线性的转变.古典数学的大部分或者基本上是线性的,或者即使不是很精确的线性,也是那种可以通过某些扰动展开来研究的近似线性,真正的非线性现象的处理是非常困难的,并且只是在本世纪,才在很大的范围内对其进行了真正的研究.&
我们从几何开始谈起:Euclid几何,平面的几何,空间的几何,直线的几何,所有这一切都是线性的.而从非欧几何的各个不同阶段到Riemann的更一 般的几何,所讨论的基本上是非线性的.在微分方程中,真正关于非线性现象的研究已经处理了众多我们通过经典方法所看不到的新现象.在这里我只举两个例子, 孤立子和混沌,这是微分方程理论两个非常不同的方面,在本世纪已经成为极度重要和非常著名的研究课题了.它们代表不同的极端.孤立子代表非线性微分方程的 无法预料的有组织的行为,而混沌代表的是无法预料的无组织的行(disorganized behavior).这两者出现在不同领域,都是非常有趣和重要的,但它们基本土都是非线性现象.我们同样可以将关于孤立子的某些工作的早期历史追溯到十 九世纪下叶,但那只是很少的一部分.&
当然,在物理学,Maxwell方程(电磁学的基本方程)是线性偏微分方程.与之对应的是著名的Yang-Mills方程,它们是非线性方程并被假定用来 调控与物质结构有关的力.这些方程之所以是非线性的,是因为Yang-Mills方程本质上是Maxwell方程的矩阵体现,并且由矩阵不可交换这一事实 导致方程中出现非线性项.于是在这里我们看到了一个非线性性与非交换性之间的有趣的联系.非交换性产生一类特殊的非线性性,这的确是很有意思和很重要的.&
五、几何与代数&
至此我谈的是一些一般性的主题,现在我想谈论一下数学中的一个二分叉现象,它来回摇摆却始终伴随着我们,这就给了我一个机会来做一些哲学上的思索和说明. 我指的是几何和代数之间的二分法,几何和代数是数学的两个形式支柱,并且都有悠久的历史.几何学可以追溯到古希腊甚至更早的时期;代数学则源于古阿拉伯人 和古印度人.所以,它们都已经成为数学的基础,但它们之间有一种令人感到不太自然的关系.&
让我首先由这个问题的历史开始.Euc1id几何是数学理论中最早的一个例子,直到Descartes在我们现在称为的笛卡儿平面中引入代数坐标之前,它 一直是纯几何的.Descartes的做法是一种将几何思考化为代数运算的尝试.从代数学家们的角度来讲,这当然是对几何学的一个重大突破或者说一次重大 的冲击,如果我们来比较Newton和Leibniz在分析方面的工作,我们会发现他们属于不同的传统,Newton基本上是一个几何学家而 Le1bniz基本土是一个代数学家,这其中有着很深刻的道理.对于Newton而言,几何学,或者是由他发展起来的微积分学,都是用来描述自然规律的数 学尝试.他关心的是在很广泛意义下的物理,以及几何世界中的物理.在他看来,如果有人想了解事物,他就得用物理世界的观点来思考它,用几何图象的观点来看 待它.当他发展微积分的时候,他想要发展的是微积分的一种能尽可能贴近隐藏在其后的物理内蕴的表现形式.所以他用的是几何论证,因为这样可以与实际意义保 持密切关系,另一方面,Leibniz有一个目标,一个雄心勃勃的目标,那就是形式化整个数学,将之变成一个庞大的代数机器.这与Newton的途径截然 不同,并且二者有很多不同的记号.正如我们所知道的,在Newton和Leibniz之间的这场大争论中,Leibniz的记号最后得胜.我们现在还沿用 他的记号来写偏导数.Newton的精神尚在,但被人们埋葬了很长时间.&
在十九世纪末期,也就是一百年前,Poincar&和Hilbert是两个主要人物.我在前面已经提到过他们了,并且可以粗略地讲,他们分别是 Newton和Leibniz的传人.Poincar&的思想更多的是几何和拓扑的精神,他用这些思想作为他的基本洞察工具.Hilbert更多的是一个 形式主义者,他要的是公理化,形式化,并且要给出严格的,形式的描述.虽然任何一个伟大的数学家都不能轻易地被归到哪一类中去,但是,很清楚地,他们属于 不同的传统.&
13:28 回复&
218.0.106.* 4楼&
当准备这个报告的时候,我想我应该写下我们目前这一代中能够继承这些传统的具有代表性的人的名字.谈论还健在的人是十分困难的&&谁该放在这张名单上呢? 接着我又暗自思忖:有谁会介意被放在这么一张著名的名单的哪一边呢?于是我选择了两个名字Arnold Bourbaki,前者是Poincar&- Newton传统的继承人,而后者,我认为,是Hilbert最著名的接班人.Arnold毫不含糊地认为:他的力学和物理的观点基本上是几何的,是源自 于Newton的;以为存在处于二者之间的东西,除了象Riemann(他确实跟两者都有偏离)等少数人之外,都是一种误解.Bourbaki努力继续 Hilbert的形式化的研究,将数学公理化和形式化推向了一个令人瞩目的范围并取得了一些成功.每一种观点都有它的优点,但是它们之间很难调和.&
让我来解释一下我自己是如何看待几何和代数之间的不同.几何学当然讲的是空间,这是毫无疑问的.如果我面对这间房间里的听众,我可以在一秒中内或者是一微 秒内看到很多,接收到大量的信息,当然这不是一件偶然的事件.我们大脑的构造与视觉有着极其重要的关系.我从一些从事神经生理学的朋友那里了解到,视觉占 用了大脑皮层的百分之八十或九十.在大脑中大约有十七个中枢,每一个中枢专门用来负责视觉活动的不同部分:有些部分涉及的是垂直方向的,有些部分与水平方 向有关,有些部分是关于色彩和透视的,最后有些部分涉及的是所见事物的具体含义和解说.理解并感知我们所看到的这个世界是我们人类发展进化的一个非常重要 的部分.因此空间直觉(spatial intuition)或者空间知觉(spatial perception)是一种非常强有力的工具,也是几何学在数学上占有如此重要位置的原因,它不仅仅对那些明显具有几何性质的事物可以使用,甚至对那些 没有明显几何性质的事物也可以使用.我们努力将它们归结为几何形式,因为这样可以让我们使用我们的直觉.我们的直觉是我们最有力的武器.特别是在向学生或 是同事讲解一种数学时可以看得很清楚.当你讲解一个很长而且很有难度的论证,最后使学生明白了.学生这时会说些什么呢?他会说&我看到了(我懂了)!&在 这里看见与理解是同义词,而且我们还可以用&知觉&这个词来同时形容它们,至少这在英语里是对的,把这个现象与其他语言作对比同样有趣.我认为有一点是很 基本的:人类通过这种巨大的能力和视觉的瞬间活动获取大量的信息,从而得以发展,而教学参与其中并使之完善.&
在另一方面(也许有些人不这样认为),代数本质上涉及的是时间.无论现在做的是哪一类代数,都是一连串的运算被一个接着一个罗列出来,这里&一个接着一 个&的意思是我们必须有时间的概念.在一个静态的宇宙中,我们无法想象代数,但几何的本质是静态的:我可以坐在这里观察,没有什么变化,但我仍可以继续观 察.然而,代数与时间有关,这是因为我们有一连串的运算,这里当我谈到&代数&时,我并不单单指现代代数.任何算法,任何计算过程,都是一个接着一个地给 出一连串步骤,现代计算机的发展使这一切看得很清楚.现代计算机用一系列0和1来反映其信息并由此给出问题的答案.&
代数涉及的是时间的操作,而几何涉及的是空间.它们是世界互相垂直的两个方面,并且它们代表数学中两种不同的观念.因此在过去数学家们之间关于代数和几何相对重要性的争论或者对话代表了某些非常非常基本的事情.&
当然只是为了论证是哪一边输了,哪一边胜利了,这并不值得.当我考虑这个问题时,有一个形象的类比:&你愿意成为一个代数学家还是一个几何学家?&这个问 题就象问:&你愿意是聋子还是瞎子?&一样.如果人的眼睛盲了,就看不见空间;如果人的耳朵聋了,就无法听见,听觉是发生在时间之中的,总的来说,我们还 是宁愿二者都要.&
在物理学,也有一个类似的、大致平行的关于物理概念和物理实验之间的划分.物理学有两个部分:理论&&概念,想法,单词,定律&&和实验仪器.我认为概念 在某种广义的意义下是几何的,这是因为它们涉及的是发生在真实世界的事物.另一方面,实验更象一个代数计算.人们做事情总要花时间,测定一些数,将它们代 入到公式中去.但是在实验背后的基本概念却是几何传统的一部分.&
将上述二分叉现象用更哲学或者更文学的语言来说,那就是对几何学家而言,代数就是所谓的&浮士德的奉献&.正如大家所知道的,在歌德的故事里,浮士德通过 魔鬼可以得到他所想要的(就是一个漂亮女人的爱),其代价是出卖他的灵魂,代数就是由魔鬼提供给数学家的供品.魔鬼会说:&我将给你这个有力的机器,它可 以回答你的任何问题.你需要做的就是把你的灵魂给我:放弃几何,你就会拥有这个威力无穷的机器&(现在可以把它想象成为一台计算机!).当然我们希望同时 拥有它们,我们也许可以欺骗魔鬼,假装我们出卖灵魂,但不真地给它.不过对我们灵魂的威胁依然存在,这是因为当我们转入代数计算时,本质上我们会停止思 考,停止用几何的观念来考虑问题,不再思考其含义.&
在这里我谈论代数学家的话重了一些,但是基本土,代数的目标总是想建立一个公式,把它放到一个机器中去,转动一下把手就可以得到答案.也就是拿来一个有意 义的东西,把它化成一个公式,然后得到答案.在这样的一个过程中,人们不再需要思考代数的这些不同阶段对应的几何是什么.就这样,洞察力丢掉了,而这在那 些不同的阶段都是非常重要的.我们绝不能放弃这些洞察力!最终我们还是要回到这上面来的,这就是我所谈到的浮士德的奉献.我肯定这种讲法尖锐了一点.&
几何和代数的这种选择导致能融合二者的一些交叉课题的产生,并且代数和几何之间的区别也不象我讲的那样直截了当和朴实无华.例如,代数学家们经常使用图式(diagram).而除了几何直觉,图式又能是什么呢?&
六、通用的技术&
现在我不想再谈论太多就内容来划分的主题,而想谈谈那些依照已经使用的技术和常见方法所确定的主题,也就是我想描述一些已经广泛应用于众多领域的常见方法.第一个就是:&
历史上同调论是作为拓扑学的一个分支而发展起来的.它涉及到以下情形.现有一个复杂的拓扑空间,我们想从中得到它的一些简单信息如计算它的洞或者类似事物 的个数,得到某些与之联系的可加的线性不变量等.这是一种在非线性条件下关干线性不变量的构造.从几何的角度来看,闭链可加可减,这样就得到了所谓的一个 空间的同调群.同调论,作为一种从拓扑空间获取某些信息的基本代数工具,是在本世纪上半叶发现的.这是一种从几何中获益匪浅的代数.&
同调概念也出现在其他一些方面.其另一个源头可以追溯到Hilbert及其关于多项式的研究中,多项式是非线性的函数,它们相乘可以得到更高次数的多项 式.正是Hilbert那伟大的洞察力促使他来讨论&理想&,具有公共零点的多项式的线性组合.他要寻找这些理想的生成元.生成元可能有很多.他审视它们 之间的关系以及关系之间的关系.于是他得到这些关系的一个分层谱系,这就是所谓的&Hilbert合系&.Hilbert的这个理论是一种非常复杂的方 法,他试图将一个非线性的情形(多项式的研究)化为线性情形.本质上来讲,Hilbert构造了一个线性关系的复杂体系.能够把象多项式这样的非线性事物 的某些信息纳入其中.&
这个代数理论实际上是与上述拓扑理论平行的,而且现在它们已融合在一起构成了所谓的&同调代数&.在代数几何学中,本世纪五十年代最伟大的成就之一是层的 上同调理论的发展及在解析几何学中的扩展,这是由Leray,Cartan,Serre和Grothendieck等人组成的法国学派取得的.从中我们可 以感受到一种既有Riemann-Poincar&的拓扑思想,又有Hilbert的代数思想,再加上某些分析手段的融合,&
这表明同调论在代数的其它分支也有着广泛的应用.我们可以引入同调群的概念,它通常是与非线性事物相关的线性事物.我们可以将之应用于群论,例如,有限 群,以及李代数:它们都有相应的同调群.在数论方面,同调群通过Galois群产生了非常重要的应用.因此在相当广泛的情形下同调论都是强有力的工具之 一,它也是二十世纪数学的一个典型的特征.&
我要谈的另外一个技术就是所谓的&K-理论&.它在很多方面都与同调论相似,它的历史并不很长(直到二十世纪中叶才出现,尽管其起源的某些方面也许可以追 溯到更早一些),但它却有着很广泛的应用,已经渗透进了数学的许多部分.K-理论实际上与表示理论紧密相联,有限群的表示理论,可以讲,起源于十九世纪. 但是其现代形式&&K-理论却只有一个相对较短的历史.K-理论可以用下面的方式来理解:它可以被想成是应用矩阵论的一种尝试.我们知道矩阵的乘法是不可 交换的,于是我们想构造矩阵可换的或是线性的不变量.迹,维数和行列式都是矩阵论中可换的不变量,而K-理论即是试图处理它们的一种系统的方法,它有时也 被称为&稳定线性代数&.其思想就是,如果我们有很多矩阵,那么把两个不可换的矩阵A和矩阵放在不同块的正交位置上,它们就可换了,因为在一个大的空间 里,我们可以随意移动物体.于是在某些近似情况下,这样做是很有好处的,足以让我们得到一些信息,这就是作为一个技术的K-理论的基石.这完全类似于同调 论,二者都是从复杂的非线性情形获取线性的信息.&
在代数几何中,K-理论是由Grothendieck首先引入的,并且取得了巨大的成功,这些与我们刚刚谈到的层理论密切相关,而且也和他在Riemann-Roch定理方面的工作有紧密联系.&
在拓扑学方面,Hirzebruch和我照搬了这些思想并且将它们应用到一个纯粹的拓扑范畴内.从某种意义下来说,如果Grothendieck的工作与 Hilbert在合系方面的工作有关,那么我们的工作更接近于Riemann-Poincar&在同调方面的工作,我们用的是连续函数,而他用的是多项 式.K-理论也在椭圆算子的指标理论和线性分析的研究中起了重要作用.&
从另外一个不同的角度,Milnor,Quillen和其他人发展了K-理论的代数方面,这在数论的研究中有着潜力巨大的应用.沿着这个方向的发展导致了许多有趣问题的产生.&
在泛函分析方面,包括象Kasparov在内的许多人的工作将连续的K-理论推广到非交换的C*-代数情形.一个空间上的连续函数在函数乘积意义下形成一 个交换代数.但是在其他情形下,自然地产生了类似的关于非交换情形的讨论,这时,泛函分析也就自然而然地成为了这些问题的温床.&
因此,K-理论是另外一个能够将相当广泛的数学的许多不同方面都能用这种比较简单的公式来处理的领域,尽管在每一个情形下,都有很多特定于该方面且能够连 接其他部分的非常困难的,技巧性很强的问题.K-理论不是一个统一的工具,它更象是一个统一的框架,在不同部分之间具有类比和相似.&
这个工作的许多内容已经被Alain Connes推广到&非交换微分几何&.&
非常有趣的是,也就是在最近,Witten通过他在弦理论方面(基础物理学的最新思想)的工作发现许多很有趣的方法都与K-理论有关,并且K-理论看起来 为那些所谓的&守恒量&提供了一个很自然的&家&.虽然在过去同调论被认为是这些理论的自然框架,但是现在看起来K一理论能提供更好的答案.&
另一个不单单是一项技术、而且是具有统一性的概念是李群.现在说起李群,我们基本上就是指正交群,酉群,辛群以及一些例外群,它们在二十世纪数学历史中起 了非常重要的作用.它们同样起源于十九世纪.SophusLie是一位十九世纪的挪威数学家.正如很多人所讲的那样,他和Fleix Klein,还有其他人一起推动了&连续群理论&的发展.对Klein而言,一开始,这是一种试图统一处理Euclid几何和非欧几何这两种不同类型几何 的方法.虽然这个课题源于十九世纪,但真正起步却是在二十世纪,作为一种能够将许多不同问题归并于其中来研究的统一性框架,李群理论深深地影响了二十世 纪.&
我现在来谈谈Klein思想在几何方面的重要性.对于Klein而言,几何就是齐性空间,在那里,物体可以随意移动而保持形状不变,因此,它们是由一个相 关的对称群来控制的.Euclid群给出Euclid几何而双曲几何源于另一个李群.于是每一个齐性几何对应一个不同的李群.但是到了后来,随着对 Riemann的几何学工作的进一步发展,人们更关心那些不是齐性的几何,此时曲率随着位置的变化而变化,并且空间不再有整体对称性,然而,李群仍然起着 重要的作用,这是因为在切空间中我们有Euclid坐标,以至于李群可以出现在一种无穷小的层面上.但是在切空间中,从无穷小的角度来看,李群又出现了, 只不过由于要区分不同位置的不同点,我们需要用某种可以处理不同李群的方式来移动物体.这个理论是被Eile Cartan真正发展起来的,成为现代微分几何的基石,该理论框架对于Einstein的相对论也起着基本的作用.当然Einstein的理论极大地推动 了微分几何的全面发展.&
进入二十世纪,我前面提到的整体性质涉及到了在整体层面上的李群和微分几何.一个主要的发展是给出所谓的&示性类&的信息,这方面标志性的工作是由 Borel和Hirzebruch给出的,示性类是拓扑不变量并且融合三个关键部分:李群,微分几何和拓扑,当然也包含与群本身有关的代数.&
在更带分析味的方向上,我们得到了现在被称为非交换调和分析的理论.这是Fourier理论的推广,对于后者,Fourier级数或者是Fourier积 分本质上对应于圆周和直线的交换李群,当我们用更为复杂的李群代替它们时,我们就可以得到一个非常漂亮、非常精巧并且将李群表示理论和分析融为一体的理 论.这本质上是Harish-Chandra一生的工作.&
在数论方面,整个&Lang1ands纲领&,现在许多人都这样称呼它,紧密联系于Harish-Chandra理论,产生于李群理论之中.对于每一个李 群,我们都可以给出相应的数论和在某种程度实施Langlands纲领.在本世纪后半叶,代数数论的一大批工作深受其影响.模形式的研究就是其中一个很好 的例证,这还包括Andrew Wiles在Fermat大定理方面的工作.&
也许有人认为李群只不过在几何范畴内特别重要而已,因为这是出于连续变量的需要.然而事实并非如此,有限域上的李群的类似讨论可以给出有限群,并且大多数 有限群都是通过这种方式产生的.因此李群理论的一些技巧甚至可以被应用到有限域或者是局部域等一些离散情形中.这方面有许多纯代数的工作,例如与 George Lusztig名字联系在一起的工作.在这些工作中,有限群的表示理论被加以讨论,并且我已经提到的许多技术在这里也可以找到它们的用武之地.&
上述讨论已把我们带到有限群的话题,这也提醒了我:有限单群的分类是我必须承认的一项工作.许多年以前,也就是在有限单群分类恰要完成之时,我接受了一次 采访,并且我还被问道我对有限单群分类的看法,我当时很轻率地说我并不认为它有那么重要.我的理由是有限单群分类的结果告诉我们,大多数单群都是我们已知 的,还有就是一张有关若干例外情形的表.在某种意义下,这只不过是结束了一个领域.而并没有开创什么新东西,当事物用结束代替开始时,我不会感到很兴奋. 但是我的许多在这一领域工作的朋友听到我这么讲,理所当然地会感到非常非常不高兴,我从那时起就不得不穿起&防弹衣&了.&
在这项研究中,有一个可以弥补缺点的优点.我在这里实际上指的是在所有的所谓&散在群&(sporadic groups)中,最大的被赋予了&魔群&名字的那一个.我认为魔群的发现这件事本身就是有限单群分类中最叫人兴奋的结果了.可以看出魔群是一个极其有意 思的动物而且现在还处于被了解之中.它与数学的许多分支的很大一部分有着意想不到的联系,如与椭圆模函数的联系,甚至与理论物理和量子场论都有联系.这是 分类工作的一个有趣的副产品.正如我所说的,有限单群分类本身关上了大门,但是魔群又开启了一扇大门.&
七、物理的影响&
现在让我把话题转到一个不同的主题,即谈谈物理的影响.在整个历史中,物理与数学有着非常悠久的联系,并且大部分数学,例如微积分,就是为了解决物理中出 现的问题而发展起来的.在二十世纪中叶,随着大多数纯数学在独立于物理学时仍取得了很好的发展,这种影响或联系也许变得不太明显.但是在本世纪最后四分之 一的时间里,事情发生了戏剧性的变化,让我试着简单地评述一下物理学和数学,尤其是和几何的相互影响.&
在十九世纪,Hamilton发展了经典力学,引入了现在称为Hamilton量的形式化.经典力学导出现在所谓的&辛几何&.这是几何的一个分支,虽然 很早已经有人研究了,但是实际上直到最近二十年,这个课题才得到真正的研究.这已经是几何学非常丰富的一部分.几何学,我在这里使用这个词的意思是指,它 有三个分支:Riemann几何,复几何和辛几何,并且分别对应三个不同类型的李群.辛几何是它们之中最新发展起来的,并且在某种意义下也许是最有趣的, 当然也是与物理有极其紧密联系的一个,这主要因为它的历史起源与Hamilton力学有关以及近些年来它与量子力学的联系.现在,我前面提到过的、作为电 磁学基本线性方程的Maxwell方程,是Hodge在调和形式方面工作和在代数几何中应用方面工作的源动力.这是一个非常富有成果的理论,并且自从本世 纪三十年代以来已经成为几何学中的许多工作的基础.&
我已经提到过广义相对论和Einstein的工作.量子力学当然更是提供了一个重要的实例.这不仅仅体现在对易关系上,而且更显著地体现在对Hilbert空间和谱理论的强调上.&
以一种更具体和明显的方式,结晶学的古典形式是与晶体结构的对称性有关的.第一个被研究的实例是发生在点周围的有限对称群,这是鉴于它们在结晶学中的应 用.在本世纪中,群论更深刻的应用已经转向与物理的关系,被假设用来构成物质的基本粒子看起来在最小的层面上有隐藏的对称性,在这个层面上,有某些李群在 此出没,对此我们看不见,但是当我们研究粒子的实际行为时,它们的对称性就显现无遗了.所以我们假定了一个模型,在这个模型当中,对称性是一个本质性的要 素,而且目前那些很普遍的不同理论都有一些象SU(2)和SU(3)那样的基本李群融入其中并构成基础的对称群,因此这些李群看起来象是建设物质大厦的砖 石.&
并不是只有紧李群才出现在物理中,一些非紧李群也出现在物理中,例如Lorentz群.正是由物理学家第一个开始研究非紧李群的表示理论的.它们是那些能 够发生在Hilbert空间的表示,这是因为,对于紧群而言,所有不可约表示都是有限维的,而非紧群需要的是无穷维表示,这也是首先由物理学家意识到的.&
在二十世纪的最后25年里,正如我刚刚完成阐述的,有一种巨大的从物理学的新思想到数学的渗透,这也许是整个世纪最引人注目的事件之一,就这个问题本身, 也许就需要一个完整的报告,但是,基本上来讲,量子场论和弦理论已经以引人注目的方式影响了数学的许多分支,得到了众多的新结果、新思想和新技术.这里, 我的意思是指物理学家通过对物理理论的理解已经能够预言某些在数学上是对的事情了.当然,这不是一个精确的证明,但是确有非常强有力的直觉、一些特例和类 比所支持.数学家们经常来检验这些由物理学家预言的结果,并且发现它们基本上是正确的,尽管给出证明是很困难的而且它们中的许多还没有被完全证明.&
所以说沿着这个方向,在过去的25年里取得了巨大的成果.这些结果是极其细致的.这并不象物理学家所讲的&这是一种应该是对的东西&.他们说:&这里有明 确的公式,还有头十个实例(涉及超过12位的数字)&.他们会给出关于复杂问题的准确答案,这些决不是那种靠猜测就能得到的,而是需要用机器计算的东西, 量子场论提供了一个重要的工具,虽然从数学上来理解很困难,但是站在应用的角度,它有意想不到的回报.这是最近25年中真正令人兴奋的事件.&
在这里我列一些重要的成果:SimonDona1dson在四维流形方面的工作;Vaughan-Jones在扭结不变量方面的工作;镜面对称,量子群;再加上我刚才提到的&魔群&&
这个主题到底讲的是什么呢?正如我在前面提到过的一样,二十世纪见证了维数的一种转换并且以转换为无穷维而告终,物理学家超越了这些,在量子场论方面,他 们真正试图对广泛的无穷维空间进行细致的研究,他们处理的无穷维空间是各类典型的函数空间,它们非常复杂,不仅是因为它们是无穷维的,而且它们有复杂的代 数、几何以及拓扑,还有围绕其中的很大的李群,即无穷维的李群,因此正如二十世纪数学的大部分涉及的是几何、拓扑、代数以及有限维李群和流形上分析的发 展,这部分物理涉及了在无穷维情形下的类似处理.当然,这是一件非常不同的事情,但确有巨大的成功.&
让我更详尽地解释一下,量子场论存在于空间和时间中.空间的真正的意义是三维的,但是有简化的模型使我们将空间取成一维.在一维空间和一维时间里,物理学 家遇到的典型事物,用数学语言来讲,就是由圆周的微分同胚构成的群或者是由从圆周到一个紧李群的微分映射构成的群.它们是出现在这些维数里的量子场论中的 两个非常基本的无穷维李群的例子,它们也是理所当然的数学事物并且已经被数学家们研究了一段时间.&
在这样一个1+1维理论中,我们将时空取成一个Riemann曲面并且由此可以得到很多新的结果.例如,研究一个给定亏格数的Riemann曲面的模空间 是个可以追溯到上个世纪的古典课题.而由量子场论已经得到了很多关于这些模空间的上同调的新结果.另一个非常类似的模空间是一个具有亏格数g的 Riemann曲面上的平坦G-丛的模空间.这些空间都是非常有趣的并且量子场论给出关于它们的一些精确结果.特别地,可以得到一些关于体积的很漂亮的公 式,这其中涉及到Zeta函数的取值.&
另一个应用与计数曲线(counting curve)有关.如果我们来看给定次数和类型的平面代数曲线,我们想要知道的是,例如,经过那么多点究竟有多少曲线,这样我们就要面临代数几何的计数问 题,这些问题在上个世纪一直是很经典的.而且也是非常困难的.现在它们已经通过被称为&量子上同调&的现代技术解决了,这完全是从量子场论中得到的。或者 我们也可以接触那些关于不在平面上而在弯曲族上的曲线的更加困难的问题,这样我们得到了另一个具有明确结果的被称为镜面对称的美妙理论,所有这些都产生于 1+1维量子场论.&
如果我们升高一个维数,也就是2-维空间和1-维时间,就可以得到Vaughan-Jones的扭结不变量理论.这个理论已经用量子场论的术语给予了很美妙的解释和分析.&
量子场论另一个结果是所谓的&量子群&.现在关于量子群的最好的东西是它们的名字.明确地讲它们不是群!如果有人要问我一个量子群的定义,我也许需要用半 个小时来解释,它们是复杂的事物,但毫无疑问它们与量子理论有着很深的联系它们源于物理,而且现在的应用者是那些脚踏实地的代数学家们,他们实际上用它们 进行确定的计算.&
如果我们将维数升得更高一些,到一个全四维理论(三加一维),这就是Donaldson的四维流形理论,在这里量子场论产生了重大影响.特别地,这还导致 Seiberg和Witten建立了他们相应的理论,该理论建立在物理直觉之上并且也给出许多非同寻常的数学结果.所有这些都是些突出的例子.其实还有更 多的例子.&
接下来是弦理论并且这已经是过时的了!我们现在所谈论的是M一理论,这是一个内容丰富的理论,其中同样有大量的数学,从关于它的研究中得到的结果仍有待于进一步消化并且足可以让数学家们忙上相当长的时间.&
八、历史的总结&
我现在作一个简短的总结.让我概括地谈谈历史:数学究竟发生了什么?我相当随意地把十八世纪和十九世纪放在了一起,把它们当做我们称为古典数学的时代,这 个时代是与Euler和Gauss这样的人联系在一起的,所有伟大的古典数学结果也都是在这个时代被发现和发展的.有人也许认为那几乎就是数学的终结了, 但是相反地,二十世纪实际上非常富有成果,这也是我一直在谈论的.&
二十世纪大致可以一分为二地分成两部分.我认为二十世纪前半叶是被我称为&专门化的时代&,这是一个Hilbert的处理办法大行其道的时代,即努力进行 形式化,仔细地定义各种事物,并在每一个领域中贯彻始终.正如我说到过的,Bourbaki的名字是与这种趋势联系在一起的.在这种趋势下,人们把注意力 都集中于在特定的时期从特定的代数系统或者其它系统能获得什么.二十世纪后半叶更多地被我称为&统一的时代&,在这个时代,各个领域的界限被打破了,各种 技术可以从一个领域应用到另外一个领域,并且事物在很大程度上变得越来越有交叉性.我想这是一种过于简单的说法,但是我认为这简单总结了我们所看到的二十 世纪数学的一些方面.&
二十一世纪会是什么呢?我已经说过,二十一世纪是量子数学的时代,或者,如果大家喜欢,可称为是无穷维数学的时代.这意味着什么呢?量子数学的含义是指我 们能够恰当地理解分析、几何、拓扑和各式各样的非线性函数空间的代数,在这里,&恰当地理解&,我是指能够以某种方式对那些物理学家们已经推断出来的美妙 事物给出较精确的证明.&
有人要说,如果用天真幼稚的方式(naive way)来研究无穷维并问一些天真幼稚的问题,通常来讲,只能得到错误的答案或者答案是无意义的,物理的应用、洞察力和动机使得物理学家能够问一些关于无 穷维的明智的问题,并且可以在有合乎情理的答案时作一些非常细致的工作,因此用这种方式分析无穷维决不是一件轻而易举的事情.我们必须沿着这条正确的道路 走下去.我们已经得到了许多线索,地图已经摊开了:我们的目标已经有了,只不过还有很长的路要走.&
还有什么会发生在二十一世纪?我想强调一下Connes的非交换微分几何.Alain Connes拥有这个相当宏伟的统一理论.同样,它融合了一切.它融合了分析、代数、几何、拓扑、物理、数论,所有这一切都是它的一部分.这是一个框架性 理论,它能够让我们在非交换分析的范畴里从事微分几何学家通常所做的工作,这当中包括与拓扑的关系.要求这样做是有很好的理由的,因为它在数论、几何、离 散群等等以及在物理中都有(潜力巨大的或者特别的)应用.一个与物理有趣的联系也刚刚被发现.这个理论能够走多远,能够得到什么结果,还有待进一步观察. 它理所当然地是我所期望的至少在下个世纪头十年能够得到显著发展的课题,而且找到它与尚不成熟的(精确)量子场论之间的联系是完全有可能的.&
我们转到另一个方面,也就是所谓的&算术几何&或者是Arakelov几何,其试图尽可能多地将代数几何和数论的部分内容统一起来.这是一个非常成功的理论.它已经有了一个美好的开端,但仍有很长的路要走.这又有谁知道呢?&
当然,所有这些都有一些共同点.我期待物理学能够将它的影响遍及所有地方,甚至是数论:Andrew Wiles不同意我这样说,只有时间会说明一切.&
这些是我所能看到的在下个十年里出现的几个方面,但也有一些难以捉摸的东西:返回至低维几何.与所有无穷维的富有想象的事物在一起,低维几何的处境有些尴 尬.从很多方面来看,我们开始时讨论的维数,或我们祖先开始时的维数,仍留下某些未解之谜.维数为2,3和4的对象被我们称为&低&维的.例如 Thurston在三维几何的工作,目标就是能够给出一个三维流形上的几何分类,这比二维理论要深刻得多.Thurston纲领还远远没有完成,完成这个 纲领当然将是一个重要的挑战.&
在三维中另外一个引人注目的事件是Vaughan-Jones那些思想本质上来源于物理的工作.这给了我们更多的关于三维的信息,并且它们几乎完全不在 Thurston纲领包含的信息之内.如何将这两个方面联系起来仍然是一个巨大的挑战,但是最近得到的结果暗示两者之间可能有一座桥,因此,整个低维的领 域都与物理有关,但是其中实在有太多让人琢磨不透的东西.&
最后,我要提一下的是在物理学中出现的非常重要的&对偶&.这些对偶,泛泛地来讲,产生于一个量子理论被看成一个经典理论时有两种不同的实现.一个简单的 例子是经典力学中的位置和动量的对偶.这样由对偶空间代替了原空间,并且在线性理论中,对偶就是Fourier变换.但是在非线性理论中,如何来代替 Fourier变换是巨大的挑战之一.数学的大部分都与如何在非线性情形下推广对偶有关.物理学家看起来能够在他们的弦理论和M一理论中以一种非同寻常的 方式做到了这一点.他们构造了一个又一个令人叹为观止的对偶实例,在某种广义的意义下,它们是Fourier变换的无穷维非线性体现,并且看起来它们能解 决问题,然而理解这些非线性对偶性看起来也是下个世纪的巨大挑战之一.&
我想我就谈到这里.这里还有大量的工作,并且我觉得象我这样的一个老人可以和你们这么多的年轻人谈谈是一件非常好的事情;而且我也可以对你们说:在下个世纪,有大量的工作在等着你们去完成.
站长在关注

我要回帖

更多关于 高中数学等差数列教案 的文章

 

随机推荐