一個零點，以及函數壓在它上頭的力道
在上一篇，你兌現了泰勒定理：一個全純函數是「解析」的，在每一點 z_0 附近等於一個收斂的冪級數 sum a_n (z - z_0)^n，其中 a_n = f^(n)(z_0)/n!。現在我們把這個級數放出來，對付一個簡單的問題——f 在何處等於零？f 的一個零點，不過是使 f(z_0) = 0 的一點。對多項式而言這就是熟悉的根；但對一般的解析函數而言，它們其實更有結構，而那份結構，正是本科目中幾乎一切剛性事物的種子。
這裡有一個務必牢記的事實。若 f 在 z_0 附近解析、f(z_0) = 0，但 f 不恆為零，則泰勒級數失去了它的常數項，而第一個存活的係數落在某個指標 m 上：f(z) = a_m (z - z_0)^m + a_(m+1)(z - z_0)^(m+1) + ...，且 a_m 不為 0。提出最低次的冪，你便得到 f(z) = (z - z_0)^m g(z)，其中 g 解析，而且關鍵在於——g(z_0) = a_m 不為零。那個整數 m 就是零點的階，是多項式根的重數的解析鏡像。
f analytic near z_0, f(z_0) = 0, f not identically 0
Taylor series: f(z) = a_m (z - z_0)^m + a_(m+1)(z - z_0)^(m+1) + ...
with a_m =/= 0 (m = order of the zero)
factor out: f(z) = (z - z_0)^m * g(z)
g analytic, g(z_0) = a_m =/= 0
equivalently: f(z_0) = f'(z_0) = ... = f^(m-1)(z_0) = 0, f^(m)(z_0) =/= 0把 m 讀作函數壓在零上頭的「力道」。一階——單零點——是一次乾淨的穿越，如同 z 穿過原點。二階是一次相切：函數貼平在零上，f 與 f' 一同消失，正如 1 - cos z = z^2/2 - z^4/24 + ... 從 z^2 開始。一個來自泰勒係數的俐落核對：階為 m 意味著 f(z_0) = f'(z_0) = ... = f^(m-1)(z_0) = 0 而 f^(m)(z_0) 不為零——數一數有多少個導數在終於有一個存活之前先死去，你便得到了階。
為何每個零點都獨自佇立
現在來榨取這個因式分解的第一個重大推論。在 m 階零點 z_0 附近，我們有 f(z) = (z - z_0)^m g(z)，且 g(z_0) 不為零。由於 g 連續且在 z_0 非零，它在 z_0 周圍的某個小圓盤上保持非零——連續性不容許它突然撞上零。在那個圓盤上，f「唯一」能消失的途徑是透過因子 (z - z_0)^m，而它只在 z_0 本身為零。所以 z_0 是它那個小圓盤中孤零零的零點。這就是零點的孤立性：非零解析函數的零點從不擁擠在一起、從不填滿一段線段、從不堆積——每一個都有喘息的空間。
那句話裡的非零二字不是裝飾。若 f 恆為零，它會處處消失，孤立性便平凡地崩潰——每個點都是零點，沒有一個是孤立的。孤立性是關於那些「不是零函數」的函數的陳述；對任何這樣的 f，提因子的論證都適用於它的每個零點。即使是無窮的零點集也表現良好：sin z 是整函數，恰在 z = n pi（n 為任意整數）消失——無窮多個零點，但任兩個都相距不小於 pi，個個清晰孤立。
從孤立性到恆等定理
孤立性幾乎免費地把招牌結論交到我們手上。恆等定理問道：你需要知道解析函數的多少，才能知道它的全部？少得驚人。若 f 在一個「連通」區域上解析，並在任何一個於區域內部有極限點的集合上等於零——哪怕只是一個收斂的點列——則 f 在整個區域上恆為零。沒有任何「在點列上為零、在別處非零」的自由；局部資料已經固定了整體函數。
證明就是孤立性的喬裝。設 f 的零點在區域內部有一個極限點 z*。若 f 不恆為零，它的每個零點都應孤立——但 z* 是一個零點（由連續性），且有其他零點任意地靠近它，故 z* 是一個不孤立的零點。矛盾。唯一的出路是 f 在 z* 附近恆為零，再由一個連通性論證，把那個「恆為零」逐個重疊的圓盤地散布到整個區域。
- 給定兩個解析函數 f 與 g，它們在連通區域內部一個有極限點的集合上相等，作差 h = f - g。
- h 解析且在那個集合上消失，故 h 的零點在區域內部有一個極限點。
- 對非零解析函數，零點不可能不孤立，故 h 必恆為零——也就是說，在整個區域上 f = g。
你剛剛解鎖的剛性
退一步，感受一下這有多強。一個全純函數沒有局部的擺動空間：你無法在一小塊上輕推它又保持解析，因為那一塊與其餘部分會在一個有極限點的集合上相等，從而必須是同一個函數。這正是使複變分析近乎神奇的那份剛性——而它與光滑實函數的鬆軟恰恰相反，後者你可以隨意地局部彎折。
一個立竿見影的回報：像 sin x 或 e^x 這樣的實函數，至多有一個解析延拓到複平面。實軸有極限點，故任兩個在實軸上與 sin x 相符的解析函數必處處相等——複正弦是被迫的，不是被選的。這同一套邏輯支撐起解析延拓：若你能把函數推到原定義域之外，那延拓是唯一的，因為任兩個延拓在重疊處相等，從而由恆等定理，在它們共同存在的每一處都相等。
而它讓實恆等式免費地可攜。函數關係的恆存性說：一個在實線上為真的解析恆等式，自動在整個平面上為真：e^(z+w) = e^z e^w 與 sin^2 z + cos^2 z = 1 先對實參數證明，再因兩邊解析且在一個有極限點的集合上相等而帶到所有複 z。不過有一條誠實的告誡——兩邊都必須確實解析。涉及 |z|、共軛 z-bar 或分支選擇的關係並不解析，無須延拓；例如 |e^z| = e^x 就不會提升成一個複數恆等式。
誠實地讀附帶細則
幾條誠實的告誡，能讓這些結論不致被記錯。其一，對非零解析函數，零點的階永遠是有限的正整數——絕非分數、絕非無窮。「無窮階零點」意味著每個泰勒係數都消失，而這不過是恆等定理在告訴你函數在其圓盤上恆為零。其二，孤立性確實可能在定義域的邊界或在奇點處失效：sin(1/z) 在 1/(n pi) 有零點、朝 0 堆積，但 0 是一個本質奇點、而非解析的內部點，故並無矛盾——「在極限點處解析」這個前提，正是那裡所缺的。
其三，別把恆等定理過度解讀為「在幾個點上相等的兩個函數必相等」。在有限多個點上相等什麼也說明不了；在整數上相等什麼也說明不了；你需要一個位於連通區域「內部」的聚點。這條定理之所以強大，恰恰因為它的前提如此廉價——一個收斂點列——但那個前提是真正必需的，不是一道可略過的形式手續。
請從本篇帶走一幅圖像：一個非零解析函數只在一片稀疏散落的孤立點上消失，每一點都標有一個有限的階 m，直接從第一個存活的泰勒係數讀出。那片散落就是函數的指紋——而恆等定理說，這指紋哪怕只沿著一個收斂點列取樣，就已經決定了整個函數。下一篇將把這同一套級數與零點的觀點向外翻轉，問一個泰勒級數在撞上函數最近的失常之處前，究竟能伸展多遠。