数学物理专业的书单 目录： 1 数学书目 2 1.1 《数学分析--高等数学》 3 1.2 《高等代数--线性代数》 4 1.3 《空间解析几何》 5 1.4 《常微分方程》 6 1.5 《单复变函数》 8 1.6 《关于自学数学》 11 1.7 《实变函数论与泛函分析》 11 1.8 《抽象代数》 16 1.9 《组合基础》 17 1.10 《数学物理方程》 19 1.11 《拓扑学》 21 1.12 《微分几何》 22 1.13 《微分流形》 23 2 数学参考书目 25 2.1 说明 25 2.2 1.逻辑 27 2.3 组合，形式计算 30 2.4 数论 31 2.5 代数，同调代数，范畴，层 32 2.6 K-理论，C^*-代数 33 2.7 代数几何 34 2.8 群，李群和李代数 36 2.9 代数拓扑，微分拓扑 37 2.10 微分几何 39 2.11 动力系统 40 2.12 实分析，调和分析 42 2.13 泛函分析 43 2.14 复分析，解析几何，奇性 45 2.15 线性偏微分方程，D-模 46 2.16 非线性偏微分方程 47 2.17 数学物理 49 2.18 数值分析 50 2.19 概率 51 2.20 统计 52 2.21 博弈论，经济数学，最优化 54 2.22 数学史 55 3 物理学书单 56 3.1 量子力学 57 3.2 理论力学 57 3.3 电动力学 583.4 固体物理 58 3.5 数理方法 59 3.6 统计力学 60 3.7 一些补充 60 4 理论物理 60 5 物理经典教材 63 6 A hysics Booklist: Recommendations from the Net 65 6.1 Subject Index 66 6.2 General hysics (so even mathematicians can understand it!) 66 6.3 Classical Mechanics 67 6.4 Classical Electromagnetism 68 6.5 Quantum Mechanics 68 6.6 Statistical Mechanics and Entropy 70 6.7 Condensed Matter 71 6.8 Special Relativity 71 6.9 article hysics 72 6.10 General Relativity 73 6.11 Mathematical Methods (so that even physicists can understand it!) 74 6.12 Nuclear hysics 74 6.13 Cosmology 74 6.14 Astronomy 76 6.15 lasma hysics 76 6.16 Numerical Methods/Simulations 76 6.17 Fluid Dynamics 77 6.18 Nonlinear Dynamics, Complexity, and Chaos 77 6.19 Optics (Classical and Quantum), Lasers 78 6.20 Mathematical hysics 78 6.21 Atomic hysics 79 6.22 Low Temperature hysics, Superconductivity 80 7 习题 80 8 推荐给大家的优秀数学参考书 80 9 数理逻辑 85 10 现在在中国买得到的 100 本经典物理学专著 86 ---------------------------------------------------------------------------1 数学书目 1.1 《数学分析--高等数学》 1.菲赫今哥尔茨 &微积分学教程&,&数学分析原理&. 前一本书,俄文版共三卷,中译本共 8 本;后一本书,俄文版共二卷,中译本共 4 本.此书堪称经 典.&微积分学教程&其实连作者(莫斯科或者列宁格勒大学的教授,门下弟子无数,包括后来得 诺贝尔经济学奖的著名数学家 Kantorovitch)都承认不太合适作为教材,为此他才给出了能够 做教材的后一套书,可以说是一个精简的版本(有所补充的是在最后给出了一个后续课程的 简介).相信直到今天,很多老师在开课的时候还是会去找&微积分学教程&,因为里面的各种各 样的例题实在太多了.如果想比较扎实的打基础的话,可以考虑把里面的例题当做有答案的习题来做,当然不是每道题都可以这么办的.如果你全部做完了那里的题目然后考试的时候碰到 你做过的可别怪我.毫无疑问,这套书代表了以古典的方式处理数学分析内容(指不引入实变, 泛函的观念)的最高水平,考虑到在中国的印数就以十万计,可能在世界范围内也只有 Goursat 的书可以与之相比了. 2.Apostol &Mathematical Analysis& 在西方(西欧和美国),这应该算得上是一本相当完整的课本了,在总书库里面有. 3.W.Rudin &Principles of Mathematical Analysis& (有中译本:卢丁&数学分析原理&,理图里有)这也是一本相当不错的书,后面我们可以看到,这位 先生写了一个系列的教材.该书的讲法,(指一些符号,术语的运用)也是很好的.这里附带说一 句,因为在理基里面当年念的是后来复旦出版社出的秦老师和余跃年编的&高等数学&,虽然我 一向认为该书编的很是不好,但是在这里想引秦老师的一句话,希望能对非数学专业的 ddmm 有所帮助:就是学完&高等数学&以后,可以找一本西方 advanced calculus 水平的书来看,基本上 就能够达到一般数学系的要求了.当时秦老师曾特别指出 Rudin 的书. 说 到 Advaced Calculus, 在 这 个 标 题 下 面 有 一 本 书 也 是 可 以 一 看 的 , 就 是 L.Loomis 和 S.Sternberg 的 Advanced Calculus,其第一版在总书库里面有不少,第二版在理图外国教材中心 有一本,系资料室是不是有不清楚.这本书的观点还是很高的,毕竟是人家 Harvard 的课本. 4.&数学分析&(北大版)方企勤,沈燮昌等 &数学分析习题集&,&数学分析习题课教材&.北大的这套课本写得还是可以的,不过最好的东西 还是两本关于习题的东西.大家知道,吉米多维奇并不是很适合数学系的学生的,毕竟大多是 计算题(一个比较有意思的地方是那套被广大教师痛骂的习题解答其实有一个题的第二小题 是没答案的,原因好象是编书的人也没做出来,好象是关于级数收敛的一个题目).相比之下北 大的这本习题集就要好许多,的的确确值得一做.那本习题课教材也是很有意思的书,包括一 些相当困难的习题的解答, 5.克莱鲍尔&数学分析& 记得那是一本以习题的形式讲分析的书,题目也很不错.理图里有. 6.张筑生&数学分析新讲&(共三册) 我个人认为这是中国人写的观点最新的数学分析课本,张老师写这书也实在是呕心沥血,手稿 前后写了差不多五遍.象他这样身有残疾的人做这样一件事情所付出的是比常人要多得多的. 以致他自己在后记中也引了&都云作者痴,谁解其中味&.在这套书里,对于许多材料的处理都 和传统的方法不太一样.非常值得一读.唯一的遗憾是,按照张老师本人的说法,北大出版社找 了家根本不懂怎么印数学书的印刷厂,所以版面不是很好看. ---------------------------------------------------------------下面的一些书可能是比较&新颖&的. 7a.尼柯尔斯基&数学分析(教程?)& 理图里有,是清华的人翻译的,好象没翻全.那属于 80 年代以后苏联的新潮流的代表,不管怎么 说,人家是苏联科学院院士. 7b.&数学分析& 忘了是谁写的了, 也是苏联的,莫斯科大学的教材.理图里面有第一卷的中译本,分两册.那里 面从极限的讲法(对于拓扑基的)开始就能够明显得让人感觉 到观点非常的&高&. 8.狄多涅&现代分析基础(第一卷)& 那是一套二十世纪的大家写的一整套教材的第一卷,用的术语相当&高深&,可能等以后学了实 变,泛函再回过头来看感觉会更好一些. 9.说两句关于非数学专业的高等数学.这里强烈推荐理图里面几本法国人写的数学书.因为在法国高等教育系统里面,对于最好的学 生,中学毕业以后念的是两年大学预科,这样就是不分系的,所以他们的高等数学(比如理图里 面有 J.Dixmier 院士的&高等数学&第一卷)或者叫&普通数学&(理图里面有一套书就是这个标 题),其水平基本上介于国内数学系和物理系的数学课之间. --------------------------1.1 《高等代数--线性代数》 高等代数可以认为处理的是有限维线性空间的理论.如果严格一点,关于线性空间的理论应该 叫线性代数, 再加上一点多项式理论(就是可以完完全全算做代数的内容的)就叫高等代数了.这门课在西 方的对应一般叫 Linear Algebra,就是苏联人喜欢用高等这个词,你可以在外国教材中心里面 找到一本 Kurosh(库落什)的 Higher Algebra. 从这门课的内容上说,是可以有很多种讲法的.线性空间的重点自然是线性变换,那么如果在 定义空间和像空间里面取定一组基的话,就有一个矩阵的表示.因此这门课的确是可以建立在 矩阵论上的.而且如果要和数值搭界的话还必须这么做.复旦以前有两本课本就是这么做的. 1.蒋尔雄,吴景琨等 &线性代数& 这是那时候计算数学专业的课本,其教学要求据说是比数学专业相应的课程要高的.因为是偏 向计算的缘故,你可以找到一些比较常用的算法.我个人以为还是比较有意思的. 2.屠伯埙等 &高等代数& 这就是在上海科技出版的一整套复旦数学系教材里讲高等代数的那本.不记得图书馆里面有, 不过系里可能可以买到翻印的.这本书将 80%的篇幅贡献给矩阵的有关理论.有大量习题,特 别是每章最后的&选做题&.能独立把这里面的习题做完对于理解矩阵的各种各样的性质是非 常有益的.当然这不是很容易的:据说屠先生退休的时候留下这么句话:&今后如果有谁 开高等代数用这本书做教材,在习题上碰到麻烦的话可以来找我.&有此可见一斑.如果从习题 方面考虑,觉得上面的书太难吃下去的话,那么下面这本应该说是比较适当的. 3.屠伯埙等 &线性代数-方法导引& 这本书比上面那本可能更容易找到,里面的题目也更&实际&一些.值得一做. 另外,讲到矩阵论.就必须提到 4.甘特玛赫尔&矩阵论& （P.IAHTMAXEP） 我觉得这恐怕是这方面最权威的一本著作了.其中译者是柯召先生.在这套分两册的书里面, 讲到了很多不纳入通常课本的内容.举个例子,大家知道矩阵有 Jordan 标准型,但是化一个矩 阵到它的 Jordan 标准型的变换矩阵该怎么求?请看&矩阵论&.这书里面还有一些关于矩阵方程 的讨论,非常有趣. 5.许以超 &线性代数和矩阵论& 虽然许先生对复旦不甚友好(高三那会他对我说要在中国念大学数学系要么去北大,要么去 科大--他是北大毕业的,现在数学所工作--我可没听他的),但是必须承认这本书还是写得很不 错的,习题也不错.必须指出,这里面其实对于空间的观念很重视.不管怎么样,他还是算华先生 的弟子的. 6.华罗庚 &高等数学引论& 华先生做数学研究的特点是其初等直观的方法别具一格,在矩阵理论方面他也有很好的工作. 甘特玛赫尔的书里面你只能找到两个中国人的名字,一个是樊畿先生,另一个就是华先生.可 能是他第一次把下述观点引进中国的数学教材的(不记得是不是在这本书里面了):n 阶行列 式是 n 个 n 维线性空间的笛卡尔积上唯一一个把一组标准基映到 1 的反对称线性函数.这就 是和多线性代数或者说张量分析的观点很接近了. 高等代数的另外一种考虑可能是更加代数化的.比如7.贾柯勃逊(N.Jacobson) Lectures on Abstract Algebra ,II inear Algebra GTM(Graduate Texts in Mathematics)No.31 (&抽象代数学&第二卷:线性代数) 这里想说的是,这套书的中译者黄缘芳先生,大概数学系里面已经没多少人还记得文革前复旦 有这么一位代数学教授了. 8.Greub Linear Algebra(GTM23) 这里面其实更多讲的是多线性代数.里面的有些章节还是值得一读的. 还有两本书我觉得很好,不知道图书馆里面是不是有: 9.丘维声 &高等代数&(上,下) 北大 94 级的课本,相当不错.特点是很全,虽然在矩阵那个方向没有上面提到的几本书将得深, 但是在空间理论,具体的说一些几何化的思想上讲得还是非常清楚的.多项式理论那块也讲了 不少. 10.李炯生,查建国 &线性代数& 这是中科大的课本,可能是承袭华先生的一些传统把,里面有一些内容的处理在国内可能书属 于相当先进的了. 1.2 《空间解析几何》 空间解析几何实在是一门太经典,或者说古典的课.从教学内容上说,可以认为它描述的主要 是三维欧氏空间里面的一些基本常识,包括最基本的线性变换(那是线性代数的特例),和二阶 曲面的不变量理论. 在现行的复旦的教材,苏先生,胡先生他们编的&空间解析几何&里面,最后还有一章讲射影几 何.这本书非常之薄.但是内容还是比较丰富的.特别是有些习题并不是非常容易.最后一章射 影的内容还不是很好念的. 可以考虑的参考书包括: 1.陈(受鸟) &空间解析几何学& 内容基本上和课本差不多,不过要厚许多,自然要好念点.陈先生是吴大任先生(大猷先生的堂 弟,南开多年的教务长) 的夫人,也是中国早期留学海外的女学者. 2.朱鼎勋 &解析几何学& 这本书基本上只在欧氏空间里面讨论问题.优点是非常易懂,连二维的不变量理论也在附录里 面交代得异常清楚.那里面的习题也比较合理,不是非常的难(如果我没有记错的话).朱先生相 当有才华,可惜英年早逝. 如果想了解比较&新&的动态,可以考虑 3.Postnikov &解析几何学与线性代数(?)&(第一学期)这是莫斯科大学新的课本,从课程形式就可以看出,解 析几何这样一门课如果不是作为对刚进大学的学生的一个引导,给出一些具体的对象的话,迟 早是要给吃到线性代数里面去的.海外教材中心有一本英文本. 我个人以为,现在教委的减轻学生负担的做法迟早是要遭报应的.中国的中学教育水平也就比 美国最糟糕的中学好点,从整体上说,比整个欧洲都要差.我相信所谓三维的&解析&几何的内 容总有一天要下放到高中里面去. 上面的书如果撑不饱你,你又不想学其它的课程的话.可以考虑下面两本经典.其好处是看过 以后可以对很多几何对象(当然具体说是指三维空间里面的二次曲面)有相当深刻的了解. 4.狄隆涅 &(解析)几何学& 这套三卷本的大书包括了许多非常有意思的讨论,记得五年前看的时候感觉非常有意思.这位 苏联科学院院士真是够能写的. 5.穆斯海里什维利 &解析几何学教程& 这套书在上面提到的陈先生的书里面就多次引用了.具体的说特别值得参考的是它里面关于射影的一些观点和讲法(比如认为椭圆也是有渐近线的,只不过是&虚&的而已). 1.3 《常微分方程》 从常微分方程开始,数学课就变成没底的东西,每一个标题做下去都是数学研究里面庞大的一 块.对于一门基本课程应该讲些什么也始终讨论不断. 这里我打算还是从现行课本讲起.常微分方程这门课,金福临先生和李迅经先生在六十年 代写过一本课本,后来在八十年代由控制那一块的老师们修订了一下,变成第二版,就是现在 常用的课本.上海科技出版社出版.应该说,金先生他们的第一版在今天看来还是很好的一本 课本(这本书估计受了下面的一本参考书的不小的影响), 该书在理图老分类的那一块里有. 但是第二版有那么点不敢恭维.不知为什么,似乎这本书对具体方程的求解特别感兴趣,对于 一些比较&现代&的观点,比如定性的讨论等等相当地不重视.最有那么点好笑的是在某个例子 中(好象是介绍 Green 函数方法的),在解完了之后话锋一转,说&这个题其实按下面的办法解更 简单...&而这个所谓更简单的办法是根本不具一般性的. 下面开始说参考书,毫无疑问,我们还是得从我们强大的北方邻国说起. 1.彼得罗夫斯基 &常微分方程讲义& 在 20 世纪数学史上,这位前莫斯科大学校长占据着一个非常特殊的地位.从学术上说,他在偏 微那一块有非常好的工作,五十年代谷先生去苏联读学位的时候还参加过他主持的讨论班.他 从三十年代末开始就转向行政工作.在他早年的学生里面有许多后来苏共的高官,所以他就利 用和这些昔日学生的关系为苏联数学界构筑了一个保护伞,他本人也以一个非共产党员得以 做到苏联最高苏维埃主席团成员.下面将提到的那个天不怕地不怕的 Arnold 提起他来还是满 恭敬的.他这本书在相当长的时期里是标准教材,但是可能和性格,地位有关吧,对此书的一种 评论是有学术官僚作风,讲法不是非常活泼. 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 年代末)...我的老师王竹溪先生送了我一本刚出版的\'特殊函数概论\'...从此这本书 就一直在我的书架上,...经常在里面寻找我需要的结论...&连他老先生都如此,何况我们? 1.4 《单复变函数》 单复变函数论从它诞生之日(1811 年的某天 Gauss 给 Bessel 写了封信,说&我们应当给\'虚\'数 i 以实数一样的地位...&)就成为数学的核心,上个世纪的大师们基本上都在这一领域里留下了 一些东西,因此数学的这个分支在本世纪初的时候已经基本上成形了.到那时为止的成果基本 上都是学数学的学生必修的东西. 1.范莉莉,何成奇 &复变函数论& 这是上海科技出版的那套书里面的复变.今天回过头来看,这本书讲的东西也不是很难,包括 那些数量很不少的习题.但是做为第一次学的课本,应当说还不是很容易的.总的说来,从书的 序言里面列的参考书目就可以看出两位先生是借鉴了不少国际上的先进课本的.不知道数学 系的学生还发这本书吗? 如果要列参考书的话,单复变的课本真是多得不可胜数,从比较经典的讲起吧: 2.普里瓦洛夫 &复变函数(论)引论& 这是我们的老师辈做学生的时候的标准课本.内容翔实,具有传统的苏联标准课本的一切特征. 听说过这么一个小故事:普里瓦洛夫是莫斯科大学的教授,一次期末口试(要知道,口试可比笔 试难多了,无论是从教师还是从学生的角度来说),有一个学生刚走进屋子,就被当头棒喝般地 问了一句&sin z 有界无界?&此人稀里糊涂地回答了一句&有界&,就马上被开回去了,实在是不 幸之至. 3.马库雪维奇 &解析函数论(教程?)&这本厚似砖头的书可以在总书库里找到.它比上面这本要深不少.张老师说过,以前学复变的 学生用 2.做课本,学完后再看 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& 这就是四年前张老师给我们 94 理基的 7 个人开课是用的课本.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 很会写书,这本书里面他把对应与我们的复变,实变,泛函的许多东西都串在 一起了.用泛函方法处理复变的基础是某一个 Riesz 表示定理,在复旦的课本里面你要到研究 生的泛函课本里(还不一定教)才能找到那个命题.所以还是到学泛函的时候再谈吧! 15.L.Hormander &An Introduction to Complex Analysis in Several Variables& 这是本标题下出现的第三位 Fields+Wolf 的人物.他的这本多复变的课本也是经典,其工具主 要是微分算子的 L^2 估计.这里有用的是它的第一章,可以说第一次看这部分讲单复变的内容 一般都会有一种耳目一新的感觉.讲个细节,就是 Cauchy 积分公式对于一般可微函数的推广 叫 Cauchy-Pompeiu 公式,基本上多复变的课本都会提到而单复变的书都不讲.其实只要你看 一下它的形式就会知道这个公式的用处是很大的,不妨试试拿它来算一些奇异积分. 16.Titchmarch &函数论& 这是一本老书,相当有名.书中一半多的篇幅是讲复变的,看看可以知道二十世纪上半叶的函 数论是什么样子.除此之外的意义是,程民德先生在他给陈建功先生做的传中写到:&(三十年代 的浙大)陈先生开的复分析课程几乎包括 Titchmarch 函数论除实函数外的全部内容..&关于陈 先生这位对今天复旦数学系的地位有至关重要影响的先驱,等说实变的时候再谈吧! 17.戈鲁辛 &复变函数几何理论& 这本书也很老了.但是这本书的价值并不因时间的推移而改变.作者也是很好的数学家,夏道 行先生当年在苏联做得最好的工作之一就是解决了戈鲁辛的两个猜想.总书库里面应该有,标 题可能略有出入. 最后讲一本书,不知道复旦有没有: 17. R.Remmert &Complex Analysis&(GTM,reading in mathematics) Remmert 是德国的多复变专家,他的这本书一点也不深,其最大特色是收集了很多历史资料, 把许多概念的来龙去脉交代的异常清楚. 注：12.的作者 J.-P. Serre 成为第五位既得过 Fields 奖又得过 Wolf 奖的数学家.(前面四位是 L. AK. K L. HJ. Milnor) 另注：单复变,北大原来的那本课本(庄圻泰老先生编的)其实非常好,我没有列上去的原因是 此书早已绝版,在北大 94 级念的时候就只能是一个寝室分一本了.方企勤的书没有仔细翻过, 不敢妄加评论. 1.5 《关于自学数学》 现代数学的一大特色即是已经完全建立了一套自己的表达方式.没有一个学科象数学这样创 造了这么多的概念. 现代数学的传播的一大困难也在与此,要向一个非本行(哪怕是数学里另外一个分支的专家) 解释清楚一个概念恐怕也要费上半天口舌.但在另外一方面数学是如此有用,而且数学的抽象 性使得一个数学观点往往可以表征其它学科的许多看似毫无关系的对象.所以现代数学还是挺值得一学的.自学不是一件容易的事情,特别是自学数学.从动机上说,如果是想系统学一下 大学数学系的课程的话.我的建议还是跟班听课,这比自己找书看要省力的多.在可以考虑的 书籍方面,以前上海科技出版社出过一套 1.&大学数学自学丛书&应当说编得是不错的.至于具 体该怎么学,这里我不敢多说,建议参考 2.赵慈庚,朱鼎勋&大学数学自学指南&赵先生是上面那 套书的主编,这本书基本上以上面那套书为蓝本,也给出了一些参考书.关键是对每一门课的 具体内容都有一个详细说明. 好象是高等教育出的. 1.6 《实变函数论与泛函分析》 这是数学系的学生学到的第一门完全属于二十世纪的课程.这门课程的重要性是不言而谕的. 对于这门课程在中国的发展,许多和复旦有密切关系的前辈都做出过重要贡献.在复旦开实分 析 课 的 第 一 人 毫 无 疑 问 是 陈 建 功 先 生 (). 作 为 中 国 现 代 数 学 的 先 驱 者 , 他 在
年间三赴日本学习现代数学,是在日本获得理学博士学位的第一个外国学者.此后 他回到浙大,和 31 年回国的苏先生一起为中国现代数学的发展做出了极其重要的贡献.即便 是在抗战最困难的时期,他们也没有放弃学术研究.李约瑟当时称赞西南联大和浙大是东方的 Oxford 和 Cambridge,陈先生在浙大的大弟子程民德先生说到&这一光辉的称号,可以说是用 难以数计的微弱的桐油灯光所照亮的&.程先生为陈建功先生在 1.&中国现代数学家传&(第二卷) 里面做了一篇传记,不可不读.陈先生在浙大担负着极重的教学任务,在五十年代他把历年使 用的讲义遍成书出版,这就是 2.陈建功&实函数论& 今天看来,这里面的内容是相当古典的,但是其中很多东西的讲法到今天还是很好的. 陈先生门下弟子无数,早期(20 年代)的学生包括中国现代数学的另两位重要人物王福春先生 和曾炯之先生.后来从浙大到复旦,我们可以列出一串长长的名单:程民德,叶彦谦,秦元勋,张鸣 镛,夏道行,龚升,李训经...前校长杨福家先生在某次会上说过&复旦人不会忘记,五十年代,复旦 造了两幢小楼,一幢是给陈建功先生的,一幢是给苏步青先生的,正是他们使复旦的数学变了 样....&那两幢房子现在还在第九宿舍里面.一幢苏先生家人还住着.另外的那幢在陈先生 58 年 搬去杭州以后就空着,据说曾有某位今天在复旦也是大名鼎鼎的人物搬进去过,但不久就因为 实在&摆不平&又搬了出来--陈先生和苏先生的地位可见一斑.今天在数学系里还能找到陈先 生的一些遗迹,比如那套 Gauss 全集就是陈先生出让给浙大图书馆的(见内页题字) 现在用的课本是 3.夏道行,严绍宗,吴卓人,舒五昌 &实变函数论与泛函分析&第二版,上,下册 这是,在我看来,复旦为中国的数学事业贡献的最重要的课本.从 1978 年第一版出版开始,这就 是中国最标准的实变与泛函课本.受益与此书的学生不可计数.夏先生是陈先生五十年代初的 研究生.当年陈先生开实分析课的时候夏先生 做助教,也是跟班从头听到底(和今天 CS 的 TA 的要求差不多,不是吗?*_^)夏先生 50 年代中 期赴苏联进修,师从 I.M.Gelfand.那是泛函分析还处于发展的初期,Gelfand 又是这个领域的泰 山北斗.所以夏先生不仅在在苏联的两年间做出了相当好的工作,而且回国后在复旦建立了一 个相当强的泛函研究小组.具体可以看 4.杨乐,李忠编&中国数学会六十年&里面严绍宗先生和 李炳仁先生写的文章.六十年代初,夏先生就已经是&现代数学丛书&的编委了,那时候他才 30 出头一点.今天的中国数学界,没有一个这个年龄的数学家有夏先生当年的学术地位!夏先生 做单复变和概率的功夫也是非常深的.在 80 年当选学部委员的时候,他的专业就写的是这三 样.我们一章一章来看:第一章&集和直线上的点集&这是很美妙的东西,数学系的学生从这里 开始严肃地接受关于无限的教育.具体的问题是教师一般都要在这一章上面花不少时间,部分 是因为这些搞脑子的东西学生以前根本没有接触过.我想今后可能的话应该在第一二年的课程里面讲一些这一章 的内容,象实数理论和极限论,等价关系,直线上的开,闭集,等等.这样一是可以省下很多时间, 其次的确你翻翻许多数学分析的书也能看到这些内容.大概一定要留到这里来讲的包括 Zorn 引理,在 5.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_1\\cap E_2)+m^*(E1\\cup 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) 16.里面有一章也是讲这东西的.其它许多以&泛函分析&为标题的书也是以此为出发点的,比 如 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) 第五章这一章讲述 Banach 空间上的有界线性算子理论.这一内容的框架性著作毫无疑问是 28.Dunford,Schwarz &Linear Operators&I 这书在系资料室运气好的话能找到一到两本.注意有一些结论是可以把 Banach 空间减弱为 Frechet 空间的,不过好象据说实际应用中除了广义函数空间是个 Frechet 空间以外其它用得 并不多.前面列的各中标题是泛函分析的书这里都可以用. 汪林的书 19.里面有许多有趣的例子.不自反的空间的例子在系资料室可以查到,应该是在某期 Proc. of Nat. Acad. of Sci.上. 再补充一下前面漏掉的一本书: 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 的就职演说 的眼光看这本书)所以对于这本书的评论很多也就把整个分支都评论进去了,不妨看看.Jones 说这书是&A milestone for mathematics.Connes has created a theory that embraces most aspects of `classical\' mathematics and sets us out on a long and exciting voyage into the world of noncommutative mathematics&.做为老前辈,Segal 的书评里面有一些批评,也值得注意. 第七章这一章一般不讲,在本科阶段不讲,在研究生阶段也不讲,实在奇怪,不是吗?主要问题是, 就事论事地讨论广义函数 恐怕不是非常地有趣,要紧的还是这套框架在偏微分理论中的应用.现在的状态就是你在复旦 数学系基础专业念四年出来可以还没听说过什么叫 Sobolev 空间,尽管大家都承认复旦的偏 微是很强的...\\\\sigh 在广义函数的标题下最有名的应该是 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.7 《抽象代数》 有的地方管这叫&近世代数&,反正近不近各人自己看着办吧!从历史上说,可以认为严肃的讨 论是从伽罗华开始的,他在决斗前夜写下的那封著名的信件(里面有&你可以公开向 Jacobi 或 者 Gauss 提出请求,不是就这些结果的正确性, 而是重要性,给出意见....&,现藏法国国家图书馆).在后来的发展过程中,代数结构话的语言逐 步渗透到数学的各个角落.到今天这已经是一门无处不在的分支了.不止一个老师教导过我们: 在复旦,你们受到的分析训练将是很多的(充不充分要看各人的要求了),但是代数...恐怕你们 自己还要多下点功夫.现行教材是我的本家写的,总的说来作为初学还很可以一读,原因将在 下面说明.北大的课本是 1.丁石孙,聂灵沼 &代数学引论& 这本书的特点和北大的那本高等代数一样,就是没什么自己的特色,原因是这本书从体例到习 题在很大程度上参考了 2.N.Jacobson &Basic Algebra I,II& 这书在总书库里面有不少,理图里面也有前面几章的中译本,应该是叫&基础代数学&吧,不过 翻译质量一般.Jacobson 在代数领域也属于权威,是华先生同时代的人.这本书从观点上说是相 当现代化的,比同作者的那本 3.N. Jacobson &Lectures on Abstract Algebra&(GTM.30,31,32) (中译本:抽象代数学,共三卷,理图里有)要改进不少.有兴趣的话不妨那我的本家先生的书和 2. 去比较一下，从习题的角度上说,可以看 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.8 《组合基础》 这门课没读过,不过如果现在的课本还是 1.I.Tomescu &组合学引论& 的话,倒还是想说两句的.首先,这是本很好的书,不管上不上这门课都值得一读.其次,这本书的 习题不是很好做的,特别是没有答案 (严肃的说,当你看到许多习题后面都标有人物,年代,就 该知道这些结果不是那么平凡的了)作为补充,可以考虑 2.I.Tomescu &Problem in graph theory and combinatorics(???)& 这本书有比较详细的提示和解答,里面的题目也非常好,高二的时候曾和一个哥们把里面的题 目抄了一遍(当时条件简陋,没法复印的说...//sigh).不过复旦是不是有我不是最清楚.但是我可 以肯定的是,下面这本书总书库里面有很多: 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 空间理论得奖的,但是他的组合功夫本来就很深,现在好象干脆就转向组合了) 1.9 《数学物理方程》 这是讲偏微分方程的课的名称.顾名思义,就是说这里的方程原则上最早都是从物理里面来的. 这个分支里面的东西丰富之至(当然往反面说就是有时候会显得结果比较零散). 现行课本是 1.谷超豪,李大潜,谭永基(?),沈纬熙,秦铁虎,是嘉鸿&数学物理方程&(上海科技) 这本书在这样一个水平上(指不引进广义函数,弱解等泛函里面的概念)是相当不错的.注意那 些经典方程的推导里面多少有一些近似的过程,这其实从某种意义上反应了所对应的微分算 子的某些性质的稳定性.比如,对于经典的波动方程,3 维及以上的奇数维成立惠更斯(Huygens) 原理(这可以看作经典物理的时空里面空间维数必须是奇数的一个证据),你在其它一些书(或 者说以后)可以看到,差不多二阶双曲方程里面只有波动方程有这样的性质--但是别忘了,高维 波动方程的推导里面是有近似的,这说明什么?一阶偏微分方程似乎是安排在常微的最后教的,常微的 最后教不教我课不知道,有些东西还是很有趣的,象 Cauchy-Kowaleskaya 定理,Ekeland 拿来证 明微观经济模型的合理性,然后说他看不出有存在 C^\\infty 推理的可能--数学经济是怎么回 事,可见一斑.你能说社会活动中的数据都是按 t 解析的吗???!!!学这门课的那个学期在忙着各 种各样考试(比如 T,G 等等),故此没能够看太多的参考书.北大的课本也没有看过,不过据一位 北大的师兄说,和复旦的课本相比较,可能北大那边相对更注重一些解的渐进估计等等,而复 旦这里对于显式解讲得更多些.注意在图书馆里面可以找到一本内容相当接近的书 2.谷超豪,李大潜,陈恕行,谭永基(?), Ｋ文????&数学物理方程&(人民教育?高等教育?) 这书的题材,难度,例题,习题等等和 1.非常接近.特别指出这本书的原因是在复旦的课本中据 我所见,只有这本是曾经出过一本&官方的&习题解答的,那是 80 年代初,油印本.能不能搞到就 看各位本事了.那本解答对于做作业是很有帮助的. 比较容易找到的书里面, 3.陈恕行,秦铁虎 &数学物理方程--方法导引&是一本非常好的讲习题的书.里面的习题如果能够全部做一遍的 话,应付考试是绰绰有余了. 说实在的,偏微分这个领域在过去的几十年里面有翻天覆地的变化,古典的方法和&现代&的泛 函的方法有时候的确很难兼顾.我想说起古典的, 4.R. Courant, D. Hilbert&数学物理方法&(I,II) 可以说是毫无疑问的经典.按照洪家兴老师的说法,不管椭圆,双曲,抛物里面的哪一块这本书 里面的相应章节都是经典,问题就是这书放在一起你是没办法当教材来学的,所以只能有空翻 翻啦.... 经典的教材,大概可以算 5.彼得罗夫斯基&偏微分方程讲义& 这本书从风格上可能和他老人家那本&常微分方程讲义&比较接近.里面的有些内容,象 Cauchy-Kovalevskaya 定理,在复旦的本科也好象是不讲的.我想讲讲这个人,他其实从三十年 代开始就不怎么做东西了,主要的精力一直放在为苏联数学界构造保护伞方面.他最后去世的 时候是这个样子的,某天他到莫斯科市委会去开会,跟人家大吵了一架,因为基础科学研究的 经费的事情,结果出来的时候在大门口突发心肌梗塞,他的最后一句话是:&我嬴了&.有这样的 人存在你才可以想象为什么人家的大清洗没有对科技的发展有太大的影响.对于这个问题,建 议看看 6.AMS Notice, vol. 44(1997), No.4, p.432 7.AMS Notice, vol. 46(1999), No.10,p.1217 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& 要好念多了.(当然基本上人人都是这么认为的,只不过这位的来头比较大而已--法国科学院通 讯院士,46 岁) 1.10 《拓扑学》 我拓扑学得很差(从总体上说),因此这里我也说不出太多东西.大概也就点集拓扑还算过得去, 我以为这一方面我们的现行课本: 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 引理。由于侧重点不同，这本书对复旦现在的课本是很好的补充。 1.11 《微分几何》 几何是非常美妙的,通常人们提到几何的时候会把直观两个字加上去.这其实是很有道理的, 在微分几何中也不例外.具体的说,就是虽然微分几何往往会使人感觉被淹没在计算的汪洋大 海,但是有一个几何的&感觉&是很有帮助的. 现在用的课本应当是 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 只有晚年最后的一些东西是用德文写的),所以虽然系里有 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 年的 文章.这些文献,系里的资料室里面都是有的,看原始文献可以让人逐步体会一样东西在它刚 刚出现的时候是个什么样子,这和经过无数再处理后写进课本的讲法往往是不一样的. 《微分几何》 苏步青 原著 姜国英 改写 就是那本黄颜色封面的，理图里有借这本书的原版据说晦涩难懂，但即使改写以后，根据潘 老师的讲法，看起来也比较费劲。印象比较深的有，书中单独的一节讲了 Bertrand 曲线，对 于等周问题，该书也给出了好几种不同的证法。 （最近的几期美国数学月刊里，对于该问题 也集中给出了几个比较初等的证明和若干相关命题） 另外， 该书的一个特色是几乎每道练习 题都附有最先证明该命题的人名和时间。使人能够感受到微分几何发展的脉搏。 《微分几何一百例》确实是一本很好的书，这本书很薄，所以可以在两三天里面看完。但是 建议在看解答的时候最好先自己想一想，因为书中有些题目的解法并不是最简洁的。 1.12 《微分流形》 现在想来讲两句&微分流形&,我想大概给 94 开的是第一次,当时是作为基础专业的选修课的, 我是逃了三分之一的抽象代数课去听的(当然,应该解释为为听这课逃掉了三分之一的抽象 代数课,由于其他原因的还不算在内*_^),最后参加考试,因为没选这课,所以就和黄老师商量, 如果没有 A 的话就算了,结果就是我这课没有成绩--那课只有今年要去 Stanford 的哥们拿了 个 A.说正经的,微分流形可以认为是&(微分)流形上的微积分与微分几何初步&.在目前教材尚 未确定的情况下,我们只能来看一下具体的内容了:-((当然我想说还是有本教材的好,这样至 少有个明确的目的,不然尽管大家都可以直接把笔记拿来当讲义,但总是有点别扭的,我以为) 首先自然是流形的概念,我们自然不能指望从 Bourbaki 的&流形&开始念,一般来说,在任何一本 讲微分几何的书里面都有这一概念的介绍,只不过详略不同而已. 复旦曾经有相当长的一段时间用 1.W.M.Boothby &An Introduction to Differentiable Manifolds and Riemannian Geometry& 作为微分几何课本,从某种技术性的观点来说这书可能太罗嗦,讲到流形上的向量场就用了 100 多页的篇幅,但是我觉得初学看这书还是很好的,毕竟讲得相当详细,几乎所以的东西都是 有详细证明的.理图总书库里面有不少.讲到流形总是有两种引进方法,一是从一开始就讲一 个局部和欧氏空间中的开集同胚的 Haussdorf 空间....然后再讲微分结构等等.中文书里面有 2.陈省身,陈维桓 &微分几何初步& 很有大师风范,只是印刷质量不算太好.(至于陈维桓自己写的那本北大教材,我比较倾向于引 用北大一位师兄的说法:&陈还写过一本微分流形,给人的感觉是话说了很多,但还是摸不着头 脑,例如 dx,dy 究竟是何意&,所以,还是免了吧) 另外被认为写得比较好的中文书有 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& (这书有两个中译本,书名都是数学物理中的微分形式,理图里面至少有一个版本)这是写给念 物理的人看的,因此只有条条框框,很多定理都没有证明.但是好处在于:条理是清楚的,例子是 丰富的(虽然很多例子没有展开,但是至少开始阶段该有的基本上都有了),而且这书里还能给 人一个大概的概念,这些东西学了都可以干什么用(主要是写了一些在理论物理中的应用).对于到考试前还有点不知所云的人(比如说我那时候),应该说帮助不小.至于侯伯元,侯伯宇的那 本&物理学家用微分几何&,可能是太深了点,非物理学家不能理解. 2 数学参考书目 这份书目是 1992 年 1 月做的，按照 Pierre Schapira(巴黎 13 大)写的说明，这份书目是他应 Jean-Pierre Lemaire 的要求为 CIMPA(Centre International des Mathematiques PuresetAppliquees, 国际纯粹与应用数学中心，1978 年在法国建立的国际组织，主要的&上级单位&是联合国教 科文组织和法国科技部，法国教育部)做的。本来 1985 年的时候 Jean Dieudonne 为 IMU/CDE(国际数学联盟/发展与交流委员会-Comission on Development and Exchange)做的书 单，1986 年 CIMPA 又找了一些其他人做了份书目，目前的这个主要是一个更新的版本(他 们后来又没有重新做过我不清楚)。 (CIMPA 主要是组织一些在发展中国家的会议， 讲习班等等。 在各个国家都有相应的委员会。 中国的负责人原来是吴文俊先生，现在是李大潜先生。本月(2002 年 11 月)18 日即将在系里 举行的关于 Ginzburg-Landau 方程的讲习班就是在 CIMPA 的框架下举行的) 这份书目在每一个所划定的数学分支中， Schapira 向下列名单中的人物提出要求， 由 最后综 合大家的意见，最后在每个分支给出一二十本法语或者英语的&基本的&参考书，水平基本上 以本科高年级为起点。不同&分支&之间可能有重叠。特别注明，说这份书目的起草没有参考 前面两份。 那张被咨询者的名单是很有意思的。我稍微做一点注： J.-P.Aubin, Paris IX A.Beauville,Nice M.Berger,IHES,通讯院士 D.Bertrand，Paris VI L.Birge,Paris VI J.-B.Bost,Paris XI L.Breen, Paris XIII A.Chenciner,Paris VII P.Ciarlet,目前在香港，院士，中法数学研究所前法方所长 A.Connes,College de France, IHES,院士，1982(3)年 Fields A.Debiard, Paris XIII P.Dehuevels,Paris VI,院士 J.-P.Demailly,Grenoble,通讯院士 J.-M.Fontaine,Paris XI,院士 C.Goldstein,Paris XI P.Gerard, Paris XI C.Houzel,Paris XI G.Henniard,Paris XI L.Illusie,Paris XI J.-P.Kahane,Pairs XI,院士 G.Lebeau，Nice,通讯院士J.-L.Loday，Strasbourg A.Marin,ENS Lyon M.Mignotte,Strasbourg J.Mouline Ollagner,Paris XII J.Neveu,Ecole Polytechnique F.Nier,Rennes G.Pisier, Paris VI&TAMU,院士 M.Rais,Poitiers D.Revuz,Paris VII G.Sabbagh,Paris VII Laurent Schwartz, Ecole POlytechnique(当时已退休)，院士，1950 年 Fields, 去世 Lionel Schwartz,Paris XIII J.-P.Serre,College de France,院士，1954 年 Fields J.Stern,Paris VII S.Sorin,Paris X B.Teissier,ENS Paris 2.2 1.逻辑 Barwise J. Handbook of Mathematical Logic, Studies in logic and the foundation of mathematics n°90, North Holland, 1977 这本书过时了，但还有一些参考价值，里面给出了当时一些分支发展的概况。 Barwise J. Admissible sets and structures--an approach to definability theory, Perspectives in Mathematical Logic, Springer-Verlag, 1975 这绝对是本好书，有人说任何学数理逻辑的人都必须看这本书。 Barwise J., Feferman S. Model-theoretic logics, Perspectives in Mathematical Logic, 1985 想起来了，这本书狂厚，是抽象模型轮的一部大百科全书。做教材是绝对不适合的，呵呵。 Chang C.C., Keisler H.J. Model Theory, North Holland, 1973 模型论的最经典的教材，现在看虽然有些过时，但仍然是一本非常好的入门读物.最近的一 版是 1990 年的， Chang C.C.是华人，当时的模型论大牛之一，现在据说搞神学去了，呵呵。 Ebbinghaus H.D., Flim J., Thomas W. Mathematical Logic, Unergraduate texts in Mathematics, Springer-Verlag, 1984 没看过 Girard J.Y., Lafont Y., Taylor P. Proofs and types, Cambridge Tracts in Theoretical Computor Science n°7,Cambridge Univ. Press, 1989 还是没看过，//shy Godel K. Collected Works, Vol.I:1986, Vol.II:1990, Oxford Uni Press 有影印本，不过那时的符号体系太难看了。 Jech T.J. Set Theory, Pure and Applied Mathematics, Academic Press, 1978 集合论中最经典的入门读物，98 年出了修订版。作者是匈牙利人，后来因为布拉格之春逃 了出来。先后在普林斯顿，PSU 任教。现已退休，回到匈牙利，正在重写这本书。现在中 国集合论界的第一高手就是他的弟子，呵呵。这本书的一大特点就是全，几乎囊括了集合论 的各个分支。据说现在要去 Berkeley 都 Ph.D.首先得把这本书看完。 Hinuley J.R., Sedlin J.-P. Introduction to Combinatorics and \\lambda-calculus, London Math.Soc., Students texts 1, 1986 Krivine J.-L. Lambda Calcul, types et mod\\`eles, Masson Paris, 1990 不好意思，这两本都没看过。 Kunen K. Set Theory, North Holland, 1980 当年美国数理逻辑研究生的必修教材。绝对是一本好书。相比较于 Jech 的书，这本书集中 于组合与描述集合论。对 Forcing 讲得非常透彻。如果想学集合论，强烈推荐这本书。 Minsky M. Computation: finite and infinite machines, Prentice Hall Series in Automatic Computation, Prentice Hall, 1967 没看过。 Moschovakis Y.N. Descriptive set theory, Studies in logic and the Foundations of Mathematics n°100, North Holland, 1980 描述集合论的经典教材，作者是波兰人，UCLA 学派的领袖人物。对于经典描述集合论讲得 非常精彩，而且只需要很少的预备知识。 Robinson J.A. Logic: form. and function, The mechanization of deductive reasoning, University Press of Edinburgh, 1979 没看过： （ Rogers H.JrTheory of recursive functions and effective computability, McGraw Hill, 1967 递归论（现在成为可计算性理论）的最经典教材，现在虽然过时了，但是看一看它还是很有 收获的，作者把递归论的来龙去脉讲得非常清除，很精彩的一本书。 Schutte K. Proof Theory, Grundlehren der Mathematischen Wissenschaften n°225, Springer-Verlag, 1977 证明论中一本比较经典的教材. Soarse R.I. Recursively enumerable sets and degrees, Springer-Verlag, 1987 现代递归论的必读教材，看完了它，就可以开始写论文了，呵呵。作者是现代递归论的领袖 人物（可偶以为他更多的是个学霸，呵呵） 。 Stern J. Fonements Math\\\'ematiques de l\'informatique, McGraw Hill, 1990 （这是什么书？） Van Heijenoort J. From Frege to Godel, a source book in mathematical logic, , Harvard Univ. Press, Cambridge, MA,1967 一本数学史，我觉得在数理逻辑的研究生阶段以前你可以不懂命题演算，谓词演算，但必须 知道数理逻辑史，呵呵。 偶个人推荐一些: Shoenfield Mathematical logic. 这本书不好看，但你如果把里面的习题做完了，你差不多就入门了，呵呵。 Devlin Inner Model 集合论的另一个分支内模型的必读教材。 Kechris Classical Descriptive Set theory， GTM No.? 真如作者在书中说的，这不是一本入门读物，而是一本演讲的合集。可以和 Moschovakis 的 书互补，方法更加现代一些。 Akihiro Kanamori The higher infinite 关于大基数的写得最好的一本书。 Odiferddi Classical Recursion Theory I,II一本 unreadable 的递归论百科式的参考书，可以当字典来看。 Sacks The degrees of Unsolvability. Annals of Math Studies 1966 作者是递归论领域的大师级人物，当年的递归论领袖。即使这本书的年代如此遥远，但是仍 然有如此多的宝藏可以开发。。 。。 Hodges Model Theory 现代模型论教材，它正在取代 C.C. Chang 和 Keisley 的那本书。 Takeuti Proof Theory 证明论教材，可以跟前面那本互补，作者是个日本人。 2.3 组合，形式计算 Berger C. Graphes et Hypergraphes, Dunod, Paris-Bruxelles-Montr\\\'eral, 1973 (有英译本， Graphs and Hypergraphs) Comtet L. Analyse Combinatoires, 2 tomes, &Le Math\\\'ematiciens& n°4 et 5, PUF Paris 1970 Davenport J., Siret Y.,Tournier E. Calcul Formel, Syst\\`eme et algorithmes de manipulations alg\\\'ebriques, Masson, Paris 1987 Macdonald I.G. Symmetric functions and hall polynomials, Clarendon Press, 1979 Graham R.L., Knuth D.E., Patashnik O. Concrete Mathematics, a foundation for computer science, dedicated to L.Euler(), Addison-Wesley Publishing Company, Reading MA,1989 Knuth D.E. The Art of Computer Programming, Vol. 1,2,3, Addison-Wesley Publishing Company, Reading MA,1981 Lothaire M. Combinatorics on Words, Encyclopedia of Mathematics and its applications n°17, Advanced book Program Addison-Wesley Publishing Company, Reading MA,1983 (这套书的主编是 Gian Caro-Rota, 有影印本) Mignotte M.Math\\\'ematiques pour le calcul formel, PUF,1989 (原注，Springer 将出英文版) Sedgewick R. Algorithms, Addison-Wesley Publishing Company, Reading MA,1988 Tutte W.T. Graph Theory, Encyclopedia of Mathematics and its applications n°21, Advanced book Program Addison-Wesley Publishing Company, Menlo Park CA, 数论 Baker A. Transcendental number theory, Cambridge UP, 1975 Bombeiri E. Le grand cilbe dans la th\\\'eorie analytique des nombres, Asterique 17, S.M.F., Paris, 1974 Borel A., Casselman W. Automorphic forms, representations and L-functions, Proc. of Symp. in Pure Maths, vol. XXXIII, 1 and 2, AMS, Providence, 1979 Borevic Z.I., Shafarevich I.R. Th\\\'eorie des nombres, Gauthier-Villars, 1967 (英文本:Number theory / Borevich, Zenon I Shafarevich, Igor\' R(Pure and
20) Academic Press, New York NY London , 1966.) Bosch S.,Luetkebohmert W., Raynaud M. N\\\'eron Models, Ergebnisse des Mathematik und ihrer Grenzgbiete n°21, Springer-Verlag, 1990 Cassels J.W.S. Introduction to the Geometry of Numbers, Springer-Verlag,1959 Cassels J.W.S, Fr\\&ohlich A. Algebraic number theory, Sussex, Brighton, September 1-17, 1965, Academic Press, 1967 Cornell G., Silverman J. Arithmetic Geometry, Conference, Storrs, July 30-August 10, 1984, Spri Baker A. Transcendental number theory, Cambridge UP, 1975 Bombeiri E. Le grand cilbe dans la th\\\'eorie analytique des nombres, Asterique 17, S.M.F., Paris, 1974Borel A., Casselman W. Automorphic forms, representations and L-functions, Proc. of Symp. in Pure Maths, vol. XXXIII, 1 and 2, AMS, Providence, 1979 Borevic Z.I., Shafarevich I.R. Th\\\'eorie des nombres, Gauthier-Villars, 1967 (英文本:Number theory / Borevich, Zenon I Shafarevich, Igor\' R(Pure and
20) Academic Press, New York NY London , 1966.) Bosch S.,Luetkebohmert W., Raynaud M. N\\\'eron Models, Ergebnisse des Mathematik und ihrer Grenzgbiete n°21, Springer-Verlag, 1990 Cassels J.W.S. Introduction to the Geometry of Numbers, Springer-Verlag,1959 Cassels J.W.S, Fr\\&ohlich A. Algebraic number theory, Sussex, Brighton, September 1-17, 1965, Academic Press, 1967 Cornell G., Silverman J. Arithmetic Geometry, Conference, Storrs, July 30-August 10, 1984, Springer-Verlag, 1986 Hardy G.H., Wright E.M. An Introduction to the Theory of Numbers, Oxford Univ. Press,
Lang S. Algebraic Number Theory, Addison-Wesley, 1970 (Springer-Verlag 的 GTM110 应该就是这本书) Lang S. Cyclotomic Fields I et II, Graduate Texts in Mathematics n ° 121,Springer-verlag, 1990 (注:Cyclotomic fields ,GTM59,1978;Cyclotomic fields II,GTM69, 1980) Lang S. Fundamentals of Diophantine Geometry, Springer-Verlag, 1983 Serre J.-P. Corps Locaux, Actualit\\\'es Scientifiques n°1296,Hermann, 1968 (注:英文版 Local fields, GTM67, Springer-Verlag,1979) Serre J.-P. Cours d\'Arithm\\\'etique, Collection SUP, PUF, 1970 (注:英文版 A Course in arithmetic, GTM 7,Springer-Verlag, 1973;中文版 数论教程， 冯克勤译， 上海科技出版社)Serre J.-P. Oeuvres Compl\\`etes, Vol.1,2,3, Springer-Verlag, 1986 (注:98 年出了第四卷) Shimura G. Introduction to the arithmetic theory of automorphic functions, Publications of the Mathematical Society of Japan n°11, Princeton UP, 1971 Silverman J. The arithmetic of elliptic curves, GTM 106, Springer-Verlag, 1986 Weil A. Oeuvres Compl\\`etes, Vol.1,2,3, Springer-Verlag,
代数，同调代数，范畴，层 Anderson, Fuller Rings and Categories of Modules, GTM 13, Springer-Verlag, 1973 Atiyah M., Macdonald I.G. Introduction to commutative algebra, Addison Wesley Series in Mathematics vol.361, Addison-Wesley, Reading MA, 1969 Bourbaki N. Alg\\`ebre commutative, ch.1 \\`a 9,Masson, Paris
Cartan H., Eilenberg S. Homological Algebra, Princeton Mathematical Series Vol.19, Princeton UP, 1956Gabriel P., Zisman M. Calculus of fraction and homotopy theory, Ergebnisse der Mathematik und ihrergrenzgebiete Vol.35, Springer-Verlag, 1967 Gelfand S., Manin Y. Methods of homological algebra, Springer-Verlag, 1992 Godement R. Topologie alg\\\'ebrique et th]\'eorie des faisceaux, Hermann, 1964 Hilton P.J., Stammanbach U. A course in homological algebra, GTM 4, Springer-Verlag, 1971Jacobson N. Basic Algebra, I,II, 2nd edition, Freeman, 1980 Kashiwara M., Schapira P. Sheaves on manifolds, Grundlehren Math. Wiss. 292, Spinger-Verlag, 1990 MacLane S. Homology, Grundlehren Math. Wiss. 114, Springer-Verlag, 1967 MacLane S. Categories for the Working Mathematicians, GTM 5, Springer-Verlag, 1971 Matsumura Commutative ring theory, Cambridge studies in Advanced Math. Vol. 8, Cambridge UP, 1989 Serre J.-P. Alg\\`ebre locale--Multiplicit\\\'e, LNM 11, Springer-Verlag, 1965 Zariski G., Samuel P. Commutative algebra, Vol. 1 & 2, Van Nostrand, 1958 (注:Springer-Verlag 在 GTM 中翻印过，编号 28,29) 2.6 K-理论，C^*-代数 Atiyah M. K-theory, W.A.Benjamin Inc., 1967 Bass H. Introduction to some methods of algebraic K-theory, Colorado, August 24-28, 1973(Regional Conference Series in Mathematics, n°20), AMS, Providence 1974 Bass H. Algebraic K-theory, Mathematics Lecture Notes Series,Benjamin, 1968 Bass H. -&Classical& algebraic K-theory and connection with arithmetic, Seattle Research Sept. 1972, LNM 342,Springer-Verlag, 1972 -Hermitian K-theory and geometric applications, LNM 343. Springer-Verlag, 1973 -Higher K-theories, LNM 341, Springer-Verlag, 1973 Blackadar B. K-theory for operator algebras, Mathematical Sciences Research Institute Publications vol.5, Springer-Verlag,1986(此书已经出了第二版，不过变动不是很大)Dixmier J. Les alg\\`ebres d\'op\\\'erateurs dans l\'espace Hilbertien(alg\\`ebres de von Neumann), Cahiers Scientifiques n°25,Gauthier-Villars,1969(这是第二版) (英译本 Von Neumann Algebras,国内曾经影印过) Dixmier J. Les C^*-alg\\`ebres et leurs repr\\\'esentations, Cahiers Scientifiques n°29， Gauthier-Villars, 1964 (英译本 C^*-algebras Algebras,国内曾经影印过) Kadison R., Ringerose J. Fundamentals of the theory of operator algebras, vol.1-2,Academic Press,
(这书国内也影印过。后来又第 III,IV 卷，分别是前两卷的习题) Karoubi M. K-theory, an introduction, Grundlehren Math. Wiss. 226,Springer-Verlag, 1978 Milnor J. Introduction to algebraic K-theory, Annals od Mathematical Stidies n°72, Princeton UP, 1971 Takesaki M. Theory of operator algebra, vol.1, Springer-Verlag
代数几何 Arbarello E., Cornalba M., Friffiths P.A., Harris J. Geometry of algebraic curves, GMW n°267, Springer-Verlag,1985 Barth W., Peters C.,Van der Ven A. Compact Complex Surfaces, Ergibnisse Math. n°4, Springer-Verlag, 1984 Beauville A. Surfaces alg\\\'ebriques complexes, Ast\\\'erique 54, SMF, 1978 Deligne P., Boutot J.F., Grothendieck Cohomologie \\\'etale: les points de d\\\'epart, in: S\\\'em. G\\\'eom\\\'etrie Alg\\\'ebrique du Bois Marie,SGA, 4 (1/2), LNM 269, Springer-Verlag, 1977 Deligne P., Katz N. Groupe de monodromie en g\\\'eom\\\'etrie alg\\\'ebrique, in:S\\\'em. G\\\'eom\\\'etrie Alg\\\'ebrique 7 II, LNM 340, Springer-Verlag, 1973Fulton W. Intersection Theory, Ergebnisse Math. n°2, Springer-Verlag, 198