英文维基 | 中文维基 | 日文维基 | 草榴社区
恒等定理(英语:identity theorem,或译作惟一性定理)可以看成是柯西积分公式的补充定理,它们都反映解析函数的特性,同是解析函数论中最基本的定理。惟一性定理揭示了解析函数一个非常深刻的性质,函数在区域 D {\displaystyle D} 内的局部值确定了函数在区域 D {\displaystyle D} 内整体的值,即局部与整体之间有着十分紧密的内存联系。
设函数 f 1 ( z ) {\displaystyle f_{1}(z)} 和 f 2 ( z ) {\displaystyle f_{2}(z)} 在区域 D {\displaystyle D} 内解析,若 { z n } ⊂ D {\displaystyle \{z_{n}\}\subset D} 收敛于 a ∈ D , ( z n ≠ a ) {\displaystyle a\in D,(z_{n}\neq a)} ,且 f 1 ( z n ) = f 2 ( z n ) {\displaystyle f_{1}(z_{n})=f_{2}(z_{n})} ,则 f 1 ( z ) = f 2 ( z ) , ∀ z ∈ D {\displaystyle f_{1}(z)=f_{2}(z),\forall z\in D} [1] 。
设在区域 D {\displaystyle D} 内解析的函数 f 1 ( z ) {\displaystyle f_{1}(z)} 和 f 2 ( z ) {\displaystyle f_{2}(z)} 在 D {\displaystyle D} 内的某一子区域(或一小段弧)上相等,则它们必在区域 D {\displaystyle D} 内恒等。