1.1 無窮小的困擾與極限的誕生#

本章導言#

微積分的故事，始於一個看似簡單卻折磨了數學家近兩千年的問題：什麼是「無窮小」？ 當我們說曲線在一點的切線斜率，是「 \(\Delta x\) 趨近於 \(0\) 時割線斜率的極限」，我們其實正在使用一個十七世紀的數學家自己都說不清楚的概念。本節將帶領讀者回到歷史現場，看見極限概念如何在困惑與爭議中誕生。

從古希臘的恐懼說起#

公元前五世紀，Elea 學派的 Zeno（芝諾，約公元前490–430年） 提出四個著名的悖論，其中「阿基里斯與烏龜」最為震撼：

阿基里斯追烏龜，當他到達烏龜的出發點時，烏龜已前進了一段；當他再到達那個新位置，烏龜又前進了。如此無窮盡地下去，阿基里斯永遠追不上烏龜。

Zeno 的悖論揭示了當時數學的一個根本困境：無窮多個量之和是否可以有限？ 希臘人無法回答，於是採取了逃避策略——Aristotle（亞里士多德，公元前384–322年） 明確宣布：「無窮」只能作為潛無窮（potential infinity，永遠可以再多一個）存在，不能作為實無窮（actual infinity，一個已完成的無窮整體）存在。這條禁令統治了西方數學近兩千年。

Eudoxus 的窮竭法：無窮小的第一次妥協#

為了在不觸碰「實無窮」的前提下計算面積與體積，Eudoxus（歐多克索斯，約公元前408–355年） 發明了窮竭法（method of exhaustion）。其核心思想是：

• 欲求圓的面積 \(A\) ，我們用內接正多邊形逼近。
• 邊數加倍，多邊形面積 \(A_n\) 遞增且永遠小於 \(A\) 。
• 假設 \(A - A_n\) 不小於某個正量 \(\varepsilon\) ，則可導出矛盾（這正是反證法 + 阿基米德性質的雛形）。

Archimedes（阿基米德，公元前287–212年） 將窮竭法發揮到極致，算出了拋物線弓形面積等於內接三角形面積的 \(\dfrac{4}{3}\) 倍。但注意：Archimedes 從不說「弓形面積等於無窮多個三角形之和」，而是說「它不小於任何小於 \(\dfrac{4}{3}\) 倍的數，也不大於任何大於 \(\dfrac{4}{3}\) 倍的數」。他用窮竭法證明結果，卻可能用某種「無窮小」的直觀發現結果——這份謹慎，恰恰預示了極限概念尚未成熟。

十七世紀的爆發與危機#

到了十七世紀，天文學、力學與光學的需求（計算行星軌道、瞬時速度、透鏡焦距）迫使數學家重新面對無窮小：

Cavalieri 的「不可分量」最受詬病：他說平面圖形由無窮多條等距線段構成。批評者 Tacquet 反問：如果線段沒有寬度，無窮多條線段疊起來怎麼會有面積？這就是著名的「無窮小是否為零」的兩難：

• 若 \(dx = 0\) ，則 \(\dfrac{dy}{dx} = \dfrac{0}{0}\) ，無意義；
• 若 \(dx \neq 0\) ，則 \((x+dx)^2 = x^2 + 2x\,dx + dx^2\) 中的 \(dx^2\) 不能捨去。

Newton 的流數法與「最終比」#

Newton 在 1665–1666 年的瘟疫年間發展出流數法。他把變量 \(x\) 視為隨時間流動的量（fluent），其變化率稱為流數（fluxion），記作 \(\dot{x}\) 。計算 \(y = x^2\) 的流數時，他讓 \(x\) 流動一個「無窮小時段」 \(o\) ：

接著 Newton 說：現在令 \(o\) 「消失」（vanish），最終比為 \(2x\) 。批評者 Berkeley 主教（George Berkeley，1685–1753） 在 1734 年出版《分析學家》（The Analyst），尖刻地質問：

這些消失的增量是什麼？它們既不是有限量，也不是無窮小，也不是零。難道我們不能稱它們為已死量的幽靈（ghosts of departed quantities）嗎？

Berkeley 的批評在數學上完全成立。Newton 自己也意識到這一點，晚年嘗試以「最初與最終比」（prime and ultimate ratios）——即今日極限思想的萌芽——來挽救理論，但語言仍不夠精確。

Leibniz 的記號遺產與無窮小的曖昧#

Leibniz 走的是另一條路：他直接引進記號 \(dx\) 表示「橫坐標的無窮小增量」，並大膽地把 \(\dfrac{dy}{dx}\) 當作真正的分數來操作。Leibniz 的立場是「充足理由律下的約定」：只要推理規則自洽且結果正確， \(dx\) 的形上學本質可以暫時懸置。他說過一句著名的話：

「不必過分謹慎，因為這種演算的規則本身會保證結果的正確性。」

這種「形式主義的寬容」使 Leibniz 記號在實用上大獲成功，今日我們使用的 \(\displaystyle\int\) 、 \(\dfrac{dy}{dx}\) 都來自他。但代價是：十八世紀的歐陸數學家（如 Euler 用 \(0/0\) 處理一切導數）在邏輯上始終站在流沙之上。

極限概念的黎明：從 d'Alembert 到 Cauchy 之前#

d'Alembert（達朗貝爾，1717–1783） 在 1754 年《百科全書》的「極限」條目中寫下關鍵一步：

「一個量趨近另一個量，可以比任何給定量更接近，然而前者永不超過後者，也永不與後者相等——這樣，前者就是後者的極限。」

這已經非常接近現代定義，但 d'Alembert 沒有把「趨近」這個動態過程形式化，也沒有提供 \(\varepsilon\) 的嚴格刻畫。Lagrange（拉格朗日，1736–1813） 則乾脆想繞過極限，用冪級數（泰勒展開）定義導數（1797 年《解析函數論》），卻在「什麼樣的函數可以展開為冪級數」上遭遇失敗。

極限誕生的時刻#

嚴格的極限定義要到 Cauchy（柯西，1789–1857） 在 1821 年《分析教程》（Cours d'analyse）中才真正成形，並由 Weierstrass（魏爾斯特拉斯，1815–1897） 在 1860–1880 年代以 \(\varepsilon\) – \(\delta\) 語言鑄成今日的鋼鐵形式。本書 1.2 節將完整介紹這一定義。在此先給出直觀版本：

關鍵的三個澄清：

1. 極限與函數值無關： \(\lim_{x\to a} f(x)\) 考慮的是 \(x\) 靠近 \(a\) 時 \(f(x)\) 的行為， \(f(a)\) 本身可以不存在、甚至可以不等於 \(L\) 。
2. 單邊自由： \(x\) 可以從左邊或右邊接近 \(a\) ，兩邊行為一致才是極限存在。
3. 動態轉靜態：極限定義把「無限接近」的動態過程，轉譯為「對每個容許誤差，都存在對應的接近範圍」的靜態邏輯語句。

一個具體例題#

例題 1.1.1：考慮 \(f(x) = \dfrac{x^2 - 1}{x - 1}\) ，討論 \(\displaystyle\lim_{x\to 1} f(x)\) 。

解： \(f(1)\) 無定義（分母為零），但極限是否存在與 \(f(1)\) 無關。當 \(x \neq 1\) 時可因式分解：

因此當 \(x \to 1\) （ \(x \neq 1\) ）時， \(f(x) \to 2\) 。數值驗證如下表：

可見不論從左或從右， \(f(x)\) 都趨近 \(2\) 。這正是十七世紀數學家說不清楚、卻天天在用的東西；而 \(\varepsilon\) – \(\delta\) 語言將把「趨近 2」變成可證明的命題（見 1.2 節）。

無窮小的現代救贖#

歷史有趣之處在於：Berkeley 攻擊的「幽靈」並未死去，而是在三百年後以兩種方式獲得救贖：

1. 非標準分析（Nonstandard Analysis）：Abraham Robinson（1918–1974） 在 1961 年以數理邏輯的超冪構造，證明可以嚴格地建立一個包含真正無窮小 \(\varepsilon \neq 0\) 的數系 \({}^*\mathbb{R}\) 。Leibniz 的直觀在邏輯上是自洽的！
2. 分布理論（Distribution Theory）：Laurent Schwartz（1915–2002） 在 1945 年建立的廣義函數理論，讓「Dirac 的 \(\delta\) 函數」這個物理學家隨手寫下的「無窮尖峰」成為嚴格數學對象，成為現代偏微分方程理論的基石。

歷史啟示#

從 Zeno 到 Cauchy，極限概念的誕生花了兩千三百年。這告訴我們：

• 直觀先行、嚴格在後是人類認識數學的正常次序；先學會「用」極限，再學會「證」極限。
• 危機推動進步：Berkeley 的攻擊不是數學的災難，而是它的恩人。
• 記號的力量：Leibniz 的 \(\dfrac{dy}{dx}\) 之所以長存，正因為它把極限的商「演算化」了。

與其他章節及領域的關聯#

• 1.2 節：將本節的直觀極限鑄成 \(\varepsilon\) – \(\delta\) 嚴格定義，是全書邏輯基礎。
• 1.3 節：連續性由極限定義；中間值定理是極限理論的第一個重大定理。
• 第 2 章：導數定義為差商的極限，是 1.1 節「最終比」的正式化。
• 5.1 節：級數收斂以「部分和數列的極限」定義，是極限概念的延伸。
• 微分方程：Newton 的流數法原初動機就是解運動方程 \(\ddot{x} = F/m\) ，極限是所有微分方程理論的地基。
• 傅立葉分析：Fourier 1807 年斷言「任意函數可展開為三角級數」，引發「何謂收斂」的深刻問題，直接催生了 19 世紀極限與積分的嚴格化（見 10.1、10.2 節）。
• 非標準分析：現代邏輯學對無窮小的平反，讀者日後可選修數理邏輯課程。

練習#

1. 用數值表估計 \(\displaystyle\lim_{x\to 0} \frac{\sin x}{x}\) （取 \(x = 0.5, 0.1, 0.01, 0.001\) ）。
2. 證明對 \(f(x)=x^2\) ，當 \(x\to a\) 時 \(f(x)\to a^2\) （提示： \(|x^2 - a^2| = |x-a|\,|x+a|\) ，先限制 \(|x-a|<1\) ）。
3. 說明 Cavalieri 不可分量原理中「無窮多條線段組成面積」的邏輯困難，並解釋窮竭法如何避開它。
4. 查閱 Berkeley《分析學家》的論證，用自己的話重述「已死量的幽靈」批評。
5. 思考題：如果允許 \(dx\) 是一個「非零但無窮小」的數， \(\dfrac{(x+dx)^2 - x^2}{dx}\) 展開後捨去 \(dx\) 項，這一步在什麼意義下可以嚴格化？

進階研讀：極限直觀的五個深化練習場景#

場景一：無窮小與階層。比較當 \(x \to 0^+\) 時各量趨於零的「速度」： \(\sqrt{x}\) 、 \(x\) 、 \(x^2\) 、 \(x^2 \ln x\) 、 \(e^{-1/x}\) 。用比值檢驗： \(\frac{x^2}{x} = x \to 0\) ，故 \(x^2\) 是比 \(x\) 「更快」的無窮小； \(e^{-1/x}\) 比 \(x^n\) （任意 \(n\) ）都快——這個「超快」的量在 5.3 節會以光滑非解析函數的身份重現，可見「無窮小的階層」從十七世紀的辯護工具成長為現代漸近分析的骨架。

場景二：無窮大與對偶。無窮小的倒數是無窮大，極限語言對稱地處理兩者： \(\lim_{x\to\infty} \frac{1}{x^p} = 0\) （ \(p>0\) ）與 \(\lim_{x\to0^+} x^{-p} = \infty\) 是同一件事的兩面。對偶視角在 3.2 節的廣義積分（ \(\int_0^1\) 與 \(\int_1^\infty\) 的臨界指數互補）中變成實用的計算法則。

場景三：收斂的「速率」概念。取 \(a_n = \frac{1}{n}\) 與 \(b_n = \frac{1}{n^2}\) ，兩者都趨於零，但達到誤差 \(10^{-6}\) 分別需要 \(10^6\) 步與 \(10^3\) 步。極限只回答「到不到」，不回答「多久到」——收斂速率的問題在 2.3 節（牛頓法二次收斂）與 5.1 節（級數收斂速度）成為主角，這是極限概念第一次成熟之後立即萌生的新問題。

場景四：單側行為與邊界。函數 \(f(x) = e^{1/x}\) 在 \(x \to 0^+\) 時爆炸、在 \(x \to 0^-\) 時歸零：同一點、兩種命運。這類「單側失配」在多變數（6.1 節路徑依賴的極限）中有直接推廣——「接近一點的方式」的數量從二（左右）躍升到無窮（路徑），極限的難度因此質變。

場景五：極限的否定證明的威力。要證明某極限不存在，只需「一個 \(\varepsilon_0\) 對付所有 \(\delta\) 」：構造兩個距離大於 \(2\varepsilon_0\) 的取樣序列即可。這個證明模板（對角/雙序列法）在 1.2 節例題三已用過，讀者應把它內化為肌肉記憶。

極限觀念在數學史上的五次「重新發明」#

1. 第一次：Eudoxus 的窮竭公理——「比例縮小至任意小」，用反證包裝極限，避免說出「無窮」一詞；
2. 第二次：十七世紀的無窮小實體化——Kepler、Cavalieri 把「無限細的片」當作實物使用，效率極高、邏輯懸空；
3. 第三次：Newton 的「最終比」與 d'Alembert 的「極限」——放棄實體無窮小，轉向過程描述，但語言仍屬動態；
4. 第四次：Cauchy–Weierstrass 的量詞化——把過程翻譯成「挑戰—回應」邏輯句，極限成為可機械檢驗的命題；
5. 第五次：Robinson 的非標準分析（1961）——用數理邏輯證明「實體無窮小」可以自洽存在，Leibniz 的直觀在三百五十年後獲得平反。

一個延伸計算：級數直覺的早期萌芽#

考慮 Archimedes 式的「面積帶權求和」問題：求 \(\displaystyle\sum_{n=1}^{\infty} \frac{n}{2^n}\) 。

直觀解法（重量思想）：把 \(n\) 個 \(\frac{1}{2^n}\) 想成第 \(n\) 層的重量。錯位相減：

兩式相減（對齊列），得 \(S - \frac{S}{2} = \frac12 + \frac18 + \frac{1}{32} + \cdots = \frac{1/2}{1 - 1/4} = \frac23\) ，故 \(S = \frac43\) 。

歷史意義：這種「錯位相減」技巧正是 Huygens 與 Leibniz 在 1650s 處理級數的標準武器，也是嚴格幾何級數理論（5.1 節）的直觀前身。它的合法性（逐項相減、重排）在絕對收斂的框架下才獲得證明——又一次「直觀先行、嚴格殿後」。

十七世紀爭議事件的延伸細節#

關於 Cavalieri 與 Guldin 論戰的補充：Guldin 的批評並非全然守舊——他提出的「重心定理」（Pappus–Guldin 定理：旋轉體積 = 面積 × 形心路徑）本身是正確且有用的（7.3 節使用）；爭論的焦點其實是證明標準：Guldin 堅持希臘式窮竭證明，Cavalieri 則提供了能「批量生產結果」的啟發法。這場爭論的現代版本，是計算數學中「快速近似 vs. 嚴格界」的張力——兩者今日以「先啟發式探索、後嚴格驗證」的分工和平共處。

關於 Berkeley《分析學家》的出版背景：它並非純粹的數學批評，而是一篇護教作品——Berkeley 想論證「神學的信仰若被要求證據，數學家的無窮小也應被要求」。他以子之矛攻子之盾的策略意外奏效：數學界無法回應其邏輯批評，只能加速嚴格化。批評者的動機與批評的價值可以完全無關——這是科學社會學反覆出現的主題。

自我檢核：學完本節你應能回答#

1. 為什麼 Aristotle 的「潛無窮禁令」最終必須被打破？哪類問題靠禁令無法解決？
2. 窮竭法「嚴格但低效」的兩個技術原因（逐案設計內接形、冗長的反證）分別被什麼後繼方法解決？
3. 「 \(dx = 0\) 或 \(dx \neq 0\) 」兩難的兩條現代出路（極限歸零、非標準實體）各自付出了什麼代價？
4. Fermat 的「準等式法」中，除以 \(e\) 再捨去 \(e\) 的項——用現代語言（2.2 節微分）重述這兩步的合法性。
5. 極限概念為何「先於其定義三百年被使用」？這對你學習本書其他章節（先計算後證明）有什麼啟示？

補充：Zeno 悖論的嚴格化解剖#

二分悖論的數學翻譯：走完距離 \(1\) 需要經過中點序列 \(\frac12, \frac14, \frac18, \ldots\) ，所需時間若速度為 1 則為 \(\frac12, \frac14, \ldots\) 之和。Zeno 的隱含假設是「無窮多個正的時間段之和無法有限完成」——這恰是級數理論（5.1 節）要精確化的命題。幾何級數 \(\sum 2^{-n} = 1\) 給出完滿回答：部分和單調有界，極限存在。Zeno 錯在把「無窮多步」等同於「無窮長時間」，而實數完備性（1.2 節）保證了單調遞增有界序列有極限——這個保證在公元前四世紀尚未存在，Zeno 的困惑有其時代合理性。

飛矢不動悖論的現代解讀：「每一瞬間箭都靜止，故運動不存在。」現代物理與數學的回應：速度本來就不是「單一瞬間」的屬性，而是極限 \(\lim_{\Delta t \to 0}\frac{\Delta s}{\Delta t}\) ——它需要一個（可任意小但非零的）窗口才能定義。導數定義（2.1 節）本身就是對飛矢悖論的正面回答：瞬時速度是「無窮縮短的窗口上平均速度」的極限，而非「瞬間的位移除以零」。

阿基米德性質的小品：窮竭法依賴「對任意 \(\varepsilon > 0\) 存在 \(n\) 使 \(\frac{1}{n} < \varepsilon\) 」。這條性質在非阿基米德域（如形式冪級數域）失效——那裡存在「比一切 \(1/n\) 都大」的無窮小。可見「無窮小是否存在」不僅是哲學問題，還取決於你選擇什麼樣的數域：標準實數中無窮小不存在（阿基米德性質），非標準超實數中則存在——選域即選立場。

補充：與其他文明的極限思想對照#

印度 Kerala 學派（14 世紀）在推導正弦級數時使用了「弧的無窮分割 + 逐項求和」，其論證風格接近 Cavalieri 而非 Archimedes——重啟發輕反證。中國劉徽的「割圓術」則以「所失彌少」的單調逼近 + 上界論證（圓面積小於外切多邊形）同時握住上下界——這實質上是上下夾逼思想，比 Archimedes 純內接逼近多了一層效率。伊斯蘭世界（al-Kashi 1424 年算 \(\pi\) 到 16 位）則以計算精度為導向，把極限思想推向「數值收斂驗證」。三大傳統殊途同歸地指向同一件事：曲線圖形的度量需要極限過程——這是本節的跨文明總結。

名詞速查表（本節出現的核心術語）#

• 窮竭法：用內接（或外切）圖形系列逼近目標面積，以反證完成證明的方法。
• 潛無窮 / 實無窮：「永遠可以再加一」與「一個已完成的無窮整體」的區分。
• 不可分量：Cavalieri 設想的無寬度線段（面積）或無厚度面片（體積）。
• 流數（fluxion）：Newton 對「變量變化率」的稱呼，今日的導數。
• 最終比（ultimate ratio）：Newton 對「消失增量的比值」的稱呼，即差商極限。
• 準等式（adequality）：Fermat 的術語，指在無窮小意義下的近似相等。
• 阿基米德性質：任意正實數都能被 \(\frac{1}{n}\) 超越；排除實體無窮小的關鍵公理。
• 一致收斂：函數項級數的「整體同步收斂」，將在 5.3 節正式登場。
• 非標準分析：Robinson 建立的、包含實體無窮小的嚴格分析體系。
• 分布理論：Schwartz 建立的廣義函數理論，使 \(\delta\) 等對象獲得嚴格定義。

年表速查（本節涉及的關鍵年份）#

• 約前 450：Zeno 悖論提出，挑戰無窮多量之和的概念。
• 約前 380：Aristotle 劃定潛無窮／實無窮界線，確立兩千年禁令。
• 約前 370：Eudoxus 創立窮竭法。
• 約前 250：Archimedes 求得拋物線弓形面積，登峰造極。
• 263：劉徽注《九章算術》，割圓術問世。
• 429–500：祖沖之父子推進 \(\pi\) 與球體積計算。
• 1340–1425：Kerala 學派 Madhava 建立三角函數級數。
• 1615：Kepler《酒桶的立體幾何》，無窮薄片的實用積分。
• 1635：Cavalieri《不可分量幾何學》。
• 1638：Fermat 準等式法與 Descartes 切線法之爭。
• 1665–1666：Newton 瘟疫年間創立流數法。
• 1675：Leibniz 手稿首現 \(\int\) 記號。
• 1684：Leibniz 發表首篇微積分論文。
• 1734：Berkeley《分析學家》出版。
• 1821：Cauchy《分析教程》——極限的正式化。
• 1861–1880：Weierstrass 講課體系， \(\varepsilon\) – \(\delta\) 鑄成。
• 1961：Robinson 非標準分析問世。

深化問答三則#

問：為什麼說「極限值與函數值無關」是革命性的？ 答：它把「曲線在 \(a\) 處的行為」與「曲線在 \(a\) 處的定義」分離。這個分離使以下三件事成為可能：補值延拓（如 \(\frac{\sin x}{x}\) 在 0 處補 1）、切線不依賴於端點值、以及極限運算在函數沒有定義處也能進行。十七世紀數學家把兩者綁在一起（切線=過該點的線的斜率），因此無法處理尖點與間斷。

問：窮竭法與 Riemann 和的最大差別是什麼？ 答：窮竭法是「驗證型」——先知道答案，再設計圖形去驗證；Riemann 和是「計算型」——對任意函數執行同一套「分割—取樣—求和—極限」程序，答案由程序產生。前者是手工藝，後者是流水線；從前者到後者的轉變，就是「積分學誕生」的真正含義。

問：非標準分析既然嚴格，為什麼沒有成為主流？ 答：三個原因。其一，其基礎（超濾子、超冪構造）需要數理邏輯背景，入門門檻高於 \(\varepsilon\) – \(\delta\) ；其二， \(\varepsilon\) – \(\delta\) 已足夠應付全部標準問題，替換缺乏收益；其三，非標準分析的證明可以自動「翻譯」回標準結論（轉移原理），這意味著它沒有給出標準分析得不到的新定理——它是同一座山從另一側登頂。但它作為教學工具與概念澄清的價值，至今仍被部分學者倡導。

（本節完）