季理真，章勤瓊（譯）

（1．密歇根大學(xué)，美國(guó) 密歇根 48109；2．溫州大學(xué)，浙江 溫州 325035；3．南京師范大學(xué)，江蘇 南京 210023）

數(shù)學(xué)：連接有限與無(wú)限的金橋
——讀趙煥光教授等《夢(mèng)想相遇無(wú)窮》有感

季理真1，章勤瓊（譯）2，3

（1．密歇根大學(xué)，美國(guó) 密歇根 48109；2．溫州大學(xué)，浙江 溫州 325035；3．南京師范大學(xué)，江蘇 南京 210023）

在數(shù)學(xué)中，無(wú)窮的概念非常重要，處于中心地位．從著作《夢(mèng)想相遇無(wú)窮》出發(fā)，討論無(wú)窮以及與之相關(guān)的幾個(gè)概念，如完備、緊致、退化等，進(jìn)而探討當(dāng)代數(shù)學(xué)中由這些概念導(dǎo)出的主要理論與定理．

無(wú)窮；極限；完備；緊致；退化

與初等數(shù)學(xué)以常量為研究對(duì)象，以靜止觀點(diǎn)研究問(wèn)題不同，高等數(shù)學(xué)的研究對(duì)象主要為變量，讓運(yùn)動(dòng)和辯證法進(jìn)入了數(shù)學(xué)．微積分是高等數(shù)學(xué)的基礎(chǔ)課程，也是學(xué)習(xí)許多其它課程的重要工具．微積分以函數(shù)為研究對(duì)象，通過(guò)連續(xù)這一橋梁，利用極限為主要方法進(jìn)行研究．由于微積分有關(guān)概念的相對(duì)抽象性，不少學(xué)生在初學(xué)時(shí)感到枯燥與困難．因此，為了有助于學(xué)生更容易理解微積分相關(guān)概念，產(chǎn)生進(jìn)一步學(xué)習(xí)與探索的興趣與欲望，有必要從數(shù)學(xué)、哲學(xué)、歷史、人文等更寬廣的視野出發(fā)，對(duì)微積分中的一些重要概念做出闡釋．

1 無(wú) 窮

自人類文明開(kāi)始以來(lái)，人們就已經(jīng)開(kāi)始思考并探索無(wú)窮的意義．在有限的生命內(nèi)，由于空間與能力的限制，人們經(jīng)常會(huì)遇到不易解決的難題，出于各種原因，他們只能將問(wèn)題轉(zhuǎn)向無(wú)窮的上帝或眾神．

哲學(xué)家們通常也會(huì)深入思考這一問(wèn)題，試著去理解并解釋無(wú)窮．但究竟什么是無(wú)窮？數(shù)千年以前，古希臘哲學(xué)家已經(jīng)提出更精確的問(wèn)題，他們知道如何對(duì)有限數(shù)字進(jìn)行加與除．但如何理解無(wú)窮過(guò)程并處理無(wú)限數(shù)字呢？

關(guān)于無(wú)窮的嚴(yán)格系統(tǒng)理論是晚近才由奇特的數(shù)學(xué)家康托爾創(chuàng)造出來(lái)的．與有限對(duì)象相比，人們過(guò)去會(huì)認(rèn)為存在一個(gè)單獨(dú)的無(wú)窮集合或無(wú)窮量，獨(dú)立于所有其余的集合或量，本身并沒(méi)有什么結(jié)構(gòu)．但康托爾說(shuō)存在不同形式的無(wú)窮集合，而無(wú)窮集合的世界非常復(fù)雜，甚至比有限集的世界還要豐富，而且直接對(duì)其產(chǎn)生影響．

康托爾的理論，或者說(shuō)他的觀點(diǎn)，已經(jīng)永遠(yuǎn)改變了數(shù)學(xué)的全部景觀，從數(shù)學(xué)的基礎(chǔ)直至當(dāng)代數(shù)學(xué)的最前沿．因此，為了理解并欣賞數(shù)學(xué)的精妙與美，有必要接觸并熟悉無(wú)窮．

溫州大學(xué)趙煥光教授、應(yīng)裕林副教授等合著的《夢(mèng)想相遇無(wú)窮》，從數(shù)學(xué)、歷史以及哲學(xué)的觀點(diǎn)對(duì)無(wú)窮理論作了初步介紹．這是一本真正討論數(shù)學(xué)的文化著作，全書不失趣味性與可讀性，而且適合高中生與大學(xué)生閱讀．我多么希望數(shù)十年前我在大學(xué)一年級(jí)開(kāi)始學(xué)習(xí)微積分時(shí)，能有機(jī)會(huì)閱讀這樣的書．

2 極限與連續(xù)

如何將無(wú)窮的觀點(diǎn)與數(shù)量應(yīng)用到有限的函數(shù)與空間中？我們知道有無(wú)窮小與無(wú)窮大的數(shù)量與空間，而它們之間的相互作用就像一支永不停歇的探戈，刺激著數(shù)學(xué)長(zhǎng)河川流不息的發(fā)展．其中最好的例子可能是微分與積分的對(duì)偶理論，以及將兩者聯(lián)系起來(lái)的微積分基本定理．

在這兩個(gè)理論中，極限與連續(xù)的概念都非常關(guān)鍵．如何接近才是足夠接近？多大才是足夠大？前者需要期望有多小就有多小，而后者則是需要期望有多大就有多大．這兩種情形都是無(wú)限的過(guò)程．

在定義這些概念之前，函數(shù)存在的空間必須能支持這些無(wú)限運(yùn)算．在有理數(shù)集內(nèi)，對(duì)達(dá)成上述目的并不完備，需要在有理數(shù)之間通過(guò)一個(gè)無(wú)限的過(guò)程將無(wú)理數(shù)添加進(jìn)去構(gòu)成一個(gè)沒(méi)有空洞或缺口的實(shí)數(shù)連續(xù)統(tǒng)集．這本著作正是從基本的集合論與實(shí)數(shù)構(gòu)造的戴德金分割開(kāi)始的．

3 完 備 性

從有理數(shù)集到實(shí)數(shù)集的完備可能是最早的完備化．除此之外，還有許多種，甚至可以說(shuō)有無(wú)窮多種相關(guān)的完備化和緊致化方式．每個(gè)學(xué)生都知道無(wú)限級(jí)數(shù)

的部分和形成一個(gè)發(fā)散于實(shí)數(shù)軸上的無(wú)窮有理數(shù)列，即

但若我們應(yīng)用著名的公式

并且無(wú)視條件1||＜x，那答案將是

這樣，就從無(wú)限的運(yùn)算中得到了有限數(shù)-1．但是正數(shù)的和怎么能是負(fù)數(shù)呢？這似乎是不可能的．然而，如果用不同的方式對(duì)有理數(shù)域進(jìn)行完備化，這樣是可以正確而且可取的．可以聲明，當(dāng)n 充分大時(shí)，2n是充分小的．這樣一個(gè)度量在2進(jìn)制數(shù)域Q2中是成立的，Q2是p進(jìn)制數(shù)域Qp的一個(gè)特殊情況，其中p是一個(gè)素?cái)?shù)．

現(xiàn)代數(shù)學(xué)或數(shù)論的一個(gè)基本觀點(diǎn)是從Q到R的嵌入的方式，僅僅是無(wú)窮多種完備化中的一種．在這些完備化中，每一種都對(duì)應(yīng)一個(gè)素?cái)?shù)p或無(wú)窮∞．

我們需要用無(wú)窮的觀點(diǎn)來(lái)處理有限的有理數(shù)．上面的示例還顯示出無(wú)窮大和無(wú)窮小之間的關(guān)系可以比人們預(yù)想的更有趣．

分析的核心由微分與積分組成．我們都知道，牛頓和萊布尼茲共同發(fā)明了微積分．他們之間工作的區(qū)別是什么？在他們之前，還有誰(shuí)作出了重要貢獻(xiàn)？在他們的工作之后又發(fā)生了什么？這本著作提供了細(xì)致且生動(dòng)的論述來(lái)回答這些問(wèn)題．有哪個(gè)學(xué)習(xí)微積分的學(xué)生會(huì)不想知道這其中完整的故事呢？

連續(xù)函數(shù)積分的引入可以看作是另一種形式的完備化的開(kāi)始，它是一個(gè)建立在先前的無(wú)限過(guò)程之上的無(wú)限過(guò)程．比如說(shuō)，給定一個(gè)有限區(qū)間[0, 1]，我們用積分定義一個(gè)在[0, 1]上的連續(xù)函數(shù)的距離，它像有理數(shù)域的情況一樣不完備．為了更好地理解這個(gè)空間，我們需要通過(guò)添加一些理想的函數(shù)來(lái)使之完備化．這個(gè)無(wú)窮過(guò)程將引導(dǎo)我們離開(kāi)本書的話題（或者說(shuō)離開(kāi)我們所考慮的函數(shù)）并進(jìn)入一個(gè)更廣闊的泛函分析世界，而這正是本書第一作者趙教授的專長(zhǎng)之一．

就像將Q 完備化為R和Qp的情形一樣，若往其中添加可測(cè)函數(shù)，關(guān)于這類函數(shù)空間（巴拿赫空間和希爾伯特空間）也有無(wú)限多種完備化方法．這些概念對(duì)于目前還不了解它們的讀者而言并不十分重要，然而重要的一點(diǎn)是，需要以無(wú)限的過(guò)程去理解有限的事情．

4 緊致與退化

在有限與無(wú)限的對(duì)象之間還有另一個(gè)有關(guān)聯(lián)的交互．實(shí)直線R是無(wú)限的，如果有人沿著實(shí)直線的任一方向行走，他永遠(yuǎn)都到達(dá)不了某一個(gè)點(diǎn)．但如果在無(wú)限中添加一個(gè)點(diǎn)，將R無(wú)窮的兩個(gè)方向包起來(lái)，就得到了一個(gè)圓．這里的關(guān)鍵之處是在無(wú)限中添加了一個(gè)理想的點(diǎn)．戴德金分割的核心之處就是在有理數(shù)之間添加理想點(diǎn)．

緊致化的理論以及走向無(wú)限的想法在當(dāng)代數(shù)學(xué)中被廣泛地運(yùn)用．有關(guān)數(shù)學(xué)對(duì)象退化的探討同樣與之相關(guān)，比如流形．佩雷爾曼（G. Perelman，1966—，俄羅斯數(shù)學(xué)家，2006年第25屆數(shù)學(xué)家大會(huì)欲為他頒發(fā)菲爾茲獎(jiǎng)，但他拒絕領(lǐng)?。┰谌S拓?fù)鋵W(xué)中著名的龐加萊猜想和莫斯托（G. D. Mostow，1923—， 美國(guó)數(shù)學(xué)家，獲2013年沃爾夫獎(jiǎng)）強(qiáng)剛性重要結(jié)論的證明中都運(yùn)用了這種方法．

該書常將哲學(xué)層面的討論融入到數(shù)學(xué)結(jié)論中．這種在更廣闊的視野從無(wú)窮的角度來(lái)看待事物的觀點(diǎn)，在生活中也非常有用．它能夠幫助人們過(guò)濾掉無(wú)關(guān)緊要的事物而突顯出什么才是人生中真正重要的，這一方法也常常被人們用到數(shù)學(xué)證明中．

5 小 結(jié)

這一著作是源于對(duì)數(shù)學(xué)的愛(ài)的勞動(dòng)成果．作者試圖向讀者傳遞他們對(duì)數(shù)學(xué)的熱情以及數(shù)學(xué)與人文，諸如中國(guó)古代文獻(xiàn)以及中西方哲學(xué)的關(guān)聯(lián)．本書對(duì)與無(wú)窮、極限以及微積分相關(guān)的數(shù)學(xué)結(jié)論與例子給出了全面的描述．她同樣涵蓋了連續(xù)與離散數(shù)學(xué)的世界．本書可以作為微積分標(biāo)準(zhǔn)教材之外良好的補(bǔ)充讀物，因?yàn)闀兄T多的評(píng)論與歷史事實(shí)可以拓寬讀者的視野．而從上面的論述可以看出，本書還能作為了解數(shù)學(xué)中更高深主題的橋梁．

本書的另一特點(diǎn)是其中引用了近幾個(gè)世紀(jì)以來(lái)著名數(shù)學(xué)家的許多名言．通過(guò)閱讀本書，讀者可以與人類歷史上的偉大心靈一起，探索數(shù)學(xué)核心概念以及它們的分支．

本書僅是趙煥光教授與他的合作者們的系列著作中的一本，這一系列著作試圖以一種友好與輕松的方式展現(xiàn)數(shù)學(xué)的綜合面貌．如果人們?cè)敢馓暨x這一系列著作閱讀或?yàn)g覽，將會(huì)有助于他們對(duì)數(shù)學(xué)有更好的理解．作者們承擔(dān)如此宏大工程所付出的努力及其勇氣，必將受到數(shù)學(xué)愛(ài)好者、學(xué)習(xí)數(shù)學(xué)的學(xué)生和數(shù)學(xué)研究工作者的欽佩與贊賞．

注：《夢(mèng)想相遇無(wú)窮》為科學(xué)出版社《文化數(shù)學(xué)欣賞叢書》的第3本．該系列叢書共6本，分別為《生活相遇數(shù)學(xué)》、《人生相遇函數(shù)》、《夢(mèng)想相遇無(wú)窮》、《真理相遇統(tǒng)計(jì)》、《文明相遇幾何》以及《智慧相遇代數(shù)》．目前，《生活相遇數(shù)學(xué)》、《人生相遇函數(shù)》與《夢(mèng)想相遇無(wú)窮》已出版．

致謝：本文的主體內(nèi)容為季理真教授為《夢(mèng)想相遇無(wú)窮》所作的序言，由章勤瓊譯成中文，文中的第一段及最后的注為譯者在與作者討論后所加．溫州大學(xué)王瑋明教授等對(duì)譯文提出了寶貴意見(jiàn)，在此一并感謝．

Golden Bridge between Infinite and Finite: Mathematics

JI Li-zhen1, ZHANG Qin-qiong2,3
(1. University of Michigan, Michigan USA, 48109; 2. Wenzhou University, Zhejiang Wenzhou 325035, China; 3. Nanjing Normal University, Jiangsu Nanjing 210023, China)

The notion of infinity is of central importance in mathematics. In this article, we start from the book “When Dreams Encounter Infinity” and discuss how several related concepts such as completion, compactification, degeneration lead to major theories and theorems in contemporary mathematics.

infinite; limit; completion; compactification; degeneration

G40-03

：A

：1004–9894（2014）02–0093–02

[責(zé)任編校：周學(xué)智]

2014–01–07

季理真（1964—），男，浙江溫州人，美國(guó)密歇根大學(xué)教授，浙江大學(xué)光彪特聘教授，主要從事幾何、拓?fù)?、?shù)論及數(shù)學(xué)交叉學(xué)科等研究．章勤瓊為本文通訊作者．