
大衛·S.裏奇森
萊昂哈德·歐拉的多面體公式 V-E+F=2 被數學家們譽爲第二優美的數學定理。從足球和寶石到美妙的穹頂建築,這一公式描述了許多物體的結構。本書圍繞歐拉多面體公式及其數學思想,從古希臘數學講起,直到當代拓撲學的前沿研究,介紹了這一公式的發現及其對拓撲學研究的深遠影響。書中包括豐富的插圖與例子,展示了多面體公式的許多優雅而出人意料的應用,例如說明爲什麼地球上總有一些無風的地方,如何通過數樹來測量林地的面積,以及爲任何地圖塗色需要多少支蠟筆,等等。在書中,讀者將看到一羣質疑、完善多面體公式和爲這個非凡定理的發展做出貢獻的傑出數學家,在數學史的長河中,他們都多面體的研究和拓撲學的發展做出了自己的貢獻。 本書適合對數學,尤其是拓撲學及數學史感興趣的讀者閱讀。
翻開《歐拉的寶石》,純粹是好奇心使然。沒料到的是,即便抱着看熱鬧的心態,在AI的幫助下,也能讀出不少門道來。 全書圍繞一個被譽爲“第二優美”的公式展開——V-E+F=2。這個看似簡單的等式,從古希臘一路蜿蜒到當代拓撲學,串起了整部數學史的隱祕脈絡。你看着一個公式如何被發現、被質疑、被推廣,最後竟奠定了一門全新學科的基礎,那種驚異感,不亞於看一粒種子長成森林。 但真正讓人讀得下去,是因爲作者從不擺架子。足球、穹頂、地圖着色、測量林地面積——他把那些抽象的定理統統拽回日常經驗裏,配着大量生動的插圖,彷彿在說:你看,拓撲學就在你腳邊。於是,那些原本只屬於黑板上的符號,忽然變得可以觸摸。 書裏也不只講歐拉一個人。後來者如何挑戰他、修補他、把公式推向更遠的地方,這些科學史上的思想衝突被寫得像一場場精彩的辯論,讓人看到知識從來不是在寂靜中誕生的,而是在爭論和反覆中一點點成形。而貫穿始終的那個核心理念——“橡皮膜上的幾何”,講的是形狀在連續變形中不變的東西,這個比喻一旦理解,拓撲學與傳統幾何的區別就再也不會搞混了。 無論你是對數學史好奇的普通讀者,還是想找一點入門概念的大學生,又或者需要課堂素材的老師,這本書都能在某個層面打動你。它不要求你事先懂得多少,只希望你願意多看兩眼——而這兩眼,往往就足夠打開一個全新的世界。
《歐拉的寶石》:以歐拉示性數爲種子的拓撲學科生長史 《歐拉的寶石》最核心的敘事,在於它沒有將拓撲學的誕生寫成零散數學家的成就合集,而是以歐拉示性數爲唯一主線,完整還原了一門學科從“一個具體數值公式”到“一套完整思想體系”的生長全過程:一粒看似微小的組合計數種子,歷經兩百年的糾錯、抽象、泛化與跨界,最終破土、抽乾、分枝,長成了現代數學的支柱性學科——拓撲學。 一、種子沉睡:古典幾何的盲區與“前示性數”探索 在歐拉之前,人類對多面體的研究已有兩千多年,但始終停留在度量幾何的土壤裏,拓撲的種子始終未能萌發。本書用整整五章篇幅鋪墊這一“史前階段”,恰恰是爲了反襯歐拉突破的革命性。 1. 古希臘:只看形狀,不看結構 從柏拉圖正多面體到歐幾里得《幾何原本》,學者的全部注意力都集中在棱長、角度、面積、體積等可測量屬性上,研究的是“幾何體長什麼樣”,而非“幾何體怎麼連接”。他們無數次統計過正多面體的頂點、棱、面數量,卻從未想過將三者做交替求和。這不是計算能力的缺失,而是思維範式的盲區——他們根本沒有“組合結構不變性”這一認知維度。 2. 笛卡爾:摸到了種子,卻沒認出它 本書重點討論了笛卡爾的“立體角虧定理”:凸多面體所有立體角的虧缺之和恆等於4π。從數學上嚴格推導,該定理與歐拉公式完全等價,只需幾步變換就能得到 V-E+F=2。但作者明確指出,笛卡爾與拓撲學誕生擦肩而過: - 他沒有提煉出邊(E)這一獨立的拓撲單元,始終從角度、面積等度量屬性切入; - 他沒有將結論表達爲頂點、棱、面的組合關係式; - 他從未意識到這個式子可以脫離“凸多面體”這一具體對象,成爲更普適的不變量。 簡言之,笛卡爾拿到了種子的化學成分,卻沒看到它能長成大樹的可能。 二、種子萌發:歐拉多面體公式——拓撲思想的第一次破土 1750年歐拉提出 V-E+F=2,是本書的第一個核心轉折點。作者反覆強調:歐拉的偉大不在於發現了一個算術等式,而在於他第一次用拓撲的眼睛看待幾何體,這粒種子真正獲得了生命力。 1. 思維範式的躍遷:從“度量”到“連接” 歐拉首次將多面體拆解爲頂點(0維)、棱(1維)、面(2維)三類基本單元,完全忽略邊長、角度、體積等所有度量信息,只關注它們之間的連接關係。在數學史上,這是人類第一次意識到:幾何體存在一種與形狀、大小完全無關的“結構屬性”。這正是拓撲學“連續變換下保持不變”的核心思想源頭。 2. 先天缺陷:種子自帶的生長矛盾 歐拉本人給出的兩種證明均存在嚴謹性漏洞,他默認了所有多面體都是“凸的、無孔洞的、簡單的”,卻從未明確定義“什麼是合格的多面體”。本書沒有迴避這一缺陷,反而將其視爲學科生長的必然動力:正是公式的“不完美”,倒逼後世數學家不斷修正邊界、深化概念,讓一粒粗糙的種子長出清晰的根莖。 三、根莖生長:反例倒逼與概念升級,從“等式”到“不變量” 歐拉之後的近百年,是拓撲學的“根系發育期”。數學家一邊補全證明,一邊不斷髮現反例;每一次反例的衝擊,都沒有摧毀公式,反而讓 V-E+F 這個組合式的內涵越來越深,逐步從“一個特定數值”升級爲“一類曲面的屬性標識”。 1. 證明嚴謹化:錨定種子的適用土壤 - 勒讓德1794年利用球面三角學給出第一個嚴格證明,將公式與球面幾何綁定,暗示了公式本質是球面的拓撲屬性,而非多面體的幾何屬性; - 柯西開創性地採用“立體壓扁爲平面網絡圖”的降維證明,將三維多面體問題轉化爲二維平面圖問題,直接打通了多面體公式與圖論的聯繫,也證明了:只要是與球面拓撲等價的曲面,無論怎麼分割成多邊形,V-E+F 恆等於2。 2. 反例衝擊:打破“恆等於2”的執念 本書用大量篇幅介紹19世紀湧現的各類反例:帶單個通孔的環面體、兩個立方體貼合而成的“孿生多面體”、自相交的星形多面體、嵌套多面體……它們的 V-E+F 都不等於2。 普通定理遇到反例會被推翻,但歐拉公式遇到反例卻實現了概念升維:數學家終於意識到,2不是公式的唯一答案,V-E+F 本身是一個隨曲面拓撲類型變化的常數——歐拉示性數 \chi 的概念呼之欲出。 四、主幹成型:歐拉示性數確立,閉曲面分類體系建成 19世紀中後期,黎曼、莫比烏斯、克萊因等數學家正式將歐拉示性數確立爲曲面的核心拓撲不變量,拓撲學終於長出了堅實的主幹,從零散的公式變成了一套分類體系。這是全書的理論核心,也是“種子長成樹幹”的關鍵一步。 1. 示性數的正式定義:拓撲指紋的誕生 學界不再糾結“哪些多面體滿足公式”,而是給出了普適定義: 對任意可三角剖分的閉曲面,將其分割爲有限個多邊形後,交替求和所得的 V-E+F 是一個固定常數,與分割方式無關,這個常數就是該曲面的歐拉示性數 \chi。 它是曲面在連續拉伸、扭曲、彎折(不撕裂、不粘合)下永遠不變的“拓撲指紋”,是區分不同曲面的最核心標識。 2. 虧格與通用公式:完成閉曲面的拓撲分類 隨着“虧格 g(曲面上的孔洞數量)”概念的建立,定向閉曲面的歐拉示性數通用公式被總結出來: \chi = 2-2g - 球面(無孔洞,g=0):\chi=2,對應最初的歐拉多面體公式; - 環面(1個孔洞,g=1):\chi=0; - 雙環面(2個孔洞,g=2):\chi=-2。 配合“可定向性”這一屬性(區分莫比烏斯帶、克萊因瓶這類單側曲面),數學家最終完成了閉曲面完全分類定理:所有閉曲面的拓撲類型,都可以通過歐拉示性數+可定向性唯一確定。 至此,歐拉示性數從一個多面體的小結論,變成了整個二維曲面世界的分類基石,拓撲學第一次擁有了自己的核心理論框架。 五、枝繁葉茂:示性數貫穿多分支,拓撲學體系化擴張 如果說閉曲面分類是樹幹,那麼從歐拉示性數延伸出的各個研究方向,就是拓撲學的枝葉。本書後半部分清晰展現了:幾乎所有早期拓撲分支的誕生,都以歐拉示性數爲共同根基,學科體系由此快速擴張。 1. 向量場拓撲:從“毛球定理”到龐加萊-霍普夫定理 歐拉示性數第一次跨界到分析領域,揭示了拓撲對微分行爲的剛性約束:球面上無法梳平所有毛髮、地球上永遠存在無風點,本質都是球面示性數不爲零,連續向量場必然存在奇點。 龐加萊-霍普夫定理進一步推廣:緊緻流形上任意光滑向量場,所有奇點的指數之和恆等於該流形的歐拉示性數。拓撲不再只是研究靜態的形狀,而是開始約束動態的場,微分拓撲的雛形就此出現。 2. 紐結理論:用曲面示性數識別繩結 數學家塞弗特證明:每個紐結都可以張成一個定向曲面(塞弗特曲面),該曲面的歐拉示性數是紐結的拓撲不變量。由此,原本看似與多面體無關的“繩結變形問題”,被轉化爲曲面歐拉示性數的計算問題,紐結理論成爲拓撲學的重要分支。 3. 微分幾何:高斯-博內定理的巔峯融合 本書將高斯-博內定理視爲歐拉示性數最深刻的成果之一: 曲面的總高斯曲率(局部幾何屬性之和),完全由曲面的歐拉示性數(全局拓撲屬性)決定。局部的彎曲程度最終被全局的拓撲結構鎖定,這道定理徹底打通了微分幾何與拓撲學的壁壘,成爲20世紀幾何發展的核心樞紐。 4. 圖論與平面圖着色 回到最初的組合源頭,歐拉示性數成爲平面圖論的核心工具:證明平面圖的邊數上限、推導四色猜想的約束條件、推廣到高虧格曲面的希伍德着色公式,全部建立在歐拉示性數之上。 六、參天大樹:高維推廣與拓撲學的正式獨立 本書的收尾階段,講述了歐拉示性數如何從二維曲面走向高維空間,最終催生了完整的拓撲學學科,這粒種子終於長成了參天大樹。 1. 龐加萊的高維推廣:代數拓撲的基石 龐加萊將歐拉示性數推廣到n維緊緻流形:通過對0維胞腔、1維胞腔……n維胞腔的數量做交替求和,得到高維空間的歐拉示性數。隨着同調羣理論的建立,歐拉示性數進一步被定義爲各階同調羣秩的交替和,成爲代數拓撲最基礎的不變量。 2. 拓撲學的正式誕生 龐加萊在19世紀末正式定名“位置分析(Analysis Situs)”,也就是後來的拓撲學。歐拉示性數是這門新學科第一個成熟、普適、可計算的不變量,所有後續的同調、同倫、示性類理論,都可以看作是對歐拉示性數思想的深化與拓展。 本書以龐加萊猜想作爲全書收尾,正是完成了閉環:這個困擾學界百年的千禧年難題,本質上是三維流形上“拓撲不變量能否完全刻畫空間形態”的終極追問,其思想源頭依然是1750年歐拉寫下的那個簡單公式。 七、本書的學科史觀總結 《歐拉的寶石》通過歐拉示性數的生長史,道出了數學學科發展的通用邏輯: 1. 偉大的學科往往始於微小的觀察:拓撲學不是憑空構建的宏大體系,它的基因完全蘊含在 V-E+F=2 這個小學生都能看懂的等式裏; 2. 反例是學科生長的核心動力:公式的失效不是失敗,而是概念升級的契機,每一次反例的出現,都推動示性數從特殊走向一般、從具體走向抽象; 3. 學科成熟的標誌是核心概念的泛化:從“凸多面體的數值等式”到“曲面的拓撲指紋”,再到“高維流形的代數不變量”,歐拉示性數每一次泛化,都對應着拓撲學一次邊界的拓展。 這正是“歐拉的寶石”的真正含義:它不是一顆已經打磨完成的鑽石,而是一粒蘊含了整個拓撲世界的種子——看似簡單,卻擁有無限生長的生命力。
補了一下紙質版,主要講歐拉公式與拓撲學誕生的深層關聯。 在歐拉公式出現之前,幾何學始終聚焦“度量幾何”,執着於具象數值計算,而這一公式的誕生後,標誌着數學思維的重大躍遷,開啓了“不重尺寸、重結構,不重形態、重關聯”的全新研究維度,成爲拓撲學的奠基基石。 順着公式的衍生發展,延伸至現代拓撲學的前沿研究,然後關聯到龐加萊猜想等。
一本很好的拓撲學入門書籍,雖然沒有完全看懂,但對該領域的一些數學概念有了初步的認識。可以作爲進一步的學習參考。拓撲二字是從材料學瞭解到的,看到很多新材料的研究都喜歡加上拓撲二字,有困惑有好奇。找了該學科的參考書籍翻開就是一大推定義和證明,且涵蓋了很多抽象概念和抽象代數知識。會讓你望而生畏。這本書從現實世界直觀的闡釋這些抽象概念,使大腦中有個相對清晰的圖像,進而再過渡到抽象。
歐拉有很多公式,在這裏是多面體公式,當然這個公式也是作爲自己專業的一部分,當初進入了某個行當,也就是所謂的富勒烯相關的研究工作,就是歐拉多面體公式在現實社會之中的具體的表達形式,當然除了 c60 還是 c70,還有碳納米管和石墨烯,也就是拓展了歐拉公式,使得我們建立了數學空間與現實世界之間的聯繫,也是非常容易產生各種感慨,就是數學的抽象總是可以不斷在現實之中來進行完美復刻和實現,可能我們在探索的過程之中,也是非常期待找到自然的存在形態,甚至是一種理念的轉移形態,可能這樣的科學也更加容易引起各種關注,當然本來對於歐拉的黑歷史還是知道一些,但是作爲數學家長壽是不是一種罪過,或者說數學家都是年輕人的事業,看起來對於歐拉似乎不是非常適用的,即使在眼睛失去了視力之後,還是能夠保持對於數學的敏感性,甚至產生了各種不斷進展,讓我們想象出來了那個耳朵失聰的音樂家,其實數學作爲基礎科學,很難看到短期的效果,非常類似於千金買馬骨的故事,能夠帶來了對於基礎科學的認識之後,對於很多學科產生了各種花式進步,還是不斷被看到的,因爲歐拉對於俄國和德國的影響還是非常巨大的,也產生了很多非常有名的數學家,對於俄國來說數學和文學似乎保持着非常好的傳統,使得那裏很多其他學科的發展得到了促進,可能需要數十甚至上百年沉澱之後的結果,從另外一個,自己最爲欣賞的歐拉公式是建立了虛數與 pi 之間的關係,使得讓我們看到完美存在,也就是數學之間本身還是存在非常緊密的聯繫,而且構建起來框架也是數學樂子,儘管很多時間我們都會對於數學家進行各種排名,當然歐拉都是可以進入到其中的,在不斷發展的時代,數學家獲得成就的年齡也在不斷的退後,非常類似於費馬大定理證明的米爾斯的狀態,對於歐拉來說建立了幾何拓撲與解析之間的聯繫,只是在當時認識的還是沒有那麼多。
這本書除框架清晰,定義精確外。在知識的明晰性和確定性上是非常有魅力。 它又淺入深每個證明都有精彩闡述。從知識圖譜的時間線上 簡單來說貴在有傳承。 在此看來 答案和結論似乎不是很重要 ,更重要的是問題的發掘方法 ,解決工具。 其實,在每個科學領域,對簡單問題的研究相對於最終目標而言,雖然顯得微不足道,但確在此過程中發展了可以不斷加以完善的方法,這其實就是科學中最重要的進步。拓撲每個結論都是前人研究的不斷完善和探索。(比如將凸正多面體推廣到凸多面體 再到非凸多面體) 然而 而非單一目標的實現。(比如高斯的K=K1·K2,高斯曲率可以直接分類曲面: K > 0:局部形狀像球面(橢球、帽子狀) K = 0:局部形狀像平面或圓柱(如圓柱、圓錐) K < 0:局部形狀像馬鞍(如雙曲拋物面、馬鞍) 這在分類曲面局部幾何形態時非常重要。 ) 通過研究簡單問題,科學家能夠以“小”見“大”,開發出適用廣泛的工具和理論,爲複雜問題的解決奠定基礎。這種思維方式不僅推動了科學技術的發展,也爲其他領域提供了寶貴的思考路徑。 再比如。因爲局部幾何可變,但整體拓撲受控拉伸、壓縮、變形,哪怕讓曲面皺成一團,只要不撕裂或粘合,歐拉示性數不變,所以全曲率就不變。 這個定理的深意在於:全曲率是各局部(點)在曲面的積分(不變),這其實利用了微積分思維。 誠然,此定理是十分有魅力的,更顯知識的明晰性和確定性。(就像拓撲界的“剛性定理”。) 所以,工具確實要比答案更加持久和重要。 科學研究的真正價值往往不在於對單一問題的解答,而在於開發出“可以不斷完善”的普適方法。這種工具和方法具有跨領域的適用性。 這本書的魅力除了保持了知識和信息的明晰性和確定性外,研究方法和工具都是非常實用和有意思的。
哈耶克說,神經網絡的首要功能就是爲經驗分類(參閱我爲哈耶克《感覺的秩序》撰寫的長篇導讀)。從而,行爲主體(生物或機器)可將世間萬物按照“價值”加以排序。每述及此,我總要引述天才的小密爾(《政治經濟學原理》)的定義:價值就是“被感受到的重要性”(importance felt)。這樣的價值排序,運用於由一組約束條件界定的“可選方案集合”,就是最廣義的經濟學理性選擇模型。這裏的“經濟學理性”,意思是行爲主體應在可選方案集合裏選擇價值較高而不是價值較低的方案。這也是經濟學,或廣義經濟學,使自己立足於社會科學領域的唯一原理。(汪丁丁《觀念爲現象分類》) 行爲主體根據自己的重要性感受配置自己的注意力,從而,在注意力最集中的領域,觀念對現象的分類最細緻。世界是現象的集合,可理解的現象被有機體歸類,神經元網絡是分類的生物載體,人有觀念拓撲,是神經元網絡分類活動的知識表達,觀念之間可以有距離。數百億神經元的交互作用,形成了我們稱爲“意識”和“觀念”的湧現秩序。再由許多觀念的交互作用,形成了我們稱爲“人生觀”和“世界觀”的湧現秩序。(汪丁丁《觀念爲現象分類》) 柏格森的名著《時間與自由意志》第一章《心理狀態的強度》,闡明瞭情感很難有度量。我願意退一步,尋找兩個觀念之間的等價關係。在觀念拓撲裏尋找可能存在的等價關係,尤其當觀念不能轉化爲商品的時候,找到這樣的等價關係(建立新的無差異曲線),就可拓展現代經濟學。(汪丁丁《可理解的、可分類的、可度量的“現象”》) 好了,引述完這三段,我能理解爲什麼要提出“觀念拓撲”這個詞了。觀念可度量是太強的假設,因而退一步尋找觀念之間的等價關係。但觀念不是一板一眼、橫平豎直、全等對齊的,它像是神經元網絡構成的n維迴路,用拓撲結構來描述才更爲準確。因此,要想描述等價的觀念,我們需要尋找拓撲不變量。 回到這本書,對拓撲學的形象比喻是橡皮膜幾何學,更爲準確的說法是定性幾何學,用以區別側重定量關係的傳統幾何學。用龐加萊的命名更好理解,拓撲學其實是位置幾何學、位置分析學。圖網絡可從多面體的投影變換而來,曲面幾何體從多面體的彎曲、扭轉、拉伸、壓縮等同胚變換得來,而不會改變形狀的拓撲。黏合多邊形或多面體的表面構造交叉帽、克萊因瓶等複雜流形,三維及以上維度的黏合構造更高維的流形。歐拉公式V-E+F=2(凸多面體的頂點數-棱數+面數=2)或歐拉數,是極爲重要的一個拓撲不變量。 書中用正多面體、多面體的性質、圖論、四色問題、拓撲形狀的同胚性與拓撲不變量、曲面的分類問題、紐結問題、曲面的向量場與不動點問題、拓撲與幾何的關係、高維流形、龐加萊猜想(每個單連通閉3-流形都同胚於3-球面)等內容,以及最後代數拓撲學的誕生,串起了數學史的一個進路。 笛卡兒用分析學來理解幾何學。黎曼和龐加萊用拓撲學來理解分析學。高斯和博內用拓撲學來理解幾何學。而現在,拓撲學家們可以無拘無束地用代數學來理解拓撲學。這種學科交叉孕育出了極爲豐碩的成果。(《歐拉的寶石》第二十三章) 閱讀體驗就像一個思維僵硬的人在做拓撲瑜伽和思維體操,有一些部分拉伸爽了,有更多部分被拉得迷糊慘叫也沒能凹過去。爲了承接這一本,下一本得開始看《巴拉巴西網絡科學》了。
歐拉的多面體公式 V-E+F=2 是世界上最美的數學公式之一,並對拓撲學產生了深遠的影響。書中即有歷代數學家的八卦,又有淺顯易懂的圖示和例子。數學家研究數學,並不是因爲有用,而是因爲這是世界上最美的科學。
匆匆略過,很多數學證明讀不懂,但還是走馬觀花的略過了,數學的優美和自然的優美是相互印證和支持的,最近在感受學習自然教育,生態美育,其實就是數學,物理,生物之美的集合,高中時覺得數學與哲學等距離很遠,現在也越來越覺得其實是一回事,數學之美才是哲學的終極之美,從第一優美的公式進來,繼續瞭解感受數學之美!
看到這本書還挺驚喜的。拓撲學在19/20世紀的龐加萊手中才慢慢開始成爲一門嚴格的學科,可以說還是挺新的一門學科,所以有關它的好的科普似乎也不是很多。 剛剛簡單翻了一下,裏面居然從畢達哥拉斯開始一直講到了homology,fundamental groups之類的數學概念。許多數學證明和概念,還真的有在一絲不苟的認真解釋、介紹。這種中立的、嚴謹的態度讀起來很親切——我覺得數學人經常在討論數學問題的時候就會變成這樣(哈哈),不知道對於大衆來說是否會太枯燥(或者說,後面的內容或許已經超出了科普應有的難度)但是我覺得這些數學內容本身就足矣震撼和“驚心動魄”。喜歡! 總之我覺得這真正是一本學者寫的書