現代數學

現代數學時期是指由19世紀20年代至今，這一時期數學主要研究的是最一般的數量關係和空間形式，數和量僅僅是它的極特殊的情形，通常的一維、二維、三維空間的幾何形象也僅僅是特殊情形。抽象代數、拓撲學、泛函分析是整個現代數學科學的主體部分。它們是大學數學專業的課程，非數學專業也要具備其中某些知識。變數數學時期新興起的許多學科，蓬勃地向前發展，內容和方法不斷地充實、擴大和深入。

18、19世紀之交，數學已經達到豐沛茂密的境地，似乎數學的寶藏已經挖掘殆盡，再沒有多大的發展餘地了。然而，這只是暴風雨前夕的寧靜。19世紀20年代，數學革命的狂飆終於來臨了，數學開始了一連串本質的變化，從此數學又邁入了一個新的時期——現代數學時期。

19世紀前半葉，數學上出現兩項革命性的發現——非歐幾何與不可交換代數。

大約在1826年，人們發現了與通常的歐幾里得幾何不同的、但也是正確的幾何——非歐幾何。這是由羅巴契夫斯基和里耶首先提出的。非歐幾何的出現，改變了人們認為歐氏幾何唯一地存在是天經地義的觀點。它的革命思想不僅為新幾何學開闢了道路，而且是20世紀相對論產生的前奏和準備。

後來證明，非歐幾何所導致的思想解放對現代數學和現代科學有著極為重要的意義，因為人類終於開始突破感官的局限而深入到自然的更深刻的本質。從這個意義上說，為確立和發展非歐幾何貢獻了一生的羅巴契夫斯基不愧為現代科學的先驅者。

1854年，黎曼推廣了空間的概念，開創了幾何學一片更廣闊的領域——黎曼幾何學。非歐幾何學的發現還促進了公理方法的深入探討，研究可以作為基礎的概念和原則，分析公理的完全性、相容性和獨立性等問題。1899年，希爾伯特對此作了重大貢獻。

在1843年，哈密頓發現了一種乘法交換律不成立的代數——四元數代數。不可交換代數的出現，改變了人們認為存在與一般的算術代數不同的代數是不可思議的觀點。它的革命思想打開了近代代數的大門。

另一方面，由於一元方程根式求解條件的探究，引進了群的概念。19世紀20～30年代，阿貝爾和伽羅華開創了近世代數學的研究。近代代數是相對古典代數來說的，古典代數的內容是以討論方程的解法為中心的。群論之後，多種代數系統(環、域、格、布爾代數、線性空間等)被建立。這時，代數學的研究對象擴大為向量、矩陣，等等，並漸漸轉向代數系統結構本身的研究。

上述兩大事件和它們引起的發展，被稱為幾何學的解放和代數學的解放。

19世紀還發生了第三個有深遠意義的數學事件：分析的算術化。1874年威爾斯特拉斯提出了一個引人注目的例子，要求人們對分析基礎作更深刻的理解。他提出了被稱為“分析的算術化”的著名設想，實數系本身最先應該嚴格化，然後分析的所有概念應該由此數系導出。他和後繼者們使這個設想基本上得以實現，使今天的全部分析可以從表明實數系特徵的一個公設集中邏輯地推導出來。

現代數學家們的研究，遠遠超出了把實數系作為分析基礎的設想。歐幾里得幾何通過其分析的解釋，也可以放在實數系中；如果歐氏幾何是相容的，則幾何的多數分支是相容的。實數系(或某部分)可以用來解群代數的眾多分支；可使大量的代數相容性依賴於實數系的相容性。事實上，可以說：如果實數系是相容的，則現存的全部數學也是相容的。

19世紀後期，由於狄德金、康托和皮亞諾的工作，這些數學基礎已經建立在更簡單、更基礎的自然數系之上。即他們證明了實數系(由此導出多種數學)能從確立自然數系的公設集中導出。20世紀初期，證明了自然數可用集合論概念來定義，因而各種數學能以集合論為基礎來講述。

拓撲學開始是幾何學的一個分支，但是直到20世紀的第二個1/4世紀，它才得到了推廣。拓撲學可以粗略地定義為對於連續性的數學研究。科學家們認識到：任何事物的集合，不管是點的集合、數的集合、代數實體的集合、函數的集合或非數學對象的集合，都能在某種意義上構成拓撲空間。拓撲學的概念和理論，已經成功地應用於電磁學和物理學的研究。

20世紀有許多數學著作曾致力於仔細考查數學的邏輯基礎和結構，這反過來導致公理學的產生，即對於公設集合及其性質的研究。許多數學概念經受了重大的變革和推廣，並且像集合論、近世代數學和拓撲學這樣深奧的基礎學科也得到廣泛發展。一般(或抽象)集合論導致的一些意義深遠而困擾人們的悖論，迫切需要得到處理。邏輯本身作為在數學上以承認的前提去得出結論的工具，被認真地檢查，從而產生了數理邏輯。邏輯與哲學的多種關係，導致數學哲學的各種不同學派的出現。

20世紀40～50年代，世界科學史上發生了三件驚天動地的大事，即原子能的利用、電子計算機的發明和空間技術的興起。此外還出現了許多新的情況，促使數學發生急劇的變化。這些情況是：現代科學技術研究的對象，日益超出人類的感官範圍以外，向高溫、高壓、高速、高強度、遠距離、自動化發展。以長度單位為例、小到1塵(毫微微米，即10^-15米)，大到100萬秒差距(325.8萬光年)。這些測量和研究都不能依賴於感官的直接經驗，越來越多地要依靠理論計算的指導。其次是科學實驗的規模空前擴大，一個大型的實驗，要耗費大量的人力和物力。為了減少浪費和避免盲目性，迫切需要精確的理論分機和設計。再次是現代科學技術日益趨向定量化，各個科學技術領域，都需要使用數學工具。數學幾乎滲透到所有的科學部門中去，從而形成了許多邊緣數學學科，例如生物數學、生物統計學、數理生物學、數理語言學等等。

上述情況使得數學發展呈現出一些比較明顯的特點，可以簡單地歸納為三個方面：計算機科學的形成，應用數學出現眾多的新分支、純粹數學有若干重大的突破。

1945年，第一台電子計算機誕生以後，由於電子計算機應用廣泛、影響巨大，圍繞它很自然要形成一門龐大的科學。粗略地說，計算機科學是對計算機體系、軟體和某些特殊應用進行探索和理論研究的一門科學。計算數學可以歸入計算機科學之中，但它也可以算是一門應用數學。

計算機的設計與製造的大部分工作，通常是計算機工程或電子工程的事。軟體是指解題的程序、程序語言、編製程序的方法等。研究軟體需要使用數理邏輯、代數、數理語言學、組合理論、圖論、計算方法等很多的數學工具。目前電子計算機的應用已達數千種，還有不斷增加的趨勢。但只有某些特殊應用才歸入計算機科學之中，例如機器翻譯、人工智慧、機器證明、圖形識別、圖象處理等。

應用數學和純粹數學(或基礎理論)從來就沒有嚴格的界限。大體上說，純粹數學是數學的這一部分，它暫時不考慮對其它知識領域或生產實踐上的直接應用，它間接地推動有關學科的發展或者在若干年後才發現其直接應用；而應用數學，可以說是純粹數學與科學技術之間的橋樑。

20世紀40年代以後，湧現出了大量新的應用數學科目，內容的豐富、應用的廣泛、名目的繁多都是史無前例的。例如對策論、規劃論、排隊論、最優化方法、運籌學、資訊理論、控制論、系統分析、可靠性理論等。這些分支所研究的範圍和互相間的關係很難劃清，也有的因為用了很多概率統計的工具，又可以看作概率統計的新應用或新分支，還有的可以歸入計算機科學之中等等。

20世紀40年代以後，基礎理論也有了飛速的發展，出現許多突破性的工作，解決了一些帶根本性質的問題。在這過程中引入了新的概念、新的方法，推動了整個數學前進。例如，希爾伯特1990年在國際教學家大會上提出的尚待解決的23個問題中，有些問題得到了解決。60年代以來，還出現了如非標準分析、模糊數學、突變理論等新興的數學分支。此外，近幾十年來經典數學也獲得了巨大進展，如概率論、數理統計、解析數論、微分幾何、代數幾何、微分方程、因數論、泛函分析、數理邏輯等等。

當代數學的研究成果，有了幾乎爆炸性的增長。刊載數學論文的雜誌，在17世紀末以前，只有17種(最初的出於1665年)；18世紀有210種；19世紀有950種。20世紀的統計數字更為增長。在本世紀初，每年發表的數學論文不過1000篇；到1960年，美國《數學評論》發表的論文摘要是7824篇，到1973年為20410篇，1979年已達52812篇，文獻呈指數式增長之勢。數學的三大特點—高度抽象性、應用廣泛性、體系嚴謹性，更加明顯地表露出來。

今天，差不多每個國家都有自己的數學學會，而且許多國家還有致力於各種水平的數學教育的團體。它們已經成為推動數學發展的有力因素之一。目前數學還有加速發展的趨勢，這是過去任何一個時期所不能比擬的。現代數學雖然呈現出多姿多彩的局面，但是它的主要特點可以概括如下：(1)數學的對象、內容在深度和廣度上都有了很大的發展，分析學、代數學、幾何學的思想、理論和方法都發生了驚人的變化，數學的不斷分化，不斷綜合的趨勢都在加強。(2)電子計算機進入數學領域，產生巨大而深遠的影響。(3)數學滲透到幾乎所有的科學領域，並且起著越來越大的作用，純粹數學不斷向縱深發展，數理邏輯和數學基礎已經成為整個數學大廈基礎。

20世紀是數學大發展的世紀。數學的許多重大難題得到完滿解決，如費爾瑪大定理的證明，有限單群分類工作的完成等，從而使數學的基本理論得到空前發展。

計算機的出現是20世紀數學發展的重大成就，同時極大推動了數學理論的深化和數學在社會和生產力第一線的直接應用。回首20世紀數學的發展，數學家們深切感謝20世紀最偉大的數學大師大衛. 希爾伯特。希爾伯特在1900年8月8日於巴黎召開的第二屆世界數學家大會上的著名演講中提出了23個數學難題。希爾伯特問題在過去百年中激發數學家的智慧，指引數學前進的方向，其對數學發展的影響和推動是巨大的，無法估量的。

效法希爾伯特，許多當代世界著名的數學家在過去幾年中整理和提出新的數學難題，希冀為新世紀數學的發展指明方向。這些數學家知名度是高的，但他們的這項行動並沒有引起世界數學界的共同關注。

2000年初美國克雷數學研究所的科學顧問委員會選定了七個“千年大獎問題”，克雷數學研究所的董事會決定建立七百萬美元的大獎基金，每個“千年大獎問題”的解決都可獲得百萬美元的獎勵。克雷數學所“千年大獎問題”的選定，其目的不是為了形成新世紀數學發展的新方向，而是集中在對數學發展具有中心意義、數學家們夢寐以求而期待解決的重大難題。

2000年5月24日，千年數學會議在著名的法蘭西學院舉行。會上，98年費爾茲獎獲得者伽沃斯（Gowers）以“數學的重要性”為題作了演講，其後，塔特（Tate）和阿啼亞 (Atiyah) 公布和介紹了這七個“千年大獎問題”。克雷數學研究所還邀請有關研究領域的專家對每一個問題進行了較詳細的闡述。克雷數學研究所對“千年大獎問題”的解決與獲獎作了嚴格規定。每一個“千年大獎問題”獲得解決並不能立即得獎。任何解決答案必須在具有世界聲譽的數學雜誌上發表兩年後且得到數學界的認可，才有可能由克雷數學研究所的科學顧問委員會審查決定是否值得獲得百萬美元大獎。

現在先只列出一個清單：這七個“千年大獎問題”是： NP 完全問題，郝治（Hodge）猜想，龐加萊（Poincare）猜想，黎曼（Rieman）假設，楊－米爾斯 (Yang-Mills) 理論, 納衛爾－斯托可（Navier-Stokes）方程， BSD（Birch and Swinnerton-Dyer）猜想。

“千年大獎問題”公布以來，在世界數學界產生了強烈反響。這些問題都是關於數學基本理論的，但這些問題的解決將對數學理論的發展和應用的深化產生巨大推動。認識和研究“千年大獎問題”已成為世界數學界的熱點。不少國家的數學家正在組織聯合攻關。可以預期， “千年大獎問題”將會改變新世紀數學發展的歷史進程。

“千僖難題”之一

P（多項式演演算法）問題對NP（非多項式演演算法）問題：

在一個周六的晚上，你參加了一個盛大的晚會。由於感到局促不安，你想知道這一大廳中是否有你已經認識的人。你的主人向你提議說，你一定認識那位正在甜點盤附近角落的女士羅絲。不費一秒鐘，你就能向那裡掃視，並且發現你的主人是正確的。然而，如果沒有這樣的暗示，你就必須環顧整個大廳，一個個地審視每一個人，看是否有你認識的人。生成問題的一個解通常比驗證一個給定的解時間花費要多得多。這是這種一般現象的一個例子。與此類似的是，如果某人告訴你，數13，717，421可以寫成兩個較小的數的乘積，你可能不知道是否應該相信他，但是如果他告訴你它可以因ci分解為3607乘上3803，那麼你就可以用一個袖珍計算器容易驗證這是對的。不管我們編寫程序是否靈巧，判定一個答案是可以很快利用內部知識來驗證，還是沒有這樣的提示而需要花費大量時間來求解，被看作邏輯和計算機科學中最突出的問題之一。它是斯蒂文·考克（StephenCook）於1971年陳述的。

“千僖難題”之二

霍奇(Hodge)猜想：

二十世紀的數學家們發現了研究複雜對象的形狀的強有力的辦法。基本想法是問在怎樣的程度上，我們可以把給定對象的形狀通過把維數不斷增加的簡單幾何營造塊粘合在一起來形成。這種技巧是變得如此有用，使得它可以用許多不同的方式來推廣；最終導至一些強有力的工具，使數學家在對他們研究中所遇到的形形色色的對象進行分類時取得巨大的進展。不幸的是，在這一推廣中，程序的幾何出發點變得模糊起來。在某種意義下，必須加上某些沒有任何幾何解釋的部件。霍奇猜想斷言，對於所謂射影代數簇這種特別完美的空間類型來說，稱作霍奇閉鏈的部件實際上是稱作代數閉鏈的幾何部件的(有理線性)組合。

“千僖難題”之三

龐加萊(Poincare)猜想：

如果我們伸縮圍繞一個蘋果表面的橡皮帶，那麼我們可以既不扯斷它，也不讓它離開表面，使它慢慢移動收縮為一個點。另一方面，如果我們想象同樣的橡皮帶以適當的方向被伸縮在一個輪胎面上，那麼不扯斷橡皮帶或者輪胎面，是沒有辦法把它收縮到一點的。我們說，蘋果表面是“單連通的”，而輪胎面不是。大約在一百年以前，龐加萊已經知道，二維球面本質上可由單連通性來刻畫，他提出三維球面(四維空間中與原點有單位距離的點的全體)的對應問題。這個問題立即變得無比困難，從那時起，數學家們就在為此奮鬥。

“千僖難題”之四

黎曼(Riemann)假設：

有些數具有不能表示為兩個更小的數的乘積的特殊性質，例如，2,3,5,7,等等。這樣的數稱為素數；它們在純數學及其應用中都起著重要作用。在所有自然數中，這種素數的分佈並不遵循任何有規則的模式；然而，德國數學家黎曼(1826~1866)觀察到，素數的頻率緊密相關於一個精心構造的所謂黎曼蔡塔函數z(s$的性態。著名的黎曼假設斷言，方程z(s)=0的所有有意義的解都在一條直線上。這點已經對於開始的1,500,000,000個解驗證過。證明它對於每一個有意義的解都成立將為圍繞素數分佈的許多奧秘帶來光明。

“千僖難題”之五

楊－米爾斯(Yang-Mills)存在性和質量缺口：

量子物理的定律是以經典力學的牛頓定律對宏觀世界的方式對基本粒子世界成立的。大約半個世紀以前，楊振寧和米爾斯發現，量子物理揭示了在基本粒子物理與幾何對象的數學之間的令人注目的關係。基於楊－米爾斯方程的預言已經在如下的全世界範圍內的實驗室中所履行的高能實驗中得到證實：布羅克哈文、斯坦福、歐洲粒子物理研究所和筑波。儘管如此，他們的既描述重粒子、又在數學上嚴格的方程沒有已知的解。特別是，被大多數物理學家所確認、並且在他們的對於“夸克”的不可見性的解釋中應用的“質量缺口”假設，從來沒有得到一個數學上令人滿意的證實。在這一問題上的進展需要在物理上和數學上兩方面引進根本上的新觀念。

“千僖難題”之六

納維葉－斯托克斯(Navier-Stokes)方程的存在性與光滑性：

起伏的波浪跟隨著我們的正在湖中蜿蜒穿梭的小船，湍急的氣流跟隨著我們的現代噴氣式飛機的飛行。數學家和物理學家深信，無論是微風還是湍流，都可以通過理解納維葉－斯托克斯方程的解，來對它們進行解釋和預言。雖然這些方程是19世紀寫下的，我們對它們的理解仍然極少。挑戰在於對數學理論作出實質性的進展，使我們能解開隱藏在納維葉－斯托克斯方程中的奧秘。

“千僖難題”之七

貝赫(Birch)和斯維訥通－戴爾(Swinnerton-Dyer)猜想：

數學家總是被諸如x^2+y^2=z^2那樣的代數方程的所有整數解的刻畫問題著迷。歐幾里德曾經對這一方程給出完全的解答，但是對於更為複雜的方程，這就變得極為困難。

事實上，正如馬蒂雅謝維奇(Yu.V.Matiyasevich)指出，希爾伯特第十問題是不可解的，即，不存在一般的方法來確定這樣的方法是否有一個整數解。當解是一個阿貝爾簇的點時，貝赫和斯維訥通－戴爾猜想認為，有理點的群的大小與一個有關的蔡塔函數z(s)在點s=1附近的性態。特別是，這個有趣的猜想認為，如果z(1)等於0,那麼存在無限多個有理點(解)，相反，如果z(1)不等於0,那麼只存在有限多個這樣的點。