先是一串清單，然後才是一個和
有兩個詞聽起來幾乎一樣，含義卻大不相同，能把它們分清，這場仗就贏了一半。數列不過是一串有順序、永不終止的清單：第一項、第二項、第三項，就這樣一直排下去。比如 1, 1/2, 1/3, 1/4, ... 就是一個數列——還沒有人去加任何東西，我們只是把這些值一個接一個地列出來。
無窮級數是當你決定把一個數列的所有項加到一起時得到的東西：1 + 1/2 + 1/3 + 1/4 + ...。數列是一串清單；級數則是這串清單的累加總和。那個深刻的問題——也正是整篇指南要講的——就是：這樣一種沒完沒了的加法，究竟能不能停在一個真實、有限的數上。
「收斂」到底是什麼意思：部分和
你沒法真的做無窮多次加法。於是數學家想了一個更聰明的辦法：只加第一項，再加前兩項，再加前三項，然後盯著這些部分和正在往哪兒走。第 n 個部分和 S_n = a_1 + a_2 + ... + a_n 是一次誠實的、有限的加法，是你真能動手算出來的。這樣你就有了一個全新的數列——S_1, S_2, S_3, ...——於是你就能問那個你已經會問的、關於數列的問題。
下面是精確的定義，它完全建立在你早先見過的極限概念之上。當 n 無限增大時，如果一個級數的部分和數列趨近於某個唯一的有限數 L，這個級數就收斂；這個數 L 於是被定義為該級數的和。如果部分和始終安定不下來——要麼一路衝向無窮，要麼永遠來回振盪——那麼這個級數就發散，根本沒有和。這正是收斂與發散的核心。
series: a_1 + a_2 + a_3 + a_4 + ...
partial sums: S_1 = a_1
S_2 = a_1 + a_2
S_3 = a_1 + a_2 + a_3
...
converges <=> lim (n -> infinity) S_n = L (a finite number)兩個著名級數：一個規矩，一個棘手
最友好的級數是幾何級數：每一項都是前一項乘上一個固定的公比 r，即 a + a*r + a*r^2 + a*r^3 + ...。可以想像成不斷取剩下部分的一半。令人驚訝的是，當公比足夠小——也就是 |r| < 1 時——這個無窮總和恰好等於 a / (1 - r)，一個乾淨俐落的有限公式。對於 1/2 + 1/4 + 1/8 + ...，有 a = 1/2、r = 1/2，所以和就是 (1/2) / (1 - 1/2) = 1。整堆沒完沒了的項，加起來不過是個樸素的 1。
geometric series: a + a*r + a*r^2 + a*r^3 + ... if |r| < 1: sum = a / (1 - r) (converges) if |r| >= 1: no finite sum (diverges) example: 1/2 + 1/4 + 1/8 + 1/16 + ... = (1/2)/(1 - 1/2) = 1
再看棘手的那個。調和級數 1 + 1/2 + 1/3 + 1/4 + ... 的各項都縮向零，那它的和總該是有限的吧？並不——它發散到無窮大。問題在於各項縮小得不夠快；部分和會一直無界地往上爬，只是爬得非常慢。這就是那個著名的陷阱：各項趨於零是收斂的必要條件，卻遠遠談不上充分。
終於追上的芝諾賽跑者
二十五個世紀以前，芝諾論證說運動是不可能的。要跑到終點，賽跑者必須先跑完一半路程，再跑完剩下的一半，再跑完那一半的一半，如此永遠繼續——無窮多步。無窮多步難道不該花掉無窮多的時間嗎？這個謎題難倒了一代又一代哲學家，正是因為他們缺了你如今已經掌握的那個觀念：一個收斂級數。
- 把這些路程寫成一個幾何級數：1/2 + 1/4 + 1/8 + 1/16 + ...——每一步都跑完剩下部分的一半。
- 看它的部分和：1/2，然後 3/4，然後 7/8，然後 15/16, ...。它們一步步逼近 1，卻從不越過 1。
- 取極限：因為 |r| = 1/2 < 1，和就是 a / (1 - r) = (1/2) / (1 - 1/2) = 1。無窮多步加起來，恰好等於整整一段完整的路程。
- 同樣的邏輯也適用於花費的時間：無窮多段越來越短的時間，加起來同樣是一個有限的時間。於是賽跑者會準時衝過終點線。