從黎曼到康托爾，微積分歷經一個世紀才成為今天的大學學科！

在 19 世紀, 數學在根本層面上發生了改變. 在它變得更深刻、更廣闊的同時, 對數學洞察能力的要求也越來越高. 而且, 數學催生了一種職業. 大學和技術研究所大量涌現, 需要能夠講授高級課題的職員. 數學教師, 曾經是沒有經濟保證的職業選擇, 此時則成了鐵飯碗.

數學的研究越來越聚焦于精確的定義和嚴格的證明. 歐拉揮灑自如的風格已經讓位于柯西的詳盡分析. 微積分演變為我們今天所稱的分析學科. 貫穿這個世紀的一條分析主線, 是圍繞傅里葉級數展開的種種問題.

本章將探究這方面的一些成果, 以黎曼對積分的定義與相關工作為起點, 以對實數本質的驚人洞察為高潮. 這只不過是一個簡短的體驗, 讓你品味一下微積分在這個變革的世紀中發生了什么.

來源 | 《微積分溯源：偉大思想的歷程》

作者 | [美] 戴維·M. 布雷蘇（David M. Bressoud）

譯者：陳見柯 林開亮 葉盧慶

摘自 | 《分析》一章

1

黎曼積分

伯恩哈德·黎曼 (Bernhard Riemann, 1826—1866) 曾受教于卡爾·弗里德里希·高斯和古斯塔夫·狄利克雷, 也許是 19 世紀最有才能的數學家, 他完全革新了幾何學與分析學, 而且只用一篇文章就奠定了素數定理的證明基礎. 這一工作表明, 復平面上的微積分可以用來證明, 不超過 的素數個數漸近等于 . 1854 年, 為取得在德國大學擔任教授的資格 (Habilitation), 黎曼需要提交一篇更高級的論文, 他選擇了建立任意一個函數可以展開成傅里葉級數的充要條件.

所成的論文《用三角級數來表示函數》以對這個問題的歷史綜述開始. 黎曼接下來建立了一個函數可積的充要條件. 關鍵在于, 對于任意事先指定的上界 , 變差大于 的地方必須要在一些區間之內, 所有這些區間的長度之和可以任意小.

為了說得更清楚, 我們需要定義函數在一點的變差(振幅). 考慮 在所有包含 的開區間上的變差. 在點 的變差 , 定義為 在所有包含 的開區間上的變差的下確界. 特別是, 當且僅當 在點 連續. 函數 在 可積的一個充要條件是, 對任意的 與 , 變差大于等于 的點集中在總長度小于 的一些區間內.

這個定理的證明可以通過將定積分定義為

的極限而變得更簡單, 其中 是區間 中的任意一點. 正如我們在 4.6 節介紹的, 當且僅當我們可以控制各個區間的最大長度, 使得以下和式

與 0 任意接近時, 定積分存在. 連續函數是可積的, 因為我們可以在每個區間上將變差 控制得足夠小. 不過, 我們也可以使得上述和式足夠小, 只要我們能夠將那些變差比較大的子區間的長度總和控制住.

例如, 只在一個點不連續的有界函數是可積的. 盡管包含這個點的區間上的變差不可能小于該點的變差, 但我們可以將區間的長度選取得足夠小, 使得它對式 (5.1) 的貢獻足夠小.

雖然黎曼對定積分的定義很笨拙, 但對他的本意來說是完美的, 即建立函數可積的充要條件.

黎曼立即構造了一個函數, 它在包含它的每一個任意小的區間內都是不連續的, 但它仍然是可積的. 他的函數是

其中 是 減去離 最近的整數, 在例外的情況中, 即當 為半整數時, 離它最近的整數有兩個, 此時定義 等于 0. 例如, . 雖然這個函數在每個區間上都有一個不連續點, 但對每個 , 只存在有限多個點, 其變差超過 . 這個函數的圖像在圖 5.1 中給出.

黎曼對定積分的最后一個貢獻, 是引入了瑕積分的概念. 他指出, 有可能通過取極限的方式來定義一個無界函數的積分. 作為例子, 等于 2, 這是因為

雖然 在 上不可積, 但它的瑕積分存在.

圖 5.1　黎曼的在每個區間上都有不連續點的可積函數:

2

微積分基本定理的反例

只要我們只考慮連續函數, 微積分基本定理就成立. 但如果我們考慮的是具有無限多個不連續點的函數, 就不能再假定作為黎曼和極限的積分與作為原函數的積分是等價的. 這樣一個例子來自式 (5.2) 所給出的黎曼函數.

有些函數本身是導函數, 但不一定是連續的. 一個標準的例子是不連續導數 (discontinuous derivative), 我將稱之為 函數, 定義如下 (圖 5.2):

圖 5.2　當 時, ; 當 時,

當 時, 的導數是 . 當 時, 需要用到導數的極限定義來計算:

在 處不連續, 因為

不存在.

正如加斯東·達布 (Gaston Darboux, 1842—1917) 在 19 世紀 70 年代所證明的, 每個導函數一定具有介值性質.也就是說, 若 是某個函數的導函數, 則對任意的 , 以及介于 和 之間的任意的 , 一定存在某個 , 使得 . 式 (5.3) 所定義的函數 具有一個在 處不連續的導函數, 不過 仍然具有介值性質: 每個包含 的開區間也包含使得 取值為 的點, 以及取值為 之間任意一個值的點 (圖 5.3).

圖 5.3　當 時, ; 當 時,

從達布的結果可以推出, 式 (5.2) 所給出的黎曼可積函數不可能是一個導函數. 如果我們定義

則 在 的任意不連續點都不可導. 內的每個開區間都包含無窮多個 的值, 使得 在 處不可導, 正是因為被定義為積分的函數并不一定就可導.

在另一個方向又如何呢？如果已知函數 是另一個函數 的導數, 是否總可以對 積分？嚴格說來, 不存在可以作為黎曼和極限的無界函數. 由此可以推出, 的導數在任何包含 的區間上不可積. 不過這還不夠令人信服, 因為瑕積分的確存在. 這個問題的一個更強的版本如下: 如果已知函數 在區間 上每一點可導, 而且其導數 在該區間上有界, 是否可以推出 在該區間上可積？換言之, 若在區間 上 存在且有界, 是否總有

令人驚訝的是, 回答是“否”. 原因是定積分有可能不存在. 這個結果是由意大利數學家維托·沃爾泰拉 (Vito Volterra, 1860—1940) 在 20 歲時給出的, 在一年以后, 即 1881 年發表. 這種函數的一個反例的介紹與解釋可見 [10], pp. 89-94.

雖然有這些令人不安的發現, 關于黎曼積分的真正問題倒不在于微分與積分并非總是互逆的過程, 而是在于結果表明, 黎曼積分 —— 其定義用于澄清一個不連續函數何時可積 —— 不太適合用來證明關于積分的其他結果. 特別是 19 世紀晚期的一個重要問題: 刻畫那些可以逐項積分的級數. 這對傅里葉級數以及其他源于求解偏微分方程的級數來說尤為重要.

一個不可逐項積分的級數的例子如下:

其部分和是 (圖 5.4)

圖 5.4　 的圖像, (實線), (長虛線), (短虛線)

隨著 的增大, 的駝峰越來越向右隆起. 對 中的每個 隨著 的增大而趨近于 0. 因此,

這個級數的積分等于 0,

而 下方區域的面積是 , 當 趨于無窮時, 它趨于 1:

在這個例子中, 無窮和的積分并不等于積分的無窮和.

亨利·勒貝格 (Henri Lebesgue, 1875—1941) 在其 1901 年的博士論文中, 提出了一個不同的積分, 這可以消除與黎曼積分相關聯的許多困難. 他沒有分割函數的定義域, 而是選擇劃分值域.

在圖 5.5 中, 值域被劃分為高度等于 1 的各個區間. 所標記的區間, 是那些取值在 1 和 2 之間的點. 我們用 , 即 的測度, 來表示所有這些區間的長度之和. 更一般的是, 是那些函數值介于 和 之間的區間長度之和. (我們將在 5.4 節看到任意一個集合的測度的定義.) 對于 在 上的積分, 我們讓每個測度 乘以對應函數值下界 而得到一個下界, 讓每個測度 乘以對應函數值上界 而得到一個上界:

圖 5.5　勒貝格的水平劃分

如果我們選取一個更精細的劃分, 比如 , 且 , 其中 取遍所有的整數, 并令 是滿足 的 構成的集合, 則定積分有上、下界如下:

當且僅當可以選取充分小的 , 使得上式兩端的上和與下和任意接近時, 函數 的勒貝格積分存在. 上和與下和的差正好是

因為 是有限的, 所以如果 在區間上的上界與下界都是有限的, 那么可以選取充分小的 , 使得這個差任意小. 在這種情況下, 勒貝格積分的上界與下界趨向于同一個極限.

值得指出的是, 勒貝格的方法可以處理在一個方向無界 (即無上界或無下界) 的函數, 而無須借助于瑕積分. 如果積分的下極限趨于 , 那么定積分的值就定義為 . 如果積分的下極限趨于某有限值, 則上極限必定趨于同一個值, 從而定積分具有一個有限值. 此外, 如果我們允許 是無窮多個區間的并集, 則沃爾泰拉的函數不再構成微積分基本定理的反例. 利用勒貝格積分, 它的導數仍然是可積的. 不過最重要的在于, 勒貝格大大簡化了決定一個級數何時可以逐項積分的問題. 今天, 大多數數學家在使用勒貝格積分, 不論是以隱含的方式, 還是以明確的方式.

為使用勒貝格積分, 我們需要對任意的有界實數集 定義其測度 , 而這意味著我們需要理解實數的子集的可能結構, 結果表明, 這個挑戰遠遠超出了 19 世紀上半葉數學家可以想見的難度. 對此, 我們將在本章最后一節 (5.4 節) 探究.

不過, 即便是勒貝格積分也并不是完美無缺的. 如果我們考慮函數

它具有定義良好的導數,

但在任何一個包含 0 的區間上, 這個導數既沒有上界也沒有下界, 它的勒貝格積分不存在, 盡管其瑕黎曼積分確實存在. 在 1912 年與 20 世紀 60 年代之間, 好幾位數學家創造了克服這個問題的等價的積分定義, 通常被稱為亨斯托克 (Henstock) 積分.

這里所傳遞出的信息在于, 積分的整個課題遠比我們在一元微積分里學到的復雜. 然而, 學生必須要懂得函數既可以作為微分的逆運算, 也可以作為求和的極限過程. 微積分基本定理正好聯系了積分的這兩個觀點, 而且微積分的諸多威力恰好依賴于這一聯系.

3

魏爾施特拉斯和橢圓函數

在談論 19 世紀的分析學發展時, 必定要提到卡爾·特奧多爾·威廉·魏爾施特拉斯 (Karl Theodor Wilhelm Weierstrass, 1815—1897, 圖 5.6), 他被貝爾 (Bell) 譽為“分析學之父”. 我們 (在 3.3 節) 早就碰到過他了, 他確立了歐拉關于正弦函數的無窮乘積的合理性. 自 1856 年起, 魏爾施特拉斯開始擔任柏林大學的數學教授, 他在那里教授周期為兩年的分析學, 培養了 19 世紀晚期的許多數學家, 包括索菲婭·柯瓦列夫斯卡婭 (Sofia Kovalevskaya, 1850—1891), 首位在歐洲的大學擁有數學教授席位的女數學家. 對一致連續性與一致收斂性的現代理解, 主要功歸于魏爾施特拉斯. 他證明了, 如果一個級數一致收斂, 那么它就可以逐項積分,

魏爾施特拉斯經常在課堂上慷慨地分享其數學創見, 并允許學生細化并發表.

圖 5.6　卡爾·特奧多爾·威廉·魏爾施特拉斯

第一個無處可微的連續函數的例子就是這種情形. 1872 年, 魏爾施特拉斯在課堂上給出了這個例子. 三年后, 他的學生保羅·杜波依斯-雷蒙德將它發表了. 關于魏爾施特拉斯的諸多貢獻的一個極好的介紹可見于威廉·鄧納姆 (William Dunham) 的《微積分的歷程》(The Calculus Gallery).

魏爾施特拉斯的成功之路并非一帆風順. 他父親對他的期望是在普魯士政府謀得一個管理職位. 為此, 他把魏爾施特拉斯送到大學學習法律、金融和經濟. 因為父親不允許他追求數學, 魏爾施特拉斯非常沮喪, 他忽略了所有課程, 連期末考試也懶得搭理. 大學肄業一年后, 他進入明斯特大學, 預備成為一名高中數學老師. 1841 年, 剛好快到他 26 歲生日時, 他終于畢業了, 并得到了第一份教職.

幸運的是, 魏爾施特拉斯在明斯特大學的老師有克里斯托夫·古德曼 (Christoph Gudermann, 1798—1852), 他是當時少有的橢圓函數與阿貝爾函數方面的專家之一. 魏爾施特拉斯的最大貢獻就在于對這類函數的研究, 遺憾的是, 只有極少數數學本科專業課程會介紹這類函數. 在業余時間, 他探究這類函數的奧秘, 偶爾發表幾篇文章, 但很少受到關注. 直到 1854 年, 他發表了《關于阿貝爾函數的理論》( “Zur Theorie der Abelschen Functionen” ), 這項工作是如此重要, 以至于哥尼斯堡大學授予他榮譽博士學位, 柏林大學則聘請他為數學教授.

為討論魏爾施特拉斯所取得的成就, 我們需要復平面的微積分知識, 因此這超出了我們在這些篇幅里可以解釋的范圍. 然而, 由于橢圓函數非常重要, 在當今最激動人心的數學 (從費馬大定理的證明一直到現代物理中的弦論) 中占有中心位置, 因此值得指出它們是如何定義的, 以及為什么如此重要. 橢圓函數的名字源于一個曾經困擾牛頓的問題: 求出橢圓的一段弧長. 正如在 2.6 節所提到的, 人們在 1659 年就已經知道了弧長公式

一旦知道行星的運動軌道是橢圓, 自然就引出了求橢圓弧長的問題. 如果我們考慮中心在原點的上半橢圓 (其中 ), 或

其導數是

從 0 到 的弧長為

其中, .

問題源于被積函數分母中的四次多項式的平方根. 在同一時期, 人們還發現了其他類似的積分, 其中最著名的一個是, 確定單擺何時沿著其擺弧到達某給定點的積分.這些積分 (分子是一個多項式, 分母是一個三次或四次多項式的平方根) 后來被稱為橢圓積分. 分母是一個五次以上多項式的平方根的積分被稱為阿貝爾積分, 源于阿貝爾對它們的研究.

1797 年, 高斯發表了對這些積分的第一個真正見解, 聚焦于最簡單的情形 (這個函數的圖像見圖 5.7):

高斯注意到, 可積分的類似函數 (其分母是一個二次多項式的平方根的函數) 是更常見的函數的反函數,

其中, 是雙曲正弦函數, 而 是它的反函數. 第一個見解是, 與其考慮由橢圓積分定義的函數, 不如關注其反函數.橢圓函數 就定義為 的反函數.

第二個見解源于這樣的認識: 橢圓函數只有定義在復平面 上才能展現其真正本性. 雖然正弦函數與雙曲正弦函數作為實數軸上的函數看起來非常不同, 但如果在復平面上考察它們, 差異就消失了. 多虧了歐拉公式, 即 3.3 節的式 (3.9), 我們有

作為復平面到自身的一個映射, 雙曲正弦函數只不過是將正弦的自變量與因變量都旋轉了 . 特別是, 在復平面上, 它們都是周期函數. 正弦函數有實周期: . 雙曲正弦有純虛周期:

圖 5.7　 在 上的圖像

橢圓函數具有兩個周期. 復平面上的兩個線性無關的向量可定義一個平行四邊形, 它可以用來產生一個格 (圖 5.8). 正如正弦函數在整個實數軸上的值由它在 上的值唯一確定, 一個橢圓函數在整個復平面上的值也由它在這個平行四邊形上的值唯一確定. 事實上, 正弦函數與雙曲正弦函數只不過是橢圓函數的極端情況, 兩個周期之一被拉伸為無窮大.

圖 5.8　一個具有周期 1 和 的橢圓函數的周期格

橢圓函數的優美與威力源于它們之間的錯綜復雜的恒等式與關系. 三角函數等式只不過是橢圓函數世界的紛繁景象的蒼白投影. 對橢圓函數的直覺, 沒有一個人能勝過印度數學家斯里尼瓦瑟·拉馬努金 (Srinivasa Ramanujan, 1887—1920), 他甚至經歷了兩次大學輟學. 作為馬德拉斯 (Madras) 的一個職員, 他有機會到馬德拉斯大學的數學圖書館學習, 他在那里學到了橢圓函數, 并開始自己探索這片沃土. 他的發現在其短暫的一生中得到了認可, 他成為英國皇家學會最年輕的會員之一, 而且是印度第二個享有此榮譽的人. 由于人們后來發現, 源于橢圓函數的對稱遍及大自然, 因此拉馬努金的結果對現代物理來說變得非常根本.14今天稱為金奈 (Chennai).

4

實數的子集

格奧爾格·康托爾以他在集合論和實數系結構方面的工作著稱, 不過他是從一個關于傅里葉級數的問題開始做研究的. 康托爾曾在柏林大學跟隨庫默爾 (Kummer) 和魏爾施特拉斯研習數論. 在獲得擔任大學教授職位的資格后, 他的第一份工作是在哈雷-維滕貝格大學任教, 在那里, 愛德華·海涅勸服他研究傅里葉級數中存在的問題. 康托爾很快全力解決了具有無窮多個不連續點的函數的傅里葉級數展開. 這使他認識到, 實數的所有無限子集并非都可以比較大小.

事實上, 正如數學界慢慢認識到的, 對實數的有界無限子集的大小, 存在三種不同的描述方式: 稠密性、基數和測度.

稠密性是其中最古老的, 而且在 19 世紀中葉前就已經得到了很好的理解. 如果每一個與 相交的開區間都包含 的子集 中的至少一個點, 則稱 在 中稠密. 事實上, 你一旦知道每個開區間都包含 中至少一點, 就不難知道, 每個開區間包含 中無限多個點. 上的一個稠密子集的經典例子是該區間上的全部有理數. 許多更小的子集, 比如分母為 2 的冪的有理數, 也是稠密的.

另一個極端, 是所謂的無處稠密的子集. 如果 的每個開子區間都包含著一個子區間, 它跟 不相交, 則集合 在 中無處稠密. 任何有限子集都是無處稠密的, 集合 在 中也是無處稠密的. 的每個開子區間 都包含一點 , 它不是某整數的倒數, 因此它介于 與 之間 ( 為正整數). 與 的交就是 的一個子區間, 它不包含任何形如 的數.

正是康托爾在 1873 年發現 (并于次年發表) 了無限集合的基數的重要性.兩個集合具有相同的基數, 當且僅當它們之間存在一一對應的關系. 在這個意義下, 區間上的有理數集不超過正整數集. 從 和 出發, 我們可以將有理數線性排序: 取有理數的簡約形式, 如果 或 , 而 , 則 排在 之前. 中的全部有理數可以與正整數形成一一對應的關系, 如下所示.

有限集或可以與正整數集形成一一對應關系的集合都稱為可數的. 有理數集是可數的. 這也許不足為怪. 那么究竟是否只有一種無限呢？康托爾 1874 年的論文表明, 存在更大的無限. 特別是, 區間上的全部實數無法與正整數集構成一一對應的關系. 這個事實的標準證明有賴于實數的無限小數表示是眾所周知的.鄧納姆對康托爾的原始證明給出了優美的論述, 這個證明直接建立在實數的完備性基礎上.如果一個集合不是可數的, 就稱為不可數. 區間上的實數集不可數.

我們在 5.2 節遇到了描述一個集合大小的第三種方式, 稱為測度. 勒貝格用三條準則來定義它:

(1) 區間的測度是其長度, 單點集的測度是 0, 對于有限多個或可數無窮多個有測度定義的集合的無交并, 其測度是各個子集合的測度之和;

(2) 對一個集合做平移 (即每個元素加上同一個數) 不會改變其測度;

(3) 若 和 都有定義良好的測度, 則 與 (在集合 中而不在集合 中的元素構成的集合) 都有定義良好的測度, 而且后者的測度等于 的測度減去 的測度.

正如勒貝格所能證明的, 這些條件唯一確定了度量實數子集大小的方式. 為求出一個集合 的測度, 我們定義 的一個覆蓋 為開區間的任意一個包含了 的可數并, 而該覆蓋的長度則定義為這些開區間的長度之和.若 的測度存在, 則它必定等于 的所有覆蓋之長度的下確界. 如果我們考慮 的子集, 則這個區間上的有理數集 (它是可數多個測度等于 0 的集合的無交并) 的測度等于 0, 而這個區間上的無理數集具有測度 1. 任意可數集必的測度必然為 0. 那么 上的不可數集又如何呢？

正如康托爾所表明的, 一個不可數集的測度也可能為 0. 如果我們從區間 出發, 去掉開區間 , 就得到了一個測度為 的集合. 如果我們繼續去掉剩下兩個區間中間的三分之一, 即 和 , 就能得到一個測度為 的集合. 如法炮制, 我們在每一步去掉上一步剩下的各個區間中間的三分之一. 在第 步以后, 我們得到 個區間, 其總測度是 (圖 5.9). 集合 有時稱為康托爾塵 (Cantor dust), 它由 中剩下的點構成. 被去掉的集合是一些區間的可數并, 從而康托爾塵是可測的, 而且其測度是

集合 顯然包含了所有區間的端點, 即分母為 3 的冪的有理數. 也許會讓你驚訝的是, 中還包含不可數個其他點.

圖 5.9　通過去掉中間的三分之一來構造康托爾集

對此, 最簡單的方式是采用 3 為底數, 或者 0 和 1 之間的實數的三進制表示. 例如

這些區間的端點是有窮的三進制小數. 0 和 1 之間的每個實數都可以在十進制下表示為一個無窮小數, 而且這個表示是唯一的, 除了那些有限小數也可以表示為以無窮多個 9 結尾的無窮小數以外, 例如

以類似的方式, 0 和 1 之間的每個實數都可以在三進制下表示為一個無窮小數 (其中只用到數字 ), 而且這個表示是唯一的, 除了那些有限小數也可以表示為以無窮多個 2 結尾的無窮小數以外, 例如

康托爾塵由單位區間去掉了區間 , 然后是 和 , 再接下來是 , 以及 等之后剩下的點構成. 換言之, 我們去掉了所有其唯一三進制表示中在某個 1 之后有非零數字的數. 一個三進制表示中只含有 0 和 2 的實數一定包含在康托爾塵中. 特別是, 康托爾塵中的一個元素是

這樣的數有多少呢？顯然在 與形如

的二進制表示的數之間有一一對應的關系.

然而, 單位區間上的每一個實數都有這樣一個二進制表示, 因此 的基數與單位區間 的基數一樣大.

集合 是違背直覺的. 它是無處稠密的: 每一個與 相交的開區間必定與我們去掉的某個開區間有交集. 它是不可數的. 而且它具有測度 0.

一個無處稠密的集合可以具有正的測度嗎？回答是肯定的. 如果我們不是去掉中間的三分之一區間, 而是去掉中間的五分之一區間, 那么每個開區間將仍然與其中之一有交集, 但剩下的集合的測度是

通過選取更小的分數, 我們可以使得剩下來的無處稠密集的測度與 1 任意接近.

那么一個稠密子集是否可以有測度 0 呢？如果它是可數的, 比如說是有理數集, 那么回答顯然是肯定的. 不過即便這個集合不可數, 回答也可以是肯定的. 從康托爾集 出發, 將 的一個副本 (按比例縮小) 放到區間 中. 然后將 的另一個副本 (按比例縮小) 放到那 3 個被去掉的長度為 的區間中. 將 的另一個副本 (按比例縮小) 放到那 9 個被去掉的長度為 的區間中. 如此下去, 直至無窮. 由于每一個集合的測度為 0, 故所有這些集合的并集測度為 0, 不過它在 中稠密.

綜上所述, 描述 的一個無限子集的大小有三種方式:

一共會產生 8 種可能的組合, 其中只有兩種不會出現, 即“可數”與“正測度”相連的兩種組合.

種特殊情況, 因此這五個子集不能全都是可測的. 除此以外, 通過推廣他們的論證, 可以證明任意立體形狀可以劃分為有限多個子塊, 并用剛體運動重組為其他立體形狀. 這個結果的一個宜人的證明可見瓦普納 (Wapner) 的 [70], 書名《豌豆和太陽》(The Pea and the Sun) 的含義在于, 如果我們接受選擇公理, 那么理論上有可能將一粒豌豆 (pea) 分割成有限多塊, 然后利用剛體運動將它們重組為太陽 (sun) 大小的球體.

就像連續統假設一樣, 我們可以選擇接受或拒絕選擇公理, 而不影響我們對實數所知的其他一切, 包括我們是否選擇接受連續統假設. 實數集真的是超出了你的想象.

《微積分的歷程：從牛頓到勒貝格》

作者：鄧納姆

譯者：李伯民 汪軍 張懷勇

本書榮獲“第七屆文津圖書獎推薦書目”。

這不是一本數學家的傳記，而是一座展示微積分宏偉畫卷的陳列室。書中的每一個結果，從牛頓的正弦函數的推導，到伽瑪函數的表示，再到貝爾的分類定理，無一不處于各個時代的研究前沿，至今還閃爍著耀眼奪目的光芒。