Identity theorem - Knowlpedia

Statement

Let $D\subseteq\mathbb C$ be a domain and let $f,g:D\to\mathbb C$ be holomorphic. If the set

\{z\in D:f(z)=g(z)\}

has an accumulation point in $D$ , then $f=g$ on all of $D$ .

Equivalent zero-set form

A nonzero holomorphic function on a domain has isolated zeros. Indeed, at any zero $a$ , its convergent power series factors as

f(z)=(z-a)^m h(z)

with $m\ge1$ and $h(a)\ne0$ . The integer $m$ is the order of the zero.

Hypotheses matter

The accumulation point must lie inside the domain. For example, a sequence of zeros may accumulate at a boundary point without forcing the function to vanish. Connectedness is also essential: agreement on one component says nothing about another.

References

John B. Conway, Functions of One Complex Variable I, 2nd ed., Springer, 1978. Publisher record. Relevant: Chapter III, §7.