主题：【原创】勾股定理（十三）---布尔巴基与数学结构 -- 我爱莫扎特
几个星期没动笔，突然发现自己成了科技版的嘉宾，真是汗颜啊汗颜！之所以越写越慢，除了兄弟的电脑坏了之外，主要还是因为写作遇到了瓶颈。上一节写到了微分的勾股定理，作为19世纪数学最重要的数学思想之一，如何把它的意义讲明白，又不让读者陷入过深的技术细节，实在令我头疼。我决定稍微偏离一些原来的进程，在这一节讲几个比较初等的小例子，试着向大家介绍一下数学家们到底在想些什么，做些什么？
数学到底是什么？数学家又在做些什么？这个问题恐怕一千个人有一千个答案。便是数学家自己，兴趣和品位也相差颇大。某人看来很有意思的研究，在另一个人眼中可能毫无价值。爱因斯坦当年就感叹：物理学的核心问题非常明确，而数学的问题太多太杂，让人很难分辨出重要性，从而抓住核心问题。然而，毫无疑问的是，数学这样一个庞大的学科，在过去的一两百年中，无论广度还是深度都有很大的发展。爱因斯坦的批评针对的是广度，那么什么才是数学在深度上的发展呢？难道只要证明了“哥德巴赫猜想”就是数学巨人了么？对数学工作的评价有没有客观的标准？为啥高斯提出了微分几何第一基本公式就那么重要，仅仅是因为他是高斯么？
这些问题的回答涉及到数学本质的思考。大约在100年前，数学界乃至哲学界曾经就这些问题产生过非常激烈的争吵，并产生了不同的派别。其中的一个非常重要的派别是法国的布尔巴基（Bourbaki）学派。关于这个学派不是三言两语能讲清楚的。简单说来，就是20世纪初的一群年轻人聚在一起以他们自己的观点编写了一套数学教科书。
这群年轻人非常喜欢恶作剧，他们在很长的一段时间不肯以真面目示人，而以Nicolas Bourbaki这个假名发表所有著作。他们甚至于还给这位Bourbaki设计了完整的身份，住址，包括可以上溯到拿破仑时代的族谱。当然，并不是所有人都相信这位先生真的存在。50年代Bourbaki先生以个人名义申请加入美国数学会，被拒绝。而美国数学家Ralph Boas为大英百科全书写词条时，明确指出Bourbaki是一个团体的化名。这可惹恼了这位法国佬，他立即散布消息说Boas其实并不存在，只不过是一群美国数学会的数学评论的编者姓名首字母之缩写。这位Bourbaki老爷去世于1968年11月11日，他们为“他”发了一个只有数学家看得懂的讣告。
当然，使他们青史留名的并非他们的恶作剧，而是他们的写的教科书《数学原理》（Element de Mathematique）。说起来，写教科书这件事很容易被人看作没有技术含量。毕竟这是总结性的工作，看不到教育部倡导的素质教育中所重点突出的“创新精神”。不过大人物似乎总喜欢写教科书。萨缪尔森的《经济学》写了十几版，前言里就有一段老不客气的话，大致是说写这套经济学教材的目的就是为了“影响一代人的思想”。在我看来，他是大大的成功的，不仅影响了美国人，连中国的央行财政部也被他深深的“影响”着。而布尔巴基的这套教材，从出版以来，争议不断，但影响之大罕有匹敌。比如今天全世界数学教科书通用的数学符号，如Q表示有理数，R表示实数等等，都是从这本书开始，而结束了几个世纪以来各国数学界数学记号的混乱局面。光这点就和秦始皇统一度量衡可以相提并论。不过这只是副产品，最重要的是构建这套教科书的数学思想。
简单来说，他们认为数学是研究抽象结构的理论。所有的数学对象，不管是几何图形，数，函数，群，都具有一定的结构。研究数学就是研究这些结构，而用他们的方法，大部分数学对象都可以用这种结构的办法加以分类。打个不太恰当的比方，他们为数学建立起类似于生物学的“门纲目科”。他们的教科书完全构建于这一体系之上。
这套思想非常强大，但这样写出来的教科书实在令人头疼。比如大家最熟悉的实数，通常都是教材最初出现的概念。但在他们的书中，由于实数具有比较复杂而丰富的数学结构，如同自然界中的哺乳动物，虽然常见却并不简单，而被安排到了相当后面的章节才出现。可以想象，中学生拿着这套书作为课本将是多么恐怖的事情。当然，喜爱这套书的人对其赞不绝口，比如世界公认的天才数学家Deligne在12岁的时候曾经自学《数学原理》，读得津津有味，他后来能获得菲尔茨奖可能也与这套书的启蒙有关系。这套教材虽然没有被直接使用，但法国在60年代的数学教材改革仍然受到它的深刻影响，间接成就了法国数学在世界上的一流地位。
更进一步，布尔巴基学派相信只要找到正确的结构，数学问题的解答会自然出现。如果说一个定理是一座漂亮的楼房的话，他们关心的是它的钢结构，用什么建筑材料，用什么装修材料，这些搞清楚了房子也就造出来了。反之，巧妙的解题技巧是“不自然”的，被他们看不起。一个典型的例子是：布尔巴基思想的第二代传人，20世纪最伟大的数学家之一格洛腾迪克（Alexendre Grothendieck）曾经证明一个非常重要的定理，却因为证明过程中用了一个小技巧而被他自己所不齿，从而一直不肯发表，最终他的朋友实在看不下去帮他成文发表。毫无疑问，这套思想过于极端，受到无数人的反对，但它对现代数学思想的影响却也是同样巨大的。
如同物理学家一直试图找出世界的“本质”构成。从古代的金木水火土，到现代的分子原子，其实都是对物理世界内部结构的探求。同样的，受到布尔巴基思想的影响，现代数学家也一直追求着数学命题下面隐藏着的本质或者结构。从这个意义上说，一个训练有素的数学家并不难判断一项真正重要的数学工作的价值。下面我来举几个例子，让大家对于数学的结构，层次等有个感性的认识。
本帖一共被 1 帖 引用 (帖内工具实现)
莫扎特大人的文字如果只发在西西的话，那就太可惜了。
什么样？
本来想偷懒的，既然龙兄提出了，我就贴一下那份讣告。我记得在胡作玄的《布尔巴基的兴衰》中有中文版，但我在网上只能找到法语版，只好自己翻译，头晕眼花。
大家要是挑出错来千万告诉我，里面好几个词我不会翻。
法语原文在：wiki上：
Les familles Cantor, Hilbert, Noether ; les familles Cartan, Chevalley, Dieudonné, Weil ; les familles Bruhat, Dixmier, Samuel, Schwartz ; les familles Cartier, Grothendieck, Malgrange, Serre ; les familles Demazure, Douady, Giraud, Verdier ; les familles filtrantes à droite et les épimorphismes strictes, mesdemoiselles Adèle et Idèle ;
ont la douleur de vous faire part du décès de M. Nicolas Bourbaki, leur père, frère, fils, petit-fils arrière-petit-fils et petit-cousin respectivement pieusement décédé le 11 novembre 1968, jour anniversaire de la victoire, en son domicile de Nancago. La crémation aura lieu le samedi 23 novembre 1968 à 15 heures au cimetière des fonctions aléatoires, métro Markov et Gdel.
On se réunira devant le bar aux produits directs , carrefour des résolutions projectives, anciennement place Koszul.
Selon les vux du défunt, une messe sera célébrée en l'église Notre-Dame des problèmes universels, par son éminence le Cardinal Aleph 1 en présence des représentants de toutes les classes d'équivalence et des corps algébriquement clos constitués. Une minute de silence sera observée par les élèves des coles normales supérieures et des classes de Chern.
Car Dieu est le compactifié d'Alexandroff de l'univers, Grothendieck IV, 22.
偶的翻译：
Cantor, Hilbert, Noether 各家族; Cartan, Chevalley, Dieudonné, Weil 各家族 ; Bruhat, Dixmier, Samuel, Schwartz 各家族; Cartier, Grothendieck, Malgrange, Serre 各家族 ; Demazure, Douady, Giraud, Verdier 各家族 ; 右滤链家族及严格满同态家族 ；阿黛尔与伊黛尔小姐 等
沉痛的向您宣告：他们的父亲，兄弟，儿子，孙子，曾孙，表侄，尼古拉.布尔巴基先生，于1968年11月11日，即一次大战停战五十周年纪念日，在其南加哥的寓所中逝世。葬礼将于11月23日（周六）15时举行，地点在随机函数公墓，靠近Markov和Godel地铁站。
我们在“直积”酒吧门前碰头，一同前往。酒吧位于投射分解路口，也就是以前的Koszul广场。
根据逝者的遗愿，将于“泛性质”圣母大教堂举行弥撒，由阿列夫1红衣主教主持，各等价类（班级）和代数闭域（团体）都会派代表参加。并由巴黎高等师范和陈省身班级（陈类）的学生默哀一分钟。
因为上帝是宇宙的单点紧化。 --- 格罗腾迪克，（四），22
注释：
1，所有人名都是数学家。其中Cantor，Hilbert，Noether（女）是19世纪末的德国数学家，布尔巴基的数学思想是对他们思想的直接继承。Cartan, Chevalley, Dieudonné, Weil是学派的创始人，第一代组成人员。其余众人或者是第二第三代成员，或者与学派精神相一致。后文中的Markov以概率论中的马尔可夫过程闻名于世，Godel（哥德尔）是现代数理逻辑宗师。
2，蓝字皆为数学专业词汇。
3，familles filtrantes à droite应为代数几何的概念，我不清楚正确的翻译，但filtration通常译为“滤链”，而droit是右面的意思。这里famille即为专业词组的一部分，又作“家族”用。épimorphisme strict是范畴论概念，译为“严格满同态”。
4，idele是“理想环”的意思，adele是idele additif的缩写，意为“赋值向量环”，均为代数数论概念。但Adele又是女性常用名字，故直译为阿黛尔。
5，Nancago，是Nancy和Chicago的合体。他们早年在Nancy活动，后来学派精神领袖Andre Weil去了美国芝加哥大学任教。
6， Cardinal Aleph 1，此处cardinal有红衣主教的意思，但在数学上cardinal意为基数，Aleph 0是自然数的个数，Aleph 1是实数的个数。当年Cantor天才的证明了实数比自然数多得多。但他同时提出问题：在这两类“无穷多”的中间是否还有其他类型的“无穷多”？这就是著名的连续统假设。这个世界著名的问题在20世纪70年代被解决，最后的答案非常出人意料！
7，classe有班级的含义，corps有团体的意思，但它们同时又是数学词汇。
8，巴黎高师是学派成员的母校，也是法国数学的摇篮之一。
9，classes de Chern，即Chern class，或陈类，是陈省身最重要的数学贡献之一。陈老爷子与布尔巴基第一代的关系很好。老爷子的主要贡献来自于法国大数学家Elie Cartan的几何理论，而后者是布尔巴基创始人之一Henri Cartan的父亲。陈与Henri交情很深。而陈去了美国后，又与Andre Weil私交甚笃。小弟我曾在图书馆见过Weil的名著《基础数论》的扉页上陈老爷子用毛笔题写的大字“老骥伏枥”，印象深刻！顺便说一句，H.Cartan直到2008年秋天才去世，享年104岁，他一直到九十多岁还坐着轮椅去参加数学讨论班，被看作法国现代数学的象征之一。
10，“单点紧化”又名“亚历山德罗夫紧化”，是一种数学技巧。比如说在平面外面加一个点，称为“无穷远点”，在某种意义下可以得到一个球（黎曼球）。我无法深入展开，有兴趣的朋友可以找拓扑学或复分析的书看。上文中最后一句话可以这么理解，我们的世界相当于平面，上帝是外面的一个点，加进来以后，这个世界就“紧”了（紧是一种较好的数学性质）。
11，最后一段显然是“圣经体”。而法国数学家格洛腾迪克（Grothendieck）被很多人看作上帝。
一看法文就傻眼了。不懂法文，就是数学家也没法搞。
勾股定理，竟有这么多文章。
其实勾股定理的精华在前一篇已经讲了，不过估计不学数学的朋友不能理解，只好多写一点慢慢解释。
恭喜：你意外获得【通宝】一枚
鲜花已经成功送出。
此次送花为【有效送花赞扬，涨乐善、声望】
[返回] [关闭]
大学数学没学好，一直是遗憾，看看换个思路学是什么结果吧
不过您要不是学数学的,不建议您读这个.倒不是说这本书有多难,而是一般人很难从中得到乐趣,从而坚持读下去.
下面是Grothendieck的SGA（《代数几何讲座》）第四卷第一册的第185页：
这是此书第一讲的一个附录，其中定义了“宇宙”的概念（跟我们平时说的宇宙没什么关系，是Grothendieck为了绕开集合论悖论而提出的一个概念）。
这页下面的注释写道：“征得N.布尔巴基的同意，我们在此收录他的一些秘密文章。本文中所有引用文献都来自他的皇皇巨著。”这“皇皇巨著”指的就是布尔巴基的《数学原理》。当然这所谓的秘密文章本来就是Grothendieck自己写的，如今这篇文章定义的“宇宙”也被叫作Grothendieck宇宙。
我这样的文科生都能看懂，受益匪浅呢。应该有更多的人看到。
老兄帮我看看翻译中有没有问题吧。好些词，尤其是代数几何方面的偶实在不太懂。还有一些双关的含义我没怎么看出来。