1 基本概念
1.1 定理名称与含义
恒等定理是数学分析中的一类基础结论，核心意思是：在满足一定正则性条件时，两个函数如果在一个具有聚点的集合上完全一致，那么它们往往会在更大的范围内也一致。这里的“恒等”并非单指“数值相等”，而是强调函数作为整体对象在定义域上的完全重合。
在不同分支中，恒等定理的具体表述并不完全相同。实分析中通常与连续性、稠密集等条件联系较紧；复分析中则与全纯函数或解析函数的刚性性质密切相关，结论也更强。
1.2 恒等定理的直观理解
从直观上看，恒等定理表达了一种“局部决定整体”的思想。若一个函数足够规则，并且它在某些“积累得足够密”的点集上与另一个函数相同，那么这种相同关系会被条件所放大，最终推广到整个相关区域。
可以把它理解为：当函数的变化方式被强约束时，少量信息就足以锁定其全部形态。这也是恒等定理在分析学中极具力量的原因之一。
1.3 定理在数学分析中的地位
恒等定理是函数唯一性理论中的重要工具，也是解析函数理论中的核心定理之一。它常被用于说明：满足某些条件的函数一旦在一部分区域上确定下来，整个函数便被唯一决定。
在更广泛的分析框架中，该定理还与零点分布、解析延拓、函数比较和微分方程解的唯一性等主题密切相关，因而具有较高的基础性和通用性。
2 实分析中的恒等定理
2.1 适用条件
2.1.1 定义域与连续性要求
在实分析语境下，恒等定理通常要求函数在某个区间或连通集合上连续，或者至少具有足以把“在稠密集上相等”推广到全域的正则性。连续性是最常见的假设，因为它可以把极限点上的相等关系传递到邻近点。
若仅有任意函数而无附加条件，则结论一般不成立。因为可以轻易构造出在一个稠密子集上相等、但在其他点不同的函数。
2.1.2 聚点与稠密集合
“聚点”是恒等定理中的关键条件之一。若两个函数在某集合上相等，而该集合至少含有一个聚点，那么在适当条件下，这种相等性可被延伸到更大范围。若集合本身是稠密的，结论则更容易成立。
聚点的作用在于保证相等点不是孤立分散的，而是以某种方式不断逼近目标区域，从而为极限论证提供基础。
2.2 典型表述
2.2.1 连续函数版本
设两个连续函数在某个连通区间上定义，并且它们在一个具有聚点的子集上处处相等，则在该区间内两函数相等。
这一版本本质上依赖连续性：如果一个连续函数在稠密集上与另一函数一致，那么任意点都能通过稠密点列逼近，由极限唯一性得到全域一致。
2.2.2 可导函数版本
对于可导函数，若它们在某区间上导数相同，并且在某一点取值相同，则函数本身在整个区间上相同。此时恒等结论来自微积分基本性质：导数相同意味着两函数之差为常数，而一点相等便可确定该常数为零。
这一表述虽不完全等同于“聚点集合上的恒等定理”，但在实分析中常被视作与之相近的唯一性结论。
2.3 证明思路
2.3.1 利用极限与连续性
最常见的证明方法是构造点列。若某点是相等集合的聚点，则可选取该集合中的点列趋于此点。由于函数连续，点列上的函数值极限等于该点处函数值；而点列上两函数相等，极限也相等，因此在聚点处两函数相等。
如果该性质能在区间内逐点推进，便可进一步推出整个区间上的一致相等。
2.3.2 利用零点集性质
另一个常用思路是研究差函数。设 \(h=f-g\)，若 \(f\) 与 \(g\) 在某集合上相同，则 \(h\) 在该集合上为零。问题便转化为：连续函数或更高正则函数若在具有聚点的集合上取零，是否必须处处为零。
在适当条件下，零点集的结构会迫使函数恒为零，从而得到原函数相等的结论。
2.4 常见推论
2.4.1 函数唯一性
恒等定理最直接的推论是唯一性：符合条件的函数一旦在足够多的点上被固定，就不再有自由变化的空间。换言之，某些边界值、初值或局部信息可以唯一决定整体函数。
2.4.2 区间上的一致相等
在实变函数的常见场景中，若两个连续函数在一个区间内的稠密子集上相等，则它们在整个区间上一致相等。这一结论常用于处理分段定义、极限延拓以及函数一致性判断。
3 复分析中的恒等定理
3.1 全纯函数的恒等定理
3.1.1 零点具有孤立性
复分析中的恒等定理比实分析版本更强。对于非零全纯函数，其零点通常是孤立的；也就是说，若零点在某点附近不断积聚，则函数只能是恒等于零。
这一性质反映了全纯函数极强的刚性：它们由局部行为高度决定，不能像一般实函数那样任意拼接或局部修补。
3.1.2 解析函数的唯一性
若两个全纯函数在某个具有聚点的集合上相等，则它们在连通定义域内必然处处相等。等价地说，全纯函数一旦在一个小片段上被确定，其整体形式也就随之确定。
这种唯一性是复分析的标志性特征之一，也是许多深层结果的出发点。
3.2 定理的标准形式
3.2.1 在开连通区域上的版本
设 \(D\) 为开连通区域，\(f\) 与 \(g\) 在 \(D\) 上全纯。若存在 \(D\) 内一点集 \(E\)，且 \(E\) 有一个在 \(D\) 内的聚点，并且对所有 \(z\in E\) 有 \(f(z)=g(z)\)，则 \(f\equiv g\) 于整个 \(D\)。
这是最常见的标准形式。连通性保证相等关系能够从局部扩散到整个区域，而开性则为解析展开提供了必要环境。
3.2.2 在聚点集合上的版本
也可表述为：若全纯函数在某开连通域内的一个点集上有无限多个零点，且这些零点在域内存在聚点，则该函数恒等于零。将差函数代入即可得到两函数相等的结论。
这种表述在处理零点分布、级数展开与局部性质时尤其方便。
3.3 证明方法
3.3.1 泰勒级数展开法
证明时常先取聚点附近的一点，将全纯函数展开为泰勒级数。若函数在聚点附近有无限多个零点，则级数必须在该点附近全为零，否则非零首项会导致零点孤立，形成矛盾。
因此，所有泰勒系数都为零，函数在某邻域恒为零，再借助连通性推广到整个区域。
3.3.2 零点引理法
另一种证明思路是使用零点的局部结构。全纯函数若在某点不是恒零，则零点阶数有限，故其零点不会在该点附近聚集。由此反推，若零点聚集出现，函数只能恒等于零。
这种方法更强调零点的解析结构，体现了复解析函数的局部刚性。
3.4 相关结论
3.4.1 解析延拓
恒等定理是解析延拓的基础之一。若两个解析函数在某个非空开集上相同，则它们在定义域重叠部分的延拓也必然相同，因此局部信息可以唯一延伸到更大区域。
这说明解析函数不像一般光滑函数那样有大量自由度，其延拓过程具有强唯一性。
3.4.2 级数表示的唯一性
全纯函数在某点的泰勒展开是唯一的。恒等定理保证了：如果两个全纯函数在某点附近的级数表示相同，那么它们代表的函数在连通区域内也相同。
因此，幂级数不仅是表达工具，也承担着函数身份识别的角色。
4 应用
4.1 函数方程的证明
在函数方程研究中，常先构造两个候选表达式，再证明它们在某个小范围内相等，随后借助恒等定理将等式推广到整个定义域。这种策略能显著简化方程求解过程。
4.2 解析函数的比较
恒等定理常用于比较两个解析函数是否为同一个函数。只要能找到一个含聚点的点集，使二者在该集上取值一致，即可直接判定它们完全相同，而无需逐点检查。
4.3 微分方程中的唯一性分析
在常微分方程与部分偏微分方程中，解的唯一性往往能借助类似思想说明：若两个解在初始时刻或某局部区域一致，则在满足适当条件时，它们应是同一个解。恒等定理为这类论证提供了分析学背景。
4.4 数值分析中的辅助作用
在数值分析中，恒等定理更多作为理论支撑出现。它有助于解释插值、多项式逼近和近似函数识别中的唯一性问题，即为什么某些有限信息能够确定特定形式的函数。
5 相关概念
5.1 零点
零点是指函数取值为零的点。对恒等定理而言，零点集的结构极其重要，尤其是在复分析中，零点是否聚集往往直接决定函数是否恒为零。
5.2 聚点
聚点是一个点集中的点，其任意邻域内都含有该集合中不同于它本身的点。聚点条件是恒等定理成立的关键前提之一，因为它确保信息可以无限逼近目标位置。
5.3 连通域
连通域是指不能被拆分为两个互不相交开集的区域。许多恒等定理都要求定义域连通，因为只有这样，局部相等才能通过解析或连续结构传递到整个区域。
5.4 解析函数
解析函数是可由幂级数局部表示的函数。在复分析中，解析函数通常与全纯函数同义或密切相关，是恒等定理最典型的适用对象。
5.5 全纯函数
全纯函数指在复平面某开集上处处可复微分的函数。它们具有极强的解析性质，零点孤立、局部可展开、整体受局部决定，因而恒等定理在此类函数中表现得尤为突出。
6 常见误区
6.1 误将有限点集视为充分条件
恒等定理一般不能仅凭有限多个点上的相等就得出整体相等。有限点信息通常不足以锁定函数，除非另有额外结构，比如某些多项式情形或特定边界条件。
6.2 混淆连续与解析条件
并非所有连续函数都满足复分析中的强恒等结论。实函数的连续性只能支持较弱版本，而全纯函数的结论之所以更强，依赖的是解析性带来的刚性，而不是单纯连续性。
6.3 忽略定义域连通性
在很多表述中，定义域连通性是不可缺少的。如果区域不连通，函数可能在不同连通分支上分别取不同形式，即便在某一部分上相等，也不必然推出全域一致。
6.4 误用“处处相等”与“在稠密集上相等”
“在稠密集上相等”并不自动意味着所有函数都相等，必须结合连续性、解析性或其他适当条件。若缺少这些条件，函数可以在稠密集上相同，却在剩余点上不同，因此不能简单把两种说法混为一谈。