為什麼我們需要函數的緊緻性
上一篇敲定了一個基礎事實：若一列解析函數 f_n 在某區域上局部一致收斂，則極限 f 仍是解析的，甚至導數 f_n' 也收斂到 f'。這令人安心——極限不會掉出解析的世界之外。但請注意它「沒有」給你什麼：它告訴你「若」一個序列收斂會發生什麼，而非「是否」你一開始就能找到一個收斂的序列。黎曼映射定理的整套策略，正繫於這第二個問題。
握住這個類比。在實數線上，一列有界的數未必收斂——想想 0, 1, 0, 1, ...——但波爾查諾-魏爾施特拉斯定理救了你：它總有一個收斂的「子序列」。這個「有界蘊含有收斂子序列」就是緊緻性跳動的心臟，也正是讓分析學家隨需製造極限的工具。我們想要同樣的超能力，只是高一個層級：不是對一列有界的數，而是對一「族」有界的「函數」。從無窮多個候選映射中，我們想抽出恰好一個真正收斂到某個可用之物的子序列。
正規族就是給「恰好具有這個性質的函數族」起的名字：從它取出的每一個序列，都有一個在該區域上局部一致收斂的子序列。所以「正規」之於函數族，就如「有界」之於數列——它是保證你總能榨出一個收斂子序列的條件。本篇其餘部分回答那個顯然的追問：哪些族是正規的，而我們又究竟如何去檢驗它？
缺失的成分：等度連續性
光是有界並不足以使一族連續函數成為正規的——這個道理值得讓你切身體會。在實區間 [0, 1] 上考慮函數 f_n(x) = sin(n x)。它們每一個都被 1 界住，所以這族是一致有界的。然而沒有任何子序列收斂（即使逐點地看，隨著 n 增大，函數值也永遠跳個不停）。這族是有界卻劇烈地不正規。出錯之處在於：這些函數抖得越來越快——在任意一點附近，增大 n 都讓圖形無止境地變陡，於是這些函數始終無法落入一個共同的節奏。
解藥是一個關於「抖動之一致性」的條件，叫作等度連續性。回想：一個函數在某點連續，意思是輸入夠小的變動會逼出輸出夠小的變動。整「族」函數則是等度連續的，若你能挑出「同一個」夠小的尺度，同時對族中每個函數都管用：給定容許誤差 epsilon，存在單一的 delta——對所有成員都是同一個 delta——使得相距在 delta 內的點，在族中每個 f 之下都落在 epsilon 之內。函數 sin(n x) 嚴重地不滿足這點，因為隨著 n 增大，你所需的 delta 不停縮小；沒有任何單一的 delta 能服侍它們全部。
手握等度連續性，那條經典的緊緻性定理便應聲就位：阿爾澤拉-阿斯科利定理說，緊集上的一族函數是正規的——每個序列都有一致收斂的子序列——恰當它「既」逐點有界「又」等度連續時成立。把它讀成一張資產負債表：有界性控制函數能變得多大，等度連續性控制它們能變得多快，這兩道控制合起來，正是逼出收斂子序列所需的全部。sin(n x) 那一族有了前者卻缺了後者，而這唯一缺失的成分就是整個問題所在。
蒙泰爾定理：有界就夠了
現在來到複分析超前實變量故事的時刻，而且這超前真正令人意外。對「解析」函數，你會白白得到等度連續性——你不必另行檢驗它。蒙泰爾定理乾淨地陳述如下：一族解析函數在某區域上是正規的，只要它局部有界，意思是在每個緊子集上，都有單一常數 M 把族中每個函數界住。不需要等度連續的假設，不需要導數的界——只需「在緊片上一致有界」，正規性便隨之而來。
究竟為何在這裡光是有界就逼出等度連續，而它對 sin(n x) 卻敗得如此徹底？因為解析函數沒辦法不顧自身大小地亂抖——柯西估計把導數鎖在函數值上。柯西積分公式把 f'(z_0) 寫成 f 沿 z_0 周圍一個小圓的積分，讀出它的界就得到 |f'(z_0)| <= M / r，其中 M 是 |f| 在那個半徑為 r 的圓上的界。關鍵在於：界住整族的「同一個」M，也界住了它們全部的導數。而導數的一致界，由均值定理，恰恰是對「函數變化有多快」的一致的利普希茨型控制——這就是等度連續性。
Cauchy estimate on a circle of radius r about z_0:
1 max |f| on the circle M
|f'(z_0)| = | --- integral of f / (z - z_0)^2 | <= ------------------------ = ---
2 pi i r r
ONE family bound M ===> ONE derivative bound M / r ===> equicontinuity
(same for every f in the family)所以蒙泰爾定理的證明是一場兩棒接力。第一棒：局部有界加上柯西估計，給出導數的一致界，因而在每個緊子集上等度連續。第二棒：有界加等度連續恰是阿爾澤拉-阿斯科利的假設，於是交出一個局部一致收斂的子序列。實變量的例子 sin(n x) 永遠跑不起來，是因為對「僅僅連續」的函數沒有柯西估計——只有解析性把抖動綁在大小上，而正是這道綁定，使「有界蘊含正規」成為一個沒有實變量類比的複分析奇蹟。
兩個更銳利的版本，誠實標出
值得知道的是，「局部有界」是充分的，卻非通往正規性的唯一路徑。一個遠為深刻的結果，蒙泰爾基本正規性判別法，說：某區域上一族解析函數是正規的，只要存在僅僅兩個固定值，比方 a 與 b，是其中「沒有任何一個」函數曾取到的。這令人震驚：你對大小不作任何假設，只假設族中每位都漏掉同樣兩個點，正規性竟仍隨之而來。它是皮卡定理的深層表親，並驅動著本學科中一些最強的剛性結果。我們在此標出它，但不予證明——它比有界版本難得多。
還有一個你不該與蒙泰爾混淆的單側加強版。赫維茲定理並不製造子序列；它控制的是「局部一致極限的零點」。它說：若解析的 f_n 局部一致收斂到非常數的 f，則在 f 的任一零點附近，函數 f_n 終究也有零點，且個數正好對上。我們稍後會倚靠的決定性推論是：若每個 f_n 都是單射（一對一），則極限 f 要嘛單射、要嘛常數——單射性無法在極限中悄悄蒸發，除非塌縮成一個常數。把赫維茲揣在口袋裡；黎曼映射定理的證明需要它來保證那個極值映射不退化。
這如何驅動黎曼映射定理
現在你能看見整部機器在組裝起來。計劃——在接下來兩篇中充實——是透過解一個極值問題，來找出從單連通區域到單位圓盤的保角映射：在所有把該區域單射地解析映入圓盤、且固定某個選定點 z_0 的映射中，尋找那個導數 |f'(z_0)| 「盡可能大」的。這些候選映射全都落在圓盤之內，所以被 1 界住，所以這族是局部有界的——而蒙泰爾定理立刻告訴你它是正規的。
正規性恰恰就是那張許可證，讓你取一個極大化序列——其 |f'(z_0)| 攀向上確界的那些映射——並抽出一個局部一致收斂到某極限映射 f 的子序列。上一篇保證 f 是解析的，且 f'(z_0) 等於那個上確界，所以極限確實達到了最大值；它就是那個極值映射。接著赫維茲登場，排除退化的可能，逼使 f 是單射而非常數，而施瓦茨引理則逼使 f 是滿射。你所搭起的每一塊都做一份工，而蒙泰爾定理正是那塊憑空變出極限的。