一個孤立的壞點，以及它逼出的問題
上一篇我們學到：每當一個函數在一個去心圓盤上全純——在點 z_0 附近處處全純，唯獨 z_0 本身可能例外——它在那裡就擁有一條羅朗級數，一個雙邊展開 sum a_n (z - z_0)^n，指標 n 跑遍所有整數，正的與負的都有。這樣的點 z_0 是一個孤立奇點：函數在那裡也許失常，但在它周圍整整一圈裡舉止完美，沒有別的麻煩擠進來。「孤立」這個詞真的在出力。譬如 log z 的一條分支割線上的點，四面八方都是壞鄰居，它不是孤立奇點，所以本篇所言對它一概無效。
那麼假設 z_0 真的是孤立的。函數在那裡看似奇異——但有多奇異？把 z_0 = 0 附近三個誠實的例子擺在一起比較：函數 (sin z)/z，在 0 處看似沒定義卻幾乎沒皺一下眉；函數 1/z^2，它爆掉了；以及函數 e^(1/z)，它做的事比爆掉還要古怪得多。這三個在 0 周圍的去心圓盤上都全純，三個在那裡都有羅朗級數，然而它們不是同一種麻煩的三種深淺。它們是三種不同的麻煩，而本篇的目標就是替它們命名，並乾淨俐落地把它們分辨開來。
主部就是那位法官
整個分類繫於羅朗級數的一塊：主部，由負次冪項構成的那一塊，sum（對 n < 0）a_n (z - z_0)^n。剩下的非負次冪構成一條普通的冪級數，它在 z_0 處完全溫馴——它貢獻一個有限的值，僅此而已。一切奇異的戲劇都住在主部裡。所以正確的問題從來不是「f 變得多大？」而是：羅朗級數實際攜帶了多少個負次冪項？ 把它們數一數，判決便機械地隨之而來。
f(z) = ... + a_-2/(z-z_0)^2 + a_-1/(z-z_0) + a_0 + a_1(z-z_0) + ...
\______________ principal part ______________/ \__ tame part __/
no negative terms -> REMOVABLE
finitely many, lowest power -m -> POLE of order m
infinitely many -> ESSENTIAL那張小圖表就是整個分類的全部內容，而它有多麼斬釘截鐵，值得停下來想想。主部要嘛沒有項，要嘛有有限個非零項，要嘛有無窮多項——對「項的個數」而言沒有第四種選擇。所以每一個孤立奇點都恰好落入三個盒子之一，不重疊、不剩餘。這個三分法不是我們選定的約定；它是算術逼到我們頭上的，就在我們接受「孤立奇點總有一條羅朗級數」的那一刻。
可去：那從來不曾真正存在的麻煩
若主部是空的——每個負係數 a_n 都是零——奇點就是可去的。這時羅朗級數只是一條普通的冪級數，它收斂到整個圓盤（z_0 也包含在內）上一個完美乖巧的全純函數。唯一出錯之處，是 f 恰好在 z_0 這單獨一點被擱置未定義（或被草率地定義）；補上那一個值 f(z_0) = a_0，缺口便天衣無縫地癒合。我們的第一個例子正是如此。在 0 附近，sin z = z - z^3/6 + ...，所以 (sin z)/z = 1 - z^2/6 + ...，一條乾淨的冪級數，根本沒有負次冪項。一旦你指定值 1，0 處看似的奇點便蒸發了。
極點：一場乾淨、可控的爆發
若主部非空但會停下——負次冪項有有限個，而出現的最負的冪是 -m（亦即 a_-m 非零，但對所有 n < -m 皆有 a_n = 0）——那麼 z_0 是一個 m 階極點。這裡函數確確實實爆掉：當 z 趨近 z_0，項 a_-m/(z - z_0)^m 居主導地位，|f(z)| 一路奔向無窮。但它以可想像最有紀律的方式如此，恰如 1/(z - z_0)^m 那般。我們的第二個例子 1/z^2 就是它自己的羅朗級數；主部是 1/z^2 這單獨一項，最低的冪是 -2，所以 0 是二階極點。一階極點稱為單極點，是你會遇到最常見的那種。
有一個漂亮又實用的辦法，不必展開任何級數就能辨認、甚至定位一個極點，而它是整門學問裡最乾淨的單一徵兆：在一個 m 階極點附近，把 f 乘以 (z - z_0)^m 會清掉所有負次冪，留下一個全純且非零的函數。等價地說，當 z 趨於 z_0 時 |f(z)| 趨於無窮——而且其逆也成立：若在一個孤立奇點處 |f(z)| 趨於無窮，那麼該奇點必定是極點。所以「趨於無窮」正是極點精確的指紋：不是有界（那會是可去），而是乾淨地趨於無窮（不是我們即將遇見的那種狂野振盪）。
- f 在 z_0 附近有界嗎（|f| 是否始終低於某個固定的數）？若是，奇點可去——到此為止。
- 當 z 從各個方向趨於 z_0 時，|f(z)| 是否趨於無窮？若是，它是極點；階數 m 是使 (z - z_0)^m f(z) 在 z_0 處變得有界（其實是全純且非零）的最小冪。
- 否則 |f| 既不保持有界、也不趨於無窮——它視趨近方式而既是又不是兩者。那麼奇點是本質的。
本質：真正的狂野
若主部永不停下——有無窮多個非零的負係數——奇點就是本質的，而那裡的舉止不只是壞，而是駭人地壯觀。我們的第三個例子 e^(1/z) 展示了它。把 1/z 代入指數級數 e^w = 1 + w + w^2/2! + ... 得到 e^(1/z) = 1 + 1/z + 1/(2! z^2) + 1/(3! z^3) + ...，一道無窮的負次冪瀑布。這裡沒有階數 m，因為沒有最負的冪——主部永遠往下走。依我們的三分法，e^(1/z) 在 0 處有本質奇點，無論乘上多少個 (z - 0)^m 都永遠馴服不了它。
狂到什麼地步？卡索拉提-魏爾斯特拉斯定理說：在本質奇點附近，f 的值會任意逼近每一個複數——在任何微小的去心鄰域裡，像在整個平面中都是稠密的。皮卡定理（下一篇的壓軸）把這一點銳化到幾乎難以置信：f 其實取到每一個複數，無窮多次，至多只有一個例外。對 e^(1/z) 而言那唯一的例外是 0（指數函數永不為零，正如你先前所學）；其餘每一個值，在環繞原點不斷縮小的每一個圓盤裡，都被擊中無窮多次。這就是為什麼那裡不存在單一的極限：視你如何趨近 0，e^(1/z) 可被導向 0、導向無窮，或導向你高興的任何一個數。
為什麼這在接下來要緊
這個三向分類是本階梯其餘部分所立足的基礎。一旦你知道一個奇點是極點，它的階數 m 就成了一個你能拿來計算的數——第三篇把它變成對零點與極點的乾淨計數，而下一階梯的留數機器則抽出單一係數 a_-1 來算積分。一旦你知道一個奇點可去，你就乾脆把它抹掉、繼續前進。而一旦你知道一個奇點是本質的，你便接受函數在那裡不可控，並心存敬意地把你的圍道繞開它。你從主部讀出的判決不是學究式的記帳；它精確地告訴你哪些工具會奏效、哪些不會。
心裡記住一條誠實的但書。這裡的一切都要求奇點是孤立的——一個四周皆良好的、孤伶伶的壞點。具有分支點的函數，或極點朝著一個極限點堆積的函數，或有一道稠密奇點之牆的函數，全都落在這個三分法之外，需要不同的構想。但對於那一大群重要的、除了散落的孤立點以外處處全純的函數——也就是我們在兩篇之後會遇見的亞純函數——這個分類是完備的，而它正是讓整套留數理論聚焦成形的那面透鏡。