二十世紀的數學Sir麥可·阿提亞(Michael Atiyah)(21k字)

秦農序

數據簡化DataSimp導讀：公號輸入框發送「math20c」獲取70k字2圖25頁PDF二十世紀的數學Sir麥可·阿提亞(Michael Atiyah)。關鍵詞：數學(mathematics)，幾何(geometry)，代數(algebra)，維數(dimension)，交換(commutative)，線性(linear)，同調論(homology theory)，k理論(k-theory)，群論(group theory)，物理(physics)，1900，20世紀的數學(mathematics in the 20th century)，數學家(mathematician)，麥可·阿提亞(Michael Atiyah)，爵士(Sir)。QinlongGEcai微信被封，轉向自用、科普文章、學術論文OAJ電子刊免費開放獲取。

I.二十世紀的數學Sir麥可·阿提亞(Michael Atiyah)(21k字)1維數的增加 Increase in dimensions3從交換到非交換 Commutative to non-commutative3從線性到非線性 Linear to non-linear3幾何與代數 Geometry versus algebra4通用的技術 Techniques in common6歷史的總結 Historical summary10II.Mathematics In The 20th Century (Sir Michael Francis Atiyah)(42k字)12Commutative to non-commutative14Geometry versus algebra15III.麥可·阿蒂亞爵士(Sir Michael Francis Atiyah)介紹(8hk字)23

I.二十世紀的數學Sir麥可·阿提亞(Michael Atiyah)(21k字)

譯自2000年6月7日，多倫多「世界數學年2000會議」阿提亞爵士的演講稿Mathematics In The 20th Century，倫敦數學學會出版(2002)。譯者：翁秉仁，臺大數學系副教授，《數學知識網站》負責人，合譯有《數學：確定性的失落》(商務)、《丘成桐談空間的內在形狀》(遠流)。秦隴紀結合[1-5]加了英文名詞。

二十世紀的數學Mathematics In The 20th Century

麥可·阿提亞Michael Atiyah-2000-06-07，數據簡化DataSimp-20200719Sun

倫敦數學學會通報(The Bulletin of the London Mathematical Society)2002年第34期，1-15頁。(Bull. London Math. Soc. 34 (2002) 1-15)版權：倫敦數學學會©2002 London Mathematical Society，DOI：10.1112 / S0024609301008566

特殊文章SPECIAL ARTICLE

20世紀的數學MATHEMATICS IN THE 20TH CENTURY

麥可·阿提亞爵士(SIR MICHAEL ATIYAH)，功績勳章(Order of Merit) OM，皇家學院院士(Fellow of the Royal Society) FRS，愛丁堡皇家學會會員(Fellow of the Royal Society of Edinburgh) FRSE

摘要 Abstract

對20世紀數學的幾個關鍵主題進行了調查。還討論了物理學的影響，並對21世紀可能的發展進行了一些推測。A survey is given of several key themes that have characterised mathematics in the 20th century. The impact of physics is also discussed, and some speculations are made about possible developments in the 21st century.

謝謝邀請我來這裡參加這個活動．當然，如果有人想談論一個世紀的終結以及下一個世紀的開始，那麼他有兩個具有相當難度的選擇：一個是回顧過去百年的數學；另一個是對未來百年數學發展的預測，我選擇了前面這個比較困難的任務，任何人都可以預測未來而且我們並不能判定是對還是錯．然而對過去的任何評述，每個人都可以提出異議．

我在這裡所講的是我個人的觀點．這個報告不可能包含所有內容，特別是，有一些重要的內容我不準備涉及，一部分是因為我不是那些方面的專家，一部分也是出於它們已經在其他地方被評述過了．例如，我不會去談論那些發生在邏輯與計算領域內的著名事件，這些事件往往是與像希爾伯特(David Hilbert)，哥德爾(Kurt Gödel)，圖靈(Alan Turing)這些偉大的名字相關的，除了數學在基礎物理中的應用之外，我也不會談論太多數學的其他應用，這是因為數學的應用太廣泛了，而且這需要專門的論述．每一個方面都需要一個專門的報告．也許大家在這次會議的其他報告中會聽到很多關於這些內容的演講．另外，試著羅列一些定理，甚至是列出在過去一百年的著名數學家的名字也是毫無意義的，那簡直是在做枯燥的練習．所以，代替它們的是，我試著選擇一些我認為在很多方面都是很重要的主題來討論並且強調圍繞這些主題所發生的事情．

首先我有一個一般性的說明．「世紀」是一個大約的數字概念．我們不會真地認為在過整整一百年的時候，有些事情會突然停下來，再重新開始，所以當我描述二十世紀的數學時，有些內容實際上可能是跨世紀的，如果某件事件發生在十九世紀九十年代，並持續到二十世紀初，我將不去計較這種時間方面的細節．我所做的就象一個天文學家，工作在一個近似的數字環境中．實際上，許多東西始於十九世紀，只不過在二十世紀才碩果纍纍．

這個報告的難點之一是很難把我們自己放回到1900年時作為一位數學家的位置上，這是因為上個世紀的數學有非常多的內容已經被我們的文化和我們自己吸收掉了．難以想像人們不用我們的術語來思考的那個時代是什麼樣子的．實際上，如果現在有人在數學上有一個真正重要的發現，其後他也一定會與之一起被忽略掉了！他會完全地被融入到背景之中，於是為了能夠回顧過去，我們必須努力去想像在不同時代，人們用不同方式思考問題時的情景．

從局部到大域 Local to global

作為開始，我準備列一些主題並且圍繞它們來討論．我談論的第一個主題概括地講，就是被大家稱為從局部到大域(global)的轉變．在古典時期，人們大體上已經研究了在小範圍內，使用局部坐標等等來研究事物．在這個世紀，重點已經轉移到試圖了解事物大域和大尺度的行為．由於大域性質更加難以研究，所以大多只能有定性的結果，這時拓撲的思想就變得非常重要了．正是龐加萊(Henri Poincaré)，他不僅為拓撲學發展作出先驅性的貢獻，而且也預言拓撲學將成為二十世紀數學的一個重要的組成部分，順便讓我提一下，給出一系列著名問題的希爾伯特(Hilbert)並沒有意識到這一點．拓撲學很難在他的那些問題中找到具體體現．但是對龐加萊(Poincaré)而言，他相當清楚地看出拓撲學將成為一個重要的內容．

讓我試著列一些領域，然後大家就能知道我在想什麼了．例如，考慮一下複分析(也被稱為"函數論")，這在十九世紀是數學的中心，也是象韋斯特拉斯(Karl Weierstrass)這樣偉大人物工作的中心．對於他們而言，一個函數就是一個復變量的函數；對於韋斯特拉斯(Weierstrass)而言，一個函數就是一個冪級數．它們是一些可以用於寫下來，並且可以明確描繪的東西或者是一些公式．函數是一些公式：它們是明確可以用顯式寫下來的．然而接下來阿貝爾(Niels Abe1)、黎曼(Georg Riemann)和其後許多人的工作使我們遠離了這些，以至於函數變得可以不用明確的公式來定義，而更多地是通過它們的整體性質來定義：通過它們的奇異點的分布，通過它們的定義域位置，通過它們的取值範圍．這些整體性質正是一個特定函數與眾不同的特性．局部展開只是看待它們的一種方式．

一個類似的事情發生在微分方程中，最初，解一個微分方程，人們需要尋找一個明確的局部解！是一些可以寫下來的東西．隨著事物的發展，解不必是一個顯函數，人們不一定必須用好的公式來描述它們．解的奇異性是真正決定其整體性質的東西．與發生在複分析中的一切相比，這種精神是多麼的類似，只不過在細節上有些不同罷了．

在微分幾何中，高斯(Gauss)和其他人的經典工作描述了小片的空間，小塊的曲率以及用來描述局部幾何的局部方程．只要人們想要了解曲面的整體圖象以及伴隨它們的拓撲時，從這些經典結果到大範圍的轉變就是很自然的了．當人們從小範圍到大範圍時，最有意義的性質就是拓撲的性質．

數論也有一個類似的發展，儘管它並不是很明顯地適用於這一框架．數論學家們是這樣來區分他們稱之為"局部理論"和"大域理論"的：前者是當他們討論一個單個的素數，一次一個素數，以及有限個素數時；後者是當他們同時討論全部素數時．這種素數和點之間，局部和大域之間的類似性在數論發展過程中起了很重要的作用，並且那些在拓撲學發展中產生的思想深深地影響了數論．

當然這種情況也發生在物理學中，經典物理涉及局部理論，這時我們寫下可以完全描述小範圍性質的微分方程，接下來我們就必須研究一個物理系統的大範圍性質．物理學涉及的全部內容就是當我們從小範圍出發時，我們可以知道在大範圍內正在發生什麼，可以預計將要發生什麼，並且沿著這些結論前進．

維數的增加 Increase in dimensions

我的第二個主題有些不同，我稱之為維數(dimension)的增加．我們再次從經典的複變函數理論開始：經典複變函數論主要是詳細討論一個復變量理論並加以精煉．推廣到兩個或者更多個變量基本上發生在本世紀，並且是發生在有新現象出現的領域內．不是所有的現象都與一個變量的情形相同，這裡有完全新的特性出現，並且n個變量的理論的研究越來越佔有統治地位，這也是本世紀主要成就之一．

另一方面，過去的微分幾何學家主要研究曲線和曲面，我們現在研究n維流形(manifold)的幾何，大家仔細想一想，就能意識到這是一個重要的轉變．在早期，曲線和曲面是那些人們能真正在空間裡看到的東西．而高維則有一點點虛構的成分，在其中人們可以通過數學思維來想像，但當時人們也許沒有認真對待它們．認真對待它們並且用同樣重視程度來研究它們的這種思想，實際上是二十世紀的產物．同樣地，也沒有明顯的證據表明我們十九世紀的先驅者們思考過函數個數的增加，研究不單單一個而是幾個函數，或者是向量值函數(vector-valued function)．所以我們看到這裡有一個獨立和非獨立變量個數增加的問題．

線性代數總是涉及多個變量，但它的維數的增加更具有戲劇性，它的增加是從有限維到無窮維，從線性空間到有無窮個變量的Hilbert空間．當然這就涉及到了分析，在多個變量的函數之後，我們就有函數的函數，即泛函(functional)．它們是函數空間上的函數．它們本質上有無窮多個變量，這就是我們稱為變分學(calculus of variation)的理論．一個類似的事情發生在一般(非線性)函數理論的發展中．這是一個古老的課題，但真正取得卓越的成果是在二十世紀．這就是我談的第二個主題．

從交換到非交換 Commutative to non-commutative

第三個主題是從交換到非交換的轉變．這可能是二十世紀數學(尤其是代數學)最大特徵之一．代數的非交換方面已經極其重要，當然，它源自於十九世紀．它有幾個不同的起源．漢密爾頓(Willaim Hamilton)在四元數方面的工作可能是最令人驚嘆的，並且有巨大的影響，實際上這是受處理物理問題時所採用的思想所啟發．還有格拉斯曼(Hermann Grassmann)在外代數(exterior algebra)方面的工作，這是另一個代數體系，現在已經被融入我們的微分形式(differential form)理論中．當然，還有凱利(Arthur Cayley)以線性代數為基礎的矩陣方面的工作和伽羅瓦(Évariste Galois)在群論方面的工作等．

所有這些都是以不同的方式形成了把非交換乘法引入代數理論的基石，我形象地把它們說成是二十世紀代數機器賴以生存的"麵包和黃油"．我們現在可以不去思考這些，但在十九世紀，以上所有例子都以各自不同的方式取得了重大的突破，當然，這些思想在不同的領域內得到了驚人的發展．矩陣和非交換乘法在物理中的應用產生了量子理論．海森堡(Werner Heisenberg)的對易關係(commutation relation)是非交換代數在物理中的一個最重要的應用例子，以至後來被馮·諾依曼(John von Neumann)推廣到他的算子代數理論中．

群論也是在二十世紀佔重要位量的理論，我稍後再回來談它．

從線性到非線性 Linear to non-linear

我的下一個主題是從線性到非線性的轉變．古典數學的大部分或者基本上是線性的，或者即使不是很精確的線性，也是那種可以通過某些擾動展開來研究的近似線性，真正的非線性現象的處理是非常困難的，並且只是在本世紀，才在很大的範圍內對其進行了真正的研究．

我們從幾何開始談起：Euclid幾何，平面的幾何，空間的幾何，直線的幾何，所有這一切都是線性的．而從非歐幾何的各個不同階段到Riemann的更一般的幾何，所討論的基本上是非線性的．在微分方程中，真正關於非線性現象的研究已經處理了眾多我們通過經典方法所看不到的新現象．在這裡我只舉兩個例子，孤立子(soliton)和混沌(chaos)，這是微分方程理論兩個非常不同的方面，在本世紀已經成為極度重要和非常著名的研究課題了．它們代表不同的極端．孤立子代表非線性微分方程的無法預料的有組織的行為，而混沌代表的是無法預料的無組織的行為(disorganized behavior)．這兩者出現在不同領域，都是非常有趣和重要的，但它們基本土都是非線性現象．我們同樣可以將關於孤立子的某些工作的早期歷史追溯到十九世紀下葉，但那只是很少的一部分．

當然，在物理學，麥克斯韋方程(Maxwell equation)(電磁學的基本方程)是線性偏微分方程．與之對應的是著名的楊-米爾斯方程(Yang-Mills equation)，它們是非線性方程並被假定用來調控與物質結構有關的力．

這些方程之所以是非線性的，是因為楊-米爾斯方程(Yang-Mills equation)本質上是麥克斯韋方程(Maxwell equation)的矩陣體現，並且由矩陣不可交換這一事實導致方程中出現非線性項．於是在這裡我們看到了一個非線性性與非交換性之間的有趣的聯繫．非交換性產生一類特殊的非線性性，這的確是很有意思和很重要的．

幾何與代數 Geometry versus algebra

至此我談的是一些一般性主題，現在我想談論一下數學中的一個二分叉現象，它來回搖擺卻始終伴隨著我們，這就給了我一個機會來做一些哲學上的思索和說明．我指的是幾何和代數之間的二分法，幾何和代數是數學的兩個形式支柱，並且都有悠久的歷史．幾何學可以追溯到古希臘甚至更早的時期；代數學則源於古阿拉伯人和古印度人．所以，它們都已經成為數學的基礎，但它們之間有一種令人感到不太自然的關係．

讓我首先由這個問題的歷史開始．歐幾裡得幾何(Euclidean geometry)是數學理論中最早的一個例子，直到笛卡爾(René Descartes)在我們現在稱為的笛卡兒平面中引入代數坐標之前，它一直是純幾何的．笛卡爾(Descartes)的做法是一種將幾何思考化為代數運算的嘗試．從代數學家們的角度來講，這當然是對幾何學的一個重大突破或者說一次重大的衝擊，如果我們來比較牛頓(Isac Newton)和萊布尼茨(Gottfried Leibniz)在分析方面的工作，我們會發現他們屬於不同的傳統，牛頓(Newton)基本上是一個幾何學家而萊布尼茨(Leibniz)基本土是一個代數學家，這其中有著很深刻的道理．對於牛頓(Newton)而言，幾何學，或者是由他發展起來的微積分學，都是用來描述自然規律的數學嘗試．他關心的是在很廣泛意義下的物理，以及幾何世界中的物理．在他看來，如果有人想了解事物，他就得用物理世界的觀點來思考它，用幾何圖象的觀點來看待它．當他發展微積分的時候，他想要發展的是微積分的一種能儘可能貼近隱藏在其後的物理內蘊的表現形式．所以他用的是幾何論證，因為這樣可以與實際意義保持密切關係．另一方面，萊布尼茨(Leibniz)有一個目標，一個雄心勃勃的目標，那就是形式化整個數學，將之變成一個龐大的代數機器．這與牛頓(Newton)的途徑截然不同，並且二者有很多不同的記號．正如我們所知道的，在牛頓(Newton)和萊布尼茨(Leibniz)之間的這場大爭論中，萊布尼茨(Leibniz)的記號最後得勝．我們現在還沿用他的記號來寫偏導數．牛頓(Newton)的精神尚在，但被人們埋葬了很長時間．

在十九世紀末期，也就是一百年前，龐加萊(Poincaré)和希爾伯特(Hilbert)是兩個主要人物．我在前面已經提到過他們了，並且可以粗略地講，他們分別是牛頓(Newton)和萊布尼茨(Leibniz)的傳人．龐加萊(Poincaré)的思想更多的是幾何和拓撲的精神，他用這些思想作為他的基本洞察工具．希爾伯特(Hilbert)更多的是一個形式主義者，他要的是公理化，形式化，並且要給出嚴格的，形式的描述．雖然任何一個偉大的數學家都不能輕易地被歸到哪一類中去，但是，很清楚地，他們屬於不同的傳統．

當準備這個報告的時候，我想我應該寫下我們目前這一代中能夠繼承這些傳統的具有代表性的人的名字．談論還健在的人是十分困難的——誰該放在這張名單上呢？接著我又暗自思忖：有誰會介意被放在這麼一張著名的名單的哪一邊呢？於是我選擇了兩個名字：阿諾德(Vladmir Arnold)、布爾巴基(Bourbaki)，前者是龐加萊-牛頓(Poincaré-Newton)傳統的繼承人，而後者，我認為，是希爾伯特(Hilbert)最著名的接班人．阿諾德(Arnold)毫不含糊地認為：他的力學和物理的觀點基本上是幾何的，是源自於牛頓(Newton)的；以為存在處於二者之間的東西，除了象黎曼(Riemann)(他確實跟兩者都有偏離)等少數人之外，都是一種誤解．布爾巴基(Bourbaki)努力繼續希爾伯特(Hilbert)的形式化的研究，將數學公理化和形式化推向了一個令人矚目的範圍並取得了一些成功．每一種觀點都有它的優點，但是它們之間很難調和．

讓我來解釋一下我自己是如何看待幾何和代數之間的不同．幾何學當然講的是空間，這是毫無疑問的．如果我面對這間房間裡的聽眾，我可以在一秒中內或者是一微秒內看到很多，接收到大量的信息，當然這不是一件偶然的事件．我們大腦的構造與視覺有著極其重要的關係．我從一些從事神經生理學的朋友那裡了解到，視覺佔用了大腦皮層的百分之八十或九十．在大腦中大約有十七個中樞，每一個中樞專門用來負責視覺活動的不同部分：有些部分涉及的是垂直方向的，有些部分與水平方向有關，有些部分是關於色彩和透視的，最後有些部分涉及的是所見事物的具體含義和解說．理解並感知我們所看到的這個世界是我們人類發展進化的一個非常重要的部分．因此空間直覺(spatial intuition)或者空間知覺(spatial perception)是一種非常強有力的工具，也是幾何學在數學上佔有如此重要位置的原因，它不僅僅對那些明顯具有幾何性質的事物可以使用，甚至對那些沒有明顯幾何性質的事物也可以使用．我們努力將它們歸結為幾何形式，因為這樣可以讓我們使用我們的直覺．我們的直覺是我們最有力的武器．特別是在向學生或是同事講解一種數學時可以看得很清楚．當你講解一個很長而且很有難度的論證，最後使學生明白了．學生這時會說些什麼呢？他會說"我看到了(I see.)(我懂了)！"在這裡看見與理解是同義詞，而且我們還可以用"知覺(perception)"這個詞來同時形容它們，至少這在英語裡是對的，把這個現象與其他語言作對比同樣有趣．我認為有一點是很基本的：人類通過這種巨大的能力和視覺的瞬間活動獲取大量的信息，從而得以發展，而教學參與其中並使之完善．

在另一方面(也許有些人不這樣認為)，代數本質上涉及的是時間．無論現在做的是哪一類代數，都是一連串的運算被一個接著一個羅列出來，這裡"一個接著一個"的意思是我們必須有時間的概念．在一個靜態的宇宙中，我們無法想像代數，但幾何的本質是靜態的：我可以坐在這裡觀察，沒有什麼變化，但我仍可以繼續觀察．然而，代數與時間有關，這是因為我們有一連串的運算，這裡當我談到"代數"時，我並不單單指現代代數．

任何算法，任何計算過程，都是一個接著一個地給出一連串步驟，現代計算機的發展使這一切看得很清楚．現代計算機用一系列0和1來反映其信息並由此給出問題的答案．

代數涉及的是時間的操作，而幾何涉及的是空間．它們是世界互相垂直的兩個方面，並且它們代表數學中兩種不同的觀念．因此在過去數學家們之間關於代數和幾何相對重要性的爭論或者對話代表了某些非常非常基本的事情．

當然只是為了論證是哪一邊輸了，哪一邊勝利了，這並不值得．當我考慮這個問題時，有一個形象的類比："你願意成為一個代數學家還是一個幾何學家？"這個問題就象問："你願意是聾子還是瞎子？"一樣．如果人的眼睛盲了，就看不見空間；如果人的耳朵聾了，就無法聽見，聽覺是發生在時間之中的，總的來說，我們還是寧願二者都要．

在物理學，也有一個類似的、大致平行的關於物理概念和物理實驗之間的劃分．物理學有兩個部分：理論(包括概念，想法，單詞，定律)和實驗機制．我認為概念在某種廣義的意義下是幾何的，這是因為它們涉及的是發生在真實世界的事物．另一方面，實驗更象一個代數計算．人們做事情總要花時間，測定一些數，將它們代入到公式中去．但是在實驗背後的基本概念卻是幾何傳統的一部分．

將上述二分叉現象用更哲學或者更文學的語言來說，那就是對幾何學家而言，代數就是所謂的"浮士德的供品(Faustian offer)"．正如大家所知道的，在歌德(Goethe)的故事裡，浮士德通過魔鬼可以得到他所想要的(就是一個漂亮女人的愛)，其代價是出賣他的靈魂．代數就是由魔鬼提供給數學家的供品．魔鬼會說："我將給你這個有力的機器，它可以回答你的任何問題．你需要做的就是把你的靈魂給我：放棄幾何，你就會擁有這個威力無窮的機器"(如今可以把它想像成為一臺計算機!)．當然我們希望同時擁有它們，我們也許可以欺騙魔鬼，假裝我們出賣靈魂，但不真地給它．不過對我們靈魂的威脅依然存在，這是因為當我們轉入代數計算時，本質上我們會停止思考，停止用幾何的觀念來考慮問題，不再思考其含義．

在這裡我談論代數學家的話重了一些，但是基本土，代數的目標總是想建立一個公式，把它放到一個機器中去，轉動一下把手就可以得到答案．也就是拿來一個有意義的東西，把它化成一個公式，然後得到答案．在這樣的一個過程中，人們不再需要思考代數的這些不同階段對應的幾何是什麼．就這樣，洞察力丟掉了，而這在那些不同的階段都是非常重要的．我們絕不能放棄這些洞察力！最終我們還是要回到這上面來的，這就是我所談到的浮士德的供品．我肯定這種講法尖銳了一點．

幾何和代數的這種選擇導致能融合二者的一些交叉課題的產生，並且代數和幾何之間的區別也不象我講的那樣直截了當和樸實無華．例如，代數學家們經常使用圖式(diagram)．而除了幾何直覺，圖式又能是什麼呢？

通用的技術 Techniques in common

現在我不想再談論太多就內容來劃分的主題，而想談談那些依照已經使用的技術和常見方法所確定的主題，也就是我想描述一些已經廣泛應用於眾多領域的常見方法．第一個就是：

同調論 Homology theory

歷史上同調論(homology theory)是作為拓撲學(topology)的一個分支而發展起來的．它涉及到以下情形．現有一個複雜的拓撲空間，我們想從中得到它的一些簡單信息如計算它的洞(holes)或者類似事物的個數，得到某些與之聯繫的可加的線性不變量等．這是一種在非線性條件下關幹線性不變量的構造．從幾何的角度來看，閉鏈(cycles)可加可減，這樣就得到了所謂的一個空間的同調群．同調論，作為一種從拓撲空間獲取某些信息的基本代數工具，是在本世紀上半葉發現的．這是一種從幾何中獲益匪淺的代數．

同調概念也出現在其他一些方面．其另一個源頭可以追溯到希爾伯特(Hilbert)及其多項式的研究．多項式是非線性的函數，它們相乘可以得到更高次數的多項式．正是希爾伯特(Hilbert)那偉大的洞察力促使他來討論"理想(ideal)"，具有公共零點的多項式的線性組合．他要尋找這些理想的生成元(generator)．有些生成元可能是多餘的．他審視它們之間的關係以及關係之間的關係．於是他得到這些關係的一個分層譜系，這就是所謂的"希爾伯特合系(Hilbert syzygies)"．希爾伯特(Hilbert)的這個理論是一種非常複雜的方法，他試圖將一個非線性的情形(多項式的研究)化為線性情形．本質上來講，希爾伯特(Hilbert)構造了一個線性關係的複雜體系．能夠把象多項式這樣的非線性事物的某些信息納入其中．

這個代數理論實際上是與上述拓撲理論平行的，而且現在它們已融合在一起構成了所謂的"同調代數(homological algebra)"．在代數幾何學中，本世紀五十年代最偉大的成就之一是層(sheaf)的上同調理論的發展及在解析幾何學中的擴展，這是由萊伊(Jean Leray)，卡坦(Henry Cartan)，塞雷(Jean-Pierre Serre)和格羅騰迪克(Alexandre Grothendieck)等人組成的法國學派取得的成就．從中我們可以感受到一種既有黎曼-龐加萊(Riemann-Poincaré)的拓撲思想，又有希爾伯特(Hilbert)的代數思想，再加上某些分析手段的融合．

這表明，同調論在代數的其它分支也有著廣泛的應用．你可以引入同調群的概念，它通常是與非線性事物相關的線性事物．你可以應用群論，例如有限群(finite groups)，或李代數(Lie algebras)，它們都有相應的同調群．在數論(number theory)方面，同調群通過伽羅瓦群(Galois group)產生了非常重要的應用．因此在相當廣泛的情形下同調論都是強有力的工具之一，它也是二十世紀數學的一個典型的特徵．

K-理論 K-theory

我要談的另外一個技術就是所謂的"K-理論(K-theory)"．它在很多方面都與同調論相似，它的歷史並不很長(直到二十世紀中葉才出現，儘管其起源的某些方面也許可以追溯到更早一些)，但它卻有著很廣泛的應用，已經滲透進了數學的許多部分．K-理論實際上與表示理論(representation theory)緊密相聯，有限群的表示理論，可以講，起源於十九世紀．但是其現代形式——K-理論卻只有一個相對較短的歷史．K-理論可以用下面的方式來理解：它可以被想成是應用矩陣論(matrix theory)的一種嘗試．我們知道矩陣的乘法是不可交換的，於是我們想構造矩陣可換的或是線性的不變量．跡(traces)，維數(dimensions)和行列式(determinants)都是矩陣論中可換的不變量，而K-理論即是試圖處理它們的一種系統的方法，它有時也被稱為"穩定線性代數(stable linear algebra)"．其思想就是，如果我們有很多矩陣，那麼把兩個不可換的矩陣A和矩陣B放在不同塊的正交位置上，它們就可換了，因為在一個大的空間裡，我們可以隨意移動物體．於是在某些近似情況下，這樣做是很有好處的，足以讓我們得到一些信息，這就是作為一個技術的K-理論的基石．這完全類似於同調論，二者都是從複雜的非線性情形獲取線性的信息．

在代數幾何中，K-理論是由格羅騰迪克(Grothendieck)首先引入的，並且取得巨大成功．這些與我們剛剛談到的事密切相關，包括層理論(sheaf theory)，而且也和他在黎曼-羅奇定理(Riemann-Roch theorem)方面的工作有緊密聯繫．

在拓撲學方面，希策布魯赫(Friedrich Hirzebruch)和我照搬了這些思想並且將它們應用到一個純粹的拓撲範疇內．從某種意義下來說，如果格羅騰迪克(Grothendieck)的工作與希爾伯特(Hilbert)在合系(syzygies)方面的工作有關，那麼我們的工作更接近於黎曼-龐加萊(Riemann-Poincaré)在同調方面的工作，我們用的是連續函數(continuous functions)，而他用的是多項式(polynomials)．K-理論也在橢圓算子的指標理論(the index theory of elliptic operators)和線性分析(linear analysis)的研究中起了重要作用．

從另外一個不同的角度，米爾諾(Milnor)，奎倫(Quillen)和其他人發展了K-理論的代數方面，這在數論的研究中有著潛力巨大的應用．沿著這個方向的發展導致了許多有趣問題的產生．

在泛函分析(functional analysis)方面，包括象卡斯帕羅夫(Kasparov)在內的許多人的工作將連續的K-理論推廣到非交換的C*-代數(non-commutative C*-algebras)情形．一個空間上的連續函數在函數乘積意義下形成一個交換代數．但是在其他情形下，自然地產生了類似的關於非交換情形的討論，這時，泛函分析也就自然而然地成為了這些問題的溫床．

因此，K-理論是另外一個能夠將相當廣泛的數學的許多不同方面都能用這種比較簡單的公式來處理的領域，儘管在每一個情形下，都有很多特定於該方面且能夠連接其他部分的非常困難的，技巧性很強的問題．K-理論不是一個統一的工具，它更象是一個統一的框架，在不同部分之間具有類比和相似．

這個工作的許多內容已經被阿蘭·康納斯(Alain Connes)推廣到"非交換微分幾何(non-commutative differential geometry)"．

非常有趣的是，也就是在最近，維滕(Witten)通過他在弦理論(string theory)方面(基礎物理學的最新思想)的工作，發現許多很有趣的方法都與K-理論有關，並且K-理論看起來為那些所謂的"守恆量(conserved quantities)"提供了一個很自然的"家"．雖然在過去同調論被認為是這些理論的自然框架，但是現在看起來K一理論能提供更好的答案．

李群 Lie groups

另一種統一性概念不單單是一項技術，那就是李群(Lie groups)．現在說起李群，我們基本上就是指正交群(orthogonal)，酉群(unitary)，辛群(symplectic groups)以及一些例外群，它們在二十世紀數學歷史中起了非常重要的作用．它們同樣起源於十九世紀．蘇菲·李(Sophus Lie)是一位十九世紀的挪威數學家．正如很多人所講的那樣，他和菲利克斯·克萊因(Fleix Klein)，還有其他人一起推動了"連續群理論"的發展．對克萊因(Klein)而言，一開始，這是一種試圖統一處理歐幾裡得幾何(Euclidean geometry)和非歐幾何(non-Euclidean geometry)這兩種不同類型幾何的方法．雖然這個課題源於十九世紀，但真正起步卻是在二十世紀，作為一種能夠將許多不同問題歸併於其中來研究的統一性框架，李群理論深深地影響了二十世紀．

我現在來談談克萊因(Klein)思想在幾何方面的重要性．對於克萊因(Klein)而言，幾何就是齊性空間(homogeneous spaces)，在那裡，物體可以隨意移動而保持形狀不變，因此，它們是由一個相關的對稱群來控制的．歐幾裡得群(Euclidean group)給出歐幾裡得幾何(Euclidean geometry)；而雙曲幾何(hyperbolic geometry)源於另一個李群．於是每一個齊性幾何對應一個不同的李群．但是到了後來，隨著對黎曼(Riemann)的幾何學工作的進一步發展，人們更關心那些不是齊性的幾何，此時曲率隨著位置的變化而變化，並且空間不再有整體對稱性，然而，李群仍然起著重要的作用，這是因為在切空間(tangent space)中我們有歐幾裡得坐標(Euclidean coordinates)，以至於李群可以出現在一種無窮小的層面上．於是在切空間中，從無窮小的角度來看，李群又出現了，只不過由於要區分不同位置的不同點，我們需要用某種可以處理不同李群的方式來移動物體．這個理論是被埃利·卡坦(Eile Cartan)真正發展起來的，成為現代微分幾何(modern differential geometry)的基石，該理論框架對於愛因斯坦(Einstein)的相對論也起著基本的作用．當然愛因斯坦(Einstein)的理論極大地推動了微分幾何的全面發展．

進入二十世紀，在我前面提到的大域方面，涉及到了在大域層面上的李群和微分幾何．一個主要的發展，是由博雷爾(Borel)和赫茲布魯赫(Hirzebruch)的標誌性的工作，給出的稱為"示性類(characteristic classes)"的信息．示性類是拓撲不變量並且融合三個關鍵部分：李群，微分幾何和拓撲，當然也包含與群本身有關的代數．

在更具分析的方向上，我們得到了現在被稱為非交換調和分析(non-commutative harmonic analysis)的理論．這是傅立葉理論(Fourier theory)的推廣，傅立葉級數(Fourier series)或者傅立葉積分(Fourier integrals)本質上對應於圓和直線的交換李群．當我們用更為複雜的李群代替它們時，我們就可以得到一個非常漂亮、非常精巧並且將李群表示理論和分析融為一體的理論．這是哈裡斯·錢德拉(Harish-Chandra)一生的工作本質．

在數論方面，整個"朗蘭茲綱領(Langlands program)"，現在許多人都這樣稱呼它，緊密聯繫於哈裡斯-錢德拉理論(Harish-Chandra theory)，產生於李群理論之中．對於每一個李群，我們都可以給出相應的數論和在某種程度實施朗蘭茲綱領(Langlands program)．在本世紀後半葉，代數數論(algebraic number theory)的一大批工作深受其影響．模形式(modular forms)的研究就是其中一個很好的例證，這還包括安德魯·威爾斯(Andrew Wiles)在費馬大定理/費馬最後定理(Fermat's last theorem)方面的工作．

也許有人認為李群只不過在幾何範疇內特別重要而已，因為這是出於連續變量的需要．然而事實並非如此，有限域上的李群的類似討論可以給出有限群，並且大多數有限群都是通過這種方式產生的．因此李群理論的一些技巧甚至可以被應用到有限域或者是局部域等一些離散情形中．這方面有許多純代數的工作，例如與喬治·盧斯汀(George Lusztig)名字聯繫在一起的工作．在這些工作中，有限群的表示理論被加以討論，並且我已經提到的許多技術在這裡也可以找到它們的用武之地．

有限群 Finite groups

上述討論已把我們帶到有限群的話題，這也提醒了我：有限單群(finite simple groups)的分類是我必須承認的一項工作．許多年以前，也就是在有限單群分類恰要完成之時，我接受了一次採訪，並且我還被問道我對有限單群分類的看法，我當時很輕率地說我並不認為它有那麼重要．我的理由是有限單群分類的結果告訴我們，大多數單群都是我們已知的，還有就是一張有關若干例外情形的表．在某種意義下，這只不過是結束了一個領域．而並沒有開創什麼新東西，當事物用結束代替開始時，我不會感到很興奮．但是我的許多在這一領域工作的朋友聽到我這麼講，理所當然地會感到非常非常不高興，我從那時起就不得不穿起"防彈衣"了．

在這項研究中，有一個可以彌補缺點的優點．我在這裡實際上指的是在所有的所謂"散在群"(sporadic groups)中，最大的被賦予了"魔群(Monster)"名字的那一個．我認為魔群的發現這件事本身就是有限單群分類中最叫人興奮的結果了．可以看出魔群是一個極其有意思的動物而且現在還處於被了解之中．它與數學的許多分支的很大一部分有著意想不到的聯繫，如與橢圓模函數(elliptic modular functions)的聯繫，甚至與理論物理和量子場論都有聯繫．這是分類工作的一個有趣的副產品．正如我所說的，有限單群分類本身關上了大門，但是魔群又開啟了一扇大門．

物理的影響 Impact of physics

現在讓我把話題轉到一個不同的主題，即談談物理(physics)的影響．在整個歷史中，物理與數學有著非常悠久的聯繫，並且大部分數學，例如微積分，就是為了解決物理中出現的問題而發展起來的．在二十世紀中葉，隨著大多數純數學在獨立於物理學時仍取得了很好的發展，這種影響或聯繫也許變得不太明顯．但是在本世紀最後四分之一的時間裡，事情發生了戲劇性的變化，讓我試著簡單地評述一下物理學和數學，尤其是和幾何的相互影響．

在十九世紀，漢密爾頓(Hamilton)發展了經典力學(classical mechanics)，引入了現在稱為漢密爾頓量的形式化(the Hamiltonian formalism)．經典力學導出現在所謂的"辛幾何(symplectic geometry)"．這是幾何的一個分支，雖然很早已經有人研究了，但是實際上直到最近二十年，這個課題才得到真正的研究．這已經是幾何學非常豐富的一部分．幾何學，我在這裡使用這個詞的意思是指，它有三個分支：黎曼幾何(Riemannian geometry)，復幾何(complex geometry)和辛幾何(symplectic geometry)，並且分別對應三個不同類型的李群．辛幾何是它們之中最新發展起來的，並且在某種意義下也許是最有趣的，當然也是與物理有極其緊密聯繫的一個，這主要因為它的歷史起源與漢密爾頓力學(Hamiltonian mechanics)有關，以及近些年來它與量子力學(quantum mechanics)的聯繫．

現在，我前面提到過的、作為電磁學基本線性方程的麥克斯韋方程(Maxwell equation)，是霍奇(Hodge)在調和形式(harmonic forms)方面工作和在代數幾何(algebraic geometry)中應用方面工作的源動力．這是一個非常富有成果的理論，並且自從本世紀三十年代以來已經成為幾何學中的許多工作的基礎．

我已經提到過廣義相對論(general relativity)和愛因斯坦(Einstein)的工作．量子力學當然更是提供了一個重要的實例．這不僅僅體現在對易關係(commutation relations)上，而且更顯著地體現在對希爾伯特空間(Hilbert space)和譜理論(spectral theory)的強調上．

以一種更具體和明顯的方式，結晶學(crystallography)的古典形式是與晶體結構的對稱性有關的．第一個被研究的實例是發生在點周圍的有限對稱群，這是鑑於它們在結晶學中的應用．在本世紀中，群論更深刻的應用已經轉向與物理的關係，被假設用來構成物質的基本粒子看起來在最小的層面上有隱藏的對稱性(symmetries)，在這個層面上，有某些李群(Lie groups)在此出沒，對此我們看不見，但是當我們研究粒子的實際行為時，它們的對稱性就顯現無遺了．所以我們假定了一個模型，在這個模型當中，對稱性是一個本質性的要素，而且目前那些很普遍的不同理論都有一些象SU(2)和SU(3)那樣的基本李群融入其中並構成基礎的對稱群，因此這些李群看起來象是建設物質大廈的磚石．

並不是只有緊李群(compact Lie groups)才出現在物理中，一些非緊李群(non-compact Lie groups)也出現在物理中，例如洛倫茲群(Lorentz group)．正是由物理學家第一個開始研究非緊李群的表示理論的．它們是那些能夠發生在希爾伯特空間(Hilbert space)的表示，這是因為，對於緊群而言，所有不可約表示(irreducible representations)都是有限維的，而非緊群需要的是無窮維表示，這也是首先由物理學家意識到的．

在二十世紀的最後四分之一，正如我剛剛完成闡述的，有一種巨大的從物理學的新思想到數學的滲透．這也許是整個世紀最引人注目的事件之一．這個問題本身，也許就需要一個完整的報告，但是，基本上來講，量子場論(quantum field theory)和弦理論(string theory)已經以引人注目的方式影響了數學的許多分支，得到了眾多的新結果、新思想和新技術．這裡，我的意思是指物理學家通過對物理理論的理解已經能夠預言某些在數學上是對的事情了．當然，這不是一個精確的證明，但是確有非常強有力的直覺、一些特例和類比所支持．數學家們經常來檢驗這些由物理學家預言的結果，並且發現它們基本上是正確的，儘管給出證明是很困難的而且它們中的許多還沒有被完全證明．

所以說沿著這個方向，在過去的25年裡取得了巨大的成果．這些結果是極其細緻的．這並不象物理學家所講的"這是一種應該是對的東西"．他們說："這裡有明確的公式，還有頭十個實例(涉及超過12位的數)"．他們會給出關於複雜問題的準確答案，這些決不是那種靠猜測就能得到的，而是需要用機器計算的東西，量子場論提供了一個重要的工具，雖然從數學上來理解很困難，但是站在應用的角度，它有意想不到的回報．這是最近25年中真正令人興奮的事件．

在這裡我列一些重要的成果：西蒙·唐納森(Simon Donaldson)在四維流形(4-dimensional manifolds)方面的工作；沃恩-瓊斯(Vaughan-Jones)在扭結不變量(knot invariants)方面的工作；鏡面對稱(mirror symmetry)，量子群(quantum groups)；再加上我剛才提到的"魔群(Monster)"．

這個主題到底講的是什麼呢？正如我在前面提到過的一樣，二十世紀見證了維數的一種轉換並且以轉換為無窮維而告終，物理學家超越了這些，在量子場論(quantum field theory)方面，他們真正試圖對廣泛的無窮維空間進行細緻的研究，他們處理的無窮維空間是各類典型的函數空間，它們非常複雜，不僅是因為它們是無窮維的，而且它們有複雜的代數、幾何以及拓撲，還有圍繞其中的很大的李群，即無窮維的李群，因此正如二十世紀數學的大部分涉及的是幾何、拓撲、代數以及有限維李群和流形上分析的發展，這部分物理涉及了在無窮維情形下的類似處理．當然，這是一件非常不同的事情，但確有巨大的成功．

讓我更詳盡地解釋一下．量子場論存在於空間和時間中；空間的真正的意義是三維的，但是有簡化的模型使我們將空間取成一維．在一維空間和一維時間裡，物理學家遇到的典型事物，用數學語言來講，就是由圓周的微分同胚(diffeomorphisms)構成的群，或者由圓周到一個緊李群的微分映射(differentiable maps)構成的群．它們是出現在這些維數裡的量子場論中的兩個非常基本的無窮維李群(infinite-dimensional Lie groups)的例子，它們也是理所當然的數學事物並且已經被數學家們研究了一段時間．

在這樣一個1+1維理論中，我們將時空取成一個黎曼曲面(Riemann surface)，並且由此可以得到很多新的結果．例如，研究一個給定虧格數(genus)的黎曼曲面(Riemann surface)的模空間(moduli space)是個可以追溯到上個世紀的古典課題．量子場論已經得到了很多關於這些模空間(moduli spaces)的上同調(cohomology)的新結果．另一個非常類似的模空間是一個具有虧格數g(genus g)的黎曼曲面(Riemann surface)上的平坦G-叢(flat G-bundles)的模空間．這些空間都是非常有趣的並且量子場論給出關於它們的一些精確結果．特別地，可以得到一些關於體積的很漂亮的公式，這其中涉及到Zeta函數的取值．

另一個應用與計數曲線(counting curve)有關．如果我們來看給定次數和類型的平面代數曲線，我們想要知道的是，例如，經過那麼多點究竟有多少曲線，這樣我們就要面臨代數幾何的計數問題，這些問題在上個世紀一直是很經典的．而且也是非常困難的．現在它們已經通過被稱為"量子上同調(quantum cohomology)"的現代技術解決了，這完全是從量子場論中得到的．或者我們也可以接觸那些關於不在平面上而在彎曲族上的曲線的更加困難的問題，這樣我們得到了另一個具有明確結果的被稱為鏡面對稱(mirror symmetry)的美妙理論，所有這些都產生於1+1維的量子場論(quantum field theory)．

如果我們升高一個維數，也就是2-維空間和1-維時間，就可以得到沃恩-瓊斯(Vaughan-Jones)的扭結不變量(invariants of knots)的理論．這個理論已經用量子場論的術語給予了很美妙的解釋和分析．

量子場論另一個結果是所謂的"量子群(quantum groups)"．現在關於量子群的最好的東西是它們的名字．明確地講它們不是群！如果有人要問我一個量子群的定義，我也許需要用半個小時來解釋，它們是複雜的事物，但毫無疑問它們與量子理論有著很深的聯繫它們源於物理，而且現在的應用者是那些腳踏實地的代數學家們(algebraists)，他們實際上用它們進行確定的計算．

如果我們將維數升得更高一些，到一個全四維理論(三加一維)，這就是唐納森(Donaldson)的四維流形(four-dimensional manifolds)理論，在這裡量子場論產生了重大影響．特別地，這還導致賽伯格(Seiberg)和維滕(Witten)建立了他們相應的理論，該理論建立在物理直覺之上並且也給出許多非同尋常的數學結果．所有這些都是些突出的例子．其實還有更多的例子．

接下來是弦理論(string theory)並且這已經是過時的了！我們現在所談論的是M理論(M-theory)，這是一個內容豐富的理論，其中同樣有大量的數學，從關於它的研究中得到的結果仍有待於進一步消化並且足可以讓數學家們忙上相當長的時間．

歷史的總結 Historical summary

我現在作一個簡短的總結．讓我概括地談談歷史：數學究竟發生了什麼？我相當隨意地把十八世紀和十九世紀放在了一起，把它們當做我們稱為古典數學(classical mathematics)的時代，這個時代是與歐拉(Euler)和高斯(Gauss)這樣的人聯繫在一起的，所有偉大的古典數學結果也都是在這個時代被發現和發展的．有人也許認為那幾乎就是數學的終結了，但是相反地，二十世紀實際上非常富有成果，這也是我一直在談論的．

二十世紀大致可以一分為二地分成兩部分．我認為二十世紀前半葉是被我稱為"專門化的時代(era of specialisation)"，這是一個希爾伯特(Hilbert)的處理辦法大行其道的時代，即努力進行形式化(formalise)各種事物，仔細地定義他們並在每一個領域中貫徹始終．正如我說到過的，布爾巴基(Bourbaki)的名字是與這種趨勢聯繫在一起的．在這種趨勢下，人們把注意力都集中於在特定的時期從特定的代數系統或者其它系統能獲得什麼．二十世紀後半葉更多地被我稱為"統一的時代(era of unification)"，在這個時代，各個領域的界限被打破了，各種技術(techniques)可以從一個領域應用到另外一個領域，並且事物在很大程度上變得越來越有交叉性(hybridised)．我想這是一種過於簡單的說法，但是我認為這簡單總結了我們所看到的二十世紀數學的一些方面．

二十一世紀會是什麼呢？我已經說過，二十一世紀是量子數學(quantum mathematics)的時代，或者，如果大家喜歡，可稱為是無窮維數學(in_nite-dimensional mathematics)的時代．這意味著什麼呢？量子數學的含義是指我們能夠恰當地理解分析、幾何、拓撲和各式各樣的非線性函數空間的代數，在這裡，"恰當地理解"，我是指能夠以某種方式對那些物理學家們已經推斷出來的美妙事物給出較精確的證明．

有人要說，如果用天真幼稚的方式(naive way)來研究無窮維並問一些天真幼稚的問題，通常來講，只能得到錯誤的答案或者答案是無意義的，物理的應用、洞察力和動機使得物理學家能夠問一些關於無窮維的明智的問題，並且可以在有合乎情理的答案時作一些非常細緻的工作，因此用這種方式分析無窮維決不是一件輕而易舉的事情．我們必須沿著這條正確的道路走下去．我們已經得到了許多線索，地圖已經攤開了：我們的目標已經有了，只不過還有很長的路要走．

還有什麼會發生在二十一世紀？我想強調一下康尼斯(Connes)的非交換微分幾何(non-commutative differential geometry)．阿蘭·康納斯(Alain Connes)擁有這個相當宏偉的統一理論．同樣，它融合一切．它融合分析、代數、幾何、拓撲、物理、數論，所有這一切都是它的一部分．這是一個框架性理論，它能夠讓我們在非交換分析的範疇裡從事微分幾何學家(differential geometers)通常所做的工作，這當中包括與拓撲的關係．要求這樣做是有很好的理由的，因為它在數論、幾何、離散群等等以及在物理中都有(潛力巨大的或者特別的)應用．一個與物理有趣的聯繫也剛剛被發現．這個理論能夠走多遠，能夠得到什麼結果，還有待進一步觀察．它理所當然地是我所期望的至少在下個世紀頭十年能夠得到顯著發展的課題，而且找到它與尚不成熟的(精確)量子場論之間的聯繫是完全有可能的．

我們轉到另一個方面，也就是所謂的"算術幾何(arithmetic geometry)"或者是阿拉克洛夫幾何(Arakelov geometry)，其試圖儘可能多地將代數幾何和數論的部分內容統一起來．這是一個非常成功的理論．它已經有了一個美好的開端，但仍有很長的路要走．這又有誰知道呢？

當然，所有這些都有一些共同點．我期待物理學能夠將它的影響遍及所有地方，甚至是數論：安德魯·威爾斯(Andrew Wiles)不同意我這樣說，只有時間會說明一切．

這些是我所能看到的在下個十年裡出現的幾個方面，但也有一些難以捉摸的東西：返回至低維幾何(lower-dimensional geometry)．與所有無窮維的富有想像的事物在一起，低維幾何的處境有些尷尬．從很多方面來看，我們開始時討論的維數，或我們祖先開始時的維數，仍留下某些未解之謎．維數為2，3和4的對象被我們稱為"低"維的．例如瑟斯頓(Thurston)在三維幾何(three-dimensional geometry)的工作，目標就是能夠給出一個三維流形上的幾何分類，這比二維理論要深刻得多．瑟斯頓綱領(Thurston program)還遠遠沒有完成，完成這個綱領當然將是一個重要的挑戰．

在三維中另外一個引人注目的事件是沃恩-瓊斯(Vaughan-Jones)那些思想本質上來源於物理的工作．這給了我們更多的關於三維的信息，並且它們幾乎完全不在瑟斯頓綱領(Thurston program)包含的信息之內．如何將這兩個方面聯繫起來仍然是一個巨大的挑戰，但是最近得到的結果暗示兩者之間可能有一座橋，因此，整個低維的領域都與物理有關，但是其中實在有太多讓人琢磨不透的東西．

最後，我要提一下的是在物理學中出現的非常重要的"對偶(dualities)"．這些對偶，泛泛地來講，產生於一個量子理論被看成一個經典理論時有兩種不同的實現．一個簡單的例子是經典力學中的位置(position)和動量(momentum)的對偶．這樣由對偶空間代替了原空間，並且在線性理論中，對偶就是傅立葉變換(Fourier transform)．但是在非線性理論中，如何來代替傅立葉變換(Fourier transform)是巨大的挑戰之一．數學的大部分都與如何在非線性情形下推廣對偶有關．物理學家看起來能夠在他們的弦理論和M理論中以一種非同尋常的方式做到了這一點．他們構造了一個又一個令人嘆為觀止的對偶實例，在某種廣義的意義下，它們是傅立葉變換(Fourier transform)的無窮維非線性體現，並且看起來它們能解決問題，然而理解這些非線性對偶性看起來也是下個世紀的巨大挑戰之一．

我想我就談到這裡．這裡還有大量的工作，並且我覺得象我這樣的一個老人可以和你們這麼多的年輕人談談是一件非常好的事情；而且我也可以對你們說：在下個世紀，有大量的工作在等著你們去完成．

愛丁堡大學(Edinburgh University)數學與統計系(Department of Mathematics and Statistics)，麥可·阿提亞(Michael.Atiyah)。

英格蘭愛丁堡EH9 3JZ梅菲爾德路國王建築，詹姆斯·克萊克·麥克斯韋大廈，愛丁堡大學數學與統計系[e-mail]。Department of Mathematics and Statistics, University of Edinburgh, James Clerk Maxwell Building, King's Buildings, Mayfield Road, Edinburgh EH9 3JZ, England [e-mail]

專業評價

豐饒的二十世紀數學比起前兩個世紀不遑多讓。阿提雅以清楚的主題式說明，闡述20世紀數學在研究內容與方法上都有長足的進步。

阿提雅特別探究幾何與代數這兩根數學支柱的根源，討論兩者之間長久以來孰輕孰重的緊張關係，並提出「浮士德交易」之警語。

阿提雅特別強調物理學在20世紀最後25年的重要角色，認為新世紀數學的走向之一是非線性無窮維的數學，並以量子場論與弦論做為引路人。

*在阿提雅演講之後的兩年半，帕瑞爾曼(Grisha Perelman)的文章出現在網絡上，最後證實結合哈密爾頓(Richard Hamilton)和帕瑞爾曼的努力，已經證明瑟斯頓的幾何化猜想，同時也證明了龐卡赫猜想。

延伸閱讀

Gray, Jeremy《希爾伯特的23個數學問題》(2002)天下文化。

Atiyah, Michael, Geometry in 2, 3 and 4 Dimensions (2010). 阿提雅在克雷研究院年度會議之演講錄像帶。(YouTube也有。)

Atiyah, Michael 等編 Mathematics:Frontiers and Perspectives (2002), AMS。本書比較專業，集合29位重要數學家在千禧年對數學的回顧與前瞻。可參閱由阿提雅執筆的序。

III.麥可·阿蒂亞爵士(Sir Michael Francis Atiyah)介紹(8hk字)

麥可·阿蒂亞爵士(Sir Michael Francis Atiyah)介紹

秦隴紀，數據簡化DataSimp-20201012Mon

阿提雅長期任教於英國牛津與劍橋大學，現為愛丁堡大學榮譽教授；1966年費爾茲獎與2004年阿貝爾獎得主。他是往來於數學和物理學之間，思考最深入的數學家之一。

麥可·阿蒂亞爵士(Sir Michael Francis Atiyah)主要成就：「阿蒂亞-辛格指標定理」證明者之一，1966年獲菲爾茲獎，2004年獲阿貝爾獎，1983年被封為下級勳位爵士。

圖2：麥可·阿蒂亞

麥可·阿蒂亞爵士(Sir Michael Francis Atiyah，1929年4月22日~2019年1月11日)，英國數學家，畢業於劍橋大學三一學院，前英國皇家學會會長，被譽為20世紀最偉大的數學家之一。他1955年獲得劍橋大學三一學院博士學位，畢業後在普林斯頓高等研究院、劍橋大學彭布羅克學院、牛津大學等學術機構研究、任教，並在1962年成為英國皇家學會會員。主要研究領域是幾何，而到20世紀70年代他把重心轉移到數學物理學上。1960年代他與艾沙道爾·辛格建立合作關係，共同證明了阿蒂亞-辛格指標定理，該定理在數學的一些領域均有重要作用。因此他在1966年榮獲菲爾茲獎，2004年又與艾沙道爾·辛格共同獲得阿貝爾獎。除此之外，麥可·阿蒂亞爵士在拓撲、微分方程、數學物理、代數等領域也有傑出成就。1983年，被英國皇室授予下級勳位爵士。1992年，獲得英國功績勳章。2018年9月，麥可·阿蒂亞爵士聲明證明了黎曼猜想，並在隨後貼出了證明黎曼假設(猜想)的預印本。但是這一證明並不成立。2019年1月11日，麥可·阿蒂亞去世，享年89歲。

(註：相關素材[1-x]圖文版權歸原作者所有。)

Appx.素材(1k字)

1. ATIYAH, M. (2002). MATHEMATICS IN THE 20TH CENTURY. Bulletin of the London Mathematical Society, 34(1), 1-15. doi:10.1112/S0024609301008566

2. Michael Atiyah’s talk: MATHEMATICS IN THE 20TH CENTURY. Bull. London Math. Soc. 34 (2002) 1-15.

3. 國立交通大學>機構資料庫>校園出版物>數學，科學，歷史和文化(You are Here：National Chiao Tung University Institutional Repository Campus Publications Mathematics, Science, History, and Culture)丘成桐中心(Shing-Tung Yau Center). [Statistics] [完整紀錄] [USTCate] [Cite This] [Related Articles]. 標題:二十世紀的數學; 作者: 阿提雅 Michael Atiyah; 譯者:翁秉仁. [EB/OL], nctu, https://ir.nctu.edu.tw/handle/11536/129277; 本文出處：2000年6月7日，阿提雅在多倫多「世界數學年2000會議」之演講稿，倫敦數學學會出版(2002)。譯者：翁秉仁，臺大數學系副教授，《數學知識網站》負責人，合譯有《數學：確定性的失落》(商務)、《丘成桐談空間的內在形狀》(遠流); visit date: 2020-07-19-Sun.

4. Michael Atiyah. 二十世紀的數學. [J], 《數學譯林》2002/2，白承銘譯，周性偉、馮惠濤校.

5. 我會輕功. 二十世紀的數學-Michael Atiyah. [EB/OL], douban, https://www.douban.com/note/206802445/, 2012-03-26 05:29:56; (此版轉發《數學譯林》意譯較多) visit date: 2020-07-19-Sun.

x. 秦隴紀. 西方哲學與人工智慧、計算機; 人工智慧達特茅斯夏季研究項目提案(1955年8月31日)中英對照版; 人工智慧研究現狀及教育應用; 計算機作業系統的演進、譜系和產品發展史; 數據科學與大數據技術專業概論; 文本數據溯源與簡化. [EB/OL], 數據簡化DataSimp(微信公眾號), https://www.datasimp.org, 2017-06-06.

—END—

免責說明：公開媒體素材出處可溯源監督。本號不持有任何傾向性，不表示認可其觀點或其所述。

秦農跋

若無數學理論支持的科學認知，僅有語言思維總結自然社會現象，將止步於寬泛膚淺的語言思辨道理。基礎教育停留在語言道理或文化知識，忽略設計實驗、工程實踐，則會形成新的認知愚昧。

數學是科學之母。科學建立在數學和現實數據基礎之上。數學認知和數據技術隨處可見，僅靠文化教育和專業工作者是不夠的。藉助數據相關的數學和科學、算法和程序、資源和簡化、機構和活動、政策和新聞，「數據簡化DataSimp」公號旨在幫助大眾從思維方法上接近數據殿堂。

我們不持有任何傾向性，只分享大家的學術觀點；倡導"理性之思想，自主之精神"，專注於學者、學術、學界的發展進步，不定期向您推薦人類優秀學者及其文章；歡迎大家分享、貢獻和讚賞、支持科普~

數據簡化社區數學專輯26篇：

1.概率Probability的本質是什麼，20180320Tue

2.計算機應用中存在性證明的代數拓撲方法，20180423Mon

3.世界上最偉大最著名的十個公式，20180622Fri

4.《統計學七支柱》前言[美]Stephen M.Stigler史蒂芬·斯蒂格勒，20180706Fri

5.邱奇-圖靈定理(命題)證明《證明方法與理論》12章可判定性理論，20180708Sun

6.自然數簡化到素數：黎曼猜想RiemannHypothesis及其解釋，20180921Fri

7.麻省理工MIT大神解說數學體系；2012年計算機博士港中大林達華簡歷，20181105Mon

8.程式設計師數學課36節知識簡述，20181109Sun

9.離散結構之邏輯和證明DiscreteStructuresLogicProofs，20190225Mon

10.統計學無痛指南(中英對照版)羅伯特·格維恩博士貝茨學院，20190503Fri

11.自然《科學方法：統計錯誤》統計有效性的「黃金標準」P值並不可靠，20190508Wed

12.零假設顯著性檢驗NHST標準P值的誕生和計算、濫用到棄用，20190508Wed

13.統計學頻率學派與貝葉斯學派之概述、計算和編程，20190523Thu

14.數學體系概述、主要分支、學科分類(MSC)、構成聯繫和應用數學簡介，20190804Sun

15.世界十大數學猜想及其證明情況，20190812Mon

16.數學深淵圖解，20190830Fri

17.狄拉克和他的δ函數，20190914Fri

18.席南華院士《數學的意義》，20200629Mon

19.模糊數學(fuzzy mathematics)的產生和研究內容，20200714Tue

20.《數學科學百科全書》數學大師克萊因(Felix Klein)發起編寫，20200717Fri

21.群論(Group Theory)的產生和研究內容，20200718Sat

22.二十世紀的數學Sir麥可·阿提亞(Michael Atiyah)，20200719Sun

23.二元運算(binary operation)的術語和性質，20200726Sun

24.數學家馬爾科夫數了小說中2萬字母誕生語言識別模型，20200816SunSun

25.《數學與生活》各種數的由來，真是神奇又有趣，20200816Sun

26.決策問題的層次分析法(AHP)運籌學建模，20200911Fr

數據簡化DataSimp社區「數據簡化DataSimp、科學Sciences、知識簡化」平臺聚集專業領域一線研究員；研究技術時也傳播知識，專業視角解釋和普及科學現象和原理，展現自然社會生活之科學面。若對在線平臺、各實驗室感興趣，歡迎加入數據簡化院(籌)研究：數據技術科學及其應用創業，數據的資源、系統、應用、標準、測評和報告的整理和科普。只會敲門吶喊、空想構思，不能推動領域、無法實現生產；沒有技術能力，只有虛度一生。秦隴紀發起，歡迎科學、技術、工程、教育、傳媒等業界專家投稿、加入數據簡化社區！科技論文投稿或申請簡歷，微信Qinlongji381652734QQ，郵箱[e-mail]。

「數據簡化DataSimp」數據技術科普

下載PDF後讚賞支持