解析與全純的等價

兩個詞圍繞著同一個觀念打轉，人們自然會懷疑它們是否不同。全純意指複可微：f'(z) 在區域的每一點都存在。解析意指局部可用收斂冪級數表示：在每一點附近，f 在一個小圓盤上等於某個和 sum a_n (z - z_0)^n。在實分析中，這兩者是真正不同的性質。複分析的偉大定理是：在這裡它們完全相同——開集上的函數是全純的，當且僅當它是解析的。你可以永遠交替使用這兩個詞。

為什麼它們等價？一個方向很容易：收斂冪級數在其圓盤內可逐項求導，故解析函數自動全純。困難而美麗的方向是反過來，而它正是由柯西積分公式驅動的泰勒定理：僅僅假設在一個區域上存在單一個複導數，就迫使函數在每個內部圓盤上等於它的泰勒級數。所以「有一個複導數」暗中意味著「有所有導數且等於它的冪級數」。聽來溫和的複可微假設其實威力無窮。

這個等價是整個主題的哲學核心，且沒有實變的類比。在數線上，可微不蘊涵二次可微，二次可微不蘊涵光滑，連光滑都不蘊涵解析。在複數世界中，整座階梯塌縮成單一級：一個導數就給你一切。這就是為什麼複分析感覺如此剛性而豐厚——幾乎每個局部問題都有乾淨的答案，因為每個解析函數近看就只是一個冪級數。