“Identity theorem”的意思、由来-开放百科全书

词条

Identity theorem

释义

Lemma
Proof
References

In complex analysis, a branch of mathematics, the identity theorem for holomorphic functions states: given functions f and g holomorphic on a domain D (open and connected subset), if f = g on some , having an accumulation point, then f = g on D.

Thus a holomorphic function is completely determined by its values on a single open neighborhood in D, or even a countable subset of D (provided this contains a converging sequence). This is not true for real-differentiable functions. In comparison, holomorphy, or complex-differentiability, is a much more rigid notion. Informally, one sometimes summarizes the theorem by saying holomorphic functions are "hard" (as opposed to, say, continuous functions which are "soft").

The underpinning fact from which the theorem is established is the developability of a holomorphic function into its Taylor series.

The connectedness assumption on the domain D is necessary. For example, if D consists of two disjoint open set, can be on one open set, and on another, while is on one, and on another.

Lemma

If two holomorphic functions f and g on a domain D agree on a set S which has an accumulation point c in D, then f = g on a disk in centered at .

To prove this, it is enough to show that for all .

If this is not the case, let m be the smallest nonnegative integer with . By holomorphy, we have the following Taylor series representation in some open neighborhood U of c:

By continuity, h is non-zero in some small open disk B around c. But then f − g ≠ 0 on the punctured set B − {c}. This contradicts the assumption that c is an accumulation point of {f = g}.

This lemma shows that for a complex number a, the fiber f⁻¹(a) is a discrete (and therefore countable) set, unless f = a.

Proof

Define the set on which and have the same Taylor expansion:

We'll show is nonempty, open, and closed. Then by connectedness of , must be all of , which implies on .

By the lemma, in a disk centered on a disk in centered at , they have the same Taylor series at , so , is nonempty.

As and are holomorphic on , , the Taylor series of and at have non-zero radius of convergence. Therefore, the open disk also lies in S for some r. So S is open.

By holomorphy of and , they have holomorphic derivatives, so all are continuous. This means that is closed for all . is an intersection of closed sets, so it's closed.

References

{{cite book |author1=Ablowitz, Mark J. |author2=Fokas A. S. |title=Complex variables: Introduction and applications |publisher=Cambridge University Press |location=Cambridge, UK |year=1997 |isbn=0-521-48058-2 |oclc= |doi= |accessdate= |page=122}}

2 : Theorems in complex analysis|Articles containing proofs

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。