宝水的72松博客

Just another 七十二松 (72pines) weblog

Archive for 十二月, 2007

经济学家笑话

Posted by 宝水 on 31st 十二月 2007

说哈佛商学院某2位经济学博士在路上发现一堆狗屎,甲对乙说:如果你老兄敢把那堆东东吃了,我可以给你2万美金。乙就开始算起来,吃了之后需要多少医药费、恢复现有状态需要多少花费等,算的结果是值。吃了之后,乙老兄越来越反胃,实在难受,而甲因为付出了2万美金也是越想越后悔。后来,另一堆那个东东又出现在他们面前,于是乙对甲说,如果你老兄也吃了它,我同样可以给你2万美金。于是甲也开始计算,结论也是吃了值。后来,两位老兄因为什么也没得到却都白吃了一堆狗屎都后悔不迭的时候,其导师得知了此事,导师连声赞叹:“你们就因为吃了两堆狗屎,就为国家增加了4万美金的GDP,了不起啊。”

Posted in economics | No Comments »

数学的三大核心领域(卢介景)

Posted by 宝水 on 31st 十二月 2007

Posted in Math | No Comments »

数学的三次危机

Posted by 宝水 on 31st 十二月 2007

从哲学上来看,矛盾是无处不存在的,即便以确定无疑著称的数学也不例外。数学中有大大小小的许多矛盾,例如正与负、加与减、微分与积分、有理数与无理数、实数与虚数等等。在整个数学发展过程中,还有许多深刻的矛盾,例如有穷与无穷、连续与离散、存在与构造、逻辑与直观、具体对象与抽象对象、概念与计算等等。

在数学史上,贯穿着矛盾的斗争与解决。当矛盾激化到涉及整个数学的基础时,就会产生数学危机。而危机的解决,往往能给数学带来新的内容、新的发展,甚至引起革命性的变革。

数学的发展就经历过三次关于基础理论的危机。

一、第一次数学危机

从某种意义上来讲,现代意义下的数学,也就是作为演绎系统的纯粹数学,来源予古希腊毕达哥拉斯学派。它是一个唯心主义学派,兴旺的时期为公元前500年左右。他们认为,“万物皆数”(指整数),数学的知识是可靠的、准确的,而且可以应用于现实的世界,数学的知识由于纯粹的思维而获得,不需要观察、直觉和日常经验。

整数是在对于对象的有限整合进行计算的过程中产生的抽象概念。日常生活中,不仅要计算单个的对象,还要度量各种量,例如长度、重量和时间。为了满足这些简单的度量需要,就要用到分数。于是,如果定义有理数为两个整数的商,那么由于有理数系包括所有的整数和分数,所以对于进行实际量度是足够的。

有理数有一种简单的几何解释。在一条水平直线上,标出一段线段作为单位长,如果令它的定端点和右端点分别表示数0和1,则可用这条直线上的间隔为单位长的点的集合来表示整数,正整数在0的右边,负整数在0的左边。以q为分母的分数,可以用每一单位间隔分为q等分的点表示。于是,每一个有理数都对应着直线上的一个点。

古代数学家认为,这样能把直线上所有的点用完。但是,毕氏学派大约在公元前400年发现:直线上存在不对应任何有理数的点。特别是,他们证明了:这条直线上存在点p不对应于有理数,这里距离op等于边长为单位长的正方形的对角线。于是就必须发明新的数对应这样的点,并且因为这些数不可能是有理数,只好称它们为无理数。无理数的发现,是毕氏学派的最伟大成就之一,也是数学史上的重要里程碑。

无理数的发现,引起了第一次数学危机。首先,对于全部依靠整数的毕氏哲学,这是一次致命的打击。其次,无理数看来与常识似乎相矛盾。在几何上的对应情况同样也是令人惊讶的,因为与直观相反,存在不可通约的线段,即没有公共的量度单位的线段。由于毕氏学派关于比例定义假定了任何两个同类量是可通约的,所以毕氏学派比例理论中的所有命题都局限在可通约的量上,这样,他们的关于相似形的一般理论也失效了。

“逻辑上的矛盾”是如此之大,以致于有一段时间,他们费了很大的精力将此事保密,不准外传。但是人们很快发现不可通约性并不是罕见的现象。泰奥多勒斯指出,面积等于3、5、6、……17的正方形的边与单位正方形的边也不可通约,并对每一种情况都单独予以了证明。随着时间的推移,无理数的存在逐渐成为人所共知的事实。

诱发第一次数学危机的一个间接因素是之后“芝诺悖论”的出现,它更增加了数学家们的担忧:数学作为一门精确的科学是否还有可能?宇宙的和谐性是否还存在?

在大约公元前370年,这个矛盾被毕氏学派的欧多克斯通过给比例下新定义的方法解决了。他的处理不可通约量的方法,出现在欧几里得《原本》第5卷中,并且和狄德金于1872年绘出的无理数的现代解释基本一致。今天中学几何课本中对相似三角形的处理,仍然反映出由不可通约量而带来的某些困难和微炒之处。

第一次数学危机表明,几何学的某些真理与算术无关,几何量不能完全由整数及其比来表示。反之,数却可以由几何量表示出来。整数的尊祟地位受到挑战,古希腊的数学观点受到极大的冲击。于是,几何学开始在希腊数学中占有特殊地位。同时也反映出,直觉和经验不一定靠得住,而推理证明才是可靠的。从此希腊人开始从“自明的”公理出发,经过演绎推理,并由此建立几何学体系。这是数学思想上的一次革命,是第一次数学危机的自然产物。

回顾在此以前的各种数学,无非都是“算”,也就是提供算法。即使在古希腊,数学也是从实际出发,应用到实际问题中去的。例如,泰勒斯预测日食、利用影子计算金字塔高度、测量船只离岸距离等等,都是属于计算技术范围的。至于埃及、巴比伦、中国、印度等国的数学,并没有经历过这样的危机和革命,也就继续走着以算为主,以用为主的道路。而由于第一次数学危机的发生和解决,希腊数学则走上完全不同的发展道路,形成了欧几里得《原本》的公理体系与亚里士多德的逻辑体系,为世界数学作出了另一种杰出的贡献。

但是,自此以后希腊人把几何看成了全部数学的基础,把数的研究隶属于形的研究,割裂了它们之间的密切关系。这样做的最大不幸是放弃了对无理数本身的研究,使算术和代数的发展受到很大的限制,基本理论十分薄溺。这种畸形发展的局面在欧洲持续了2000多年。

二、第二次数学危机

十七、十八世纪关于微积分发生的激烈的争论,被称为第二次数学危机。从历史或逻辑的观点来看,它的发生也带有必然性。

这次危机的萌芽出现在大约公元前450年,芝诺注意到由于对无限性的理解问题而产生的矛盾,提出了关于时空的有限与无限的四个悖论:

“两分法”:向着一个目的地运动的物体,首先必须经过路程的中点,然而要经过这点,又必须先经过路程的1/4点……,如此类推以至无穷。——结论是:无穷是不可穷尽的过程,运动是不可能的。

“阿基里斯(《荷马史诗》中的善跑的英雄)追不上乌龟”:阿基里斯总是首先必须到达乌龟的出发点,因而乌龟必定总是跑在前头。这个论点同两分法悖论一样,所不同的是不必把所需通过的路程一再平分。

“飞矢不动”:意思是箭在运动过程中的任一瞬时间必在一确定位置上,因而是静止的,所以箭就不能处于运动状态。

“操场或游行队伍”:A、B两件物体以等速向相反方向运动。从静止的c来看,比如说A、B都在1小时内移动了2公里,可是从A看来,则B在1小时内就移动了4公里。运动是矛盾的,所以运动是不可能的。

芝诺揭示的矛盾是深刻而复杂的。前两个悖论诘难了关于时间和空间无限可分,因而运动是连续的观点,后两个悖论诘难了时间和空间不能无限可分,因而运动是间断的观点。芝诺悖论的提出可能有更深刻的背景,不一定是专门针对数学的,但是它们在数学王国中却掀起了一场轩然大被。它们说明了希腊人已经看到“无穷小”与“很小很小”的矛盾,但他们无法解决这些矛盾。其后果是,希腊几何证明中从此就排除了无穷小。

经过许多人多年的努力,终于在17世纪晚期,形成了无穷小演算——微积分这门学科。牛顿莱布尼兹被公认为微积分的奠基者,他们的功绩主要在于:把各种有关问题的解法统一成微分法和积分法;有明确的计算步骤;微分法和积分法互为逆运算。由于运算的完整性和应用的广泛性,微积分成为当时解决问题的重要工具。同时,关于微积分基础的问题也越来越严重。关键问题就是无穷小量究竞是不是零?无穷小及其分析是否合理?由此而引起了数学界甚至哲学界长达一个半世纪的争论,造成了第二次数学危机。

无穷小量究竟是不是零?两种答案都会导致矛盾。牛顿对它曾作过三种不同解释:1669年说它是一种常量;1671年又说它是一个趋于零的变量;1676年它被“两个正在消逝的量的最终比”所代替。但是,他始终无法解决上述矛盾。莱布尼兹曾试图用和无穷小量成比例的有限量的差分来代替无穷小量,但是他也没有找到从有限量过渡到无穷小量的桥梁。

英国大主教贝克莱于1734年写文章,攻击流数(导数)“是消失了的量的鬼魂……能消化得了二阶、三阶流数的人,是不会因吞食了神学论点就呕吐的。”他说,用忽略高阶无穷小而消除了原有的错误,“是依靠双重的错误得到了虽然不科学却是正确的结果”。贝克莱虽然也抓住了当时微积分、无穷小方法中一些不清楚不合逻辑的问题,不过他是出自对科学的厌恶和对宗教的维护,而不是出自对科学的追求和探索。

当时一些数学家和其他学者,也批判过微积分的一些问题,指出其缺乏必要的逻辑基础。例如,罗尔曾说:“微积分是巧妙的谬论的汇集。”在那个勇于创造时代的初期,科学中逻辑上存在这样那样的问题,并不是个别现象。

18世纪的数学思想的确是不严密的、直观的,强调形式的计算而不管基础的可靠。其中特别是:没有清楚的无穷小概念,从而导数、微分、积分等概念不清楚;无穷大概念不清楚;发散级数求和的任意性等等;符号的不严格使用;不考虑连续性就进行微分,不考虑导数及积分的存在性以及函数可否展成幂级数等等。

直到19世纪20年代,一些数学家才比较关注于微积分的严格基础。从波尔查诺、阿贝尔、柯西、狄里赫利等人的工作开始,到威尔斯特拉斯、狄德金和康托的工作结束,中间经历了半个多世纪,基本上解决了矛盾,为数学分析奠定了一个严格的基础。

波尔查诺给出了连续性的正确定义;阿贝尔指出要严格限制滥用级数展开及求和;柯西在1821年的《代数分析教程》中从定义变量出发,认识到函数不一定要有解析表达式;他抓住极限的概念,指出无穷小量和无穷大量都不是固定的量而是变量,无穷小量是以零为极限的变量;并且定义了导数和积分;狄里赫利给出了函数的现代定义。在这些工作的基础上,威尔斯特拉斯消除了其中不确切的地方,给出现在通用的极限的定义,连续的定义,并把导数、积分严格地建立在极限的基础上。

  19世纪70年代初,威尔斯特拉斯、狄德金、康托等人独立地建立了实数理论,而且在实数理论的基础上,建立起极限论的基本定理,从而使数学分析建立在实数理论的严格基础之上。

三、第三次数学危机

数学基础的第三次危机是由1897年的突然冲击而出现的,从整体上看到现在还没有解决到令人满意的程度。这次危机是由于在康托的一般集合理论的边缘发现悖论造成的。由于集合概念已经渗透到众多的数学分支,并且实际上集合论已经成了数学的基础,因此集合论中悖论的发现自然地引起了对数学的整个基本结构的有效性的怀疑。

1897年,福尔蒂揭示了集合论的第一个悖论;两年后,康托发现了很相似的悖论,它们涉及到集合论中的结果。1902年,罗素发现了一个悖论,它除了涉及集合概念本身外不涉及别的概念。

罗素,英国人,哲学家、逻辑学家、数学家。1902年著述《数学原理》,继而与怀德海合著《数学原理》(1910年~1913年),把数学归纳为一个公理体系,是划时代的著作之一。他在很多领域都有大量著作,并于1950年获得诺贝尔文学奖。他关心社会现象,参加和平运动,开办学校。1968~1969年出版了他的自传。

罗素悖论曾被以多种形式通俗化,其中最著名的是罗索于1919年给出的,它讲的是某村理发师的困境。理发师宣布了这样一条原则:他只给不自己刮胡子的人刮胡子。当人们试图答复下列疑问时,就认识到了这种情况的悖论性质:“理发师是否可以给自己刮胡子?”如果他给自己刮胡子,那么他就不符合他的原则;如果他不给自己刮胡子,那么他按原则就该为自己刮胡子。

罗素悖论使整个数学大厦动摇了,无怪乎弗雷格在收到罗素的信之后,在他刚要出版的《算术的基本法则》第2卷本末尾写道:“一位科学家不会碰到比这更难堪的事情了,即在工作完成之时,它的基础垮掉了。当本书等待付印的时候,罗素先生的一封信把我就置于这种境地”。狄德金原来打算把《连续性及无理数》第3版付印,这时也把稿件抽了回来。发现拓扑学中“不动点原理”的布劳恩也认为自己过去做的工作都是“废话”,声称要放弃不动点原理。

自从在康托的集合论和发现上述矛盾之后,还产生了许多附加的悖论。集合论的现代悖论与逻辑的几个古代悖论有关系。例如公元前四世纪的欧伯利得悖论:“我现在正在做的这个陈述是假的”。如果这个陈述是真的,则它是假的;然而,如果这个陈述是假的,则它又是真的了。于是,这个陈述既不能是真的,又不能是假的,怎么也逃避不了矛盾。更早的还有埃皮门尼德(公元前6世纪,克利特人)悖论:“克利特人总是说谎的人”。只要简单分析一下,就能看出这句话也是自相矛盾的。

集合论中悖论的存在,明确地表示某些地方出了毛病。自从发现它们之后,人们发表了大量关于这个课题的文章,并且为解决它们作过大量的尝试。就数学而论,看来有一条容易的出路:人们只要把集合论建立在公理化的基础上,加以充分限制以排除所知道的矛盾。

第一次这样的尝试是策梅罗于1908年做出的,以后还有多人进行了加工。但是,此程序曾受到批评,因为它只是避开了某些悖论,而未能说明这些悖论;此外,它不能保证将来不出现别种悖论。

另一种程序既能解释又能排除已知悖论。如果仔细地检查就会发现:上面的每一个悖论都涉及一个集合S和S的一个成员M(既M是靠S定义的)。这样的一个定义被称作是“非断言的”,而非断言的定义在某种意义上是循环的。例如,考虑罗素的理发师悖论:用M标志理发师,用S标示所有成员的集合,则M被非断言地定义为“S的给并且只给不自己刮胡子人中刮胡子的那个成员”。此定义的循环的性质是显然的——理发师的定义涉及所有的成员,并且理发师本身就是这里的成员。因此,不允许有非断言的定义便可能是一种解决集合论的己知悖论的办法。然而,对这种解决办法,有一个严重的责难,即包括非断言定义的那几部分数学是数学家很不愿丢弃的,例如定理“每一个具有上界的实数非空集合有最小上界(上确界)”。

解决集合论的悖论的其它尝试,是从逻辑上去找问题的症结,这带来了逻辑基础的全面研究。

从1900年到1930年左右,数学的危机使许多数学家卷入一场大辩论当中。他们看到这次危机涉及到数学的根本,因此必须对数学的哲学基础加以严密的考察。在这场大辩论中,原来不明显的意见分歧扩展成为学派的争论。以罗素为代表的逻缉主义、以布劳威为代表的直觉主义、以希尔伯特为代表的形式主义三大数学哲学学派应运而生。它们都是唯心主义学派,它们都提出了各自的处理一般集合论中的悖论的办法。他们在争论中尽管言语尖刻,好象势不两立,其实各自的观点都吸收了对方的看法而又有很多变化。

1931年,哥德尔不完全性定理的证明暴露了各派的弱点,哲学的争论黯淡了下来。此后,各派力量沿着自己的道路发展演化。尽管争论的问题远未解决,但大部分数学家并不大关心哲学问题。直到近年,数学哲学问题才又激起人们的兴趣。

承认无穷集合、承认无穷基数,就好象一切灾难都出来了,这就是第三次数学危机的实质。尽管悖论可以消除,矛盾可以解决,然而数学的确定性却在一步一步地丧失。现代公理集合论中一大堆公理,简直难说孰真孰假,可是又不能把它们都消除掉,它们跟整个数学是血肉相连的。所以,第三次数学危机表面上解决了,实质上更深刻地以其它形式延续着。

数学中的矛盾既然是固有的,它的激烈冲突——危机就不可避免。危机的解决给数学带来了许多新认识、新内容,有时也带来了革命性的变化。把20世纪的数学同以前全部数学相比,内容要丰富得多,认识要深入得多。在集合论的基础上,诞生了抽象代数学、拓扑学、泛函分析与测度论,数理逻辑也兴旺发达成为数学有机体的一部分。古代的代数几何、微分几何、复分析现在已经推广到高维。代数数论的面貌也多次改变,变得越来越优美、完整。一系列经典问题完满地得到解决,同时又产生更多的新问题。特别是二次大战之后,新成果层出不穷,从来间断。数学呈现无比兴旺发达的景象,而这正是人们同数学中的矛盾、危机斗争的产物。

Posted in Math | No Comments »

数学的三股推动力量(卢介景)

Posted by 宝水 on 31st 十二月 2007

http://www.pep.com.cn/gzsx/jszx/kwyd/kwdw/200712/t20071204_427883.htm

纵观几千年的数学发展史,人们眼前展现了一幅壮观的景象:在科学世界里,一条长江大河从涓涓细流的源头开始,不断会聚各路支流,越来越浩浩荡荡,终成今日汹涌澎湃之势。

是什么力量在推动数学长河奔腾向前呢?我们认为,推动数学的主要力量有三股——社会生产的发展、数学内部的矛盾和数学家们的努力。

一、社会生产的发展

恩格斯指出:“科学的发生和发展,一开始就是由生产决定的”,这里的生产是指人们使用工具来创造各种生产资料和生活资料。数学作为研究客观物质世界的数量关系和空间形式的一门科学,它的发生和发展也是由生产决定的。

尽管数与形的最初观念可以追溯到原始社会,但是由于当时生产水平的低下,虽然经历了上万年的漫长时间,也只积累了一些零碎的、萌芽的数学知识。到了古希腊奴隶社会最发达时期,社会生产有了较大发展,几何学才取得了决定性的进步。

文艺复兴时期,机械的广泛使用,航海事业的迅速发展,以及我国四大发明的传播,促成了西欧生产的巨大变化,推动了自然科学的迅速发展。在这时期,在意大利的封建社会中,代数学取得了快速的发展。

17世纪欧洲生产的发展,促进了力学和技术的发展,从而向数学提出了从一般的形态上研究运动的问题。出于研究运动,变量的观念产生了,并且成了数学研究的主要对象,同时也产生了函数的概念。数学向研究变量和函数方面发展,随后就产生了解析几何、微积分等数学分支。

微积分的基本理论在实践中的成功应用,证明它反映了生产和科学技术的某些客观规律,数学终于在较短的时间里取得了辉煌的成就。在古化虽然已有了朴素的极限思想,但是那时候的生产水平低下,科学技术不发达,研究都停留在静力学和固定不动的范围内,不可能产生微积分。在中世纪,生产的客观实际也不可能提出研究变量的问题,因此那时候也不可能产生微积分。

1705年,英国物理学家纽可门制成了第一个能供实用的蒸汽机;1768年,瓦特制成了近代蒸汽机。由此引起的工业革命,大大提高了人类社会生产力,从而促进了十八、十九世纪数学的大繁荣。

20世纪40年代,生产力得到进一步发展,科学技术突飞猛进。1945年,第一颗原子弹爆炸、第一台电子计算机问世;1957年,第一颗人造地球卫星发射成功。超高温、超高压、微观、宏观及大科学出现,于是现代数学发展神速、硕果累累。

有的数学家认为:1940年以后的数学成就,超过了从古希腊到1940年间2000多年的数学成就。纯粹数学方面,出现了一些重大突破。应用数学方面,涌现出一些新的分支,如计算数学、对策论、规划论、运筹学、信息论、控制论、生物数学、经济数学等等;出现了系统科学;出现了各种数学新思潮,如非标准分析、模糊数学、突变理论、结构数学、构造数学等等;计算机科学、人工智能和机器证明也发展起来了。

自然界的种种现象是早已有之的,但人们对它们的认识是随着生产的发展而逐步深化、全面的,科学史就反映出这个艰难的历程。在数学研究中,面对确定性现象,2000多年前就开始建立“精确数学”(代数方程、微分方程等);面对随机性现象,400多年前开始建立“随机数学”(概率论,数理统计等),工业革命后大生产中的产品检验问题,大大推进了概率、统计、随机过程等分支的发展;而面对模糊性现象,20多年前才开始建立“模糊数学,可以毫不夸大地说:没有电子计算机便没有模糊数学。

人类的社会实践包括生产斗争、阶级斗争和科学实验三大运动,其中起决定作用的是生产斗争。社会生产从三个方面推动数学的发展,向数学提出新的问题,刺激数学向这个或那个方向发展,为数学提供新的发展条件,就象为生物学家提供显微镜、为天文学家提供望远镜那样,现代生产与科技为数学家提供了电子计算机,推动数学飞速发展。

虽然数学的理论往往具有非常抽象的形式,但是它们同时也是现实世界中量的关系和空间形式的深刻反映,因而可以广泛地应用到自然科学、技术部门、社会科学和生产实际中去,对于人类认识自然、改造自然起着重要的作用。这也是数学的发展对于社会生产的发展所起的巨大的反作用,也是检验数学结论的真理性的唯一标准。

综上所述,数学的发展不能脱离社会生产的发展。在绝大多数情况下,前者依赖于后者,因而两者的发展大体上是相适应的。但是数学的发展也有相对的独立性,有时落后于社会生产的发展,有时则超越社会生产的发展。例如,公无前3世纪的圆锥曲线经过1800年,才在行星运动三定律中得到应用;19世纪20年代的非欧几何差不多100年后才在相对论中得到应用;19世纪40年代的数理逻辑,一百年后才在电子计算机中得到广泛应用。这些理论走在实践要求之前的发展,一般是由于纯粹数学内部矛盾运动推动的结果。

二、数学内部的矛盾

整个数学的发展史就是一部矛盾斗争的历史。数学内部的矛盾是推动数学长河滚滚向前的主要力量之一。

数学以现实世界的空间形式和数量关系作为自己研究的对家,为了在纯粹形态上研究这些形式和关系,就必须和现实世界的内容割裂开来。但是,离开内容的形式和关系是不存在的。因此,数学按它的本质企图实现这种割裂,是企图实现一种不可能的事情。这是在数学本质中的根本矛盾,它是认识的普遍矛盾在数学方面的特殊表现。在越来越接近现实的各个认识阶段上,不断解决和重复上述矛盾,数学就不断地前进、发展,由简单到复杂,由低级向高级。

人类最早认识的是自然数,引进零和负数就经过了斗争:要么引进这些数,要么大量的数的减法就行不通。同样,引进分数使乘法有了逆运算—除法,否则许多实际问题也不能解决。

但是接着又出现了这样的问题:是否所有的量都能够用有理数来表示?发现无理数并最终使得第一次数学危机的解决,促使了逻辑的发展和几何学的系统化。方程解的问题导致虚数的出现,虚数从一开始就被认为是“不实的”,可是这种不实的数却解决了实数所不能解决的问题,从而为自己争得了存在的权利。数学就是这样在矛盾斗争中发展的。几何学从欧几里得几何的一统天下发展到多种几何,也是如此。

在19世纪发现了许多用传统方法不能解决的问题,如五次及五次以上代数方程不能通过加、减、乘、除、开方求出根来;古希腊几何三大问题不能通过圆规和直尺作图来解决等等。这些否定的结果表明了传统方法的局限性,也反映了人类认识的深入。

这些发现给有关学科带来了极大的冲击,几乎完全改变了它们的方向。例如,代数学从此以后向抽象代数的方面发展,而求解方程的根也变成了分析及计算数学的课题。在第三次数学危机中,这种情况也多次出现,尤其是包含整数算术在内的形式系统的不完全性、许多问题的不可判定性,都大大提高了人们的认识,也促进了数理逻辑的大发展。

由无穷小量的矛盾引起的第二次数学危机,反映了数学内部的有限与无穷的矛盾。第三次数学危机涉及集合论和数理逻辑,但它一开始就牵涉到无穷集合,而现代数学脱离无穷集合就寸步难行。一种极端的观点是只考虑有限集合或至多是可数的集合,不过这样一来绝大部分数学将不复存在。

即使这些有限数学的内容也有许多要涉及无穷的方法,有很多的数学证明都要用有限的步骤解决涉及无穷的问题。借助于计算机完成的四色定理的证明,首先也要把无穷多种可能的地图归结成有限的情形。对于无穷,计算机也是无能为力的。可见数学永远回避不了有限与无穷这对矛盾,可以说它是数学矛盾的根源之一。

数学中也一直贯穿着应用上清楚与逻辑上严格的矛盾。在这方面,比较注意实用的数学家盲目应用,而比较注意严密的数学家则提出批评。只有这两方面取得协调一致,矛盾才能解决。例如,算符演算及δ函数,开始是形式演算,任意应用,直到施瓦尔兹才奠定广义函数论的严整系统。微积分的应用与极限论的建立更是众所周知的。

在数学史中,一直存在着经常起作用的两种重要趋势:一种是学科不断分化的趋势,另一种是学科不断综合的趋势。这两种矛盾的趋势的辨证运动,表现为一个否定之否定的过程。

自然界作为一个无限多样性的统一整体,通过感觉和知觉进入人类的意识。古时候,数学是在总体的数和形的关系上把握自然界的,算术、代数、几何没有彼此分开,任何一本数学名著都包括了这三方面的内容,并且把它们溶化在一起。因此,古代的数学本质上是一种感性直观的关于数和理的综合的科学。

从17世纪产生解析几何和微积分以后,学科分化的趋势一直居于主导地位。单一的未经分化的学科向许多专门分支学科发展,每一门学科所研究的又都是具体完整的数学中数与形的某一个方面。这种不断分化,到19世纪下半叶达到了相当精细的程度,代数、几何、分析等学科已经形成了各自不同的研究领域,特别是分析领域的发展更是蓬蓬勃勃。每个学科都可以互不联系地单独向前发展,各学科在理论、语言、方法等方面可以互不相通,根本谈不上统一的数学的图景。

从1872年克莱因用“群”的观点统一各种几何开始,到康托尔建立集合论和公理化运动,越来越分化的数学走向综合的趋势逐渐明显。到20世纪初,数学学科的分化和综合都明显加快了。从20年代起,特别是第二次世界大战后,综合的趋势已占主导地位。学科的继续分化实际上已经是综合趋势的一种表现形式,因为新学科的不断出现正在越来越消除各学科之间的传统界限。对于数和形的深入认识,更多地采用多学科的方法的综合认识形式。因此,各门学科更加紧密地联系起来。现代数学发展的辨证法就是这样的,越是理解了整体的各个方面,就越是接近于综合地把握整体。

也许将来会出现一种公认的新观点,把目前的数学统一起来。但是,这种统一只是暂时的、相对的。随着生产和科技的发展,又会产生新的问题,形成新的分支,促进新的分化。数学将在这种不断的分化和综合中不断前进。

三、数学家们的努力

数学作为一门科学,它不是任何一个历史时代、任何一个民族单独的产物,而是若干个时代,许多民族的共同产物。经过4000多年世界各民族的共同努力,数学才发展到今天边样的规模。

推动数学前进的力量,无论是社会生产的发展,还是数学内部的矛盾,说到底都离不开人民,特别是离不开作为他们之中优秀代表人物的古今中外数学家们的努力奋斗。在数学史中,几千位著名的数学家作出了可贵的贡献;几十万名数学研究人员作出了必要的探索;数千万数学教育工作者和实际应用者为数学的传播和应用建立了功勋。

我国的《畴人传》包括400多位天文、数学家的传记,其中占篇幅最多的是僧一行,他是唐代最著名的数学家、天文学家。僧是和尚、一行是法号,原名张遂,天赋聪敏、潜心窥测,717年他来到京城长安,为唐玄宗顾问。他把数学与天文学结合起来,创造了世界上最早的不等间距二次内插法公式;他组织并领导的在全国12个点对北极高度和日影长短的测量,是世界上第一次对子午线的实测;他对历法科学作出了重要的贡献,推算出“开元大衍历”,后世有人称赞它“历千古而无差”。可惜他的著作后来全部散失了。

我国数学家中在世界上声名最高的,是南北朝的祖冲之(429~500年)。他是世界上最早计算圆周率π精确到6位小数的人,并且保持了这项世界纪录将近1100年。他从小喜欢钻研天文、数学,博览群书,重视实践,经常提出大胆的想法,再通过实践来检验这些想法是否正确。祖冲之和他的儿子合撰的数学专著《缀术》,核定为唐朝学校的教材。中世纪时,日本、朝鲜的学校也采用它作为课本,可惜这部书后来失传了。为纪念祖冲之在圆周率及其它方面的贡献,莫斯科大学建立了他的塑像,与世界其它著名科学家的塑像一起受到人们的敬仰。苏联科学家还把月球上的一个环形山命名为祖冲之环形山,真可谓名扬九天。

宋元时代的朱世杰被誉为“中世纪世界最伟大的数学家”。他曾四处流浪,周游湖海20多年,长期靠教授数学来维持生活,“踵门而学者云集”。他的名著《算学启蒙》三卷(1299年)和《四元宝鉴》三卷(1303年)是我国数学发展的重要里程碑。前者创立了代数加法和乘法的正负法则;后者把天元术推广为“四元术”(四元高次联立方程解决),而欧洲到1775年才提出同样的解法。《四元宝鉴》开头所载“古法七乘方图”与“杨辉三角”具有同等重要的世界意义。朱世杰对高阶等差级数求和问题进行了讨论,得出了高次差的内插公式(四次“招差术”),这实质上已相当于1676~1678年间牛顿的一段内插公式。

在中国数学史上,著述最多的数学家是梅文鼎(1683~1721年)。梅文鼎,字定九,号勿庵,安徽宣城人。他自动喜爱天文学、数学。自29岁起,数十年学问与年俱进,是十七八世纪之交中国最伟大的数学家。他在历学方面,深究中国古代70余家历法,而后与西历会通;在数学方面,先习筹算、笔算、三角、对数,而后发挥少广、方程及勾股诸术,集其大成,自成一家。

梅文鼎的著述,据他所著的《勿庵历算书目》所载,共88种,达二百余卷,其中已刊者33种计70卷。在这些历算书中,数学著作占了三分之二,包括了初等数学的各个分支。他的孙子梅毂成,自幼跟他受到良好的数学教育,1712年23岁时入宫学习数学和天文,次年任蒙养斋汇编官,主编《数理精蕴》。

1761年,梅毂成把其祖父的著作编成《梅氏丛书辑要》,共收33种计60卷,附梅毂成自己所著二卷,其中数学书40卷。象这样祖孙三代大有作为的数学家之家,在世界数学史上也是罕见的。可以与之媲美的只有是差不多同时代的瑞士伯努里家族。

世界数学史上最多产的数学家是瑞士的欧拉(1707~1783年)。他一生中,共发表530本(篇)书(论文),死后47年中,又陆续出版了他留下的许多书稿,从而发表他的著作达到886本(篇)之多。欧拉的一生几乎全部从事数学研究,涉及的范围很广。1735年,他不幸瞎了一只眼睛;1766年,另一只眼睛也瞎了,但这些都没有阻碍他的钻研和创作。双目失明的欧拉,让别人笔录下他的研究成果,借这一种稀有的记忆力,顽强而艰苦地奋斗着。他能在最嘈杂的扰乱中,精力高度集中地进行创造性的工作。

使人感到惊讶和钦佩的,不仅是欧拉的著作是如此之多,而是他的文字通俗易懂、使用的符号先进新颖。下述记号的正规化,都应该归功于欧拉:f(x)表示函数;e表示自然对数的底;a、b、c表示ΔABC的三条边;∑表示求和;i表示虚单位……。

还有最著名的欧拉公式,这个关系式联系着数学中最重要的五个数e、π、i、1、0,是数学中最美妙的公式。很多数学家都怀着尊敬的心情赞美欧拉:“读读欧拉,他是我们一切人的名师”(拉普拉斯)、“对欧拉工作的研究将仍旧是对于数学的不同范围的最好的学校,并且没有任何别的可以替代它”(高斯)。瑞士自然科学学会从1907年开始出版《欧拉全集》,用了四十年才出齐73本。

名列第二位的多产数学家,不是法国的柯西,就是英国的凯雷。但要认真地确定谁该享有这份荣誉,恐怕要计算出版物的页数。例如柯西的全集,除几本书外,包括789篇论文,其中有些是巨著,计有24本大四开本。

世界上第一位女数学家是希腊的希帕提亚(310~415年),她是数学家泰奥思的女儿,写过关于阿波罗尼和丢番图的评注本。而世界上最伟大的女数学家是德国的诺特(1882~1935年),她生于犹太家庭,父亲也是著名的数学家。1900年,她进入爱尔兰根大学,在近千名学生中只有两名女性。在戈丹的指导下,诺特完成了博士论文《三元双二次型不变量的完全系》。1916年,诺特来到哥廷根。那时希尔伯特正从事广义相对论的研究,诺特在这方面做了出色的工作,被后人称之为物理学中的诺特定理。

然而,大学里对妇女的歧视是一个严重问题。希尔伯特多次要求校方给她讲师的职称,可是格廷根的哲学教授会议(数学是哲学的一部分)中的语言学家和历史学家极力反对。

1919~1922年间,诺特走上了她自已独特的发展道路,研究环中的理想论。她对抽象代数的贡献是划时代的,她的一般理想论可说是哥廷根代数学派的代表作。1922年,诺特成了一名特别教授,但只不过是一个空名。她当时开一门代数课,从学生交付的学费中取一份很少的薪金。

由于纳粹德国迫害犹太人,1933年诺特来到美国费城任教,不幸于1935年病逝。大物理学家爱因斯坦在《纽约时报》撰文纪念,文中说:“诺特女士是自妇女受到高等教育以来最重要的最富于创造性的天才”。

在数学史上,有不少著名的数学学派,它们是由志同道合的数学家组成的学术团体,对数学的发展作出了特殊的贡献。这里要简略介绍一下对现代数学有巨大影响的布尔巴基学派。

第一次世界大战给法国科学事业带来了灾难性的破坏,法国数学界出现了青黄不接、后继乏人的局面。老一辈法国数学家虽然曾经在分析、函数论方面作出过杰出成绩,但都是60岁上下的人,而且对当代数学一般只有相当含糊的观念,对德国数学学派的优秀成果、对迅速发展的苏联学派以及诞生不久就红极一时的波兰学派都毫无所知。法国数学落后了。

1924年前后,一批十八九岁的青年进入巴黎高等师范学院的数学系。这批年青人中有狄多涅、韦伊、亨·嘉当等人。他们不满足法国数学的现状,要把触角伸向“函数论王国”之外,决心发动“革命”,振兴法国数学。

1932年,这批青年人“秘密”组成了一个小组,以法国十九世纪一位将军布尔巴基的名字命名。后来又增添了几位成员,比较固定的成员在十人左右。他们瞄准了世界先进水平,如饥似渴地大量阅读,刻苦研讨最新发表的数学论文,分析数学发展中大量新概念,每年聚会多次,热烈争鸣,严谨治学。他们还走出国界,直接倾听国外优秀数学家的讲学和介绍,学习最先进的知识。他们方向对头,敢想敢于,不久就在深入研究现代数学的基础上,形成了自己的独创的观点——数学结构的观点,并用以统一概括现代纯粹数学的新成果,把法国的数学水平推到世界的前列。

从1939年起,他们开始出版《数学原本》。这是一套关于现代数学的综合性丛书的第1卷,此丛书直到1972年出版第34卷时,仍未宣布终止。这套数学丛书标志着布尔巴基学派的诞生,他们造就了一大批象魏尔、狄多涅、歇瓦菜、德尔商特、嘉当等在代数几何、拓扑空间、泛函分析、李群、可换环、多复变函数论等数学领城作出重要贡献的数学家。

布尔巴基的结构主义观点,在50~60年代盛极一时,在中学教材改革中曾被奉为经典。70年代以来,结构主义观点开始走下坡路,受到了批评,认为它一味追求形式主义的公理化,脱离实际,为数学而数学,忽视了数学和其他科学的联系,在初等数学中过早引入抽象概念等等。

但是,布尔巴基学派富于创造的精神是令人敬佩的,他们的治学态度是十分严肃的,一卷著作甚至推倒重写10遍,经过10多年才去付印。《数学原本》仅第一部分就花了30年才正式出版。他们严格要求自己,既要有广泛的兴趣、深厚的基础,又要有独立作战的精神,一丝不苟的态度,这些都是他们成功的原因。

  “史可为鉴”,“它山之石,可以攻玉”。愿古今中外数学家们在推动数学前进中焕发出来的精钟力量,化作青年朋友们的宝贵财富,为中华在各个领域的新顿起而奋斗!

Posted in Math | No Comments »

科学家捉迷藏

Posted by 宝水 on 30th 十二月 2007

      一群伟大的科学家死后在天堂里玩藏猫猫,轮到爱因斯坦抓人,他数到100睁开眼睛,看到所有人都藏起来了,只有牛顿还站在那里。

  爱因斯坦走过去说:“牛顿,我抓住你了。”

  牛顿:“不,你没有抓到牛顿。”

  爱因斯坦:“你不是牛顿你是谁?”

  牛顿:“你看我脚下是什么?”

  爱因斯坦低头看到牛顿站在一块长宽都是一米的正方形的地板砖上,不解。

  牛顿:“我脚下这是一平方米的方块,我站在上面就是牛顿/平方米,所以你抓住的不是牛顿,你抓住的是帕斯卡。”

Posted in Physics | No Comments »

精英专政

Posted by 宝水 on 29th 十二月 2007

http://www.yeeyan.com/articles/view/888888/3356

假设你出生在中国。你是一位独生子,被父母和四位祖父母宠着,有时他们甚至称你为小皇帝。

他们慢慢向你灌输儒教传统,尤其是等级和努力工作的价值。他们把你送到学校。你发现要学习汉字得有非凡的记忆。你慢慢的被中国强烈的人力资本规则塑造成型。

你很快就会明白一个外来者在经过许多交流后理解的东西:今天的中国是一个被人才迷住了的社会,并且中国执政精英就像NBA一样招募人才 严厉,无情,以一个完全精英的方式。

随着逐渐升学,你需要在每学期末的考试中取得一流的成绩,才能进入精英大学。中国学生已经像这样考试超过一千年了。

考试不鼓励创新思维,它只鼓励努力学习和死记硬背。你的青春期就是围绕着考试转 补习讲座,数小时的预习。

每年大概有九百万学生参加考试。最优秀的1%会进入一流大学。其它的只能进入二流学校,这部分最多。这些不幸的人会发现,虽然他们的职业前景不会永久的被排除在外,取得成功的可能机会却大大减少。在这些学校自杀率很高,因为学生感觉到自己让父母失望了。

但是你成功了,你成绩优异,进入了北京大学。你把教授当做上帝看,并知道如果你能拿到高分你可以入党。西方人认为共产党仍然与政治意识形态有关。 你知道在中国除了经济繁荣外没有政治哲学。共产党基本上就是一个庞大的精英组织。它只是其成员共同用来创造财富的一个社会网络。

你真是一个优秀的孩子,因为你在大学也很成功。你有很多选择机会。你可以在一家美国跨国公司找到一份工作,学习资本技巧,然后返回中国做一个企业家。但是你决定进入政府工作,这样风险较小,并且有机会变富(台面之下)和为国家服务。

从某种意义上来说,你的选择并不重要。无论你从商还是从政,你都会隶属于公司官僚制之下。在西方,商业精英和政治精英关系紧张。但是在中国,这些精英都是同一社会网络的一部分,为共同致富而合作。

你的生活被公司官僚制的规则统制。合作具有高度价值。没有真正意识形态的敌对,但是不同的社会网络为权力和财富竞争。这个体系真正的鼓励人才。组织部选择那些证明了他们管理能力的人。你工作努力。你协助管理一个省。你在分管钢铁和通信的国企担当主管人员。你上升得很快。

美国人还抱着古怪的中国共产主义的旧观念,中国永远也不再是一个共产主义国家。它有一套不同的体系:精英家长式统治。想象一下,共产党身上披着常青藤联盟的外套,但它决定不想换个名字。想象一支哈佛校友组成的大军。

告诉你的美国朋友,这是一个精英政府。它就像一个精明的父亲统治家庭一样统治国家。它与公民也有协商,但是对于什么会更好的服务于国家,大多数管理阶层会自己做决定。

这些精英领导阶级吸收竞争对手的力量基础。曾经以为经济增长会产生出一批独立自主的中产阶级,但是现在清楚了,社会的富有部份被吸收到国家/企业机构中去了。曾经还有学者游说民主,但是现在他们对经济自由和机遇感到满足了。

公司官僚制没有停滞不前。它的成员很快认识到中国的弱点,并且很快开始现代化改革(只要改革不威胁到政治体制)。

最重要的一点是你相信,教育式家长作风带来的好的一面。中国正在急速发展。数以亿计的人摆脱了贫困。上海的商业街比美国任何同类都要繁华。商业大楼林立,奥迪车阻塞了道路。

你对公司官僚制取得的成就感到骄傲,期待它带领中国走向下一阶段的现代化 - 从制造经济向服务经济的转变。但在您潜意识里您知道:对于一个彻头彻尾的记忆型精英来说,要管理一个灵活、创新的信息经济,不管它的成员多么聪明,这都是不可能的。

这是一个在半夜里你想都不愿细想的想法。

Posted in economics | No Comments »

How to learn C(如何学习C语言)

Posted by 宝水 on 29th 十二月 2007

So you want to learn the C programming language? Good for you! Learning C will be well worth your time. Here are five steps that you can follow to learn C.

  1. Buy a C programming book. You could also use an online C programming tutorial, but from my experience, books are better. The two books I would recommend are “C Primer Plus” by Prata and “The C Programming Language” by Kernighan and Ritchie. They are both quality books.
  2. Get a compiler. A compiler will allow you to turn your C code into a program that you can run on your computer. Windows users can download VC++ 2005 or Code::Blocks. If you are using Linux you can use GCC, which most likely came with your distribution. If you are using OSX you can use Macintosh Programmer’s Workshop. All of the compilers listed above are either free or Open Source.
  3. Write your first “Hello World” program. Many people decide to quit learning C at this point. All you have to do is get over the hump of your first program, and everything follows naturally from there.
  4. Join the Open Source community and contribute to projects. You can find and join these projects at SourceForge. Helping out an Open source project can teach you much about programming and professional program structure.
  5. Continue learning. With every programming language, you are never finished learning. Buy more advanced C programming books on algorithms, and data structures.

你想学习C编程语言吗?太好了!C语言绝对值得你花时间去学。这里有可以遵循的学习C语言的五个步骤。
1、买一本C编程的书。你也可以使用在线的C编程指南,但是依我的经验,书更好一点。我有两本书要推荐,Prata 的”C Primer Plus”和 Kernighan 与 Ritchie 合著的”The C Programming Language”。它们都是有品质的书。
2、找一个编译器。编译器能把你写的C代码变成在电脑上运行的程序。微软视窗用户可以下载VC++ 2005Code::Blocks。如果你使用Linux你可以使用GCC,大多数Linux发行版自带了它。如果你使用OSX你可以用Macintosh Programmer’s Workshop。上面所列的所有编译器不是免费就是开源的。
3、写你的第一个”Hello World”程序。很多人学C的人在这一点上就决定放弃。你所要做的只是走出你第一个程序的阴影,然后从这里接下来的所有事情都会变得很自然。
4、加入开源社区,为一个项目做贡献。你可以在SourceForge找到和加入这些项目。帮助一个开源项目可以教会你很多关于编程和专业编程结构的知识。
5、持续学习。对每一个编程语言,你永远不能停止学习。买更多关于算法和数据结构的高级C编程书。

Posted in CS | No Comments »

科大学长 对 数学系学弟学妹的忠告

Posted by 宝水 on 29th 十二月 2007

有些科大学生,尤其是新生,抱怨科大教材偏难;而且新生通常缺乏学习方法,对如何在大学中学习还没有清楚的概念。下面是一位科大数学系学长给科大数学专业学生的一些建议。我转发过来,仅供参考。
1、老老实实把课本上的题目做完。其实说科大的课本难,我以为这话不完整。科大的教材,就数学系而言还是讲得挺清楚的,难的是后面的习题。事实上做1道难题的收获是做10道简单题所不能比的。
2、每门数学必修课至少要看一本参考书,尽量做一本习题集。
3、数学分析别做吉米,除非你太无聊,推荐北大方企勤的习题集。此外注意一下有套波兰的数学分析习题集,是不是搞得到中文或英文版。
4、线性代数推荐普罗斯库列科夫的<<线性代数习题集>>和法捷耶夫的<<高等代数习题集>>。莫斯科大学要求把上面的题全做光。建议大家在搞定亚洲第一难书的同时也把里面的题打通。
5、解析几何不要不重视。现在有种削弱几何课的倾向,甚至有的学校把解析几何课改成只有两课时,这样一来,几何训练不足,会很吃亏的。
6、常微要看看阿诺尔德的书,打通菲利波夫的习题集。
7、数论课是很重要的,起码可以锻炼思维能力。
8、数学分析、线性代数、解析几何、泛函、拓扑、抽象代数、实变、微分几何是最重要的课,大家脱层皮也要学好。要尽量加强这方面的工底,不然的话以后很吃亏。
9、有时间去物理系多听课,千万不要毕业了连量子力学也不懂,这样的数学家注定要被淘汰的。读读费曼物理讲义和郎道的理论物理教程。
10、华罗庚的<<数论导引>>的前言大家好好看看,多多领会!
11、想读数理统计和计算数学的要注意,统计和计算数学同样是数学类的专业,不要以为加上计算和统计就可以降低要求。
12、推荐一些参考书:
B.A.卓里奇《数学分析》(第一卷有中文版,第二卷未翻译,会俄文的一定要看)
S.M.Nikolsky,A course of mathematical analysis(有中文版)
A.I.Kostrikin,Introduction to algebra(有中文版)
M.Postnikov,Analytic geometry(有中文版)
M.Postnikov,Linear algebra and differential geometry(有中文版)
G.H.Hardy,An Introduction to the Theory of Numbers
V.I.Arnold,Ordinary differential equation(有中文版)
H.嘉当,解析函数论初步
Kolmogorov,Elements of the Theory of Functions and Functional Analysis(有中文版,亚马逊上出售英文版,20美元一套)
Fomenko,Differential geometry and topology
Kelley,General Topology(有中文版)
Bott,Differential forms in algebraic topology
莫宗坚《代数学》
Atiyah,Introduction to Commutative Algebra(有中文版)
Riesz,Functional Analysis(有中文版)
Landau,Mechanics(有中文版)
Goldstein,Classical Mechanics(有中文版)
Landau,The Classical Theory of Fields(有中文版)
Jackson,Classical Electrodynamics(有中文版)
Landau,Statistical Physics Part1(有中文版)
Kerson Huang,Statistical Mechanics
Landau,Quantum Mechanics(Non-relatisticTheory)(有中文版)
Greiner,Quantum Mechanics:A Introduction(有中文版)
黄昆《固体物理学》
Kittel,Introduction to Solid State Physics(有中文版)
费曼《费曼物理讲义》
玻恩《光学原理》
王梓坤《概率论基础及其应用》
方企勤《数学分析习题集》
普罗斯库列科夫《线性代数习题集》
法捷耶夫《高等代数习题集》
菲利波夫《常微分方程习题集》
沃尔维科斯基《复变函数习题集》
鄂强《实变函数的例题与习题》
符拉基米诺夫《偏微分方程习题集》
巴兹列夫《几何与拓扑习题集》
菲金科《微分几何习题集》

1,迪亚库的《天遇–混沌与稳定性的起源》,上海科技教育出版社。
这本书的内容是关于自牛顿时代以来,数学家探索一个经典的数学物理难题:三体问题的历史,很多新生可能以为数学家就是陈景润那样玩些和实际生活不相关问题的怪人,其实真正好的数学是要能够解决人类科学研究和实际生活中提出的各种数学问题的数学,数学不能离开工程和科学,现代工程技术和自然科学(也包括社会科学)是数学研究活的源泉,这本书里面的三体问题就是关于计算三个天体的运动轨道的问题,这个问题的研究就是现代动力系统理论的起源,甚至说现代的拓扑学也与此大有关系,庞加勒的经典著作《位置分析》很大程度上是为他的《天体力学讲义》提供数学工具,你们可以在这里看见很多数学大师的踪影:庞加勒,柯尔莫哥诺夫,阿诺尔德还有我国的年轻数学家夏志宏。
2,《数学——它的内容,方法和意义》,科学出版社。
这套书一共三本,是由多位俄罗斯著名数学家集体编写的,包括了二十世纪最优秀的数学家柯尔莫哥诺夫先生以及亚历山德罗夫先生、沙法列维奇先生、索伯列夫先生、盖尔范德先生等数学大师。基本上对大学本科的基础课程都做了一个简介,还推荐了一些参考书,这些书大部分国内都可以找到。
3,外尔的《对称》,上海科技教育出版社。
外尔也是二十世纪最优秀的数学家之一,据说是懂得物理最多的数学家,这本书当然也是值得一读的了。
4,克莱因《古今数学思想》,科学出版社。
关于数学历史的名著,不过这本书对以刘徽为代表的中国古代数学的辉煌成就比较忽视。

 

关于数学参考书 作者: angelboy0611
(注:原文太长,根据科大的情况做了些删减)
(一)从”数学分析”的课本讲起吧。
下面开始讲一些课本,或者说参考书:
1.菲赫今哥尔茨的”微积分学教程”,”数学分析原理”。前一本书,俄文版共三卷,中译本共8本;后一本书,俄文版共二卷,中译本共4本。此书堪称经典。”微积分学教程”其实连作者都承认不太合适作为教材,为此他才给出了能够做教材的后一套书,可以说是一个精简的版本。相信直到今天,很多老师在开课的时候还是会去找”微积分学教程”,因为里面各种各样的例题实在太多了,如果想比较扎实的打基础的话,可以考虑把里面的例题当做有答案的习题来做,当然不是每道题都可以这么办的。毫无疑问,这套书代表了以古典的方式处理数学分析内容(指不引入实变,泛函的观念)的最高水平。
2.Apostol的”Mathematical Analysis”在西方(西欧和美国),算得上相当完整的课本,里面讲了勒贝格积分,不过讲的不好。
3.W.Rudin的”Principles of Mathematical Analysis”(中译本:卢丁”数学分析原理”)是一本相当不错的书,后面我们可以看到, 这位先生写了一个系列的教材。该书的讲法(指一些符号,术语的运用)也是很好的。学完”高等数学”以后,可以找一本西方advanced calculus水平的书来看(特别是Rubin的书),基本上就能够达到一般数学系的要求了。说到Advaced Calculus,在这个标题下面有一本书也是可以一看的,就是L.Loomis和S.Sternberg的Advanced Calculus。这本书的观点还是很高的,毕竟是人家Harvard的课本.
4.”数学分析”(北大版)方企勤,沈燮昌等的”数学分析习题集”,”数学分析习题课教材”。北大的这套课本写得还是可以的,不过最好的东西还是两本关于习题的东西。大家知道,吉米多维奇并不是很适合数学系的学生的,毕竟大多是计算题。相比之下北大的这本习题集就要好许多,的的确确值得一做。那本习题课教材也是很有意思的书,包括一些相当困难的习题的解答。
5.克莱鲍尔的”数学分析”。记得那是一本以习题的形式讲分析的书,题目也很不错。
6.张筑生的”数学分析新讲”(共三册)。我个人认为这是中国人写的观点最新的数学分析课本,张老师写这书也实在是呕心沥血,手稿前后写了差不多五遍。象他这样身有残疾的人做这样一件事情所付出的是比常人要多得多的,以致他自己在后记中也引了”都云作者痴,谁解其中味”。在这套书里,对于许多材料的处理都和传统的方法不太一样.非常值得一读。唯一的遗憾是,按照张老师本人的说法,北大出版社找了家根本不懂怎么印数学书的印刷厂,所以版面不是很好看。
下面的一些书可能是比较”新颖”的.
7a.尼柯尔斯基”数学分析教程” 是清华的人翻译的,好象没翻全。那属于80年代以后苏联的新潮流的代表,不管怎么说,人家是苏联科学院院士。
7b.V.A.zorich”数学分析”,莫斯科大学的教材。SPRINGER出了英文版,相当好的一套教材,特别是习题。
8.狄多涅”现代分析基础(第一卷)”是一套二十世纪的大家写的一整套教材的第一卷,用的术语相当”高深”,可能等以后学了实变,泛函再回过头来看感觉会更好一些.
9.说两句关于非数学专业的高等数学。强烈推荐理图里面几本法国人写的数学书。因为在法国高等教育系统里面,对于最好的学生,中学毕业以后念的是两年大学预科,这样就是不分系的,所以他们的高等数学(如J. Dixmier院士的”高等数学”第一卷)或者叫”普通数学”,其水平基本上介于国内数学系和物理系的数学课之间)
10.再补充个技术性的小问题.对于函数项级数收敛, 一致收敛是充分而非必要的,有一个充要条件叫”亚一致收敛性”,在”微积分学教程”里面提了一句,其详细讨论,似乎仅见于鲁金(Lusin)的”实变函数论”里面。
11.华罗庚先生的”高等数学引论”第一卷。这套书(其实没有完成最初的计划)是六十年代初华先生在王元先生的辅助下对科大学生开课时的讲义。那时候他们做过个实验,就是一个教授负责一届学生的教学,所以华先生这书里面其实是涉及很多方面的(附带提一句,另外两位负责过一届学生的是关肇直先生和吴文俊先生)。也是出于
一种尝试吧,华先生这书里面有一些不属于传统教学内容的东西,还包括一些应用。可以一读。
12.何琛,史济怀,徐森林的”数学分析”。这应该是科大的教材,虽然好象影响不是很大,我本人还是很喜欢的,高一的时候第一次学数分就是用的这套书,感觉是条理清晰,配的习题也很好。印刷质量也相当不错。
13,邹应的”数学分析”。徐森林老师说这是中国最难的一本数学分析,大致是Dixmie的大学数学教程的改编版。

 

(二)”空间解析几何”的参考书
“空间解析几何” 实在是一门太经典,或者说古典的课。从教学内容上说,可以认为它描述的主要是三维欧氏空间里面的一些基本常识,包括最基本的线性变换(那是线性代数的特例),和二阶曲面的不变量理论。
科大用的一直是吴光磊先生和田畴先生的解析几何简明教程,很薄,不过主要是讲直角坐标系的情况,仿射坐标系的情况讲的不多。
可以考虑的参考书包括:
1.陈(受鸟)的”空间解析几何学”。内容基本上和课本差不多,不过要厚许多,自然要好念点。陈先生是吴大任先生(大猷先生的堂弟,南开多年的教务长)的夫人,也是中国早期留学海外的女学者.
2.朱鼎勋的”解析几何学” 基本上只在欧氏空间里面讨论问题,优点是非常易懂, 连二维的不变量理论也在附录里面交代得异常清楚。习题也比较合理,不是非常的难(如果我没有记错的话)。朱先生相当有才华,可惜英年早逝。
关于数学分析的习题,还有一本书,就是G.Polya(波利亚),G.Szego(舍贵)的”数学分析中的问题和定理”。在学习数学分析的阶段,可以考虑其第一卷的前面一半,后面就全是复变的东西了。该书的内容还是非常丰富的,在历史上,这是一套曾经使好几代数学家都受益匪浅的经典著作。这套书的一个好处就是题目难归难,后面还是有答案或提示的。
3.Postnikov的”几何讲义:第一学期:解析几何学”是莫斯科大学新的课本,从课程形式就可以看出,解析几何这样一门课如果不是作为对刚进大学的学生的一个引导,给出一些具体的对象的话,迟早是要给吃到线性代数里面去的。我个人以为,现在教委的减轻学生负担的做法迟早是要遭报应的。中国的中学教育水平也就比美国最糟糕的中学好点,从整体上说,比整个欧洲都要差。我相信所谓三维的”解析”几何的内容总有一天要下放到高中里面去。上面的书如果撑不饱你,你又不想学其它的课程的话,可以考虑下面两本经典,其好处是看过以后可以对很多几何对象(当然具体说是指三维空间里面的二次曲面)有相当深刻的了解。
4.玻格列诺夫的”解析几何学”。玻格列诺夫是苏联科学院院士,这本书应该说比较精炼,该有的也都有了。
5.穆斯海里什维利的”解析几何学教程”。特别值得参考的是它里面关于射影的一些观点和讲法(比如认为椭圆也是有渐近线的,只不过是”虚”的而已).
关于解析几何的习题,可以去做巴兹列夫的几何学与拓扑学习题集,里面的题目还是有点难度的。

(三)“高等代数”的参考书
高等代数可以认为处理的是有限维线性空间的理论,如严格一点, 关于线性空间的理论应叫线性代数,再加上一点多项式理论(就是可完全算做代数内容的)就叫高等代数了。这门课在西方的对应一般叫Linear Algebra, 就是苏联人喜欢用高等这个词,你可以在外国教材中心里面找到一本Kurosh(库落什)的Higher Algebra.
北大的”高等代数”(第二版?)可以说是四平八稳,基本上该讲的都讲了,但是你要说它有什么地方讲得特别好,恐怕说不出来。从这门课的内容上说,是可以有很多种讲法的。线性空间的重点自然是线性变换,那么如果在定义空间和像空间里面取定一组基的话,就有一个矩阵的表示。因此这门课的确是可以建立在矩阵论上的,而且如果要和数值搭界的话还必须这么做。
1.蒋尔雄,吴景琨等的”线性代数”是那时候计算数学专业的课本,其教学要求据说是比数学专业相应的课程要高。因为偏向计算,可以找到一些比较常用的算法,我个人以为还是比较有意思的。
2.屠伯埙等的”高等代数”将80%的篇幅贡献给矩阵的有关理论,有大量习题,特别是每章最后的”选做题”.能独立把这里面的习题做完对于理解矩阵的各种各样的性质非常有益。当然这不是很容易的: 据说屠先生退休时留下这么句话:”今后如果有谁开高等代数用这本书做教材,在习题上碰到麻烦的话可以来找我.” 由此可见一斑。如果从习题方面考虑,觉得上面的书太难吃下去的话,那么下面这本应该说是比较适当的。
3.屠伯埙等的”线性代数-方法导引”。这本书比上面那本可能更容易找到,题目也更”实际”些,值得一做。另外,讲到矩阵论.就必须提到
4.甘特玛赫尔的”矩阵论”。这恐怕是这方面最权威的著作了,译者是柯召先生。在这套分两册的书里面,讲到了很多不纳入通常课本的内容。举个例子,大家知道矩阵有Jordan标准型,但是化一个矩阵到它的Jordan标准型的变换矩阵该怎么求?请看”矩阵论”。这书里面还有一些关于矩阵方程的讨论,非常有趣.
5.许以超的”线性代数和矩阵论”。这本书写得很不错,习题也不错。必须指出,这里面其实对于空间的观念很重视。不管怎么样,他还是算华先生的弟子的。
6.华罗庚的”高等数学引论”。华先生做数学研究的特点是其初等直观的方法别具一格,在矩阵理论方面他也有很好的工作.甘特玛赫尔的书里面你只能找到两个中国人的名字,一个是樊畿先生,另一个就是华先生。可能是他第一次把下述观点引进中国的数学教材的(不记得是不是在这本书里面了):n阶行列式是n个n维线性空间的笛卡尔积上唯一一个把一组标准基映到1的反对称线性函数。这就是和多线性代数或者说张量分析的观点很接近了。高等代数的另外一种考虑可能是更加代数化的,比如
7.贾柯勃逊(N.Jacobson)Lectures on Abstract Algebra ,II Linear AlgebraGTM(Graduate Texts in Mathematics)No.31(”抽象代数学”第二卷:线性代数)
8.Greub Linear Algebra(GTM23)其实更多讲的是多线性代数.里面的有些章节还是值得一读的.
9.丘维声的”高等代数”(上,下) 相当不错,特点是很全,虽然在矩阵那个方向没有上面提到的几本书将得深,但是在空间理论,具体的说一些。几何化的思想上讲得还是非常清楚,多项式理论那块也讲了不少。
10.李炯生,查建国的”线性代数”是科大的课本,可能是承袭华先生的一些传统把,里面有些内容的处理在国内属于相当先进的了。从常微分方程开始,数学课就变成没底的东西,每一个标题做下去都是数学研究里面庞大的一块。对于一门基本课程应该讲些什么也始终讨论不断,这里我打算还是从现行课本讲起。

(四)常微分方程的参考书
常微分方程这门课,金福临和李迅经先生在六十年代写过一课本,第一版在今天看来还是很好的一本课本,但第二版有那么点不敢恭维。不知为什么,似乎这本书对具体方程的求解特别感兴趣,对于一些比较”现代”的观点,比如定性的讨论等等相当地不重视。最有那么点好笑的是在某个例子中(好象是介绍Green函数方法的),在解完了之后话锋一转,说”这个题其实按下面的办法解更简单…”而这个所谓更简单的办法是根本不具一般性的.
下面开始说参考书,毫无疑问,我们还是得从我们强大的北方邻国说起.
1.彼得罗夫斯基的”常微分方程讲义”。在20世纪数学史上,这位前莫斯科大学校长占据着一个非常特殊的地位.从学术上说,他在偏微那一块有非常好的工作。他这本书在相当长的时期里是标准教材。
2.庞特里亚金的”常微分方程”。庞特里亚金院士十四岁时因化学实验事故双目失明,在母亲的鼓励和帮助下,他以惊人的毅力走上了数学道路,别的不说,光看看他给后人留下的”连续群”、”最佳过程的数学理论”,你就不得不对他佩服得五体投地,有六体也投下来了。
现代数学的一大特色即是已完全建立了一套自己的表达方式,没一个学科象数学这样创造了这么多的概念。现代数学传播的一大困难也在于此,要向一个非本行(哪怕是数学里另外一个分支的专家)解释清楚一个概念恐怕也要费上半天口舌。但在另外一方面数学是如此有用, 而且数学的抽象性使得一个数学观点往往可以表征其它学科的许多看似毫无关系的对象,所以现代数学还是挺值得一学的。自学不是件容易的事情,特别是数学。从动机上说,如果是想系统学一下大学数学系的课程的话,我的建议还是跟班听课,这比自己找书看要省力的多,在可以考虑的书籍方面,以前上海科技出版社出过一套
1.”大学数学自学丛书”应当说编得是不错的.
2.赵慈庚,朱鼎勋的”大学数学自学指南”。赵先生是上面那套书的主编,这本书基本上以上面那套书为蓝本,也给出了一些参考书。关键是对每一门课的具体内容都有一个详细说明,好象是高等教育出的。下面转到欧美方面
3.Coddington & Levinson的”Theory of Ordinary Differnetial Equations”自五十年代出版以来就一直被奉为经典。说老实话这书里东西太多,自己看着办吧。比较”现代”的表述有
4.Hirsh & Smale的”Differential Equations ,Linear Algebra and Dynamical Systems” (中译本”微分方程,线性代数和动力系统”)。这两位重量级人物写的书其实一点都不难念, 非常易懂,所涉及的内容也是非常基本,重要的。关于作者嘛, 可以提一句,Smale现在在香港城市大学,身价是三年1000万港币,我想称他为在中国领土上工作的最重要的数学家应没有什么疑问。
5.Arnol‘d的”常微分方程”。必须承认,我对Arnol‘d是相当崇拜的。作为Kolmogorov的学生, 他们两就占了KAM里的两个字母。他写的书,特别是一些教材以极富启发性而著称.实际上,他的习惯就是用他自己的观点把相应的材料全部重新处理一遍。从和他的几个学生的交往中我也发现他教学生的本事也非常大,特别是他的学生之间非常喜欢讨论,可能是受他言传身教的作用吧。他自己做学生的时候就和其他几个学生(都是跟不同的导师的)组织了讨论班,互相教别人自己的专长,想想这里都走出来了些什么人物吧: Anosov, Arnol‘d, Manin, Novikov, Shavarevich, Sinai…由此可见互相讨论的重要性。从学术观点上说,他更倾向于比较几何化的想法,在这本书里面也得到了相当的体现。近年来,Arnol‘d对于Bourbaki的指责已经到了令大家瞠目结舌的程度。不过话说回来,在日常生活中他还是个非常平易近人的人,至少他的学生们都是这么说的。这本书有中译本,不过应当指出译者的英文水平不是很高, 竟然会把”北极光”一词音译,简直笑话。再说一句,Arnol‘d的另外一本书,中文名字叫”常微的几何方法….”的,程度要深得多。看了半天,讲来讲去都是外国人写的东西,有中国人自己的值得一看的课本吗?答曰Yes.
6.丁同仁,李承治的”常微分方程教程”绝对是中国人写的最好的常微课本,内容翔实,观点也比较高。
7.卡姆克(Kamke)常微分方程手册,那里面的方程多得不可胜数。
对于变系数常微分方程,有一类很重要的就是和物理里常用的特殊函数有关的。对于这些方程,现在绝对是物理系的学生比数学系的学生更熟悉。我的疑问是不是真有必要象现在物理系的”数学物理方法”课里那样要学生全部完全记在心里。事实上,我很怀疑,不学点泛函的观点如何理解这些特殊函数系的”完备性”,象
8.Courant-Hilbert的”数学物理方法”第一卷可以说达到古典处理方法的顶峰了,但是看起来并不是很容易的。我的理解是学点泛函的观点可以获得一些统一的处理方法,可能比一个函数一个方法学起来更容易一些。而且,
9.王竹溪,郭敦仁的”特殊函数概论”的存在使人怀疑是不是可以只对特殊函数的性质了解一些框架性的东西,具体的细节要用的时候去查书。要知道,查这本书并不是什么丢人的事情, 看看扬振宁先生为该书英文版写的序言吧:”(70年代末)…我的老师王竹溪先生送了我一本刚出版的‘特殊函数概论‘…从此这本书就一直在我的书架上,…经常在里面寻找我需要的结论…”连他老先生都如此,何况我们?

(五)“单复变函数论”的参考书
单复变函数论从它诞生之日(1811年的某天Gauss给Bessel写了封信,说”我们应当给‘虚‘数i以实数一样的地位…”)就成为数学的核心, 上个世纪的大师们基本上都在这一领域里留下了一些东西,因此数学的这个分支在本世纪初的时候已经基本上成形了。到那时为止的成果基本上都是学数学的学生必修的。
1.范莉莉,何成奇的”复变函数论”讲的东西也不是很难,包括那些数量很不少的习题。但是做为第一次学的课本,应当说还不是很容易的。总的说来,从书的序言里面列的参考书目就可以看出两位先生是借鉴了不少国际上的先进课本。如果要列参考书的话,单复变的课本真是多得不可胜数,从比较经典的讲起吧:
2.普里瓦洛夫的”复变函数(论)引论”这是我们的老师辈做学生的时候的标准课本。内容翔实,具有传统的苏联标准课本的一切特征。听说过这么一个小故事: 普里瓦洛夫是莫斯科大学的教授,一次期末口试(要知道,口试可比笔试难多了,无论是从教师还是从学生的角度来说),有一个学生刚走进屋子,就被当头棒喝般地问了一句”sin z有界无界?”此人稀里糊涂地回答了一句”有界”,就马上被开回去了,实在是不幸之至。
3.马库雪维奇”解析函数论(教程?)” 这本厚似砖头的书比上面这本要深不少。这本书的一个毛病是它喜欢用自己的一套数学史,所以象Cauchy-Riemann方程它也给换了个名字,好象是Euler-D‘Alembert吧! 再说点西方的:
4.L.Alfors(阿尔福斯)的”Complex Analysis(复分析)”应该是用英语写的最经典的复分析教材。Alfors是本世纪最重要的数学家之一(仅有的四个既得过Fields奖又得过Wolf奖的人物之一),单复变及相关领域正好是他的专长。他的这本课本从六十年代出第一版开始就好评如潮,总书库里面有英文的修订本,建议还是看英文的。
这里需要说明的是,复分析在十九世纪的三位代表人物分别对应三种处理方式:Cauchy–积分公式;Riemann–几何化的处理;Weierstrass–幂级数方法.这三种方法各有千秋,一半的课本多少在其中互有取舍.Alfors的书的处理可以说是相当好的.
5.H.Cartan(亨利.嘉当)的”解析函数论引论”。这位Bourbaki学派硕果仅存的第一代人物在二十世纪复分析的发展史上也占有很重要的地位。他在多复变领域的很多工作是开创性的。这本课本内容不是很深,从处理方法上可以算是Bourbaki学派的上程之作(无论如何比那套”数学原理”好念多了:-))
6.J.B.Conway的”Functions of One Complex Variable”(GTM 11)和”Functions of One Complex Variable,II” (GTM 159)(GTM=Graduate Mathematics Texts, 是Springer-Verlag的一套丛书,后面的数字是编号)第一卷也是1.的参考书目之一.作者后来又写了第二卷.当然那里面讲述的内容就比较深一点了.这本书第一卷基本上可以说是Cauchy+Weierstrass,对于在1.中占了不少篇幅的Riemann的那套东西要到第二卷里面才能看到.
7.K.Kodaira(小平邦彦)的”An Introduction to Complex Analysis” 。Kodaira也是位复分析大师,是Fields+Wolf。这本书属于”不深,但该学的基本上都有了”的那种类型。需要注意的是这本书(英译本)的印刷错误相对多,250来页的书我曾经列出过100多处毛病。由此我对此书的英译者F.Beardon极为不满,因为同样Beardon自己的一本”Complex Analysis”我就找不出什么错。
偶记得国内的复变教材还有北大庄圻泰的<<复变函数>>, 不记得是不是和张南岳合写的。应该是不错的,习题较多。科大严镇军也有一本<<复变函数>>也不错。其他的复变书都大同小异,偶还记得有本钟玉泉的馆藏考贝最多。下面说说习题
9.G.Polya(波利亚),G.Szego(舍贵)的”数学分析中的问题和定理”第一卷的后半段就是单复变的相当高质量的习题,第二卷的大部分也是,只不过那就有点太过专门了而已.看看这本书的序言就可以多少体会到单复变的地位了.一般来说,里面的题目都有答案或提示,不过我以为一般来说还是可以独立做出来的.
10.”解析函数论习题集”实在不好意思,作者(大概是三个苏联人)的名字忘了,这本书里面的题目相当多。
其它的书我认为可以翻翻的包括
11.张南岳,陈怀惠的”复变函数论选讲”。这是北大出版的研究生课本,基本上可以说和上面提到的Conway的第二卷属于同一水平。从内容上来看,第一章”正规族”,第二章”单连通区域的共形映射”都是直接可以看的,第五章”整函数”同样如此。看一点第七章”Gamma函数和Riemann zeta函数”(这部分内容在6.里面也有),然后去看
12.J.-P. Serre(塞尔)的”A course of Arithmetics”(数论教程)第二部分的十来页东西就可以理解下述
Dirichlet定理的证明了: “a,b互素,则{am+b}里有无穷多个素数”。Serre也是本世纪杰出的复分析,代数几何,
代数专家.他28岁得Fields奖的记录至今还没有人能够打破.他写的书一向以清晰著称。
13.庄圻泰,何育瓒等的”复变函数论(专题?)选讲”。差不多的题目应该有两本,一本比较薄,从Cauchy积分公式的同伦,同调形式讲起,属提高性质.另外一本记忆中就觉得太专门了点。除此之外,讲单复变的还有两本书,不过可能第一遍学的时候不是很适合看。
14.W.Rudin的”Real and Complex Analysis”。必须承认,Rudin很会写书,这本书里面他把对应与我们的复变,实变,泛函的许多东西都串在一起了。
15.L.Hormander的”An Introduction to Complex Analysis in Several Variables”。这是本标题下出现的第三位Fields+Wolf的人物。他的这本多复变的课本也是经典,其工具主要是微分算子的L^2估计。这里有用的是它的第一章, 可以说第一次看这部分讲单复变的内容一般都会有一种耳目一新的感觉。讲个细节,就是Cauchy积分公式对于一般可微函数的推广叫Cauchy-Pompeiu公式,基本上多复变的课本都会提到而单复变的书都不讲。其实只要你看一下它的形式就会知道这个公式的用处是很大的,不妨试试拿它来算一些奇异积分.
16.Titchmarch的”函数论”是本老书,相当有名,一半多的篇幅是讲复变的,看看可以知道二十世纪上半叶的函数论是什么样子。除此之外的意义是,程民德先生在他给陈建功先生做的传中写到:”(三十年代的浙大)陈先生开的复分析课程几乎包括Titchmarch函数论除实函数外的全部内容..”
17.戈鲁辛的”复变函数几何理论”也很老了,但价值并不因时间的推移而改变。作者也是很好的数学家,夏道行先生当年在苏联的最好的工作之一就是解决了戈鲁辛的两个猜想。最后讲一本书
18. R.Remmert的”Complex Analysis”(GTM,reading in mathematics)。Remmert是德国的多复变专家,他的这本书一点也不深, 其最大特色是收集了很多历史资料,把许多概念的来龙去脉交代的异常清楚.
12.的作者J.-P. Serre成为第五位既得过Fields奖又得过Wolf奖的数学家(前面四位是L. Alfors;K. Kodaira; L. Hormander;J. Milnor) 这门课没读过,不过如果现在的课本还是

(六)“组合数学”的参考书
1.I.Tomescu的”组合学引论”的话,倒还是想说两句的。首先,这是本很好的书,不管上不上这门课都值得一读.
其次,这本书的习题不是很好做的,特别是没有答案(严肃的说,当你看到许多习题后面都标有人物,年代,就该知道这些结果不是那么平凡的了)作为补充,可以考虑
2.I.Tomescu的”Problem in graph theory and combinatorics(???)”有比较详细的提示和解答,题目也非常好,
3.Lovasz的”Problems in Combinatorics(?)”是本相当好的习题集,作者Lovasz是唯一一个得过wolf奖的组合学家,唯一的可能有麻烦的地方这本书的块头大了点,不过千万不要被吓倒!
4.Bondy,Murty的”Graph Theory and Applications(?)”(中译本:图论及其应用,科学出版社) 内容翔实,写得很易读, 而且有许多难度适当的习题。注意这些习题不仅在书后(好象),有简短的提示,而且图书馆里还有一本
5.”图论及其应用”习题解答做得还算不错吧。翻译成中文的书里面, 还有上海科技出版的
6.Harary(哈拉里)的”Graph Theory”(图论) 的习题基本上都是从人家的论文里面直接找来的,所以有相当难度,虽说那里给出了非常详细的文献来源,但是有些还是很不好找的。这本书其实已经有点专著的味道了。讲到图论,还有象
7.B. Bollobas的”Graph Theory”(GTM 63)。Bollobas在剑桥吧,国际数学家大会上做过45分钟报告。
8.G.Chartrand,L. Lesniak的”Graph and Digraphs”是本好书,浅显易懂。此外还有
9.C. Berger的”Graph and Hypergraph”是这里的框架性著作。还有一些不讲或不专讲图论的组合书,中文的有
10.李乔的”组合数学基础”写得很不错
11.I. Anderson的”Combinatorics of Finite Sets”
12.Bollobas的”Combinatorics”
13.Ryser(赖瑟)的”组合数学”有一些讲组合设计的章节还是很简单明了的。至于象
14.魏万迪的”组合论”感觉好象篇幅太大了点,而且你很快就会发现其实这书很不好看。着重算法的书很多就是计算机类的了, 比如
15.朱洪等的”算法设计和分析”
16.卢开澄的”组合数学–算法与分析”。
组合数学有不少书是可以看着玩的,比如有本好象叫”Graph theory from Eulerto Konig”(等于就是说讲现代图论的史前史),等等。如果要求不是很高,那么下面的书可能可以算篇幅不大,内容不深, 但多少也讲了些东西的:
17.I. Anderson的”A First Course in Combinatorial Mathematics”
18.C.Berger”组合学原理”(上海科技)
19.C.L.Liu(刘炯朗,现新竹清华大学校长)”组合学引论”。这书是魏万迪翻的,就是印刷质量差了点,其它都还好,在北美的评价也不错。此外,最近刚刚看到出了一本
20.Lovasz,et al.(ed.) “Handbook of Combinatorics”。厚厚的两大本,里面有很多人的文章,算得上是包罗万象.
组合里面还有一个非常有名的东西–四色定理,关于它就是是否被证明了争论了很多年,当真是仁者见仁,智者见智。当年的两位主角Appel 和Haken写过本书,就叫
21.Appel ,Haken”Every Planar Map is Four Colorable”如果你觉得这书块头太大,可以先翻翻他们在
22.Steen(ed.) “mathematics today” (中译本:今日数学,上海科技)里面的一篇通俗的文章,写得非常好。最后补充canetti指出的
23.Reinhard Diestel “Graph Theory”(GTM173)。这本书里讲到了概率方法, 感觉是个很有希望的方向,有很多人在做,包括98年得Fields奖的T.Gower(这位是靠Banach空间理论得奖的,但他的组合功夫本来就很深,现在好象干脆就转向组合了)

(七)抽象代数 的参考书
有的地方管这叫”近世代数”, 近不近各人自己看着办吧! 历史上说,可以认为严肃的讨论是从伽罗华开始的,他在决斗前夜下的那封著名的信件(里面有”你可以公开向Jacobi或者Gauss提出请求,不是就这些结果的正确性,而是重要性,给出意见….”,现藏法国国家图书馆).在后来的发展过程中,代数结构话的语言逐步渗透到数学的各个角落.到今天这已经是一门无处不在的分支了。北大的课本是
1.丁石孙,聂灵沼的”代数学引论”。这本书的特点和北大的那本高等代数一样,就是没什么自己的特色,原因是这本书从体例到习题在很大程度上参考了
2.N.Jacobson的 “Basic Algebra I,II”。前面几章的中译本,应该是叫”基础代数学”吧,不过翻译质量一般。Jacobson在代数领域也属于权威,是华先生同时代的人。这本书从观点上说是相当现代化的,比同作者的那本
3.N. Jacobson的 “Lectures on Abstract Algebra”(GTM.30,31,32)(中译本:抽象代数学,共三卷)要改进不少.
4.徐诚浩”抽象代数–方法导引” 。可以罗列的参考书还有很多, 综合性的课本有名气很大的
5.S.Lang的 “Algebra”。Lang写书以清晰著称,他的这本书还得过AMS发的Steel优秀图书奖.
6.莫宗坚的”代数学(上,下)”。北大数学丛书里面的一本,没有很仔细地看过,但是感觉不错.北大的一些同学对此书推崇倍至,认为比1.写得好.
7.熊全淹的”近世代数”。这本书的好坏不敢评论,不过这本书有个很大的特点, 就是作者收集了很多小文章, 比如许多American Mathematical Monthly上的短文。其它的就是比较专门的东西了,比如群论,就有影响过无数学者的
6.库洛什的”群论”。注意这本书第二版和第三版中译本的封面一模一样。或者段学复先生的导师Robinson写的
7.Robinson “A course in the theory of Groups”(GTM 80) 。再有象(群,代数)表示论,环论,模论等等,都有专著, 不过我是一窍不通的了。对于Galois理论,有本
8.E.Artin的”伽罗华理论”。非常薄,讲得很精彩,绝对是本传世佳作。还有
9.Edwards的”Galois Theory”(GTM 101)。这本书很有趣,它是循着Galois的原始想法写的,因此和一般通行的教本里面的讲法不是很一样.

(八)实变与泛函的 参考书
1.陈建功的”实函数论”。今天看来这里面的内容相当古典, 但其中很多东西的讲法到今天还是很好的.
2.夏道行,严绍宗,吴卓人,舒五昌的”实变函数论与泛函分析”第二版,上,下册
3.杨乐,李忠编”中国数学会六十年”里面严绍宗先生和李炳仁先生写的文章.
4.E.Hewitt, K.Stromberg “Real and Abstract Analysis”(GTM 25)里面有相当清晰简洁的关于选择公理及其等价命题的叙述.那里写到”The axiom of
choice does not perhaps play a central role in analysis, but when
it is needed, it is needed most urgently”.这是很有道理的. 这个方向上扩展出去可以看
6.那汤松的”实变函数论”。在下册里面还有关于超限归纳法的描述.这本书是徐瑞云先生翻译的。另外,对于很多具体的点集的例子,有许多书可以参考,比如
7.汪林的”实分析中的反例”这是本非常非常好的书。作者是程民德先生的弟子.要记住的是,这不仅仅是一本讲例子的书!和一些习题集和解答,比如
8.”实变函数论习题解答”。这是那汤松的书的习题解答.质量一般,不过好歹是本习题解答吧.
9.”实变函数论的定理与习题”,记不清是谁写的了,应该是某个苏联人。面有详细的解答,质量相当高.
10.P.R.Halmos的 “Measure Theory”(GTM 18)(中译本:测度论)的框架里面。这本书实在不敢评论,自己看吧!这本书里面还有一些精选的习题,有胆子和时间的话值得一做. 一本相当有趣的书可以看看, 就是
11.J.Oxtoby的Measure and Category(GTM2)。这里的”category”不是指代数里面的范畴,而是集合的”纲”,讲了很多有趣的东西。现在可以来谈谈
12.周民强的”实变函数”(第二版)写得不错,总的说来最大的好处恐怕就是习题很多, 而且都是能做的习题。有一本很好的书, 可惜至今只打过几个照面,就是:
13.程民德,邓东皋的”实分析”。我见过这书里面的一个测度的题目: $m^*(E_1cap E_2)+m^*(E1cup E_2)leq m^*(E_1)+m^*(E_2)$, 还是很有趣的! 此外,上一章里面的参考书都可以搬过来。需要注意的一点是,有些书是纯讲Lebesgue积分的,比如6.12.等,有些细节上注意一下L与L-S的差别还是有用的.
14.I.E. Segal, R.A. Kunze的”Integrals and Operators” 和
15.A.N. Kolmogorov,S.V. Fomin的”函数论与泛函分析初步”。这些作者应该说都是相当好的数学家了。广义测度和R-N定理更是非掌握不可的。最后问个小问题:”L^1(R)是R上全体可积函数全体构成的空间” 这句话对吗?
在直线(或者更一般的局部紧群上),是有可能先建立积分理论再导出测度的.比如下面将要讲到的
16.夏道行,严绍宗,舒五昌,童裕孙的”泛函分析第二教程”里面就有一些这方面的内容。此外还有象
17.夏道行,严绍宗的”实变函数与泛函分析概要(?)” 好象就是按照先积分再测度的办法讲的。另外用这一体系的书好象还有
18. F.Riesz,B.Sz.-Nagy的”泛函分析讲义”(Lecons d‘analyse fonctionnelle)也是不错的书。对测度感兴趣的话,还可以看一些动力系统里面讲遍历理论(ergodic theory)的书,”那是真正的测度论”(J.M.Bony).
19.汪林的 “泛函分析中的反例”
20.夏道行,杨亚立的”拓扑线性空间”。不过基本上是第二作者写的,所以建议有兴趣的化还是看下面几本
21.N.Bourbaki的”Topological Vector Space”Chpt. 1-5。布尔巴基写书是一章一章出的,这书能一次就包含五章,实属罕见,而且估计今后也不会有后续的内容了。GTM里面也有两本是讲拓扑线性空间这个题目的:
22.H.H.Schaefer的Topological Vector Spaces(GTM3) 和
23.J.L. Kelley, I.. Namioka的Linear Topological Spaces(GTM36)  
里面有一章也是讲这东西的。其他许多以”泛函分析”为标题的书也是以此为出发点的,比如
24.S.K. Berberian的”lectures in Functional Analysis and Operator Theory” (GTM15)。
Berberian 也是很好的数学家,他译的Connes的”Noncommutative Geometry”是个很好的版本,尽管后来Connes自己出了个内容更多的英文本。或者
25.W. Rudin的”Functional Analysis” 里也有很多非常有趣的内容.Rudin的书都是很好的.
26.L.V.Kantorovitch,G.P.Akilov的”Functional Analysis” 不少人都说Nobel经济学奖有不少是给数学家的,这话一点不错,不过给计划经济体制下的数学家恐怕就Kantorovitch一位了.这是本很清晰简洁的书, 中译本的质量也很不错. 此外还有
27..J.B. Conway的A Course in Functional Analysis”(GTM96)
28.Dunford,Schwarz的 “Linear Operators”I. 注意有些结论是可以把Banach空间减弱为Frechet空间的,不过好象据说实际应用中除了广义函数空间是个Frechet空间以外,其它用得并不多. 再补充一下前面漏掉的一本书:
29.W.Rudin “Real and Complex Ananlysis” 里面可以看到不少实分析或者说泛函方法在复变中的应用。
Hilbert空间由于其上存在一个内积, 可以发展的性质比Banach空间要多得多。从空间本身来讲,线性代数学好点对本章前面几节有很大帮助,学的过程中密切注视维数无限导致的各种反例就是了。算子理论其实也一样,脑子里面清楚哪些有限维的性质是可以推广到无限维的对整个体系的理解很有用。这里可以做的习题非常多,特别是
30.P.R. Halmos的A Hilbert Space Problem Book(GTM19) 算得上杰作.
“The only way to learn mathematics is to do mathematics”
就出自这里。再往下去研究算子代数的话,就实在”是没有底的东西了”(陈晓漫)。在16.里面有一章讲些基本概念。这一块的文献也是浩如烟海, 因为学得太少,不敢妄加评论,只想指出一本书,
31.G.K. Pedersen的”C*-Algebras and their Automorphism Groups” 。
这书连A.Connes都说好,我想决不会差到哪里去。再说两句A.Connes,关于他的工作,或者说整个算子代数往后来的非交换几何的发展历史, 特别是这一分支从其开始的阶段就和量子物理的联系,可以看
32.Vaughan Jones(Fields 90) and Henri Moscovici的
“Riview of Noncommutative Geometry by Alain Connes”  
AMS Notice,v.44(1997),No.7
33.A.Lesniewski的”Noncommutative Geometry”。
AMS Notice,v.44(1997),No.7 。还有
34.Irving Segal的 Book Review, Non commutative geometry by Alain Connes。
AMS Bulletin,v.33(1996),No.4 。因为
35.Alain Connes(Fields 82) 的”Noncommutative Geometry” 可以说是这一块的里程碑式的著作,(33.中甚至说今后人们会用今天看Riemann的就职演说的眼光看这本书)。所以对于这本书的评论很多,也就把整个分支都评论进去了,不妨看看。做为老前辈,Segal的书评里面有一些批评,也值得注意.
在广义函数的标题下最有名的应该是
36.I.M.Gelfand等的”广义函数”(Generalized Functions,I-V)。大概I-IV都有中译本吧!.从泛函的角度,据说是第二本最有意思。另外还有两本好书,不光是这一块内容,从整体上讲也是很好的泛函课本
37.K.Yosida(吉田耕作)的”Functional Analysis”。他也过两种不同”规格”的书,一本比较厚,一本比较薄,都很好.
38.H.Brezis的”Analyse Fonctionelle”。Brezis是法国科学院院士, 非线性偏微的权威.他的这本书很见功力.如果能念法语的话绝对值得一读。在Rudin的书25.里面也讲了不少广义函数的内容, 特别有一章讲Tauberian Theory,很有意思。

(九)“数学物理方程”和“偏微分方程”的参考书
1.谷超豪,李大潜,谭永基(?),沈纬熙,秦铁虎,是嘉鸿的”数学物理方程”(上海科技) 在这样一个水平上(指不引进广义函数,弱解等泛函里面的概念)是相当不错的。注意那些经典方程的推导里面多少有一些近似的过程,这其实从某种意义上反应了所对应的微分算子的某些性质的稳定性.比如,对于经典的波动方程,3维及以上的奇数维成立惠更斯(Huygens)原理(这可以看作经典物理的时空里面空间维数必须是奇数的一个证据),你在其它一些书(或者说以后)可以看到,差不多二阶双曲方程里面只有波动方程有这样的性质–但是别忘了,高维波动方程的推导里面是有近似的,这说明什么? 一阶偏微分方程似乎是安排在常微的最后教的,常微的最后教不教我课不知道,有些东西还是很有趣的,象Cauchy-Kowaleskaya定理,Ekeland拿来证明微观经济模型的合理性,然后说他看不出有存在C^infty推理的可能–数学经济是怎么回事, 可见一斑.你能说社会活动中的数据都是按t解析的吗???!!! 学这门课的那个学期在忙着各种各样考试(比如T,G等等), 故此没能够看太多的参考书.北大的课本可能相对更注重一些解的渐进估计等等,而复旦对于显式解讲得更多些.
2.谷超豪,李大潜,陈恕行,谭永基(?),郑宋穆的”数学物理方程”(人民教育?高等教育?)的题材,难度,例题,习题等等和1.非常接近。这本曾出过一本”官方的”习题解答,那是80年代初,油印本.能不能搞到就看各位本事了。那本解答对于做作业是很有帮助的. 比较容易找到的书里面,
3.陈恕行,秦铁虎的”数学物理方程–方法导引”是本非常好的讲习题的书。里面的习题如果能够全部做一遍的话,应付考试是绰绰有余了.
8.O.A. Ladyzhenskaya的”The Boudary value Problems of Mathematical Physics”和5.一样,都很经典.当然你要说它们陈旧我也没话可说。既然这课叫数学物理方程,多少和物理沾点边吧, 在这个方向上我以为
9.李大潜,秦铁虎的”物理学与偏微分方程”(高教)还是很不错的.该书的起点并不高,应该比较容易看. 据说该书的责编极为负责, 认真到连里面的公式都一个个去推导的地步. 从课程设置的角度上说,其实有一些深度介于
本科课程和研究生的那门偏微基础课之间的书(包括不少经典)都可以在这段时间里面看看的. 比如
10.L.Bers, F. John, M. Scheter, “Partial Differential Equations”。Bers是个很有趣的人,可以看看
11.L.Steen, ed.的”今日数学”(Mathematics Today) 里的文章.附带说一句,这本书是最好的数学普及读物之一,绝对值得一看,中译本的质量也不错.
12.F. John的”Partial Differential Equations”。
13.J. Rauch的”Partial Differential Equations”(GTM128)
14.M. Taylor的”Partial Differential Equations I”(Applied Mathematical Sciences 115)
后面这本看前半就可以,后半也看当然更好:-))。引G. Lebeau的一句话,这书比
15.L. Hormander的”Linear Partial Differential Operators, I”要好念多了.
(当然基本上人人都是这么认为的,只不过这位的来头比较大而已–法国科学院通讯院士)。我拓扑学得很差(从总体上说),因此这里我也说不出太多东西.

(十)“拓扑”的 参考书
1.李元熹,张国(木梁)的”拓扑学”的前两章还是不错的.至少该讲的东西都讲了,而且后面罗列(我想不出还有什么更好的形容词)了许多习题,做上一遍是很有趣的一项工作. 中文的参考书里面好象
2.熊金城的”点集拓扑讲义”是比较好的.该书也有些名气. 不过要好好学,可能还是看下面的两本比较经典的书:
3.J.L. Kelley的”General Topology”(GTM 27)名头很响,55年出版的时候应该算得上是把这一领域里面的结果做了个很好的总结.该书是想写成课本的,因此每章后面都有习题,按A,B,C,D,…编号.只是….真要做起来未免有些困难.听说过这样一个故事,就是曾有位华裔数学家回国讲学的时候于酒席间说他的老师要他去学拓扑,指明看Kelley的书,而且要习题全做.结果大家都笑了,因为大家都明白这目标不是很现实. 我个人的经验是,在那个学期陷入各类考试的重围中之前,还做了前面两三章的题目.是比较困难,但是做起来也非常有趣. 再补充一本中文的书,内容和1.差不多
4.尤承业的”基础拓扑学”是北大的教材.
5.I.M.Singer, J.A.Thorp的”Lecture notes on elementary topology and geometry (中译本基础?)几何学与拓扑学讲义,干丹岩译)是极好的教材,应该可以用深入浅出来形容吧!第一作者Singer就是和Atiyah一起证指标定理的那位,说是重量级人物当无疑义. 如果你只想查结果,我觉得可以去找
6.R.Engelking的”General Topology”七十年代末写的,内容翔实。这里属于代数拓扑的起始部分,参考书一下子就比前面的多多了.讲代数拓扑的书,可能
7.Greenberg的”Lectures on Algebraic Topology”属于写得很通俗易懂,配置合理的那一类. 还有象GTM里面的
8.W.S.Massay的”Algebraic Topology: An Introduction”(GTM 56)也是写得很好的书.
拓扑学是在十九世纪末兴起,并在二十世纪中蓬勃发展的数学分支,现在已与近世代数,近世分析共同成为当代数学理论的三大支柱。如果先要对该学科有一个感性的认识的话,建议看《拓扑学奇趣》巴尔佳斯基 叶弗来莫维契 合著。这本书只有不到两百页,可是覆盖的面很广,也有一定数量的有启发性的题目。
M.A.Armstrong的《基础拓扑学》也是一本不错的书。该书中的讨论范围有很多是基于Hausdorff空间,有些是甚至是在度量空间里讨论问题的,所以一些定理的证明就变的比较简单易懂,例如Urysohn引理。
Spanier‘s “Algebraic Topology” can not be neglected.
it is a classic in this field, though it is not easy to read.
Aleksandrov‘s ” Combinatorial Topology ” is very good for beginner.  
But it is too large, it contains 3 volumes.
Bredon‘s ” Topology and Geometry”(GMT139) is praised as the successor of Spanier‘s great book.

(十一)“微分几何”的参考书
几何是非常美妙的,通常人们提到几何的时候会把直观两个字加上去. 这其实是很有道理的,在微分几何中也不例外. 具体的说,就是虽然微分几何往往会使人感觉被淹没在计算的汪洋大海,但是有一个几何的”感觉”是很有帮助的.
1.苏步青,胡和生等”微分几何”写得不错.这很大程度上应当感谢本书的主要作者,也就是书上列的第三作者沈纯理先生. 应当承认这本书,特别是第三章, 取材受下书的影响:
2.Do Carmo(多卡模)”曲线和曲面的微分几何学” “Differential Geometry of Curves and Surfaces”是本绝对的好书,胡先生他们把这本书翻译出来实在是功德无量。1.的第三章里有个习题是从2.的中译本上搬过来的,不过有题意不清之嫌.做的时候要小心。还有一点要注意的是1.里面曲面论基本定理的证明中有个地方漏印了两项.
一般说来,看上面两本书也就够了,可以考虑的扩充部分包括在2.的末尾所开列的参考书目.这是我很少见到的带书评的书目.
3.Eisenhart的”Diffenrential Geometry(?)”
4.Darboux的”Lecons sur la theorie generale des surfaces”。古典微分几何的开山之做是
5.Gauss的”Disquisitiones generales circa superficies curvas”。这是拉丁文的(Gauss只有晚年最后的一些东西是用德文写的)
6.P.Dombrowski的”150 years after Gauss‘ ‘Disquisitiones generales circa superficies curvas‘ “里有完全的英文翻译和里面的结果到20世纪70年代末的发展情况. 对于中文的课本,其实总数就不是太多.有象
7.吴大任的”微分几何学(?)”或五十年代翻译苏联的课本等等, 内容都差不多,而且微分几何的特点是各人都喜欢用自己的一套符号, 许多符号,象曲率等等,常会有正负号的差异,所以建议认定一两本,其它简单翻翻即可. 所以说想找讲解详细的书还不如看
8.沈纯理,黄宣国的”微分几何”(经济科学出版社,97)。虽然说这本书是自学考试的教材.那里的习题也是有较详细解答的. 更难一些的习题可以在
9.姜国英,黄宣国的”微分几何100例”。里面的题目全部做下来的话,应付期末考试绝对是没有问题的. 而且,如果老师有心考点难题的话,说不定就会有里面的题目. 此外还有两本苏联人的书
10. A.S. Mishenko, A.T. Fomenko “微分几何与拓扑学教程”(中译本,第一册,第二册).我没有看到过是否有第三册,反正这书是没有翻全.其处理方法别具一格.
“极小曲面”甚至可以不引进流形等概念,出现的最难的工具有时就是单复变的一些结果.参考书大概首推
11.R.Osserman的”Lectures of Minimal Surfaces”篇幅不大,但内容丰富. 其它还有
12.J.C.C.Nitsche的”Lectures on Minimal Surfaces”(Vol.1) 里面关于Plateau问题讲得很全,可惜至今我没见到第二册,而原来的德文版又看不懂(上面写的是英译本):-(
注意到微分几何有许多东西并不象大家想象的那样古老,比如Fray-Milnor定理,那J.Milnor还好好活着呢?再比如说等温参数,几乎必引的文献就是陈省身先生55年的文章. 看原始文献可以让人逐步体会一样东西在它刚刚出现的时候是个什么样子, 这和经过无数再处理后写进课本的讲法往往是不一样的. 补充一本《微分几何》 苏步青 原著 姜国英 改写

(十二)“流形”的参考书
1.W.M.Boothby “An Introduction to Differentiable Manifolds and Riemannian Geometry” 从某种技术性的观点来说这书可能太罗嗦, 讲到流形上的向量场就用了100多页的篇幅,但我觉得初学看这书还是很好的,毕竟讲得相当详细,几乎所以的东西都是有详细证明的. 讲到流形总是有两种引进方法,一是从一开始就讲一个局部和欧氏空间中的开集同胚的Haussdorf空间….然后再讲微分结构等等. 中文书里面有
2.陈省身,陈维桓的”微分几何初步” 很有大师风范,只是印刷质量不算太好.另外被认为写得比较好的中文书有
3.白正国,沈一兵,水乃翔,郭效英 “黎曼几何初步”。这书的特点–要说就在于没有特点,那实在是太过分点了–我认为还是在于很细致,既然不用象Boothby那样在拓扑流形上花时间,进入正题可以说比较快,而且有不少习题,书末更有一个索引,实在是本好书. 有胃口的话,还可以看看
4.B.A. Dubrovin, A.T. Fomenko, S.P. Novikov “Modern Geometry–Methods and Applications”的第一,二卷(GTM 94, 103,世界图书新印过).该书的作者都是名家,除了对于这门课就事论事来说可能难了点外应该说不出有什么不好.至少可以看看第二卷的第一章. 二是从欧氏空间中的子流形开始讲.这样的好处应该说是可以马上看到很多例子,另外毕竟大多数情况下流形只有放在仿射空间或者射影空间里面才有点意思(至少在开始阶段是这样),从这一角度出发写的微分几何课本中有一本
5.Gallot, Hulin, Lafontain “Introduction to Riemannian Geometry”(?) 是Springer-Verlag Universitext中的一本,应该说写得很好, 评价(我听到的)也很不错. 用这种观点(其实用前一种观点也一样,多元函数的反函数定理,隐函数定理都是要明白的. J.Milnor曾经写过两本很有意思的书,里面的讲解都是非常精彩的,
6.J.Milnor Topology from a differential point of view (中译本:从微分观点看拓扑)
7.J.Milnor Morse Theory (中译本:莫尔斯理论)讲到微分形式,自然可以讲流形上的积分,以及Stokes公式等等.这里有
8.Spivak “Calculus on Manifolds”(?) (中文名字就叫”流形上的微积分”).
有一点,就是大家千万不要只会用Stokes公式,真给你一个流形上的体积元去积一下反而不会,这千万要不得.作为练习,不妨试试复射影空间CP^n上的Fubini-Study形式积出来是多少?
9.V.I.Arnold “Mathematical Mathods of Classical Mechanics”里关于微分流形,微分形式等等的介绍也很简单明了. 还可以一看的书有
10.R.Narasimhan “Analysis on Real and Complex Manifolds” (中译本:实流形和复流形上的分析,科学,1986)陆柱家翻译这书是花了功夫的,连印刷错误都一一纠正.我想至少前一百页是可以看的.
11.苏竞存 “流形的拓扑学”. 此书块头很大,内容翔实,而且有很多作者加的话, 有意思. 有本书,可能不入高手法眼,不过我觉得是很不错的,
12.C. von Westenholz “Differential forms in Mthematical Physics” (有两个中译本,书名都是数学物理中的微分形式,理图里面至少有一个版本) 这是写给念物理的人看的,因此只有条条框框,很多定理都没有证明.但是好处在于:条理是清楚的,例子是丰富的(虽然很多例子没有展开,但是至少开始阶段该有的基本上都有了),而且这书里还能给人一个大概的概念,这些东西学了都可以干什么用(主要是写了一些在理论物理中的应用).对于到考试前还有点不知所云的人(比如说我那时候),应该说帮助不小. 至于侯伯元,侯伯宇的那本”物理学家用微分几何”,可能是太深了点,非物理学家不能理解.

Posted in Math |