冪級數、泰勒展開與解析性

在緊緻子集上的一致收斂

當一個函數級數收斂時,有一種溫和的收斂與一種強勁的收斂。逐點收斂是溫和的那種,只保證在每個單獨的點上部分和最終會靠近極限——但你所需的項數可能隨著移動而無上界地增長。一致收斂是強勁的那種,保證有一個單一的速率同時對處處有效:選定一個容許誤差,從某個固定的 N 之後,「每一」個點都落在那個誤差之內。對複分析而言,正確的版本是在緊緻子集上的一致收斂:在你切出的每一塊閉且有界的片段上一致,即使在整個區域上未必一致。

以下是為何這恰是冪級數的正確概念。冪級數在其開收斂圓盤內部、每個閉圓盤 |z - z_0| <= r(r < R 嚴格在內)上一致收斂——但未必在整個開圓盤上一致,因為靠近邊界時收斂變慢。開圓盤中的「緊緻子集」指一個閉且有界、並與邊界保持正距離的集合,任何這樣的集合都坐落在某個較小的閉圓盤內。所以「在緊緻集上一致」恰好捕捉了真相:在你安全地待在內部之處與處處一致一樣好,唯一的弱化只保留給觸及不到的邊緣。

這是理論中最佳定理背後的主力。一致收斂讓你能把極限與積分或導數交換——因此它正當化了在圓盤內逐項積分與微分冪級數。它也支撐魏爾斯特拉斯定理:解析函數的局部一致極限仍是解析函數,以及稍後正規族的整個概念。每當你看到一位複分析學家自信地交換一個和與一個積分時,被悄悄援引的許可正是局部一致收斂。

幾何級數 sum z^n 在每個閉圓盤 |z| <= r(r < 1)上一致收斂到 1/(1 - z):N 之後的尾項被 r^(N+1)/(1 - r) 控制,一個數就掌控了每個這樣的 z。但它在整個開圓盤 |z| < 1 上「並非」一致,因為當 z 趨近邊界時所需的 N 跑向無窮。

在每個嚴格位於內部的閉圓盤上一致,但當你讓 r 趨近半徑時一致性退化——這正是「緊緻集」這個保留條款的用意。

在緊緻子集上的一致收斂嚴格弱於在整個開圓盤上的一致收斂——而這是特性、不是缺陷。要求整體一致性會排除幾乎每個有趣的冪級數,因為大多數正好在邊界處不滿足它。

又称
locally uniform convergencecompact convergence內閉一致收斂局部一致收斂