Re: [分析] 為什麼compact譯作"緊緻"?
推文裡面出現陳省身班級 (Chern class)
我就想到之前有一篇Bourbaki學派的惡搞文章
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紅衣主教主持,各等
價類(班級)和代數閉域(團體)都會派代表參加。並由巴黎高等師範和陳省身班級(陳
類)的學生默哀一分鐘。
(聖經體)因為上帝是宇宙的單點緊化。 --- (Grothendieck福音書第四章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)被很多人看
作上帝。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 111.248.69.65
※ 編輯: GaussRiemann 來自: 111.248.69.65 (11/27 12:01)
推
11/27 12:23, , 1F
11/27 12:23, 1F
推
11/27 15:18, , 2F
11/27 15:18, 2F
推
11/28 05:54, , 3F
11/28 05:54, 3F
→
11/28 07:32, , 4F
11/28 07:32, 4F
推
11/28 12:33, , 5F
11/28 12:33, 5F
→
11/28 12:34, , 6F
11/28 12:34, 6F
討論串 (同標題文章)
完整討論串 (本文為第 3 之 5 篇):