三国汉中.PDFVIP

數學傳播 39卷 4期, pp. 57-60 三 國漢中∗ 此文紀念樊 兼懷夏宗匯 平 斯 上個世紀布勞威爾 (Brouwer) 設計了映射度, 成為一個強而有力的獨門秘技,證明了許多 當時被認為遙不可及的定理, 其中包括維數是個拓樸量。 在此之前, 用直觀的判斷一條纖細的線 段與一個寬實的方盤是完全不同的, 因為維數分別是一與二。 但是偏偏康托爾 (Cantor) 的集 合論裡證明, 兩者有相同的基數 (1877)。 且皮亞諾 (Peano) 更進一步, 建立了一個連續滿射, 把前者映成後者 (1890)。 在這些病態的諸多現象步步衝擊之下, 直觀正確判斷的可靠性節節潰 敗, 布勞威爾總算是扳回一城, 守住了最後防線。 後來更挾其餘威, 高舉直觀主義的大纛, 造成 與希爾伯特 (Hilbert) 的衝突, 被愛因斯坦 (Einstein) 戲稱之為 「蛙鼠之爭」[1]。 布勞威爾又再使出秘技的時候, 證明了固定點定理 : 圓體上的連續自映射必有固定點。 這 個定理是存在性的, 有違布勞威爾 自己堅持的直觀主義 : 只接受建構證明的信念。 幸得後來有 施伯納(Sperner) 等人接力而得建構的證明[2]。 眼下計算固定點的方法, 是衍生 自上述的建構解又叫同倫法。 假設 G 是個圓體上的連續 自映射, 固定點問題在求 X 使得 G(X) = X。 其法始於引進一個顯然有個已知解的固定點 問題 G (X) = (X + X )/2。 於是與原問題兩者之間, 作成一個同倫問題 H (X) = (1 − 0 0 t t)G (X)+tG(X) 每個參數 t 都有一個固定點 X , 形成一條曲線姑且名之為固定脈。 希望沿 0 t 著這條脈, 順藤摸瓜的可以從 X 帶到 X (圖1)。 0 1 圖 1 ∗本文標題指周瑜得意赤壁之後, 劉備在漢中稱王, 起初兩軍分據夏口和樊口, 以此暗合本文懷想的數學家。 57 58 數學傳播 39卷 4期 民 104年 12月 實際作法上, 又分類成解析法與 合法兩種。 解析法基本上是解數值微分方程式, 這個著 名方法的來龍去脈與箇中奧妙, 應讀發現當事人李天岩 自己寫的文章 [3]。 合法的基礎比較接近同調論, 因此本質是積分而不是微分。 三維單體 (simplex) (四面 體) 的表面是由四個平面單體 (三角形) 所構成的複體 (complex), 每個頂點隨意用 {0, 1,2} 來標號, 平面單體若每個頂點的標號都不同時叫 「施伯納單體」, 重要的是有這樣一條原理說 : 任何複體總有兩個或根本沒有施伯納單體 (圖2)。 圖2 因此已經有一個施伯納單體的複體, 必定有另外一個施伯納單體。 從新的施伯納單體可以 建構另一個新的複體, 而且保證它也有個施伯納單體, 這樣就完成一個操作過程, 不斷迭代可得 一條逶迤而出的角龍 (圖 3)。 當初若用巧妙的設計來標號而問題本身又不是太離奇, 這條角龍 是個裹住固定脈的複體 [4]。 圖3 上述這一條原理 , Door in Door out 口語說成 「進得來出得去」 是華人數學家樊 著 名的發現。 發現得十分出奇, 當時樊 遷了新居, 趁著暑假油漆房間, 漆著漆著, 一間漆完換一 間, 這時手上雖忙, 腦